Richard W. M. Jones Paul H. J. Kelly Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. 13-26 1997 AADEBUG db/conf/aadebug/aadebug97.html#JonesK97 http://www.ep.liu.se/ea/cis/1997/009/02/