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

by C Calcagno, D Distefano, P W O’Hearn, H Yang
Venue:In SAS: Static Analysis, 13th International Symposium, LNCS