⬢ DragonFlyBSD Kernel Audit
DF-2388 / verdict.json
← back to finding ↓ download raw
{
 "finding_id": "DF-2388",
 "status": "not_reproduced",
 "reproduced": 0,
 "impact": null,
 "confidence": "certain",
 "verdict": "NOT REPRODUCED (hardware/module-gated on this QEMU guest) - code-certain line-level confirmation in the read-only sys/ tree. Panasonic _HID ACPI hardware absent in the QEMU guest; class behavior already runtime-proven by DF-2381 (fatal trap on freed+sprayed softc).",
 "exploit_chain": "no escalation path (Info-tier hardening; see VERDICT.md)",
 "evidence": "VERDICT.md mechanism/verdict sections; fix.diff",
 "kernel_refs": [
  "sys/dev/acpica/acpi_panasonic/acpi_panasonic.c:212",
  "sys/contrib/dev/acpica/source/include/platform/acdragonfly.h:219"
 ],
 "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 (HW-gated; source-only confirmation)",
 "run_cmd": "n/a",
 "code_hash": "0331b37be912407894996e8423202beb52cb7202322ba216c5bbd2dd715c9560",
 "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": "Implement a real AcpiOsWaitEventsComplete (DF-2381 fix.diff: pending-count + drain in OsdSchedule.c) and call it in detach after removing the handler.",
 "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)"
}