Automatic Construction of Callback Model for Android Application

Guo, Chenkai; Ye, Quanqi; Dong, Naipeng; Bai, Guangdong; Dong, Jin Song; Xu, Jing

doi:10.1109/iceccs.2016.041

Cited by 4 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Subsequently, the control flow analysis of user-driven callbacks is proposed [4]. Similar work on modeling callbacks for Android are [34], [35]. On these foundations, window transition graph (WTG) [12] is proposed and a static analysis toolset GATOR for Android applications is implemented [26].…”

Section: Related Work a Static Modeling For Android Appsmentioning

confidence: 99%

Static Back-Stack Transition Analysis for Android

et al. 2019

Self Cite

View full text Add to dashboard Cite

In Android, activity instances at an application's run time are organized in a back stack, and users always interact with the top instance of the stack. Users' interactions may trigger activity launchings, which change the state of the back stack. Therefore, back-stack transition analysis is closely related to activity transition analysis, which is fundamental for understanding Android behaviors. Existing activity transition analyses are not sensitive to back-stack-related configurations, which suppose all activities are launched with the default configuration, and thus model infeasible transitions and incorrect back-stack states when there are non-default configurations in an application. In this paper, we present a tool, BSSimulator, to perform the static back-stack transition analysis. The proposed analysis contains two types of graph constructions: the activity launching graph that represents activity transitions with extracted back-stackrelated configurations, and the back-stack transition graph that simulates the changes of the back stack triggered by activity launchings and back events. The study conducted on 968 open source apps from F-droid indicates that non-default configurations are in common use. The evaluations on 35 commonly used apps validate the high-precision of the generated activity launching graphs, and indicate that the proposed backstack transition analysis outperforms the state-of-the-art one by 29.8% in avoiding 3-length infeasible paths.INDEX TERMS Android, activity transition, back stack, static analysis.

show abstract