bpf: Preserve pointer state for commuted arithmetic
21Vexday Risk Score
No sign of exploitation. No public exploitation artifact known so far.
ssvc Trackcvss 7.8epss 0.2%
exploitation probability
0.2%top 94% of all CVEs
observed exploitation
nono source reports it
In the Linux kernel, the following vulnerability has been resolved:
bpf: Preserve pointer state for commuted arithmetic
When scalar += pointer is handled in adjust_ptr_min_max_vals(), the
destination register inherits the pointer state from the source pointer.
Copying only selected fields is fragile because pointer provenance is
tracked by several bpf_reg_state fields.
Use the caller's temporary offset register to preserve the scalar operand
while replacing the destination with the full pointer state. This preserves
the frame number for PTR_TO_STACK registers and keeps parent identity
fields consistent.
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H
Affected products
Linux · LinuxReferences
https://git.kernel.org/stable/c/29c239f8dbec5ab33a61796724d189bddee6cd4bhttps://git.kernel.org/stable/c/8109c25e0c41f5f19a1c2380bb49c991a877494ehttps://git.kernel.org/stable/c/86b203aadc2930e0a4f9c6277b5b80ff3664c472https://git.kernel.org/stable/c/8cb23101a3fcc7432b451ea3d0f14a90711f4acfhttps://git.kernel.org/stable/c/a4c6f804b44c5c790269b25e0e61cf4e9f117c86https://git.kernel.org/stable/c/d1959028190a7649b926f5867a58de5fe221b23chttps://git.kernel.org/stable/c/db6382ed3361bdd8129572a3423956cba1dae829https://git.kernel.org/stable/c/eaffa1495e4fe6330aeff9f323ea3d48b01f118a