模糊测试

水木羽林模糊测试产品体系以 **WINGFUZZ 平台** 为核心，由多套专用引擎与一个统一调度框架组成，面向源码、协议、固件、数据库、Web/API 等不同测试对象。以下仅陈述技术构成与能力边界。

一、引擎组成  

1. WINGFUZZ for Code（源码灰盒引擎）  

  - 语言：C/C++、Java、Go、Rust、Python、JavaScript。  

  - 技术：LLVM/Clang 插桩、覆盖率引导、AI 变异、驱动自动生成、崩溃最小化。  

  - 输出：ASan/UBSan/Valgrind 报告、行号级缺陷定位、可复现 PoC。

2. WINGFUZZ for Protocol（协议黑盒/灰盒引擎）  

  - 范围：180+ 协议模板（IEC104、Modbus、MQTT、CAN、蓝牙、Wi-Fi、私有二进制协议）。  

  - 技术：双端并发、报文序列变异、状态机跨状态引导。  

  - 输出：协议异常报文、状态机绕过路径、会话级复现场景。

3. WINGFUZZ for OS / Firmware（系统与固件引擎）  

  - 架构：x86、ARM、MIPS、RISC-V、PowerPC。  

  - 技术：QEMU 全系统仿真 + 真实硬件混合执行、MMU 级故障注入。  

  - 输出：固件崩溃现场、寄存器/内存转储、外设交互异常序列。

4. WINGFUZZ for DB / Web / API（数据与接口引擎）  

  - 对象：MySQL、PostgreSQL、达梦、人大金仓、REST/GraphQL/gRPC 接口。  

  - 技术：语法树感知变异、身份认证绕过模式、数据库状态快照回滚。  

  - 输出：SQL 注入、访问控制绕过、逻辑缺陷触发序列。

二、统一调度框架  

• 任务调度：单机 256 核并行、Kubernetes 弹性集群、任务级去重。  
• 插桩框架：深度定制 LLVM Pass，单用例运行时开销 <0.5 µs。  
• 崩溃管理：去重哈希、影响度评分、自动最小化、回归测试触发器。  
• 数据接口：RESTful API、JUnit XML、SARIF、JSON 报告导出。

三、部署形态  

• SaaS：容器隔离，支持黑盒测试无需源码，灰盒测试通过 SDK 插桩。  
• 私有化：软硬一体机或裸机软件包，离线更新特征库，支持国密 TLS 通道。  
• DevOps 插件：提供 Jenkins、GitLab CI、禅道、飞书流水线触发器。

四、覆盖指标  

• 语句、分支、MC/DC、边界值、协议状态、报文序列、API 参数组合。  
• 支持增量基线对比，自动生成覆盖率热图与未覆盖路径列表。

五、漏洞检测范围  

• 内存错误：缓冲区溢出、UAF、越界读写、双重释放。  
• 并发缺陷：竞态条件、死锁、ABA 问题。  
• 逻辑缺陷：整数溢出、除零、不可达代码、异常处理缺失。  
• 协议缺陷：状态机绕过、字段解析不一致、时序异常。