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

by R W M Jones, P H J Kelly
Venue:In Automated and Algorithmic Debugging