Explaining Static Analysis - A Perspective.

Marcus Nachtigall Lisa Nguyen Quang Do Eric Bodden

Published in: ASE Workshops (2019)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
regular expressions
test generation
databases
abstract interpretation
data sets
test suite
reverse engineering
test set
case study
artificial intelligence
data mining