An Information Flow Type System for Android

La crescente adozione da parte di dispositivi mobili del sistema operativo Android ha accresciuto l'interesse in meccanismi capaci di garantire la segretezza e l'integrità delle informazioni sensibili presenti all'interno dei dispositivi stessi. Questa tesi descrive un nuovo type system che, sfruttando il Decentralized Label Model, permette allo sviluppatore di garantire il rispetto delle suddette proprietà da parte del proprio applicativo, in maniera del tutto trasparente per l'utente finale. Il framework proposto deve affrontare alcune sfide peculiari della piattaforma Android, quali un control flow non standard, un sistema di comunicazione basato su Intent non tipati e l'introduzione di un supporto per alcune fra le caratteristiche più recenti di Java come i Generics. Trattandosi di analisi quasi interamente di tipo statico, l'impatto sulle prestazioni del codice risulta minimale. La tesi descrive inoltre come la soluzione qui proposta andrà ad integrarsi con il framework Lintent, che analizza staticamente applicazioni Android al fine di prevenire attacchi di privilege escalation e verificare il corretto utilizzo dell'API per la comunicazione inter-componente.