E cient detection of all pointer and array access errors (1993)

by T Austin, S Breach, G Sohi