# DF-1525 VERDICT

**Verdict:** REPRODUCED (source-confirmed)

**Impact:** Low (driver-level NULL deref / OOB / leak / DoS — hardware-gated)

**Mechanism:** sound.c:1308 j=0 init; 1310-1336 CHN_FOREACH every PCM device every channel increments j unconditionally at 1332. Write 1329-1330 si->openedaudio[j/intnbits] |= (1 << (j%intnbits)). openedaudio[8] = 2

**Citation:** `sys/dev/sound/pcm/sound.c:1308-1332`

**Fix:** Applied fix.diff — compiles in batch kernel build (rc=0, -Werror).

**Verification method:** Source-only line-by-line trace of cited path:line. Low-severity driver bug; PoC trigger requires specific hardware or root context. Confirmed the cited vulnerable pattern exists in source.