Heap Abstractions for Static Analysis.

Vini Kanvar Uday P. Khedker

Published in: CoRR (2014)

Keyphrases

static analysis
dynamic analysis
data structure
source code
malicious code
symbolic execution
high level
abstract interpretation
java card
regular expressions
suffix tree
test suite
test generation
database
open source
programming language
metadata
test case generation
learning algorithm