A practical flow-sensitive and context-sensitive C and C++ memory leak detector.

David L. Heine, Monica S. Lam

Browse the full PLDI paper archive.