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 metadatas

Cited literature [10 references]  Display  Hide  Download

http://hal.univ-reunion.fr/hal-01451693
Contributor : Réunion Univ <>
Submitted on : Friday, November 9, 2018 - 8:56:28 AM
Last modification on : Thursday, March 28, 2019 - 11:24:10 AM
Long-term archiving on : Sunday, February 10, 2019 - 12:36:12 PM

Identifiers

  • HAL Id : hal-01451693, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

29

Files downloads

64