CVE-2026-74720

Description

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.

References

• https://git.kernel.org/stable/c/29c239f8dbec5ab33a61796724d189bddee6cd4b
• https://git.kernel.org/stable/c/8109c25e0c41f5f19a1c2380bb49c991a877494e
• https://git.kernel.org/stable/c/86b203aadc2930e0a4f9c6277b5b80ff3664c472
• https://git.kernel.org/stable/c/8cb23101a3fcc7432b451ea3d0f14a90711f4acf
• https://git.kernel.org/stable/c/a4c6f804b44c5c790269b25e0e61cf4e9f117c86