⬢ DragonFlyBSD Kernel Audit
DF-4590 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4590",
  "file": "sys/dev/raid/tws/tws.c",
  "verdict": "not_reproduced",
  "impact": "none (hardware-gated; ceiling: kernel UAF panic / slab corruption at driver unload)",
  "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: kldunload tws during pending reset/reinit poll or 60s req timeout (see trigger.sh)",
    "expected": "vulnerable: within <=5 s of kldunload, softclock executes tws_reinit/tws_reset_cb/tws_timeout on freed softc/reqs -> kernel panic; patched: clean unload"
  },
  "kernel_refs": [
    "sys/dev/raid/tws/tws.c:274",
    "sys/dev/raid/tws/tws.c:346",
    "sys/dev/raid/tws/tws.c:398",
    "sys/dev/raid/tws/tws.c:403",
    "sys/dev/raid/tws/tws_cam.c:847",
    "sys/dev/raid/tws/tws_cam.c:1217",
    "sys/dev/raid/tws/tws_cam.c:1238",
    "sys/dev/raid/tws/tws_cam.c:1256"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.sh", "run.sh", "run.log",
    "build.log", "env.txt", "guest_probe.log", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}