论文部分内容阅读
模糊测试是一种简单而高效的漏洞挖掘技术,但是对于具有复杂文件格式输入的应用程序,随机的变异策略会带来效率低下的问题。在使用基于覆盖率的灰盒模糊测试对WebAssembly虚拟机进行测试时,由于WebAssembly二进制文件遵循严格的格式,随机变异的方式难以生成合法有效的文件,导致代码覆盖率较低,并且难以检测虚拟机的深层逻辑。针对这一问题,本文提出了一种基于指令修正的分层模糊测试方案,分别在段表层和指令层对WebAssembly进行合理变异。同时引入了指令的修正机制,在保证文件整体有效性的同时,生成