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]

@inproceedings{FanWS0ZZ19,
  title = {Smoke: scalable path-sensitive memory leak detection for millions of lines of code},
  author = {Gang Fan and Rongxin Wu and Qingkai Shi and Xiao Xiao 0003 and Jinguo Zhou and Charles Zhang},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3339516},
  researchr = {https://researchr.org/publication/FanWS0ZZ19},
  cites = {0},
  citedby = {0},
  pages = {72-82},
  booktitle = {Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019},
  editor = {Gunter Mussbacher and Joanne M. Atlee and Tevfik Bultan},
  publisher = {IEEE / ACM},
}