# DF-1608 VERDICT

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

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

**Mechanism:** acpi_hp.c:847 obj->Type == ACPI_TYPE_BUFFER check but NO Buffer.Length >= 3*sizeof(UINT32). result = obj->Buffer.Pointer; result[2] and result[1] read as UINT32. Short buffer (0/4/8B) -> OOB read past

**Citation:** `sys/dev/acpica/acpi_hp/acpi_hp.c:847-855`

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