Efficient Detection of All Pointer and Array Access Errors (1994)

by Todd M. Austin, Scott E. Breach, Gurindar S. Sohi