| In 1997, Jones and Kelly presented a GCC compiler patch in which they implemented run-time bounds checking of variables. For each declared storage pointer they keep an entry in a table where the base and limit of the storage is kept. Before any pointer arithmetc or pointer dereferencing is made, the base and limit is checked in the table. 400% performance penalty, incompatibility with real-world programs. (Wil05) |
| •owl:Thing |
| •sec:Countermeasure |
| •sec:MemoryProtection |
| •BoundaryCheckingTool |
| •GCCPatchByJonesKelly |
| •CompilerPatch |
| •GCCPatchByJonesKelly |
| dc:source | http://www.doc.ic.ac.uk/~phjk/Publications/BoundsCheckingForC.ps.gz |
Class(GCCPatchByJonesKelly partial CompilerPatch
BoundaryCheckingTool)