Backwards-compatible array bounds checking for C with very low overhead (0)

by D DHURJATI, V ADVE
Venue:In Proc. of the 28th Int’l Conf. on Software Eng. (2006