{
  "finding_id": "DF-4591",
  "file": "sys/dev/raid/tws/tws.c",
  "verdict": "not_reproduced",
  "impact": "none (hardware-gated; ceiling: repeatable ~200KB kernel-heap + MSI-vector leak per failed attach)",
  "reproduce": {
    "build": "n/a (no guest-compilable trigger; driver runs only on 3ware 13C1:1010 hardware)",
    "run": "./run.sh [guest hardware-absence probe]; real trigger: kldload tws with a wedged controller failing tws_init/tws_init_ctlr, then vmstat -m | grep twsbuf (see trigger.sh)",
    "expected": "vulnerable: every failed load leaves twsbuf allocations + 1 MSI vector behind (grows linearly with retries); patched: allocation-neutral failed attach"
  },
  "kernel_refs": [
    "sys/dev/raid/tws/tws.c:202",
    "sys/dev/raid/tws/tws.c:309",
    "sys/dev/raid/tws/tws.c:317",
    "sys/dev/raid/tws/tws.c:336",
    "sys/dev/raid/tws/tws.c:381",
    "sys/dev/raid/tws/tws.c:426",
    "sys/dev/raid/tws/tws.c:535",
    "sys/dev/raid/tws/tws.c:610"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.sh", "run.sh", "run.log",
    "build.log", "env.txt", "guest_probe.log", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}