本工具是一款高效的 Wafer WebAssembly测试研究助手, 基于 多样化代码模糊技术 与 变异策略生成。 智能分析 WebAssembly 编译器特性,自动生成高覆盖率测试用例, 助您快速发现 编译器深层漏洞 与 JIT 编译缺陷。
通过随机的指令替换、块结构打乱与类型强制转换,生成覆盖率极高的变异 Wasm 字节码。
专注于测试 JIT 编译器优化阶段的边界条件,探测潜在的内存破坏与逻辑崩溃风险。
生成的测试用例均遵循 Wasm 规范,确保可以被目标引擎正确解析,避免无效语法错误。
通过执行生成的边缘用例,观察引擎是否出现崩溃、内存泄漏或断言失败。