Abstract : We define an operational semantics for a large part of the Android platform, encompassing the Dalvik bytecode but also, and more importantly, the inter-component communication mechanism used inside Android applications. This semantics is intended to provide a formal basis for the development of static analyses that consider the complex flow of information exposed by the cooperating com- ponents of Android applications.
https://hal.univ-reunion.fr/hal-01451693 Contributor : Réunion UnivConnect in order to contact the contributor Submitted on : Friday, November 9, 2018 - 8:56:28 AM Last modification on : Monday, March 21, 2022 - 5:22:04 PM Long-term archiving on: : Sunday, February 10, 2019 - 12:36:12 PM
Etienne Payet, Fausto Spoto. An operational semantics for Android activities. ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. pp.121-132. ⟨hal-01451693⟩