Efficient detection of all pointer and array access errors (1994)

by T M Austin, S E Breach, G S Sohi
Venue:In PLDI