Skip to Main content Skip to Navigation
New interface
Conference papers

An operational semantics for Android activities

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Réunion Univ Connect 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


  • HAL Id : hal-01451693, version 1



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⟩



Record views


Files downloads