# DF-1644 VERDICT

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

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

**Mechanism:** ata-all.c:462 kmalloc(ioc_request->count=0, M_ATA, M_NULLOK). kmalloc(0) returns ZERO_LENGTH_PTR ((void*)-8) per kern_slaballoc.c:888-891. Non-NULL so NULL check passes. 489 request->data=ZERO_LENGTH_

**Citation:** `sys/dev/disk/nata/ata-all.c:462-498`

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