Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies.

Tukaram Muske Rohith Talluri Alexander Serebrenik

Published in: APLAS (2019)

Keyphrases

static analysis
dynamic analysis
source code
control system
symbolic execution
factors affecting
malicious code
control strategy
regular expressions
test suite
false alarms
test generation
false positives
object oriented
relational databases
building blocks
abstract interpretation