A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.

Stefano Calzavara Ilya Grishchenko Adrien Koutsos Matteo Maffei

Published in: CoRR (2017)

Keyphrases

static analysis
dynamic analysis
source code
data structure
malicious code
symbolic execution
high level
java card
test generation
flow field
decision trees
abstract interpretation
test suite
suffix tree
database
reverse engineering
open source
domain knowledge
data model
case study