该方法挖掘了符号执行模块执行过程中被忽略的程序关键点信息,并基于关键点来增强符号执行模块中的测试用例生成和指导模糊测试模块中测试用例调度与变异过程,在两个模块之间实现了更细粒度的测试用例同步,进而提升了整体的漏洞挖掘效率。 1 混合式漏洞挖掘测试用例同步问题 混合式漏洞挖掘框架可以分为模糊测试和符号执行两...