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.
Type de document :
Communication dans un congrès
Wei-Ngan Chin. ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. ACM Press, pp.121-132, 2014, Proceedings of the ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01451693
Contributeur : Réunion Univ <>
Soumis le : vendredi 9 novembre 2018 - 08:56:28
Dernière modification le : mercredi 14 novembre 2018 - 01:18:29

Identifiants

  • HAL Id : hal-01451693, version 1

Collections

Citation

Etienne Payet, Fausto Spoto. An operational semantics for Android activities. Wei-Ngan Chin. ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. ACM Press, pp.121-132, 2014, Proceedings of the ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014. 〈hal-01451693〉

Partager

Métriques

Téléchargements de fichiers

4