DF-0318
Inconsistent atomic vs non-atomic access to wg_packet::p_state
Summary
p_state annotated /* atomic */ but plain store at :508(UNCRYPTED)/:532(DEAD) and plain read at :547 vs atomic_store_rel at :1872/:1938 and atomic_load_acq at :2004/:2052. x86 TSO: benign. Weak-order: transient state inconsistency.
Discussion (0)
PoC verification
Evidence pack
findings/poc/DF-0318 · 1 files| File | Type | Description | Size | |
|---|---|---|---|---|
| manifest.json | file | 384 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/net/wg/if_wg.c:508: inconsistent atomic vs non-atomic access to wg_packet::p_state
Verified recommended fix
Source-confirmed at sys/net/wg/if_wg.c:508: inconsistent atomic vs non-atomic access to wg_packet::p_state
Verdict
Source-confirmed at sys/net/wg/if_wg.c:508: inconsistent atomic vs non-atomic access to wg_packet::p_state
No comments yet.