Always-Incorrect Control Flow Implementation in Linux kernel - CVE-2026-45933
Published: May 28, 2026
Linux kernel
Detailed vulnerability description
The vulnerability allows a local user to cause a denial of service.
The vulnerability exists due to improper state management in the BPF verifier sync_linked_regs() logic when verifying crafted BPF programs. A local user can load a specially crafted BPF program to cause a denial of service.
The issue can cause the verifier to miss propagated bounds information, allowing execution to reach a division-by-zero condition.