-
公开(公告)号：CN107341403B
公开(公告)日：2020-11-27
申请号：CN201710607870.9
申请日：2017-07-24
Applicant: 北京理工大学
IPC: G06F21/57 , G06F40/151
Abstract: 本发明公开了一种文件转换方法和装置，应用于二进制文件分析框架angr中，包括：获取待检测Android应用的dex文件；将所述dex文件转换为所述angr框架支持的二进制格式的第一文件；加载所述第一文件到所述angr框架中并对所述第一文件进行符号执行分析，根据所述符号执行分析结果辅助判断待检测Android应用是否存在漏洞。本发明实施例的技术方案通过对Android应用的可执行文件进行转换处理，使其能够成功加载到angr框架，利用angr对Android应用进行基于符号执行的漏洞检测，从而为Android应用漏洞检测提供了新的解决方案，保证Android应用的安全性。
-
公开(公告)号：CN107341403A
公开(公告)日：2017-11-10
申请号：CN201710607870.9
申请日：2017-07-24
Applicant: 北京理工大学
Abstract: 本发明公开了一种文件转换方法和装置，应用于二进制文件分析框架angr中，包括：获取待检测Android应用的dex文件；将所述dex文件转换为所述angr框架支持的二进制格式的第一文件；加载所述第一文件到所述angr框架中并对所述第一文件进行符号执行分析，根据所述符号执行分析结果辅助判断待检测Android应用是否存在漏洞。本发明实施例的技术方案通过对Android应用的可执行文件进行转换处理，使其能够成功加载到angr框架，利用angr对Android应用进行基于符号执行的漏洞检测，从而为Android应用漏洞检测提供了新的解决方案，保证Android应用的安全性。
-
公开(公告)号：CN105512046A
公开(公告)日：2016-04-20
申请号：CN201610069905.3
申请日：2016-02-01
Applicant: 北京理工大学
CPC classification number: G06F11/3684 , G06N3/00
Abstract: 本发明一种基于粒子群优化算法的Android自动化测试方法，不仅能够模块化进行应用控件的触发，并且能够生成更高效的输入类测试数据，在便捷的同时能够更加高效的触发软件异常。步骤一、将app安装在模拟器上，viewer模块负责开启view server服务，通过hierarchy viewer获取app的控件层次树信息；步骤二、以获取到的控件层次树信息为输入，PSO模块的build tree方法将其组织成便于遍历的树结构；步骤三、遍历build tree构造的控件层次树，每遍历一个节点就去test case模块中查找是否有历史测试用例；步骤四、调用test case模块中存储的测试用例集，即可实现自动化测试。
-
公开(公告)号：CN105512046B
公开(公告)日：2018-02-13
申请号：CN201610069905.3
申请日：2016-02-01
Applicant: 北京理工大学
Abstract: 本发明一种基于粒子群优化算法的Android自动化测试方法，不仅能够模块化进行应用控件的触发，并且能够生成更高效的输入类测试数据，在便捷的同时能够更加高效的触发软件异常。步骤一、将app安装在模拟器上，viewer模块负责开启view server服务，通过hierarchy viewer获取app的控件层次树信息；步骤二、以获取到的控件层次树信息为输入，PSO模块的build tree方法将其组织成便于遍历的树结构；步骤三、遍历build tree构造的控件层次树，每遍历一个节点就去test case模块中查找是否有历史测试用例；步骤四、调用test case模块中存储的测试用例集，即可实现自动化测试。
-
-
-
Search Results
4
records
(took 0.022 seconds)
