Sigmund Cherem Lonnie Princehouse Radu Rugina Practical memory leak detection using guarded value-flow analysis. 480-491 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250789 db/conf/pldi/pldi2007.html#CheremPR07