⬢ DragonFlyBSD Kernel Audit
DF-5314 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-5314",
  "title": "USB_FS_CLOSE unserialized: double usbd_transfer_unsetup panic (+ stale-xfer UAF writes)",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "./build.sh",
    "run": "./df5314c",
    "expected": "panic 'Invalid setup reference count' (two usbd_transfer_unsetup frames under ugen_ioctl), guest dead in DDB; on fix-validated kernel: SURVIVED after 3000 rounds"
  },
  "kernel_refs": [
    "sys/bus/u4b/usb_generic.c:1558-1568",
    "sys/bus/u4b/usb_generic.c:1051-1060",
    "sys/bus/u4b/usb_generic.c:1229-1238",
    "sys/bus/u4b/usb_generic.c:1590",
    "sys/bus/u4b/usb_transfer.c:1379-1405",
    "sys/bus/u4b/usb_transfer.c:1421",
    "sys/bus/u4b/usb_transfer.c:1428-1431",
    "sys/bus/u4b/usb_transfer.c:1333-1357",
    "sys/kern/kern_kmalloc.c:42-52"
  ],
  "artifacts": [
    "df5314.c",
    "df5314b.c",
    "df5314c.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "run.2.log",
    "run.patched.log",
    "panic.txt",
    "env.txt",
    "fix.diff",
    "usb_generic.fixed.c",
    "fix_build.log",
    "VERDICT.md",
    "manifest.json",
    "verdict.json"
  ]
}