Always-Incorrect Control Flow Implementation in Linux kernel - CVE-2026-45933

 

Always-Incorrect Control Flow Implementation in Linux kernel - CVE-2026-45933

Published: May 28, 2026


Vulnerability identifier: #VU132554
CSH Severity: Low
CVSS v4.0: CVSS:4.0/AV:L/AC:L/AT:N/PR:L/UI:N/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N/E:U/U:Clear
CVE-ID: CVE-2026-45933
CWE-ID: CWE-670
Exploitation vector: Local access
Exploit availability: No public exploit available
Vendor: Linux Foundation
Affected software:
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.


How to mitigate CVE-2026-45933

Install security update from vendor's repository.

Sources