@inproceedings {236280, author = {Kangjie Lu and Aditya Pakki and Qiushi Wu}, title = {Detecting {Missing-Check} Bugs via Semantic- and {Context-Aware} Criticalness and Constraints Inferences}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {1769--1786}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/lu}, publisher = {USENIX Association}, month = aug }