Shooting from the heap: ultra-scalable static analysis with heap snapshots.

Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Browse the full ISSTA paper archive.