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

by C Calcagno, D Distefano, P O’Hearn, Yang
Venue:In: SAS’06. LNCS