杭州电子科技大学徐向华获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉杭州电子科技大学申请的专利一种基于多元种子选择的混合模糊测试方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115934544B 。
龙图腾网通过国家知识产权局官网在2026-02-03发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211612182.9,技术领域涉及:G06F11/3668;该发明授权一种基于多元种子选择的混合模糊测试方法及系统是由徐向华;陶泓宇设计研发完成,并于2022-12-14向国家知识产权局提交的专利申请。
本一种基于多元种子选择的混合模糊测试方法及系统在说明书摘要公布了:本发明公开了一种基于多元种子选择的混合模糊测试方法和系统。首先对被测程序进行静态分析,获取可疑漏洞点集合和程序控制流图信息,种子协调器使用可疑漏洞点集合和控制流图信息生成可维护的完整控制流图;其次在混合模糊测试过程中维护遗漏分支表,同时增加程序控制流图中已执行分支的执行频率;然后根据程序控制流图和分支执行频率,对每条遗漏分支计算分支约束复杂度、分支深度和可疑漏洞点距离,计算每条遗漏分支的符号求解预期收益;最后计算种子最终收益,并选取种子池中最终收益最高的k个种子提供给符号执行器进行求解。本发明有效得提升混合模糊测试的测试效率,探索更多被测程序分支,发现更多程序漏洞,适用于所有类AFL模糊测试器。
本发明授权一种基于多元种子选择的混合模糊测试方法及系统在权利要求书中公布了:1.一种基于多元种子选择的混合模糊测试方法,其特征在于包括四个阶段:模糊测试阶段、种子协调阶段、符号执行阶段、种子同步阶段; 首先,对被测程序进行静态分析,获取被测程序中可能触发漏洞的可疑漏洞点集合和程序控制流图信息,种子协调器使用可疑漏洞点集合和程序控制流图信息生成可维护的完整控制流图; 其次,在混合模糊测试过程中维护遗漏分支表,每当种子池中添加了新种子,就对新种子进行执行路径分析计算,生成最新的遗漏分支表,同时增加程序控制流图中已执行分支的执行频率; 然后,种子协调器根据程序控制流图和分支执行频率,对遗漏分支表中的每条遗漏分支计算分支约束复杂度、分支深度和可疑漏洞点距离,并用这三个信息计算每条遗漏分支的符号求解预期收益; 其中,遗漏分支约束复杂度计算过程为:对于给定遗漏分支CodeBlockA,CodeBlockB,根据CodeBlockA的代码块标识在CFG上获取其所有后缀代码块OtherCBlocks;对于CodeBlockA与OtherCBlocks中每个代码块组成的程序分支,计算所有程序分支的执行频率之和为ExecCountAll;由于CodeBlockA,CodeBlockB为遗漏分支,默认其执行频率ExecCountCodeBlockA,CodeBlockB=1,则被测程序执行完CodeBlockA后到达CodeBlockB的概率为1ExecCountAll,将其视为该遗漏分支的约束复杂度Complex; 遗漏分支深度计算过程为:对于给定的遗漏分支CodeBlockA,CodeBlockB,在CFG上使用Dijkstra最短路径算法计算CodeBlockA和main函数入口代码块之间的最短路径,即为该遗漏分支的深度Depth; 可疑漏洞距离计算过程为:对于给定遗漏分支CodeBlockA,CodeBlockB和可疑漏洞点集合CrashCBs,在CFG图上使用Dijkstra最短路径算法计算CodeBlockB和CrashCBs中每个可疑漏洞点之间的路径长度CrashLen,然后对求得的所有CrashLen计算调和平均距离,作为该遗漏分支的可疑漏洞距离Len; 最后,对于种子池中的每个种子,计算该种子执行路径上所有遗漏分支的符号求解预期收益之和作为种子最终收益,并选取种子池中最终收益最高的k个种子提供给符号执行器进行求解;对求解生成的测试用例进行覆盖检验,将能触发新的程序分支的测试用例同步至种子池中。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人杭州电子科技大学,其通讯地址为:310018 浙江省杭州市下沙高教园区2号大街;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励