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

amdgpu_job_submit_direct latches *fence before checking the error and leaks ownership on failure β€” any future caller passing an uninitialized fence gets a wild kref_get (latent error-contract defect)

Summary

ib_schedule only writes *f on success but the latch runs unconditionally, and the error return frees nothing (undocumented caller-frees contract). All 11 in-tree callers init NULL and free on error - latent defense-in-depth. Move-latch-after-error-check fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

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

Confirmed kernel references

Detail

Evidence (decisive lines)

source trace in finding markdown

Verified recommended fix

see finding markdown

Verdict

untested (hardware-gated: no AMD GPU on audit guest; PoC sketch for capable hw in finding)