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

bus_dmamap_load() with map==NULL silently disables the tag's bounce constraints (segments returned with out-of-window addresses)

Summary

map==NULL substitutes the static nobounce_dmamap and skips bounce counting + per-page substitution: a COULD_BOUNCE tag returns raw physical addresses inside the exclusion window with no warning - a device programmed with such an address DMAs outside its addressable range (device-side RAM corruption). FreeBSD panics here; DFly silently violates. Needs a misusing driver (several in-tree NULL-map one-shot load sites). Loud-fail/document fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

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

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)