Static Analysis of Programs: A Heap Centric View.

Uday P. Khedker

Published in: SEFM (2006)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
data structure
regular expressions
malicious code
java card
test suite
knowledge base
decision trees
case study