Description
In the Linux kernel, the following vulnerability has been resolved: bpf: Check pointer type for all atomic RMW paths Atomic RMW verification records an instruction pointer type only when the current destination is PTR_TO_ARENA. A second path can therefore reach the same instruction with an ordinary pointer without comparing it against the saved arena type. The post-verification fixup uses the saved type to rewrite the instruction to BPF_PROBE_ATOMIC for every path. Record the actual destination type for all atomic RMW paths so the existing mismatch check rejects incompatible uses of one instruction.
Affected products
Version statuses are supplied by the assigning organization. Consult the original record for detailed ranges and platform conditions.
Linux Linux
Default version status: unaffected
d503a04f8bc0c75dc9db9452d8cc79d748afb752 to < b14dabe9656c1029abf3aa01e69c0d62f37f2f88affectedd503a04f8bc0c75dc9db9452d8cc79d748afb752 to < d4ba9d888ac0a8f12c78071fff73e1205a0b9293affectedd503a04f8bc0c75dc9db9452d8cc79d748afb752 to < eb287c6e81dedef92da01eb947f380d0aae513c3affectedd503a04f8bc0c75dc9db9452d8cc79d748afb752 to < 4bc49ae344d65cfcef738f281ac575cf73ca2fc5affected
Linux Linux
Default version status: affected
6.10affected0 to < 6.10unaffected6.12.114 to ≤ 6.12.*unaffected6.18.57 to ≤ 6.18.*unaffected7.2.6 to ≤ 7.2.*unaffected7.3 to ≤ *unaffected