# DF-1839 VERDICT

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

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

**Mechanism:** psp_v3_1_compare_sram_data L553-564 copies ucode->ucode_size into unsigned int ucode_size then loops while(ucode_size){...ucode_size-=4;}. When ucode_size not multiple of 4 (1/2/3) subtraction underfl

**Citation:** `sys/dev/drm/amd/amdgpu/psp_v3_1.c:553-563`

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