Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities.
Zhaoqiang GuoTingting TanShiran LiuXutong LiuWei LaiYibiao YangYanhui LiLin ChenWei DongYuming ZhouPublished in: IEEE Trans. Software Eng. (2023)
Keyphrases
- false positives
- static analysis
- false negative
- dynamic analysis
- false positive rate
- source code
- detection rate
- number of false positives
- true positive
- malicious code
- symbolic execution
- java card
- low false positive rate
- real world
- abstract interpretation
- test generation
- test suite
- database
- open source
- data sets
- reverse engineering
- regular expressions
- support vector