FuzzSlice: Pruning False Positives in Static Analysis Warnings Through Function-Level Fuzzing.
Aniruddhan MuraliNoble Saji MathewsMahmoud AlfadelMeiyappan NagappanMeng XuPublished in: CoRR (2024)
Keyphrases
- false positives
- static analysis
- false negative
- dynamic analysis
- false positive rate
- detection rate
- source code
- true positive
- number of false positives
- low false positive rate
- java card
- regular expressions
- symbolic execution
- data sets
- malicious code
- search space
- abstract interpretation
- false alarms
- recognition rate
- open source
- query processing
- relational databases
- object recognition
- database systems