一种可信操作系统内核模糊测试的变异方法

摘要

本发明涉及操作系统漏洞挖掘领域，尤其是针对可信操作系统的漏洞挖掘领域，为解决可信操作系统模糊测试过程中变异生成的种子质量不佳的问题，设计了一种适用于可信操作系统模糊测试的种子变异方法。本发明的流程如图1所示，所采用的技术手段为：对测试集的种子进行随机化变异后，利用有效性判断函数筛选出格式、语义正确的有效种子；使用有效性判断函数覆盖率和可信操作系统内核覆盖率两个反馈信息共同指导变异算法的调整，利用具有正反馈的种子不断更新变异使用的测试集。基于本发明的方法，可信操作系统进行模糊测试过程可以在变异阶段快速地生成优质种子，从而提高模糊测试的执行效率和测试到的可信操作系统内核代码范围。