Effect of static analysis tools on software security: preliminary investigation.

Vadim Okun William F. Guthrie Romain Gaucher Paul E. Black

Published in: QoP (2007)

Keyphrases

static analysis
preliminary investigation
dynamic analysis
source code
symbolic execution
malicious code
java card
abstract interpretation
building blocks
test generation
databases
regular expressions
database systems
training data