{
  "finding_id": "DF-4874",
  "verdict": "untested",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {
    "build": "make -m /usr/share/make KMODDIR=. && cc -O2 -pthread -o df4874_storm df4874_storm.c",
    "run": "kldload ./df4874.ko; ./df4874_storm 16 25 & sleep 4; sysctl kern.df4874.run=1",
    "expected": "On hardware with an ATAPI floppy: fatal trap 12 in dscheck+0x48 (fault 0xc) or NULL/UAF write in afd_done. On this guest (no afd hardware): 'afd0 device_t is NULL' (recorded in run.log)"
  },
  "kernel_refs": [
    "sys/dev/disk/nata/atapi-fd.c:134-156",
    "sys/dev/disk/nata/atapi-fd.c:319-332",
    "sys/dev/disk/nata/ata-queue.c:565-605",
    "sys/kern/subr_diskslice.c:348"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "Makefile",
    "df4874_detach.c",
    "df4874_storm.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}