⬢ DragonFlyBSD Kernel Audit
DF-5158 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-5158",
  "title": "ata_ati_chipinit AHCI fallback attaches with dangling ctlr->r_res2 -> double bus_release_resource at detach",
  "verdict": "untested (hardware-gated: no ATI 0x1002 IDE/SATA device on the audit guest)",
  "impact": "none demonstrated; theoretical: rman double-release UAF/panic on detach of an ATI SB6xx/7xx/8xx part whose AHCI reset timed out",
  "reproduce": {
    "build": "n/a — no PoC (requires ATI IXP/SB hardware in AHCI progif with reset timeout + detach)",
    "run": "n/a",
    "expected": "on matching hardware: attach succeeds after 'AHCI controller reset failure' console message; later kldunload/unplug panics in rman_release_resource (double release)"
  },
  "kernel_refs": [
    "sys/dev/disk/nata/chipsets/ata-ati.c:108",
    "sys/dev/disk/nata/chipsets/ata-ati.c:113",
    "sys/dev/disk/nata/chipsets/ata-ati.c:118",
    "sys/dev/disk/nata/chipsets/ata-ahci.c:94",
    "sys/dev/disk/nata/chipsets/ata-ahci.c:96",
    "sys/dev/disk/nata/ata-pci.c:267"
  ],
  "artifacts": ["README.md", "VERDICT.md", "env.txt", "fix.diff", "verdict.json", "manifest.json"]
}