DF-0252
Theoretical cross-field torn-read between sys_profil multi-field update and addupc
Summary
sys_profil(:68-74) writes pr_off/pr_scale/pr_base/pr_size as 4 separate stores under p_token+crit_enter. addupc_intr/task(:108,:134) read WITHOUT p_token. Cross-field torn read theoretical. Likely mitigated: crit_enter blocks statclock on same CPU, process runs on one CPU. pr_size bounds check + copyin fault handling backstop.
Discussion (0)
PoC verification
Evidence pack
findings/poc/DF-0252 Β· 1 files| File | Type | Description | Size | |
|---|---|---|---|---|
| manifest.json | file | 389 B | view raw |
Fix verification
not_testablebaseline reproducedβ patch + rebuild βpatched clean
recommended fix identified; fix.diff not authored/validated in this batch
recommended fix identified; fix.diff not authored/validated in this batch
combined build rc=0
Confirmed kernel references
β
Detail
Exploit chain
none (Info severity)
Evidence (decisive lines)
Source-confirmed at sys/kern/subr_prof.c:68: theoretical cross-field torn-read between sys_profil update and addupc
Verified recommended fix
Source-confirmed at sys/kern/subr_prof.c:68: theoretical cross-field torn-read between sys_profil update and addupc
Verdict
Source-confirmed at sys/kern/subr_prof.c:68: theoretical cross-field torn-read between sys_profil update and addupc
No comments yet.