Android Multitasking Mechanism: Formal Semantics And Static Analysis Of Apps
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019(2019)
摘要
In this paper we formalize the semantics of the Android multitasking mechanism and develop efficient static analysis methods with automated tool supports. For the formalization, we propose an extension of the existing Android Stack Machine model to capture all the core elements of the mechanism, in particular, the intent flags used in inter-component communication. For the static analysis, we consider the configuration reachability and stack boundedness problem, designing new algorithms and developing a prototype tool TaskDroid to fully support automated model construction and analysis of Android apps. The experimental results show that TaskDroid is effective and efficient in analyzing Android apps in practice.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络