# SymCC-Parallel 项目汇报

并行符号执行驱动的混合模糊测试框架：架构、关键技术、SOTA 落地边界与实验进展

2026-07-30 迁移后深度审核版：内容、图表、PPTX、链接与证据包已重新校验

## 下载

文件 | 说明
--- | ---
PowerPoint 演示稿 | 28 页 16:9，27 页含讲者备注；适合直接汇报
项目汇报正文（HTML） | 完整架构、执行流、技术原理、学术映射和实验结论
项目汇报正文（Markdown） | 正文源文件，可追踪图和证据链接
审核后完整汇报 ZIP | 当前报告、PPTX、46 张 SVG/PNG、技术档案、审阅记录和实验证据
迁移前封存 ZIP | 只用于追溯，不包含本次审核修订
迁移后审阅记录 | 审阅范围、发现、修订项、图形质量与验证结果
当前实现评估 | 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。poly cache、cross-prefix 与 prefix context 命中均为 0。因此该结果不能表述为上下文复用收益、求解提速或漏洞数提升。

## 必须保留的边界

- 主实验改变了 AFL 实例数、SymCC worker 数和 AFL profiles，只能归因于完整组合配置。
- 主指标包含 `--save-all`，是离线候选并集，不是 AFL 在线 accepted corpus。
- 当前 AFL-only sanity 只有 1 核，不能证明等 CPU 下 Hybrid 优于纯 AFL。
- 当前证据不是 sealed 随机区组确认实验，不能宣称达到或超过 SOTA。

## 验证状态

当前顺序复跑：LLVM 18 lit 209/209 通过（134.25 秒），LLVM 17 208 passed + 1 unsupported（133.42 秒），Python unittest 475/475 通过（82.962 秒）；297 个功能 ID 连续、375 个 `SYMCC_*` 名称、231 个 `test/` 一级普通文件、46 张配图均已机械校验。 PPTX 压缩包完整，含 28 张 slide XML 和 27 张 notes XML。

历史的 `symcc-report.tar.gz` 和 `Project_Report_Slides.html` 保留用于追溯，不再作为当前统计结论入口。