"Practical memory leak detection using guarded value-flow analysis."

Sigmund Cherem, Lonnie Princehouse, Radu Rugina (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics