Skip to Main content Skip to Navigation
Master thesis

Security analysis of Android applications

Bertrand Bonnefoy-Claudet 1, 2
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The now ubiquitous Android platform lacks security features that are considered to be necessary given how easily an application can be uploaded on markets by third-party developers and distributed to a large set of devices. Fortunately, static analysis can help developers, markets and users improve the quality and security of applications at a reasonable cost by being automated. While most existing analyses target specific security properties, we take a step back to build better foundations for the analysis of Android applications. We describe a model and give semantics for a significant part of the system by studying what obstacles existing analyses have faced. We then adapt a classical analysis, known as points-to analysis, to applications. This leads us to design and implement a new form of context-sensitivity for Android, paving the way for further experimentation and more specific security analyses.
Document type :
Master thesis
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy Connect in order to contact the contributor
Submitted on : Sunday, January 4, 2015 - 1:00:20 PM
Last modification on : Friday, October 8, 2021 - 6:50:14 PM
Long-term archiving on: : Thursday, September 10, 2015 - 11:20:50 PM


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : dumas-01088788, version 1


Bertrand Bonnefoy-Claudet. Security analysis of Android applications. Formal Languages and Automata Theory [cs.FL]. 2014. ⟨dumas-01088788⟩



Record views


Files downloads