Paper notes: Path and context sensitive inter-procedural memory leak detection

Title: Path and context sensitive inter-procedural memory leak detection
PDF: 44a45c88f524da1a62fbf91581d8ede9.pdf

Models heap objects, tracks their state (not pointers to), inter-procedural analysis via
function summaries; solver for path feasibility. Straightforward.

Original Twitter link: https://twitter.com/_argp/statuses/487275885872312320