Skip to main content

Custom Full-coverage Dynamic Program Analysis for Android

Sun, Haiyang, Zheng, Yudi, Bulej, Lubomí, Binder, Walter, Kell, Stephen (2015) Custom Full-coverage Dynamic Program Analysis for Android. In: SPLASH Companion 2015 Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. . pp. 7-8. ACM, New York, NY, USA ISBN 978-1-4503-3722-9. (doi:10.1145/2814189.2814190) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:69720)

PDF Publisher pdf
Language: English

Restricted to Repository staff only
[thumbnail of p7-sun.pdf]
Official URL:


Dynamic analysis tools often perform instrumentation via interfaces that are implementation-specific, so are not supported by alternative implementations of a given source language. The Android mobile platform is one example: its Dalvik virtual machine executes an alternative, register-based bytecode, and lacks debugging and instrumentation interfaces that Java analysis developers rely upon. In this demonstration, we present a framework for dynamic program analysis development on Android, based on the existing ShadowVM framework for Java. By re-creating the latter's abstractions in the impoverished Android environment, it offers a high-level programming interface, load-time instrumentation, full bytecode coverage, and strong isolation, thereby avoiding common problems suffered by existing dynamic analyses on Android (offline-only instrumentation, lack of support for dynamic loading, and risk of unsound results owing to gaps in coverage). We will demonstrate our system with an Android-specific network traffic analysis, deployed on both an ARM/Intel-based emulator and a real device.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1145/2814189.2814190
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Stephen Kell
Date Deposited: 25 Jan 2019 14:51 UTC
Last Modified: 17 Aug 2022 11:02 UTC
Resource URI: (The current URI for this page, for reference purposes)
Kell, Stephen:
  • Depositors only (login required):


Downloads per month over past year