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]

Authors

Gang Fan

This author has not been identified. Look up 'Gang Fan' in Google

Rongxin Wu

This author has not been identified. Look up 'Rongxin Wu' in Google

Qingkai Shi

This author has not been identified. Look up 'Qingkai Shi' in Google

Xiao Xiao 0003

This author has not been identified. Look up 'Xiao Xiao 0003' in Google

Jinguo Zhou

This author has not been identified. Look up 'Jinguo Zhou' in Google

Charles Zhang

This author has not been identified. Look up 'Charles Zhang' in Google