Publication Type

Conference Proceeding Article

Version

publishedVersion

Publication Date

6-2016

Abstract

Android, the modern operating system for smartphones, together with its millions of apps, has become an important part of human life. There are many challenges to analyzing them. It is important to model the mobile systems in order to analyze the behaviors of apps accurately. These apps are built on top of interactions with Android systems. We aim to automatically build abstract models of the mobile systems and thus automate the analysis of mobile applications and detect potential issues (e.g., leaking private data, causing unexpected crashes, etc.). The expected results will be the accuracy models of actual various versions of Android system and apps for top apps selected from Google Play Store.

Keywords

Android application, Android system, Control flow; Data flow, Modeling, Static analysis, Whole-system analysis

Discipline

Software Engineering | Systems Architecture

Publication

14th Annual International Conference on Mobile Systems, Applications, and Services: MobiSys 2016, Singapore, 2016 June 25-30

First Page

30

ISBN

9781450344166

Identifier

10.1145/2938559.2948874

Publisher

Association for Computing Machinery, Inc

City or Country

Singapore

Additional URL

http://doi.org./10.1145/2938559.2948874

Download

Share

COinS