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.

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

https://git.kernel.org/stable/c/d1959028190a7649b926f5867a58de5fe221b23c

https://git.kernel.org/stable/c/db6382ed3361bdd8129572a3423956cba1dae829

https://git.kernel.org/stable/c/eaffa1495e4fe6330aeff9f323ea3d48b01f118a

[{"vendor":"Linux","product":"Linux","defaultStatus":"unaffected","programFiles":["kernel/bpf/verifier.c"],"repo":"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git","versions":[{"version":"f4d7e40a5b7157e1329c3c5b10f60d8289fc2941","lessThan":"86b203aadc2930e0a4f9c6277b5b80ff3664c472","versionType":"git","status":"affected"},{"version":"f4d7e40a5b7157e1329c3c5b10f60d8289fc2941","lessThan":"8109c25e0c41f5f19a1c2380bb49c991a877494e","versionType":"git","status":"affected"},{"version":"f4d7e40a5b7157e1329c3c5b10f60d8289fc2941","lessThan":"d1959028190a7649b926f5867a58de5fe221b23c","versionType":"git","status":"affected"},{"version":"f4d7e40a5b7157e1329c3c5b10f60d8289fc2941","lessThan":"8cb23101a3fcc7432b451ea3d0f14a90711f4acf","versionType":"git","status":"affected"},{"version":"f4d7e40a5b7157e1329c3c5b10f60d8289fc2941","lessThan":"29c239f8dbec5ab33a61796724d189bddee6cd4b","versionType":"git","status":"affected"},{"version":"f4d7e40a5b7157e1329c3c5b10f60d8289fc2941","lessThan":"db6382ed3361bdd8129572a3423956cba1dae829","versionType":"git","status":"affected"},{"version":"f4d7e40a5b7157e1329c3c5b10f60d8289fc2941","lessThan":"eaffa1495e4fe6330aeff9f323ea3d48b01f118a","versionType":"git","status":"affected"},{"version":"f4d7e40a5b7157e1329c3c5b10f60d8289fc2941","lessThan":"a4c6f804b44c5c790269b25e0e61cf4e9f117c86","versionType":"git","status":"affected"}]},{"vendor":"Linux","product":"Linux","defaultStatus":"affected","programFiles":["kernel/bpf/verifier.c"],"repo":"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git","versions":[{"version":"4.16","status":"affected"},{"version":"0","lessThan":"4.16","versionType":"semver","status":"unaffected"},{"version":"5.10.265","lessThanOrEqual":"5.10.*","versionType":"semver","status":"unaffected"},{"version":"5.15.216","lessThanOrEqual":"5.15.*","versionType":"semver","status":"unaffected"},{"version":"6.1.183","lessThanOrEqual":"6.1.*","versionType":"semver","status":"unaffected"},{"version":"6.6.152","lessThanOrEqual":"6.6.*","versionType":"semver","status":"unaffected"},{"version":"6.12.104","lessThanOrEqual":"6.12.*","versionType":"semver","status":"unaffected"},{"version":"6.18.45","lessThanOrEqual":"6.18.*","versionType":"semver","status":"unaffected"},{"version":"7.1.9","lessThanOrEqual":"7.1.*","versionType":"semver","status":"unaffected"},{"version":"7.2","lessThanOrEqual":"*","versionType":"original_commit_for_fix","status":"unaffected"}]}]