⬢ DragonFlyBSD Kernel Audit
DF-4173 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
{
  "finding_id": "DF-4173",
  "verdict": "untested",
  "impact": "none",
  "reason": "hardware-gated: shutdown_post_sync handler of a driver whose hardware is absent",
  "reproduce": {
    "build": "none (no userland trigger; shutdown-path lifetime bug)",
    "run": "sh gate_check.sh  # documents absent iir hardware on this guest",
    "expected": "on hardware-less guest: 'no iir/isp PCI device present'; on stalling-controller host: flush ucmd freed while in flight (iir.c:1518) then written by completion (iir.c:1608-1632)"
  },
  "kernel_refs": [
    "sys/dev/raid/iir/iir.c:1493",
    "sys/dev/raid/iir/iir.c:1509",
    "sys/dev/raid/iir/iir.c:1514",
    "sys/dev/raid/iir/iir.c:1518",
    "sys/dev/raid/iir/iir.c:1600",
    "sys/dev/raid/iir/iir.c:1604",
    "sys/dev/raid/iir/iir.c:1608",
    "sys/dev/raid/iir/iir.c:1613"
  ],
  "artifacts": ["README.md", "VERDICT.md", "gate_check.sh", "gate_check.log", "fix.diff", "manifest.json", "verdict.json"]
}