水木羽林WINGFUZZ协议智能模糊测试系统

水木羽林WINGFUZZ智能模糊测试解决方案，通过 “平台+服务” 模式，可面向协议、数据库、内核应用、Web等全类型软件对象挖掘检测未知的安全性、稳定性、可靠性缺陷，协助高效修复。

协议模糊测试通过自动化生成大量用例，构造异常输入，触发系统深层缺陷，是提升系统安全性与健壮性的有效手段。

清华大学科研成果，性能指标量化领先：
两阶段架构：基于“生成”+“变异”两阶段架构测试用例生成。生成阶段保证协议通信逻辑正确性，突变阶段带来模糊测试异常用例覆盖度。
状态引导算法：基于系统输出序列进行状态追踪与引导，生成协议逻辑感知的数据包序列。
协议与监控灵活扩展：支持模型、客户端两种协议自定义模式，灵活适配私有协议。支持非侵入式、侵入式两类监控器扩展，按需提升检测能力。

相关技术发表多篇顶会论文：

 • Parallel Fuzzing of IoT Messaging Protocols through Collaborative Packet Generation (EMSOFT 2024)

• BLEEM: Packet Sequence Oriented Fuzzing for Protocol Implementations (USENIX Security 2023）

• Vulnerability Detection of ICS Protocols Via Cross-State Fuzzing  (EMSOFT 2022 Best Paper Candidate)

 • PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles (DAC 2021)

· 对标国外竞品，功能完善，开箱即用，易于上手。

· 以用户角度出发的测试过程可视化设计，测试进程、交互情况、异常监控情况一目了然。
· 高度完善的测试过程交互设计，一键定位问题数据包进行分析，一键拖动查看全局通信交互。

对标国际标杆工具，全面覆盖标准协议功能场景，支持用户灵活配置选择。
内置千万级默认测试用例，支持灵活分组管理，灵活配置。

智能化私有协议分析测试：

具备成熟、完善的物理层硬件适配方案，覆盖无线协议、工控车控协议场景，并具备定制扩展能力。

项目案例：国家重点研发计划专项

本项目旨在突破工业协议安全分析的传统模式，研究协议测试的建模、逆向、执行和监测的全流程机理及优化协同技术，构建工业协议智能安全测试平台。

软件质量与安全“羽林卫”
北京水木羽林科技有限公司致力于解决基础软件、AI软件质量安全保障问题，引领智能模糊测试、AI软件测试等方向的前沿技术，打造全类型软件"测
试、修复、防护”一体化解决方案。
· 清华大学核心创始团队

· 北京市科技进步一等奖

· 60余篇模糊测试顶级论文
· Google FuzzBench 测评排名第一
· 300余个中美国家安全漏洞库漏洞。