CVE-2025-40050

Name	CVE-2025-40050
Description	In the Linux kernel, the following vulnerability has been resolved: bpf: Skip scalar adjustment for BPF_NEG if dst is a pointer In check_alu_op(), the verifier currently calls check_reg_arg() and adjust_scalar_min_max_vals() unconditionally for BPF_NEG operations. However, if the destination register holds a pointer, these scalar adjustments are unnecessary and potentially incorrect. This patch adds a check to skip the adjustment logic when the destination register contains a pointer.
Source	CVE (at NVD; CERT, ENISA, LWN, oss-sec, fulldisc, Debian ELTS, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, GitHub advisories/code/issues, web search, more)

Vulnerable and fixed packages

The table below lists information on source packages.

Source Package	Release	Version	Status
linux (PTS)	bullseye	5.10.223-1	fixed
	bullseye (security)	5.10.244-1	fixed
	bookworm	6.1.148-1	fixed
	bookworm (security)	6.1.153-1	fixed
	trixie	6.12.43-1	fixed
	trixie (security)	6.12.48-1	fixed
	forky, sid	6.16.12-2	fixed

The information below is based on the following data on fixed versions.

Package	Type	Release	Fixed Version	Urgency	Origin	Debian Bugs
linux	source	(unstable)	(not affected)

- linux <not-affected> (Vulnerable code not present)
https://git.kernel.org/linus/34904582b502a86fdb4d7984b12cacd2faabbe0d (6.18-rc1)