Experiences with Program Static Analysis.

Hideto Ogasawara Minoru Aizawa Atsushi Yamada

Published in: IEEE METRICS (1998)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
regular expressions
malicious code
test suite
abstract interpretation
test generation
case study
java card
domain knowledge
real world
reverse engineering
api calls