Backwards-Compatible Bounds Checking for Arrays and (1997)

by R JONES, P KELLY
Venue:Pointers in C Programs. In Workshop on Automated Debugging