Heap Memory Snapshot Assisted Program Analysis for Android Permission Specification | IEEE Conference Publication | IEEE Xplore