"Static memory leak detection using full-sparse value-flow analysis."

Yulei Sui, Ding Ye, Jingling Xue (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics