Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Tue 3 Dec 2019 13:30 - 14:00 at Bali Room - Concurrency Chair(s): Philipp Ruemmer

Multitasking is a fundamental mechanism of the Android mobile operating system, which has substantially enhanced user experiences of the system. However, because of its complex nature, this mechanism is infamously hard to understand and is plagued by serious security concerns. In this paper we formalize the semantics of the 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. We define the formal semantics in a succinct and structured way, with some underlying principles identified. Moreover, we pinpoint the discrepancy in the semantics for different Android versions. We also validate the semantics by examining the conformance to the actual behavior of the Android system via exhaustive experiments. 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.

Tue 3 Dec
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

13:30 - 15:00: Research Papers - Concurrency at Bali Room
Chair(s): Philipp RuemmerUppsala University
aplas-2019-papers13:30 - 14:00
Taolue ChenBirkbeck, University of London, Jilong HeInstitute of Software, Chinese Academy of Sciences, Yu-Ping WangTsinghua University, China, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences
aplas-2019-papers14:00 - 14:30
Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology
aplas-2019-papers14:30 - 15:00
Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University