{
  "finding_id": "DF-4599",
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -o resetconfig_race resetconfig_race.c -lpthread",
    "run": "kldload vinum; ./resetconfig_race 240",
    "expected": "kernel fatal trap 12 in strcmp+0xc (UAF read of freed VOL[] array) within 0-4 min; guest hard-down; probabilistic - repeat runs until death (1/3 here)"
  },
  "kernel_refs": [
    "sys/dev/raid/vinum/vinumioctl.c:214",
    "sys/dev/raid/vinum/vinum.c:199",
    "sys/dev/raid/vinum/vinum.c:257",
    "sys/dev/raid/vinum/vinummemory.c:65",
    "sys/dev/raid/vinum/vinumlock.c:227"
  ],
  "artifacts": [
    "resetconfig_race.c", "build.sh", "run.sh", "build.log", "run.log",
    "panic.txt", "fix.diff", "fix_build.log", "fix_runs.log", "env.txt",
    "VERDICT.md", "verdict.json", "manifest.json"
  ]
}