模糊测试

安般科技（Anban Tech）是国内首家将“智能模糊测试”技术商业化的公司，已形成覆盖源码、固件、协议、Web/API、AI 模型等全场景的负面测试产品矩阵。下面按照“产品家族—技术架构—部署形态—行业方案—典型案例—技术指标”六个维度做系统介绍。

一、产品家族：4 条工具链 + 3 大管理平台  

1. 易恒（YiHeng）智能模糊测试系统  

  • 形态：C/C++、Java 灰盒/白盒测试旗舰  

  • 能力：编译期插桩 + AI 变异引擎，单节点每秒可执行上百次有效测试，自动给出缺陷触发用例与代码级定位  

2. 易侦（YiZhen）协议模糊测试系统  

  • 形态：黑盒协议 Fuzz，支持 50+ 工控/车载/金融私有协议，内置协议模板与变异策略  

3. 易察（YiCha）Web / API 模糊测试系统  

  • 形态：黑盒 + 灰盒混合，覆盖 REST、GraphQL、SOAP、gRPC 等接口，支持 JWT/OAuth 认证绕过场景  

4. 易复（YiFu）嵌入式 / 固件模糊测试系统  

  • 形态：指令集仿真 + 全数字仿真环境，支持 ARM、MIPS、PowerPC、RISC-V 等 12 种 CPU  

5. DevQualOps 平台  

  • 把上述 4 款引擎接入 CI/CD，提供质量门禁、缺陷跟踪、版本基线比对、合规报表  

6. S-SDLC 供应链安全平台  

  • 集成 SAST、SCA、FUZZ、DAST 四合一，针对外采软件、开源组件、第三方 SDK 做统一合规检查  

7. AI 模型安全测试套件（2024Q4 发布）  

  • 针对大模型、CV/NLP 算法进行对抗样本、鲁棒性、偏见检测 

二、技术架构：AI × 编译器插桩 × 大规模并行  

1. 编译器级插桩：基于 LLVM/Clang 深度定制，在 IR 层插入路径探针，运行时收集边覆盖率、调用栈、内存状态。  

2. AI 变异引擎：采用遗传算法 + LLM 结合的“引导式变异”，根据路径反馈实时调整种子权重，提升深路径触发概率 >300% 。  

3. 并行调度：支持单机多核、K8s 集群、私有云弹性伸缩；内置任务分片与崩溃去重，避免重复计算。  

4. 缺陷定位：崩溃现场自动提取 ASan、UBSan、Valgrind 报告，关联源码行号、函数名、变量值，一键生成可复现的最小用例。

三、部署形态  

• SaaS：公有云账号即用，适合中小团队 PoC。  

• 私有化：软硬一体机或纯软件许可，支持离线更新特征库。  

• DevOps 插件：Jenkins、GitLab CI、Azure DevOps、禅道、飞流等流水线一键接入。

四、行业解决方案  

1. 金融行业  

  • 针对核心交易、支付清算、手机银行 App 等 C/C++、Java 模块，1 小时发现内存泄漏、整型溢出、空指针等高危缺陷 。  

2. 智能网联汽车  

  • 覆盖 MCU 固件、车载以太网、CAN/LIN 协议、T-Box、IVI 系统，满足 UNECE WP.29 及国内强制安全准入要求 。  

3. 军工 / 信创  

  • 通过国产 CPU/OS 适配（鲲鹏、飞腾、麒麟、统信），支持国密算法场景；所有日志与报告符合等保 2.0、关保、分保格式 。  

4. 工业控制  

  • 针对 PLC、DCS、SCADA 的私有协议进行黑盒 Fuzz，结合数字孪生仿真环境，可在不上真实产线的情况下完成安全测试 。

五、典型落地案例  

• 某头部券商交易系统：  

 – 测试对象：Linux C 服务 120 万行代码  

 – 结果：1 h 内自动生成了 2.3 亿条用例，发现 17 个可导致交易中断的缺陷；行覆盖率从 43% 提升到 98%，缺陷定位时间从平均 3 天降到 30 分钟 。  

• 某整车厂 T-Box 项目：  

 – 协议：自定义车载以太网诊断协议  

 – 结果：3 天完成 50 万轮协议 Fuzz，发现 4 个可远程重启控制器的 0-day，缺陷修复后通过 ECE R155 认证 。

六、关键技术指标（官方公开数据）  

| 指标             | 易恒 | 易侦 | 易察 | 易复 |

|-------------------------------|------|------|------|------|

| 支持语言/协议         | C/C++、Java | 50+ 工控/车载/金融协议 | REST、GraphQL、gRPC | 固件/嵌入式 |

| 覆盖率类型          | 语句、分支、函数、MC/DC | 协议状态覆盖 | API 参数组合覆盖 | 指令、路径覆盖 |

| 并发能力           | 单机 256 核 / K8s 弹性 | 单机 64 路 | 单机 128 并发 | 仿真 8 核 |

| 缺陷检测类型         | 内存、UAF、溢出、并发 | 协议异常、状态机绕过 | 认证绕过、注入、XSS | 固件崩溃、逻辑缺陷 |

| 0-day 发现能力        | 已公开 200+ CVE | 已公开 30+ 协议 0-day | 已公开 70+ Web 0-day | 已公开 15+ 固件 0-day |

| DevOps 集成          | Jenkins、GitLab、禅道 | Jenkins、GitLab、禅道 | Jenkins、GitLab、禅道 | Jenkins、GitLab、禅道 |

如需针对具体场景（如国密算法、AUTOSAR 协议、AI 模型）的详细测试模板或 PoC 环境，可直接联系安般科技技术顾问获取。