A Comparative Study of Industrial Static Analysis Tools.

Pär Emanuelsson Ulf Nilsson

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
industrial applications
abstract interpretation
regular expressions
end users
databases
reverse engineering
test suite
test generation
java card