β¬’ DragonFlyBSD Kernel Audit
← triage Β· dashboard
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)

No comments yet.

PoC verification

Evidence pack

findings/poc/DF-0252 Β· 1 files
FileTypeDescriptionSize
manifest.json file 389 B view raw

Fix verification

not_testable
baseline 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