Backwards-compatible bounds checking for arrays and pointers in C programs (1997)

by R W M Jones, P H J Kelly
Venue:in Proceedings of the Third International Workshop on Automated Debugging