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)
PoC verification
Evidence pack
findings/poc/DF-4464 Β· 1 files| File | Type | Description | Size | |
|---|---|---|---|---|
| verdict.json | file | 747 B | view raw |
Fix verification
not_testablebaseline 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
No comments yet.