Taming the Static Analysis Beast.

John Toman Dan Grossman

Published in: SNAPL (2017)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
java card
abstract interpretation
regular expressions
test generation
active database management systems
pattern matching
test suite
decision trees