{
  "finding_id": "DF-5381",
  "verdict": "reproduced",
  "impact": "leak",
  "confidence": "certain",
  "kernel_refs": [
    "sys/bus/u4b/usb_busdma.c:79",
    "sys/bus/u4b/usb_busdma.c:92",
    "sys/bus/u4b/usb_busdma.c:94",
    "sys/bus/u4b/usb_busdma.c:108",
    "sys/bus/u4b/usb_busdma.c:121",
    "sys/bus/u4b/usb_busdma.c:131",
    "sys/bus/u4b/usb_busdma.c:140",
    "sys/bus/u4b/usb_busdma.c:159",
    "sys/bus/u4b/usb_busdma.c:216",
    "sys/bus/u4b/usb_busdma.c:248",
    "sys/bus/u4b/usb_busdma.c:254",
    "sys/bus/u4b/usb_busdma.c:276",
    "sys/bus/u4b/usb_busdma.c:304",
    "sys/bus/u4b/usb_busdma.c:545",
    "sys/bus/u4b/usb_busdma.c:616"
  ],
  "reproduce": {
    "build": "cp df5381.c Makefile /root/df5381/ && cd /root/df5381 && make -m /usr/src/share/mk",
    "run": "kldload /root/df5381/df5381.ko; dmesg | awk '/DF5381/{f=1} f'; kldunload df5381",
    "expected": "unpatched: T1/T2/T2b/T3/T5/T6 PASS (RESULT 6/7), guest stays up; foreign-page variant panics (panic.txt). patched (fix.diff): all OOB primitives refused, pcB keeps its sentinel, in-extent copies still work"
  },
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "df5381.c",
    "Makefile",
    "build.sh",
    "run.sh",
    "guest_build.sh",
    "guest_run.sh",
    "build.log",
    "run.log",
    "run.2.log",
    "run.fixed.log",
    "panic.txt",
    "env.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}