首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种集成污点分析和符号执行的灰盒模糊测试方法 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:上海安般信息科技有限公司

摘要:本发明提供一种集成污点分析和符号执行的灰盒模糊测试方法,包括:对被测程序的源代码进行覆盖率插桩和污点分析插桩得到可执行程序;从种子池中选择被变异的种子;为被变异的种子分配第一变异策略和第二变异策略以生成测试用例;将测试用例输入被测程序,如果测试用例覆盖了被测程序的新状态,则将其作为新种子;基于符号执行的种子生成工具监测模糊测试的当前状态,辅助生成可以覆盖新状态的新种子,新种子被加入到种子池;如果被测程序崩溃,则保存测试用例用于后续的进一步分析。本发明提供的集成污点分析和符号执行的灰盒模糊测试方法,通过集成污点分析和符号执行,提高模糊测试的效率及其覆盖深层次路径的能力。

主权项:1.一种集成污点分析和符号执行的灰盒模糊测试方法,其特征在于,包括:对被测程序的源代码分别进行覆盖率插桩和污点分析插桩得到可执行程序;从种子池中选择被变异的种子;为所述被变异的种子分配第一变异策略和第二变异策略以生成测试用例,所述第一变异策略为基于覆盖率反馈机制的变异策略,所述第二变异策略为基于污点分析的变异策略;将所述测试用例输入所述被测程序,如果所述测试用例覆盖了所述被测程序的新状态,则将其作为新种子;基于符号执行的种子生成工具监测模糊测试的当前状态,辅助生成可以覆盖新状态的新种子,新种子被加入到所述种子池;如果所述被测程序崩溃,则保存所述测试用例用于后续的进一步分析。

全文数据:

权利要求:

百度查询: 上海安般信息科技有限公司 一种集成污点分析和符号执行的灰盒模糊测试方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。