Smoke: scalable path-sensitive memory leak detection for millions of lines of code.

Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, Charles Zhang

Browse the full ICSE paper archive.