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

Bind/xfer lifecycle leaks and open race: fw_bindadd failure leaks fwb+xfer, CBIND/close free binds without their xferlist xfers, fw_open si_drv1 check-then-set race double-allocates fw_drv1

Summary

SBINDADDR failure leaks fwb+xfer; CBIND/close free binds without their xferlist xfers (~152B M_FWXFER per cycle, unbounded operator-user leak); fw_open's singleton check is an unlocked check-then-set with an M_WAITOK sleep in the window - two racing opens both allocate fw_drv1, the second close then derefs NULL si_drv1->ir. Leak hunks included in the validated DF-5413 fix.diff; open race needs a lock/cmpset.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

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

Confirmed kernel references

Detail

Evidence (decisive lines)

static trace in finding markdown

Verified recommended fix

see finding markdown + DF-5413 fix.diff

Verdict

untested (Low leaks + narrow open race; leak hunks in the validated DF-5413 fix.diff)