# DF-1636 VERDICT

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

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

**Mechanism:** dm_target_crypt.c:489 priv=kmalloc. 492 dm_pdev_insert fail -> return ENOENT no kfree(priv). 500 crypto_cipher==NULL -> goto notsup; notsup at 584 only frees status_str. dm_table_init_target (513) NOT

**Citation:** `sys/dev/disk/dm/crypt/dm_target_crypt.c:489-587`

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