Reducing false positives of static analysis for SEI CERT C coding standard.
Thu Trang NguyenPattaravut MaleehuanToshiaki AokiTakashi TomitaIori YamadaPublished in: CESSER-IP@ICSE (2019)
Keyphrases
- false positives
- static analysis
- false negative
- dynamic analysis
- false positive rate
- source code
- number of false positives
- detection rate
- symbolic execution
- low false positive rate
- test generation
- false alarms
- abstract interpretation
- true positive
- malicious code
- java card
- object oriented
- regular expressions
- coding scheme
- reverse engineering
- false detections
- computational cost
- artificial intelligence
- high detection rate
- real world
- test case generation
- database