| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 天前 | |
v1.7.2 件② 批11 —— AC2 fuzz 语料回归（靶 + 语料入库 + 固定时长回放 + 腿 + 夜跑） 承 ar 裁决05 裁3（fuzz 靶认可）∧ 批10评审 A（准进批11）。 fuzz/ 靶 crate（独立 workspace）: 靶 = parse_worker_threads 纯解析面 —— 产品面唯一之 「外部字符串 → 内部值」通道 ⇒ 其健壮性即产品正确性之面（非「为满足 AC 而 fuzz 空函数」）。 路径依赖 ../deep ⇒ deep 又以 #[path] 引 src/pure.rs ⇒ 零拷贝零漂移。 靶载不变量（value 恒 Some ∧ 回退必取入参缺省）⇒ 靶可崩, 非恒绿。 语料库入库 6 档（8 / 0 / abc / +8 / usize::MAX / usize::MAX+1 ⇒ 覆盖四支 + 边界）。 ★ 实测捕出之订正: libFuzzer 不加载 0 字节语料档（文件系统 7 ⇒ files found 6） ⇒ 载体增 0 字节闸 ∧ 删该空档 ⇒ 二源计数对表。 载体 scripts/fuzz_replay_gate.sh: 回放取 -runs=0（逐语料一次, 无变异）—— 开放 fuzz 之 耗时与结果皆非确定 ⇒ 作门禁即「以掷骰充判据」; 回放确定性且有界（实测 7 runs / 0 秒）。 三处失真闸: 靶面 0 / 语料 0 / 未见 seed corpus 行 ⇒ 皆红。 腿 scripts/tests/ac2_fuzz_leg.sh: PASS=4 FAIL=0 G1 真面 rc=0 ∧ 靶面 1 ∧ 语料 6 G2 独立读数（libFuzzer files found ⇔ 文件系统档数） R1 临时面注入【必崩靶 + 触发语料】⇒ 回放 rc=1 ∧ 命中具名 probe: known-crash replay R2 同形面不注入 ⇒ rc=0 腿件当场自捕二缺陷并订正: ① cargo-fuzz 须【根 cargo 项目】(临时面唯 fuzz/ ⇒ could not find a cargo project ⇒ R1/R2 双双失真) ⇒ 补最小 [workspace] members = [] ② G2 谓词取错位（取 files found 之后文 ⇒ 无数字 ⇒ 恒空）。 nightly-deep.yml 增 fuzz-corpus job（on: 不变 ⇒ AC5④ 负向判据仍结构成立）。 检查14: fuzz ∧ fuzz/Cargo.toml 具名排除（二形并列 —— 目录形供②臂, 精确形供①臂）; .gitignore 增 fuzz/artifacts/（崩溃产物面 · 非交付件）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 21 天前 | |
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 天前 | |
v1.9.17(dev): R41②/R43 fuzz 靶面扩容 1⇒4（按输入族分靶 ＋ 逐靶必红对照） 承 ar 裁决 43「取甲：一入口按输入族分靶（parse 分三族＋clamp 一靶＝4）， 不改产品码，即时可达；每靶须载输入族＋必红对照」。 靶（4 · 逐靶显名其输入族 · 三族互斥 ∧ 合之 = 入口全覆盖）: ① parse_worker_threads 族 C: 任意 UTF-8（混合: 空白/符号/多字节） ② parse_worker_threads_numeric 族 A: 滤后唯 [0-9+] ∧ 非空（滤空 ⇒ "0"） ③ parse_worker_threads_nonutf8 族 B: None ∨ 空串 ∨ 非 UTF-8（二不告警面） ④ clamp_default ncpu 之可得性 ∧ 量级（产品可达域 ncpu ≥ 1） 计数口径（承 R43）: fuzz_targets/*.rs 档数 = 4 ⇔ Cargo.toml [[bin]] 条数 = 4（须同值）。 ★ 断言强化（必红对照之前件）: 前态 parse 靶之二断言皆恒真（v1.7.2 审计 M3-02 「靶面两不变量结构恒真 ⇒ 绿侧无鉴别力」）⇒ 改为锚定独立参照 str::parse::<usize>()。 ★ 必红对照（一手 · 二法不同面并载）: 甲 注入法（临时面逐靶 panic）⇒ 4/4 rc=1 ∧ 具名; 乙 test 侧撤靶法（1 靶面 ⇒ 不达 / 4 靶面 ⇒ 达）。 ★ 自捕三失（同族 · 皆由真回放捕获）: 独立参照 ≠ 契约（漏空串支 / 误纳他族 / 值断言漏子支）。 ★ 并载: 首稿注文含 [[bin]] 表头字面 ⇒ 宽谓词假多计 2⇒6（test 已警示）⇒ 已改去。 面三值: 支 dev · 尖 3e39c15a7 · 树 e7f9122d8（批前; 本笔尖/树见交付报文） ★ 射程外残留（请 ar 裁）: scripts/fuzz_replay_gate.sh:33 与 scripts/tests/ac2_fuzz_leg.sh:54 皆 find … | head -1 唯取一靶 ⇒ 加靶后 3 靶未入任何门（扩面形式达 · 实效未达）。 Co-Authored-By: Claude Code <noreply@anthropic.com> | 1 天前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 1 天前 | ||
| 21 天前 | ||
| 1 天前 | ||
| 1 天前 |