Always-Incorrect Control Flow Implementation in Linux kernel - CVE-2026-43070
Published: May 6, 2026
Linux kernel
Detailed vulnerability description
The vulnerability allows a local user to cause out-of-bounds memory accesses.
The vulnerability exists due to improper state management in the BPF verifier when processing a BPF_END byte-swap operation. A local user can load a crafted BPF program to cause out-of-bounds memory accesses.
The issue occurs because a register ID is not reset after an in-place byte-swap, allowing verifier bounds learned from the swapped register to be incorrectly propagated to a linked register.