# DF-1582 VERDICT

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

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

**Mechanism:** mfi_tbolt.c:784 cmd=TAILQ_FIRST; 785 TAILQ_REMOVE(cmd) NO NULL check. Empty queue -> cmd=NULL -> TAILQ_REMOVE derefs NULL->next -> panic. Callers mfi_build_and_issue_cmd (1097-1099) and mfi_build_mpt_

**Citation:** `sys/dev/raid/mfi/mfi_tbolt.c:784-785`

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