DF-2604 / verdict.json
{ "finding_id": "DF-2604", "status": "reproduced", "reproduced": 1, "impact": null, "confidence": "certain", "verdict": "source-confirmed (no runtime PoC; deterministic code trace of the cited path:line in the read-only sys/ tree). Code-certain dead-body check; NOT a reachable OOB today (checkdata gate confirmed at the case 0x07/0x57 tail: dlci > 1023 -> goto reject). This corrects the framing of sibling DF-0564 (same file/lines, claimed reachable OOB - it is not, same gate). fix.diff implements the intended bounds check locally so rcvdata no longer relies on a distant validator; the identical empty body also exists in the netgraph v1 copy sys/netgraph/lmi/ng_lmi.c:698-704 (noted for the orchestrator to file separately if desired).", "exploit_chain": "no escalation path (Info-tier hardening; see VERDICT.md)", "evidence": "VERDICT.md mechanism/verdict sections; fix.diff", "kernel_refs": [ "sys/netgraph7/lmi/ng_lmi.c:694", "sys/netgraph7/lmi/ng_lmi.c:708", "sys/netgraph7/lmi/ng_lmi.c:76" ], "poc_changes": "none (source-only confirmation for this Info-tier item)", "attempts": 1, "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64", "runtime_sec": 0, "guest_dirty": 0, "build_cmd": "n/a (source-only confirmation)", "run_cmd": "n/a", "code_hash": "b68b7a6ed405c9e63ad1d9d7b5048954c2a984af2a1b626cdc657d7d53ba692b", "notes": "Status semantics: source-confirmed rows follow the established Info-tier batch convention (deterministic code trace of the cited path:line); HW-gated rows are not_reproduced because the required device is absent on this QEMU guest.", "recommended_fix": "Replace the empty body with a real guard: if (dlci > MAXDLCI) goto nextIE; in both the case-6 and case-3 arms.", "fix_status": "not_testable", "fix_kernel_uname": null, "fix_baseline_reproduced": null, "fix_patched_reproduced": null, "fix_verdict": "fix.diff compile-validated in the batch combined kernel build (all 37 diffs of this batch applied to in-guest /usr/src; make -j6 nativekernel KERNCONF=X86_64_GENERIC, see batch build log referenced in VERDICT.md); no behavior A/B performed for this Info-tier item; behavior A/B intentionally skipped for Info tier", "fix_evidence": "batch combined kernel build log (see findings/poc/_batch41 note in VERDICT.md)" } |