Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. - Richard W. M. Jones; Paul H. J. Kelly (AADEBUG, 1997)