Static analysis of Android programs

Authors:
Étienne Payet;Fausto Spoto
Affiliations:
LIM-IREMIA, Université de la Réunion, France;Dipartimento di Informatica, Università di Verona, Italy
Venue:
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Year:
2011

Citing 6
Cited 2

Object-oriented type inference

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A New Numerical Abstract Domain Based on Difference-Bound Matrices

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Class analyses as abstract interpretations of trace semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)
A termination analyzer for Java bytecode based on path-length

ACM Transactions on Programming Languages and Systems (TOPLAS)
Precise null-pointer analysis

Software and Systems Modeling (SoSyM)

Finding errors in multithreaded GUI applications

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Static analysis of Android programs

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Android is a programming language based on Java and an operating system for mobile or embedded devices. It features an extended event-based library and dynamic inflation of graphical views from declarative XML layout files. A static analyzer for Android programs must consider such features, for correctness and precision. This article is a description of how we extended the Julia system, based on abstract interpretation, to run formally correct analyses of Android programs. We have analyzed with Julia the Android sample applications by Google and a few larger open-source programs. Julia has found, automatically, bugs and flaws both in the Google samples and in the open-source programs.