{
  "finding_id": "DF-4322",
  "file": "sys/dev/sound/pcm/sound.c",
  "adjacent": ["sys/dev/sound/pcm/dsp.c", "sys/dev/sound/clone.c"],
  "verdict": "reproduced",
  "reproduced": 1,
  "impact": "cross-card clone-cdev confusion (logic race); traced UAF ceiling under concurrent pcm_unregister",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -pthread -o /tmp/dsp_race /tmp/dsp_race.c",
    "run": "/tmp/dsp_race   (unprivileged; requires two registered pcm units -- see dfbsd-qemu/vm_snd.sh)",
    "expected": "[!] RACE HIT: opened /dev/dsp1, fd is clone of card 0 (devnode /dev/dsp0.vp0, name pcm0:virtual:dsp0.vp0) ... exit 1"
  },
  "kernel_refs": [
    "sys/dev/sound/pcm/dsp.c:2381",
    "sys/dev/sound/pcm/dsp.c:2495",
    "sys/dev/sound/pcm/dsp.c:2506",
    "sys/dev/sound/pcm/dsp.c:2520",
    "sys/dev/sound/clone.c:627",
    "sys/dev/sound/clone.c:794",
    "sys/vfs/devfs/devfs_core.c:2329",
    "sys/dev/sound/pcm/sound.c:1138",
    "sys/dev/sound/pcm/sound.c:1200",
    "sys/dev/sound/pcm/sound.c:1226"
  ],
  "artifacts": [
    "dsp_race.c", "build.sh", "run.sh", "build.log",
    "run.log", "run.2.log", "run.3.log", "run.4.log",
    "VERDICT.md", "fix.diff", "verdict.json", "manifest.json"
  ]
}