 |
 |
 |
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.
Keywords :
Android
Operational Semantics
Static Analysis
F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification
F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics
Program analysis General Terms Languages
Theory
Verification Keywords Operational Semantics
Dalvik
Static Anal-ysis
Cited literature [20 references]
https://hal.univ-reunion.fr/hal-01451693
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
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