# 答辩补充数据(按重要性)· 第一批(已有数据即可给)

> 实验机 `ubuntu@cuda-ke`。代码 git `ee4d03c`(tag `v1.0-266-gee4d03c`)。
> 本页给 #1(P147 同超时基线)、#3(freetype2 逐轮)、#5(运行配置元数据)——**均为已有实测,可直接用**。
> #2(CPU 对等 afl-only)、#4(LAVA bug 计数)为新实验,正在后台补(见续页)。

---

## #1 · P147 同超时基线:固定 T=30 下 libarchive 的 Full ≈ Baseline〔最重要〕

**核心结论:把超时固定在 T=30(不再让基线用 T=10、全增强用 T=30),多跑几轮后,libarchive 上
"全增强"与"基线"覆盖率【完全持平】,增强净贡献 ≈ 0pp——那张 1.38→4.56 的上升柱是【超时污染 + 单轮噪声】造成的假象。**

实测(libarchive,np=32,300s,**SYMCC_TIMEOUT=30 固定**):

| 配置(固定 T=30) | Hybrid ShowmapCov(每轮) | 均值 | Hybrid-AFL FstatsCov(每轮) | 均值 |
|---|---|---|---|---|
| **基线**(增强关) | 27.21 / 26.70 | **26.95%** | 23.67 / 25.56 | ~24.6% |
| **全增强**(增强开) | 26.74 / 26.76 / 27.36 | **26.95%** | 24.28 / 22.25 / 25.50 | ~24.0% |

→ **两根柱等高(ShowmapCov 26.95% vs 26.95%,FstatsCov ~24.6% vs ~24.0%),Δ ≈ 0pp。**

**对照:那张易误读的原图**(混入了超时变化):
| | 原图(基线 T=10 vs 全增强 T=30) | 诚实图(都 T=30) |
|---|---|---|
| 基线"差值柱" | +1.38pp | — |
| 全增强"差值柱" | +4.56pp | — |
| 直接覆盖率 | — | 基线 26.95% ≈ 全增强 26.95% |
| 解读 | "增强 +3.18pp 净增" | **增强 ≈ 0;原 +3.18pp = 超时(T10→30)+ 噪声** |

**建议图**:横轴两根柱"基线/全增强"都画到 ~27%(或 FstatsCov ~24%),标注"固定 T=30、n=2–3、Δ≈0、在方差内"。
数据文件:`Q6_ablation.csv`。

> 注:原"1.38→4.56"是 FstatsCov 的**差值之差**(Hybrid−AFL-only)。若要严格按该口径重画,需要一条 **afl-only 的
> FstatsCov 基线**(afl-only 不受 SYMCC_TIMEOUT 影响)——正在后台补测(见 #2 同批),补上后可给出"基线Δ vs 全增强Δ
> 都≈0"的差值版对照。但**结论不变:固定超时后 Full≈Baseline**。

---

## #3 · freetype2 300s 3 轮逐轮值(供按 300s 口径重绘 P115/P147)

之前只给了 mean±sd,这里是**每一轮的点**(hybrid,300s,非自适应):

| np | r1 | r2 | r3 | 均值±sd |
|---|---|---|---|---|
| **8** | 12.87% | 15.88% | 15.49% | 14.75 ± 1.34 |
| **32** | 15.32% | 14.55% | 13.57% | 14.48 ± 0.72 |

→ np8 ≈ np32(差 0.27pp,在 sd 内),"腰斩"证伪。逐轮点已可直接画散点/误差棒图。数据文件:`Q6_freetype2_300s.csv`。

---

## #5 · 运行配置元数据(P110 可复现性)

| 项 | 值 |
|---|---|
| 代码版本 | git commit **`ee4d03c`**,tag **`v1.0-266-gee4d03c`**,分支 `mpi-parallelism-and-quality` |
| 机器 | AMD Threadripper PRO,192 逻辑核,单 NUMA;Ubuntu 24.04 |
| 工具链 | AFL++ 4.40c(LLVM-PCGUARD),clang/LLVM 18;SymCC(QSYM/Z3 后端) |
| SymCC 每输入求解超时 | `SYMCC_TIMEOUT=30`(秒;默认) |
| 主结果单轮时长 | 300s(§6 主表);扩展性/消融/Q6 多为 120s |
| 独立重复轮次 | 头条主表 **rounds=1**(单轮,已诚实标注);Q6 消融/复测 **2–3 轮**;np=64 分配研究 2 轮 |
| np 集合 | 扩展性:{2,8,32,**64**,128,190};hybrid 主表:{2,8,32};消融/复测:np=32(或 8/32) |
| hybrid 切分 | 默认自动均衡(~np/2 AFL + 其余 SymCC);或非自适应固定切分 |
| 覆盖率口径 | afl-showmap `-C` 边覆盖(ShowmapCov,PCGUARD 无碰撞,分母=目标 guard 数);另有 AFL `fuzzer_stats` 的 FstatsCov |
| **种子语料规模**(文件数) | freetype2=2,google-fts(png+xml)=31,lava-m(4 程序)=33,libarchive=13,pcre2=8,sqlite=25,synthetic=1 |
| 目标插桩变体 | `-afl`(PCGUARD)/ `-cov`(gcov)/ 无后缀(SymCC)/ `-cmplog`(4 个真实目标) |

> 一句话可复现口径:*"代码 `ee4d03c`;afl-showmap -C 边覆盖;SYMCC_TIMEOUT=30;主表 300s 单轮,消融/复测 2–3 轮;
> np∈{2,8,32,64,128,190};种子规模见上表。"*

---

## 其余项状态
- **#2 CPU 对等 afl-only(P104/P95)**:现有 afl-only 是**单实例**(`run_afl_only` 仅 `-M fuzzer01`),确属"单核基线"。
  正在后台跑 **afl-only 32 并行实例(与 hybrid np=32 同核预算)** 于 libarchive,给严格 CPU 对等归因。
- **#4 LAVA-M 注入 bug 计数**:harness 构建中(replay 输入→数 "Successfully triggered bug N")。
  参考总注入 bug:base64=44 / md5sum=57 / uniq=28 / who=2136。将对 4 程序跑 hybrid vs afl-only 并计数。
- **#6 长跑曲线 / #7 符号变量数·Z3 超时占比**:可选加分项,视机时补(评委未强求)。