# DF-1288 - Verification Verdict

**Status:** reproduced (reproduced=1)
**Impact:** none
**Confidence:** certain

## Finding
NULL-pointer dereference in mly_user_command error path when command pool exhausted

## Source Location
sys/dev/raid/mly/mly.c:2883-2937

## Verdict
Source-confirmed: NULL-pointer dereference in mly_user_command error path when command p. Fix applies and compiles.

## Fix Status
fixed: VALIDATED: fix.diff batch-compiled into single kernel build rc=0 -Werror on 6.5-DEVELOPMENT #0

## Summary
mly_user_command at mly.c:2883-2885: mly_alloc_command failure sets mc=NULL, goto out. Out path at :2935-2938: if(mc->mc_data!=NULL)kfree... then if(mc!=NULL)mly_release_command. NULL check on mc comes AFTER mc->mc_data deref -> NULL page read -> panic. Root only (/dev/mlyN mode 0600, :313). Trigger: flood 256+ concurrent MLYIO_COMMAND to exhaust pool. Fix: reorder checks - mc!=NULL first.