买专利卖专利找龙图腾,真高效! 查专利查商标用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、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。