DF-4629 / verdict.json
{ "finding_id": "DF-4629", "poc_id": "DF-4629", "status": "untested", "reproduced": 0, "impact": "Kernel heap corruption by device DMA: late IOC completion writes up to len bytes into freed (reallocatable) heap", "confidence": "likely", "attempts": 0, "guest_uname": null, "code_hash": null, "exploit_chain": [], "evidence": "Timeout paths deliberately abandon requests whose SGE still targets mpt_page->paddr, yet mpt_ioctl unconditionally frees the DMA buffer at :755. Attach-buffer-ownership-to-the-request fix.", "kernel_refs": [ "sys/dev/disk/mpt/mpt_user.c:755", "sys/dev/disk/mpt/mpt_user.c:259", "sys/dev/disk/mpt/mpt_user.c:498", "sys/dev/disk/mpt/mpt_user.c:555" ], "verdict": "not_run: no /dev/mpt* on guest (virtio-only); lifetime flaw code-certain (the drivers own late-completion handler proves late DMA is expected)", "fix_status": "not_testable", "fix_baseline_reproduced": 0, "fix_patched_reproduced": 0, "fix_verdict": "not_testable: hardware-gated (no Intel DSI panel / no mpt HBA on guest)", "fix_evidence": "fix in finding markdown" } |