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

by Cristiano Calcagno , Dino Distefano , Peter W. O’hearn , Hongseok Yang
Venue:In SAS’06: Static Analysis Symposium, 2006. M. Colón
Citations:30 - 5 self