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

interval_tree misuse degrades to unkillable kernel spin or panic instead of a bounded failure β€” remove() on an empty root NULL-derefs/panics, remove() of a non-member spins forever holding the caller's mutex, iter_next() on a detached sole node loops or returns the removed node

Summary

Assert-or-spin control flow where the rbtree original fails fast: empty-root remove NULL-derefs on production kernels (KKASSERT compiles out), non-member remove spins forever holding the caller's mutex (unkillable livelock), detached-sole iter_next loops or yields the removed node. No live caller trips these today. Bounded-walk + fail-safe fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

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

Confirmed kernel references

Detail

Evidence (decisive lines)

static trace in finding markdown

Verified recommended fix

see finding markdown

Verdict

untested (dead code / hardware-gated; Info/Low per contract)