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

by T M Austin, S E Breach, G S Sohi
Venue:University of Wisconsin