# DF-1564 VERDICT

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

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

**Mechanism:** hpt27xx_osm_bsd.c:1260 HPT_U32 bytesReturned; no initializer. 1273 memset(&ioctl_args,0,sizeof(ioctl_args)) zeroes ioctl_args NOT bytesReturned. 1278 ioctl_args.lpBytesReturned=&bytesReturned. 1307-13

**Citation:** `sys/dev/raid/hpt27xx/hpt27xx_osm_bsd.c:1260-1310`

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