Yuchao Huang

An Approach to Detecting Bugs in Pattern-Based Bug Detectors

2021 · arXiv (Cornell University)

Static bug finders have been widely-adopted by developers to find bugs in real world software projects. They leverage predefined heuristic static analysis rules to scan source code or binary code of a software project, and …