Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences

TitleDetecting {Missing-Check} Bugs via Semantic- and {Context-Aware} Criticalness and Constraints Inferences
Publication TypeConference Paper
Year of Publication2019
AuthorsLu K, Pakki A, Wu Q
Conference Name28th USENIX Security Symposium (USENIX Security 19)
Date Published08/2019
PublisherUSENIX Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-06-9
URLhttps://www.usenix.org/conference/usenixsecurity19/presentation/lu