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

Stefano Calzavara Ilya Grishchenko Adrien Koutsos Matteo Maffei

Published in: CSF (2017)

Keyphrases

static analysis
dynamic analysis
source code
data structure
symbolic execution
malicious code
java card
abstract interpretation
high level
regular expressions
test generation
test suite
database
flow field
artificial intelligence
data mining
databases