Symbolic Pointer Analysis for Detecting Memory Leaks.

Bernhard Scholz, Johann Blieberger, Thomas Fahringer

Browse the full PEPM paper archive.