Footprint Analysis: A Shape Analysis That Discovers Preconditions.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Browse the full SAS paper archive.