Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.
Home Page:https://www.usenix.org/conference/usenixsecurity24/presentation/dossche
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
