龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：南京大学
摘要：本发明公开了一种基于静态分析的安卓应用Binder通信过载漏洞的检测方法，包括：分析安卓框架源代码建立函数调用图，基于传输函数transact前向分析确定安卓框架暴露的Binder通信接口函数；对安卓应用代码进行静态分析，通过上下文不敏感、流敏感、路径不敏感的函数间数据流分析技术，建立完毕单个函数的数据包含关系表；选取其中与Binder通信接口函数相关的函数建立应用数据包含关系总表；基于扩容传输的模式查找符合模式的扩容传输对象，分析扩容传输对象的扩容语句判断是否满足循环条件，检测得到符合循环扩容传输模式的Binder通信过载漏洞。本发明采取静态程序分析的手段，通过建立整个应用的数据包含关系确定传输对象，达到检测Binder通信过载漏洞的技术效果。
主权项：1.一种基于静态分析的Binder通信过载漏洞的检测方法，其特征在于，所述检测方法包括以下步骤：S1，分析安卓框架源代码建立函数调用图，基于传输函数transact前向分析确定安卓框架暴露的Binder通信接口函数；S2，对安卓应用代码进行静态分析，从安卓应用中使用的Binder通信接口函数出发，通过上下文不敏感、流敏感、路径不敏感的函数间数据流分析技术，其中数据流分析的迭代终止条件为数据包含关系表ContainerMap不再变化，建立完毕单个函数的ContainerMap；选取其中与Binder通信接口函数相关的函数建立应用数据包含关系总表ContainerMap_app；S3，基于步骤S2所述的ContainerMap_app，基于扩容传输的模式查找符合模式的扩容传输对象，分析扩容传输对象的扩容语句判断是否满足循环条件，检测得到符合循环扩容传输模式的Binder通信过载漏洞。
全文数据：
权利要求：
百度查询： 南京大学 基于静态分析的Binder通信过载漏洞的检测方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号