Compactly Representing First-Order Structures for Static Analysis.

Roman Manevich G. Ramalingam John Field Deepak Goyal Shmuel Sagiv

Published in: SAS (2002)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
abstract interpretation
regular expressions
java card
database
test suite
data mining
data structure
xml documents