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)
PoC verification
Evidence pack
findings/poc/DF-5685 Β· 1 files| File | Type | Description | Size | |
|---|---|---|---|---|
| verdict.json | file | 853 B | view raw |
Fix verification
not_testablebaseline 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)
No comments yet.