SymCC-Parallel 项目汇报
并行符号执行驱动的混合模糊测试框架：架构、关键技术、SOTA 落地边界与实验进展
2026-07-30 审核修订版：统计、图表、PPTX 与证据包已重新校验
下载
| 文件 | 说明 |
|---|---|
| PowerPoint 演示稿 | 28 页 16:9，27 页含讲者备注；适合直接汇报 |
| 项目汇报正文（HTML） | 完整架构、执行流、技术原理、学术映射和实验结论 |
| 项目汇报正文（Markdown） | 正文源文件，可追踪图和证据链接 |
| 完整汇报 ZIP | 报告、PPTX、46 张 SVG/PNG、技术档案和实验证据 |
| 当前实现评估 | 20 轮独立样本配置比较、LAVA-M 消融与方法边界 |
| 当前技术全景 | F00-F296 共 297 项功能的实现、测试和成熟度导航 |
| 主实验统计证据 | 原始 CSV、独立样本比较、统计 JSON、图和哈希说明 |
| SHA-256 校验 | 当前主交付文件的校验和 |
经审核的主要结果
同机、同一 SymCC/重放二进制和同一初始语料，每组 20 个独立样本。当前
4 AFL + 3 SymCC + basic profiles 相对同为名义 8 核的旧
1 AFL + 6 SymCC + profiles off，15 秒离线候选并集边覆盖率均值差为：
- libarchive：+0.953 pp，95% CI [+0.582, +1.321]，Holm p=0.00168；
- SQLite：+1.949 pp，95% CI [+1.466, +2.441]，Holm p=0.00032。
比较使用 independent bootstrap、双侧 label-permutation test 和 Holm 多重比较校正。
LAVA-M base64 的 13-seed 机制描述显示：runtime-full 相对
strict-first-z3 的完整路径 Z3 调用减少 56.6%，候选增加 33.7%；但
solver queries 增加 190.5%、solver time 增加 82.6%、墙钟为 53.3 倍、候选吞吐下降
97.5%，listed bug 并集仍为 41/44。因此该结果不能表述为求解提速或漏洞数提升。
必须保留的边界
- 主实验改变了 AFL 实例数、SymCC worker 数和 AFL profiles，只能归因于完整组合配置。
- 主指标包含
--save-all，是离线候选并集，不是 AFL 在线 accepted corpus。 - 当前 AFL-only sanity 只有 1 核，不能证明等 CPU 下 Hybrid 优于纯 AFL。
- 当前证据不是 sealed 随机区组确认实验，不能宣称达到或超过 SOTA。
验证状态
当前复跑：LLVM lit 209/209 通过（133.83 秒），Python unittest
475/475 通过（82.00 秒）；297 个功能 ID 连续、375 个
SYMCC_* 名称、231 个 test/ 一级普通文件、46 张配图均已机械校验。
PPTX 压缩包完整，含 28 张 slide XML 和 27 张 notes XML。
历史的 symcc-report.tar.gz 和
Project_Report_Slides.html 保留用于追溯，不再作为当前统计结论入口。