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

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