Beyond reachability: Shape abstraction in the presence of pointer arithmetic (2006)

by C Calcagno, D Distefano, P O’Hearn, H Yang
Venue:In SAS’06: Static Analysis Symposium