The vulnerability of the check_alu_op() function in the kernel/bpf/verifier.c file of the Linux operating system allows a hacker to trigger a service failure.

The vulnerability of the checkaluop function in the kernel/bpf/verifier.c file of the Linux operating system is related to deficiencies in the mechanism for verifying input data. Exploiting this vulnerability could allow an attacker to cause a service failure...

UBUNTU-CVE-2025-40050

In the Linux kernel, the following vulnerability has been resolved: bpf: Skip scalar adjustment for BPFNEG if dst is a pointer In checkaluop, the verifier currently calls checkregarg and adjustscalarminmaxvals unconditionally for BPFNEG operations. However, if the destination register holds a...

CVE-2025-40050

CVE-2025-40050 refers to a Linux kernel BPF verifier fix: in check_alu_op(), the code previously performed unconditional scalar adjustments for BPF_NEG; if the destination is a pointer, those scalar adjustments are unnecessary and could be incorrect. The patch adds a check to skip adjustment logi...

Linux kernel denial of service vulnerability (CNVD-2017-38512)

The Linux kernel is a computer operating system kernel written in C and assembly language, compliant with the POSIX standard, and distributed under the GNU General Public License. A denial of service vulnerability exists in the checkaluop function in kernel/bpf/verifier.c in Linux kernel versions...

PT-2017-14668

Name of the Vulnerable Software and Affected Versions Linux kernel versions prior to 4.5 Description The issue is related to the check alu op function in kernel/bpf/verifier.c, which allows local users to cause a denial of service or possibly have other unspecified impacts by leveraging incorrect...