DF-3816 / verdict.json
{ "finding_id": "DF-3816", "status": "inconclusive", "reproduced": 0, "impact": "none", "confidence": "likely", "verdict": "Source-certain defects in the privileged dev.mpr.N.dump_reqs handler: it walks cm->cm_chain_list and reads cm state with no lock (mpr.c:1904-1922) while every other consumer mutates those lists under sc->mpr_lock (real UAF on the realloc path where sc->chains is kfreed, mpr.c:787-788), and copies fixed 128 bytes from request/chain frames whose sizes are device-reported and can be smaller (mpr.c:1918/1921 vs mpr.c:387/397-405) — OOB read past the req_frames/chain_frames DMA allocations. Runtime inconclusive: no controller on the guest, sysctl tree dev.mpr.* never instantiates (probe.log).", "exploit_chain": "", "evidence": "VERDICT.md trace; fix.diff (lock + min() clamps).", "kernel_refs": ["sys/dev/raid/mpr/mpr.c:1904", "sys/dev/raid/mpr/mpr.c:1918", "sys/dev/raid/mpr/mpr.c:1921"], "poc_changes": "No runnable PoC without hardware.", "attempts": 1, "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 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": 5, "guest_dirty": 0, "build_cmd": "", "run_cmd": "", "notes": "Privileged-only (SYSCAP_NODRIVER) — hardening-grade. Adjacent debug-print OOB reads of device-sized event data tracked separately as DF-3817.", "recommended_fix": "Hold mpr_lock across the dump walk and clamp each sbuf_bcat to the device-reported frame size.", "fix_status": "not_testable", "fix_baseline_reproduced": 0, "fix_patched_reproduced": 0, "fix_verdict": "No controller on guest; the sysctl node cannot be exercised in either kernel.", "fix_evidence": "fix.diff; probe.log." } |