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

Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao 0003, Jinguo Zhou, Charles Zhang. Smoke: scalable path-sensitive memory leak detection for millions of lines of code. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 72-82, IEEE / ACM, 2019. [doi]

Abstract

Abstract is missing.