SB20260528142 - Always-Incorrect Control Flow Implementation in Linux kernel bpf

Description

This security bulletin contains information about 1 vulnerability.

1) Always-Incorrect Control Flow Implementation (CVE-ID: CVE-2026-45933)

CWE-ID: CWE-670 - Always-Incorrect Control Flow Implementation

CVSSv4: 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

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.

Remediation

Install update from vendor's website.

References

• https://git.kernel.org/stable/c/58059335e46537de682db84984f7716c813208c4
• https://git.kernel.org/stable/c/65d114b5270b62aefb820ecd6c3b7caeea8f895d
• https://git.kernel.org/stable/c/92a8cb1806adefb263cf096eab6705705cf7eee1
• https://git.kernel.org/stable/c/af9e89d8dd39530c8bd14c33ddf6b502df1071b6