Protecting c programs from attacks via invalid pointer dereferences. (2003)

by S H Yong, S Horwitz
Venue:In Foundations of Software Engineering,