摘要
本发明提供一种系统调用依赖关系驱动的内核模糊测试方法,包括:步骤1)基于syzlang和大语言模型识别系统调用静态依赖关系,从syzlang中解析参数依赖关系,利用LLMs结合内核文档识别参数和状态依赖;步骤2)通过运行时动态关系搜索识别系统调用动态依赖关系,对触发新代码覆盖的序列进行最小化,通过移除序列中系统调用观察其他调用的覆盖变化识别依赖关系;步骤3)基于识别的依赖关系制导序列生成,在资源匹配和系统调用选择阶段考虑依赖关系权重;步骤4)基于依赖关系制导序列变异,提供序列拼接、插入、交换和删除的变异方法;本发明解决了现有技术中内核模糊测试中依赖关系识别不全面、利用不充分的问题。