Custom-made instrumentation based on static analysis.

Tobias Gutzmann Welf Löwe

Published in: WODA (2011)

Keyphrases

static analysis
dynamic analysis
source code
domain specific
malicious code
symbolic execution
regular expressions
java card
abstract interpretation
test generation
databases
operating system
data mining
artificial intelligence
third party