.png){kind=icon}
返回
Static Back-Stack Transition Analysis for Android
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2019.2934528.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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-stack-related 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 back-stack transition analysis outperforms the state-of-the-art one by 29.8% in avoiding 3-length infeasible paths.
Keyword:
Android
activity transition
back stack
static analysis
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
分享收藏分享收藏PCMs for Residential Building Applications: A Short Review Focused on Disadvantages and Proposals for Future Development.png)
BuildingsOAAI
BuildingsIF0
OAAI分享收藏Intelligent perceptual information parallel processing system controlled by mathematical AIM model
PREAI
分享收藏
查看更多内容