# DF-1600 VERDICT

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

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

**Mechanism:** msp34xx.c:744 max1=-1 init. 768-769 only updates max1 if val1<val (strict positive). No TV signal -> all I2C amplitude reads return ~0 -> max1 stays -1. 810 msp->main=carrier_detect_main[max1].cdo rea

**Citation:** `sys/dev/video/bktr/msp34xx.c:744-873`

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