{
  "finding_id": "DF-5315",
  "title": "USB_FS_OPEN double-entry: orphaned usb_xfer (permanent leak + endpoint lockout)",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "./build.sh",
    "run": "./df5315 20",
    "expected": "POST-CLEANUP USB_FS_OPEN FAILED: Cannot allocate memory + vmstat -m USB growth (baseline); POST-CLEANUP OPEN SUCCEEDED (fixed kernel)"
  },
  "kernel_refs": [
    "sys/bus/u4b/usb_generic.c:1456-1465",
    "sys/bus/u4b/usb_generic.c:1538-1540",
    "sys/bus/u4b/usb_transfer.c:935",
    "sys/bus/u4b/usb_transfer.c:942",
    "sys/bus/u4b/usb_transfer.c:1118-1121",
    "sys/bus/u4b/usb_transfer.c:1138",
    "sys/bus/u4b/usb_transfer.c:1220"
  ],
  "artifacts": [
    "df5315.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "run.patched.log",
    "env.txt",
    "VERDICT.md",
    "README.md",
    "manifest.json",
    "verdict.json"
  ]
}