# DF-1518 VERDICT

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

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

**Mechanism:** ar5416_xmit.c:583-589 ar5416ChainTxDesc: if (keyIx != HAL_TXKEYIX_INVALID) block guards DestIdx/Valid writes (583-587) but ah_keytype[keyIx] EncrType lookup at line 589 sits OUTSIDE block. HAL_TXKEYIX

**Citation:** `sys/dev/netif/ath/ath_hal/ar5416/ar5416_xmit.c:583-589`

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