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

David L. Heine, Monica S. Lam (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics