# DF-1577 VERDICT

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

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

**Mechanism:** process_pptables_v1_0.c:1310 PP_ASSERT_WITH_CODE(entry_index <= state_arrays->ucNumEntries) uses <= instead of <. entry_index==ucNumEntries passes -> entries[ucNumEntries] one past end -> 20 bytes OOB

**Citation:** `sys/dev/drm/amd/powerplay/hwmgr/process_pptables_v1_0.c:1310-1315`

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