TY - RPRT TI - A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications AU - Stefano Calzavara AU - Ilya Grishchenko AU - Adrien Koutsos AU - Matteo Maffei PY - 2017 UR - https://arxiv.org/abs/1705.10482 ID - 1705.10482 ER -