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

Unsynchronized dmat->segments allocation and map_count bookkeeping race under concurrent map create/destroy (double allocation leak; tag UAF window)

Summary

Lazy dmat->segments alloc with NULL-check but no lock (double-allocate+leak); map_count check-vs-increment window spans blocking M_INTWAIT kmallocs - tag_destroy's EBUSY can pass while another CPU is inside map_create -> tag UAF in sloppy drivers (detach racing open). Needs a racing driver harness; narrow window. Eager-alloc + atomic/spin-protected fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

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

Confirmed kernel references

Detail

Evidence (decisive lines)

static trace in finding markdown

Verified recommended fix

see finding markdown

Verdict

untested (Low semantics/race; requires a misusing or racing driver for real impact)