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

by Todd M Austin, Scott E Breach, Gurindar S Sohi
Venue:In Proceedings of the ACM SIGPLAN ’94 Conference on Programming Language Design and Implementation