{
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -o vkbd_unit_leak vkbd_unit_leak.c",
    "run": "kldload vkbd && ./vkbd_unit_leak",
    "expected": "before: -1 (all closed); after 1000 fully-closed cycles the next unit handed out is prior+1001, proving unit numbers are never reused."
  },
  "kernel_refs": ["sys/dev/misc/vkbd/vkbd.c:225", "sys/dev/misc/vkbd/vkbd.c:328"],
  "artifacts": ["README.md", "VERDICT.md", "vkbd_unit_leak.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}