Interprocedural shape analysis with separated heap abstractions (2006)

by A Gotsman, J Berdine, B Cook
Venue:In SAS: Static Analysis, 13th International Symposium. LNCS,vol.4134