# DF-1505 VERDICT

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

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

**Mechanism:** kbd.c:839-841 genkbdkqfilter derefs dev->si_drv1 immediately. kbd.c:853-854 genkbdfiltdetach same. Sibling genkbdfilter at 867-869 correctly tests sc==NULL. kbd_detach at 597-602 frees+NULLs si_drv1 u

**Citation:** `sys/dev/misc/kbd/kbd.c:839-854`

**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.