Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking.
Bharti ChimdyalwarPriyanka DarkeAnooj ChavdaSagar VaghaniAvriti ChauhanPublished in: FM (2015)
Keyphrases
- false positives
- bounded model checking
- static analysis
- model checking
- dynamic analysis
- formal verification
- false negative
- source code
- temporal logic
- detection rate
- false positive rate
- symbolic execution
- number of false positives
- linear temporal logic
- true positive
- java card
- multi agent systems
- abstract interpretation
- open source
- regular expressions
- data management
- false alarms
- test suite
- real world
- reverse engineering
- anomaly detection
- case study