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

uguru_attach sensor-table loop writes sc_sensors[i] with no bound against UGURU_MAX_SENSORS β€” one table entry away from a kernel softc overflow

Summary

The attach loop's only terminator is the NULL desc - never checked against UGURU_MAX_SENSORS=27. Script-verified current tables max at 26 entries: exactly one slot of headroom before attach writes past sc_sensors into adjacent softc fields. Table chosen by hardware sysid, not attacker-controlled; latent defense-in-depth for the table-driver overflow class. Bound-guard fix.

Discussion (0)

No comments yet.

PoC verification

Evidence pack

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

Fix verification

not_testable
baseline no→ patch + rebuild →patched clean

not_testable: hardware-gated / Info

fix in finding markdown
per-fix-DF-4464

Confirmed kernel references

Detail

Exploit chain

[]

Evidence (decisive lines)

Sentinel-only loop, one slot of headroom. Add i<UGURU_MAX_SENSORS guard fix.

Verdict

not_run: latent-only, not triggerable on current source