DF-3678 / verdict.json
{ "finding_id": "DF-3678", "status": "inconclusive", "reproduced": 0, "impact": "none", "confidence": "certain", "verdict": "Source-certain leaks: mpt_cam_detach() (mpt_cam.c:1169-1217) never frees mpt->els_cmd_ptrs (kmalloc at 4208-4209) or mpt->tgt_cmd_ptrs (kmalloc at 4255-4256) — exhaustive grep over sys/dev/disk/mpt shows no kfree for either — and frees mpt->sas_portinfo (1198-1201) without its separately allocated phy_info array (kmalloc at 633-634); the SAS error path at 763-767 leaks phy_info the same way when mptsas_sas_io_unit_pg0 fails after its allocation. Repeatable heap leak on mpt.ko load/unload cycles (Info severity; latent while built-in). Not executable on this guest (no MPT hardware).", "exploit_chain": "", "evidence": "VERDICT.md (alloc/free site audit); fix.diff; env.txt", "kernel_refs": ["sys/dev/disk/mpt/mpt_cam.c:4208-4209", "sys/dev/disk/mpt/mpt_cam.c:4255-4256", "sys/dev/disk/mpt/mpt_cam.c:633-634", "sys/dev/disk/mpt/mpt_cam.c:763-767", "sys/dev/disk/mpt/mpt_cam.c:1198-1201"], "poc_changes": "n/a", "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": 3, "guest_dirty": 0, "build_cmd": "", "run_cmd": "", "code_hash": "", "notes": "Info severity hardening/hygiene; would matter for mpt.ko module cycling.", "recommended_fix": "Free els_cmd_ptrs/tgt_cmd_ptrs in mpt_cam_detach and phy_info alongside sas_portinfo (detach + SAS error path)", "fix_status": "not_testable", "fix_baseline_reproduced": 0, "fix_patched_reproduced": 0, "fix_verdict": "Free-path diff authored (fix.diff); not exercisable without hardware.", "fix_evidence": "fix.diff; env.txt" } |