⬢ DragonFlyBSD Kernel Audit
DF-4629 / verdict.json
← back to finding ↓ download raw
{
  "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"
}