An Easy to Use Infrastructure for Building Static Analysis Tools.

Kamil Dudka Petr Peringer Tomás Vojnar

Published in: EUROCAST (1) (2011)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
semantic technologies
malicious code
abstract interpretation
regular expressions
building blocks
databases
test generation
database
database systems
test suite
java card