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
ICSE, 2019.
@inproceedings{ICSE-2019-FanWS0ZZ,
acmid = "3339516",
author = "Gang Fan and Rongxin Wu and Qingkai Shi and Xiao Xiao 0003 and Jinguo Zhou and Charles Zhang",
booktitle = "{Proceedings of the 41st International Conference on Software Engineering}",
doi = "10.1109/ICSE.2019.00025",
isbn = "978-1-7281-0869-8",
pages = "72--82",
publisher = "{IEEE / ACM}",
title = "{Smoke: scalable path-sensitive memory leak detection for millions of lines of code}",
year = 2019,
}
Tags: