Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs.

Longming Dong, Ji Wang, Liqian Chen

Browse the full APSEC paper archive.