Repositioning of static analysis alarms.

Tukaram Muske Rohith Talluri Alexander Serebrenik

Published in: ISSTA (2018)

Keyphrases

static analysis
dynamic analysis
source code
false positives
symbolic execution
false alarms
malicious code
java card
regular expressions
abstract interpretation
visual servoing
test suite
pattern matching
database
artificial intelligence
relational data