An old idea
The concepts behind this have been around for a while. There was a C/C++ compiler available from Salford Software in the 1990s that did pointer validation and it was fairly comprehensive. There was a price - speed and additional memory usage.
The Salford C/C++ compiler checks meant that every use of a pointer was validated and the validations were put into the code by the compiler itself. This meant that vanilla C/C++ code could be used without modification.
The code generated was larger as it had to perform the checks. The checks made the system slower and so they had to be turned on rather than being on by default. Machines in the 1990s were not that fast :).
For transparency - I worked on the product.
Biting the hand that feeds IT
