Login / Signup
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