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

http://hal.univ-reunion.fr/hal-01451693
Contributeur : Réunion Univ <>
Soumis le : mercredi 1 février 2017 - 12:55:58
Dernière modification le : mercredi 7 février 2018 - 08:12:02

Identifiants

  • HAL Id : hal-01451693, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

31