摘要
本发明属于计算机技术领域,公开了一种种子探索潜力导向的混合模糊测试方法,使用面向分支的评估作为计算种子潜力的依据,通过静态分析器,从被测程序中提取关键的程序静态信息并提供插桩后的产物;通过模糊测试器,依据用户指定的模糊测试策略对被测程序进行测试,得到协调器候选种子;通过协调器获取种子优先级;从协调器中按照探索潜力从高到低获取种子,进行符号执行。本发明可以提升软件漏洞的检测效率,在相同时间内相比同类技术能够获得更高的分支覆盖率,实现更广泛的代码覆盖和更高的漏洞发现能力。
技术关键词
混合模糊测试方法
种子
分支
覆盖率
测试器
程序
动态符号执行
执行器
队列
分析器
变异策略
评估算法
漏洞
目录
关系
阶段
机制