# DF-1853 VERDICT

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

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

**Mechanism:** entry.c:142 gIal_Adapter=NULL only set non-NULL at entry.c:1280-1282 on probe/attach success. hptproc.c:272 text path correctly iterates for(pAdapter=gIal_Adapter;pAdapter;...). hptproc.c:309 ioctl pa

**Citation:** `sys/dev/raid/hptmv/hptproc.c:309-309`

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