An operational semantics for Android activities - Université de La Réunion Access content directly
Conference Papers Year : 2014

An operational semantics for Android activities


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.
Fichier principal
Vignette du fichier
An_operational_semantics_for_android_activities.pdf (545.91 Ko) Télécharger le fichier

Dates and versions

hal-01451693 , version 1 (09-11-2018)


  • 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⟩
92 View
202 Download


Gmail Mastodon Facebook X LinkedIn More