CVE 7.8 HIGH

bpf: Reset register ID for BPF_END value tracking_CVE-2026-43070

7.8 / 10
HIGH
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H

Description

In the Linux kernel, the following vulnerability has been resolved:

bpf: Reset register ID for BPF_END value tracking

When a register undergoes a BPF_END (byte swap) operation, its scalar
value is mutated in-place. If this register previously shared a scalar ID
with another register (e.g., after an `r1 = r0` assignment), this tie must
be broken.

Currently, the verifier misses resetting `dst_reg->id` to 0 for BPF_END.
Consequently, if a conditional jump checks the swapped register, the
verifier incorrectly propagates the learned bounds to the linked register,
leading to false confidence in the linked register's value and potentially
allowing out-of-bounds memory accesses.

Fix this by explicitly resetting `dst_reg->id` to 0 in the BPF_END case
to break the scalar tie, similar to how BPF_NEG handles it via
`__mark_reg_known`.

Basic Information

ID CVE-2026-43070
Source Linux
Published May 5, 2026 at 15:23
Modified May 8, 2026 at 12:40

Affected Product

Vendor Linux
Product Linux
Version 4c03342e5ac532fb34d13a7b51dd7261dfc48963
Affected Versions Linux Linux 4c03342e5ac532fb34d13a7b51dd7261dfc48963
Linux Linux d00ce96623a69a100ad79675d0e85fda3c50d89b
Linux Linux 9d21199842247ab05c675fb9b6c6ca393a5c0024
Linux Linux 6.18.17
Linux Linux 6.19.7

References

💭 Join the Security Discussion

🔒 Your email address will not be published. Required fields are marked *

⚠️ Please be respectful and constructive in your comments. Security discussions should remain professional.