{
  "finding_id": "DF-5789",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "cd /root/df5789 && make KERNBUILDDIR=/usr/obj/usr/src/sys/X86_64_GENERIC && cc -O -o walker walker.c",
    "run": "sh run5789.sh",
    "expected": "kldunload fails 'Device busy' after dmesg shows 'dfveto0: detached' followed by 'dfveto1: DETACH VETO (EBUSY)'; sysctl dev.dfveto shows only .1; unprivileged walker lists zombie dfveto0 state=NOTPRESENT drv=''; in-kernel dfveto0 state=0 driver=0 softc=0 while module still loaded; second kldunload fails identically"
  },
  "kernel_refs": [
    "sys/kern/subr_bus.c:888",
    "sys/kern/subr_bus.c:893",
    "sys/kern/subr_bus.c:2128",
    "sys/kern/subr_bus.c:2146",
    "sys/kern/subr_bus.c:2150",
    "sys/kern/subr_bus.c:3007"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "rig.c", "walker.c", "Makefile",
    "build.sh", "run.sh", "build.log", "run5789.log", "run5790.log",
    "fixrun5789.log", "fixrun5790.log", "kbuild.log", "kinstall.log",
    "env.txt", "rig.txt", "fix.diff", "verdict.json", "manifest.json"
  ]
}