Jakstab: A Static Analysis Platform for Binaries.

Johannes Kinder Helmut Veith

Published in: CAV (2008)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
open source
regular expressions
java card
abstract interpretation
malicious code
reverse engineering
real time
test suite
test generation
keywords
high level
artificial intelligence
test case generation
data sets