Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules.

Lori Flynn David Svoboda William Snavely

Published in: SecDev (2017)

Keyphrases

static analysis
dynamic analysis
source code
java card
abstract interpretation
association rules
malicious code
symbolic execution
regular expressions
databases
test generation
intrusion detection
artificial intelligence
pattern matching
domain specific
data sources
real world
data sets