 |
 |
 |
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 :
Dalvik
Static Anal-ysis
Verification Keywords Operational Semantics
Theory
Program analysis General Terms Languages
F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics
F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification
Static Analysis
Operational Semantics
Android
Cited literature [20 references]
https://hal.univ-reunion.fr/hal-01451693
Contributor : Réunion Univ <>
Submitted on : Friday, November 9, 2018 - 8:56:28 AM
Last modification on : Monday, September 2, 2019 - 9:42:13 AM
Long-term archiving on: : Sunday, February 10, 2019 - 12:36:12 PM
Contributor : Réunion Univ <>
Submitted on : Friday, November 9, 2018 - 8:56:28 AM
Last modification on : Monday, September 2, 2019 - 9:42:13 AM
Long-term archiving on: : Sunday, February 10, 2019 - 12:36:12 PM