Kangjie Lu, Aditya Pakki, Qiushi Wu. Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences. In Nadia Heninger, Patrick Traynor, editors, 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019. pages 1769-1786, USENIX Association, 2019. [doi]
@inproceedings{LuPW19,
title = {Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences},
author = {Kangjie Lu and Aditya Pakki and Qiushi Wu},
year = {2019},
url = {https://www.usenix.org/conference/usenixsecurity19/presentation/lu},
researchr = {https://researchr.org/publication/LuPW19},
cites = {0},
citedby = {0},
pages = {1769-1786},
booktitle = {28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019},
editor = {Nadia Heninger and Patrick Traynor},
publisher = {USENIX Association},
}