# DF-1605 VERDICT

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

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

**Mechanism:** virtio_blk.c:527 sc=dev->si_drv1. 529 q=&sc->vtblk_queues[sc->vtblk_vqmap[mycpuid]] DEREFS sc. 531 if (sc==NULL) DEAD CODE: deref already happened. Compare vtblk_open 467-473 and vtblk_dump 489-491 wh

**Citation:** `sys/dev/virtual/virtio/block/virtio_blk.c:527-533`

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