FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing.
Aniruddhan MuraliNoble Saji MathewsMahmoud AlfadelMeiyappan NagappanMeng XuPublished in: ICSE (2024)
Keyphrases
- false positives
- static analysis
- false negative
- detection rate
- dynamic analysis
- false positive rate
- source code
- true positive
- number of false positives
- false alarms
- low false positive rate
- symbolic execution
- java card
- abstract interpretation
- test generation
- regular expressions
- multi class
- test suite
- test set
- test case generation
- face recognition