β¬’ DragonFlyBSD Kernel Audit
← triage Β· dashboard
DF-5685

Unchecked copyin() return in sys_vquotactl feeds an uninitialized stack plistref to _prop_object_copyin

Summary

error = copyin(...) is immediately overwritten by prop_dictionary_copyin's return: on copyin failure the 16-byte stack plistref holds prior stack residue whose garbage pref_len/pref_plist reach the kmalloc/copyin sinks (DF-2231 class via an uninitialized variable). Needs deterministic stack-grooming to trigger - provable by inspection; the if(error) return guard is included in the combined validated fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

findings/poc/DF-5685 Β· 1 files
FileTypeDescriptionSize
verdict.json file 853 B view raw

Fix verification

not_testable
baseline no→ patch + rebuild →patched clean
per-fix-DF-5685

Confirmed kernel references

Detail

Evidence (decisive lines)

static + combined-kernel fix validation

Verified recommended fix

see finding

Verdict

untested (pack carried by DF-5683's combined evidence/fix where applicable)