We define an operational semantics for a large part of the Androidplatform, encompassing the Dalvik bytecode but also, and more importantly, the inter-component communication mechanism usedinside Android applications. This semantics is intended to providea formal basis for the development of static analyses that considerthe complex flow of information exposed by the cooperating components of Android applications.
An Operational Semantics for Android Activities
SPOTO, Nicola Fausto
2014-01-01
Abstract
We define an operational semantics for a large part of the Androidplatform, encompassing the Dalvik bytecode but also, and more importantly, the inter-component communication mechanism usedinside Android applications. This semantics is intended to providea formal basis for the development of static analyses that considerthe complex flow of information exposed by the cooperating components of Android applications.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
OperationalSemanticsAndroid.pdf
solo utenti autorizzati
Tipologia:
Versione dell'editore
Licenza:
Accesso ristretto
Dimensione
781.47 kB
Formato
Adobe PDF
|
781.47 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
