CVE-2025-40050

Source
https://cve.org/CVERecord?id=CVE-2025-40050
Import Source
https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2025-40050.json
JSON Data
https://api.osv.dev/v1/vulns/CVE-2025-40050
Downstream
Published
2025-10-28T11:48:26.654Z
Modified
2025-12-05T10:15:48.011824Z
Summary
bpf: Skip scalar adjustment for BPF_NEG if dst is a pointer
Details

In the Linux kernel, the following vulnerability has been resolved:

bpf: Skip scalar adjustment for BPF_NEG if dst is a pointer

In checkaluop(), the verifier currently calls checkregarg() and adjustscalarminmaxvals() 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.

Database specific
{
    "cna_assigner": "Linux",
    "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2025/40xxx/CVE-2025-40050.json"
}
References

Affected packages

Git / git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git

Affected ranges

Type
GIT
Repo
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
Events
Introduced
aced132599b3c8884c050218d4c48eef203678f6
Fixed
b9ef4963227246b9222e1559ddeec8e7af63e6c6
Fixed
34904582b502a86fdb4d7984b12cacd2faabbe0d

Affected versions

v6.*
v6.16
v6.16-rc1
v6.16-rc2
v6.16-rc3
v6.16-rc4
v6.16-rc5
v6.16-rc6
v6.16-rc7
v6.17
v6.17-rc1
v6.17-rc2
v6.17-rc3
v6.17-rc4
v6.17-rc5
v6.17-rc6
v6.17-rc7
v6.17.1
v6.17.2

Database specific

source
"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2025-40050.json"

Linux / Kernel

Package

Name
Kernel

Affected ranges

Type
ECOSYSTEM
Events
Introduced
6.17.0
Fixed
6.17.3

Database specific

source
"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2025-40050.json"