[发明专利]基于多任务机制的安卓应用程序静态分析方法有效
| 申请号： | 201911011509.5 | 申请日： | 2019-10-23 |
| 公开（公告）号： | CN110908781B | 公开（公告）日： | 2023-09-05 |
| 发明（设计）人： | 吴志林;何锦龙 | 申请（专利权）人： | 广州市智能软件产业研究院 |
| 主分类号： | G06F9/48 | 分类号： | G06F9/48 |
| 代理公司： | 广州容大知识产权代理事务所(普通合伙) 44326 | 代理人： | 刘新年 |
| 地址： | 511455 广东省广州市南沙区*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 基于 任务 机制 应用程序 静态 分析 方法 | ||
【权利要求书】：
1.一种基于多任务机制的安卓应用程序静态分析方法，其特征在于，包括：
构建安卓应用程序的任务栈模型；其中，包括对安卓应用程序先进行反编译，提取得到manifest文件，从manifest文件中提取安卓应用程序的活动属性以及活动转换规则，再基于控制流和数据流的静态分析构建对应的安卓应用任务栈模型；
对安卓应用任务栈模型进行任务栈格局可达性分析；其中，包括针对安卓系统任务栈行为的安卓诊断应用，得到活动调用关系规则的精确语义，然后通过设置任务栈中每个回退栈的活动数量上限，将任务栈格局编码成长度受限的字符串，根据活动调用关系语义，得到字符串之间的变换规则，从而将任务栈格局可达性问题转化为一个有限状态系统的状态可达性问题，利用符号化模型检测工具nuXmv来求解所述有限状态系统的状态可达性问题；
以及对安卓应用任务栈模型进行任务栈有界性分析，其中，包括有界性分析算法设置一个常数k，对给定任务的回退栈在其它至多k个任务的协助下使得其中的活动数量无限增长进行分析，通过对其它k个回退栈的活动调用规则的分析，为给定任务的回退栈增加虚拟的活动调用规则，从而使得对多个任务的回退栈的分析转化为对单栈系统的分析，而且利用任务栈可达性分析算法来得到任务栈模型中对应于给定任务的回退栈无界性的活动调用路径。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于广州市智能软件产业研究院，未经广州市智能软件产业研究院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201911011509.5/1.html，转载请声明来源钻瓜专利网。
