A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications | IEEE Conference Publication | IEEE Xplore