DF-4322 / manifest.json
{ "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" ] } |