Static Analysis of Recursive Data Structures.

D. K. Arvind T. A. Lewis

Published in: LCPC (1997)

Keyphrases

static analysis
data structure
dynamic analysis
source code
symbolic execution
malicious code
java card
data types
abstract interpretation
regular expressions
test suite
test generation
suffix tree
domain specific
training set
efficient data structures
high level