Practical memory leak detection using guarded value-flow analysis.

Sigmund Cherem, Lonnie Princehouse, Radu Rugina

Browse the full PLDI paper archive.