基于多任务机制的安卓应用程序静态分析方法技术

本发明专利技术涉及一种基于多任务机制的安卓应用程序静态分析方法，其特征在于，包括：构建安卓应用程序的任务栈模型；对安卓应用任务栈模型进行任务栈格局可达性分析；以及对安卓应用任务栈模型进行任务栈有界性分析。本发明专利技术技术方案，相比于现有技术，可以针对安卓应用的多任务机制进行静态分析，避免设计中可能出现的安全漏洞。

Static analysis method of Android Application Based on multitasking mechanism

【技术实现步骤摘要】
基于多任务机制的安卓应用程序静态分析方法
本专利技术涉及计算机
，尤其是涉及一种基于多任务机制的安卓应用程序静态分析方法。
技术介绍
安卓是一种基于Linux的自由及开放的操作系统，主要使用于移动终端。安卓系统的月活跃数量已经超过20亿，占据了手机操作系统市场份额的80％。从2016年至今，安卓应用商店上发布的应用(App)已经超过200万个。多任务机制是安卓系统用户界面管理的一种核心机制，通过活动(activity)、回退栈(backstack)和任务栈的独特设计使得可以对用户操作进行方便地组织和对后台应用状态进行维护，使用户可以在应用之间方便地进行切换及平滑任务历史浏览。以安卓手机为例，一个任务(task)就是一组活动(activity)的集合，活动是按照打开的顺序被放置在先进后出的回退栈中。用户点击一个应用app的图标时，该app的任务会被移到前台进行显示。当该任务的活动A打开另一个活动B，B会置于栈顶进行显示，用户可以通过按下返回键将任务栈中的活动依次弹出，当最后一个活动被弹出，该任务就消失了。当安卓手机未运行用户选定的a本文档来自技高网...

【技术保护点】
1.一种基于多任务机制的安卓应用程序静态分析方法，其特征在于，包括：/n构建安卓应用程序的任务栈模型；/n对安卓应用任务栈模型进行任务栈格局可达性分析；以及/n对安卓应用任务栈模型进行任务栈有界性分析。/n

【技术特征摘要】
1.一种基于多任务机制的安卓应用程序静态分析方法，其特征在于，包括：
构建安卓应用程序的任务栈模型；
对安卓应用任务栈模型进行任务栈格局可达性分析；以及
对安卓应用任务栈模型进行任务栈有界性分析。


2.根据权利要求1所述的基于多任务机制的安卓应用程序静态分析方法，其特征在于，所述构建安卓应用程序的任务栈模型的步骤，包括：
输入安卓应用程序的安装程序或者源代码进行反编译，提取得到manifest文件；
从manifest文件中提取安卓应用程序的活动属性以及活动转换规则；
基于控制流和数据流的静态分析构建对应的安卓应用任务栈模型。


3.根据权利要求2所述的基于多任务...

【专利技术属性】
技术研发人员：吴志林，何锦龙，
申请(专利权)人：广州市智能软件产业研究院，
类型：发明
国别省市：广东;44