Heap Abstractions for Static Analysis.

Vini Kanvar Uday P. Khedker

Published in: ACM Comput. Surv. (2016)

Keyphrases

static analysis
dynamic analysis
data structure
source code
high level
malicious code
symbolic execution
test generation
abstract interpretation
java card
regular expressions
test suite
data sets
data mining
learning algorithm