Riskcovery

CVE-2025-40050

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

State
Published
Severity
Not scored
Published
Oct 28, 2025
Updated
May 11, 2026
Reserved
Apr 16, 2025

Read the record on cve.org

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.

Scores

The record has no CVSS score.

Weaknesses

The record names no weakness.

Affected Products

ProductVersions
LinuxLinux
  • aced132599b3c8884c050218d4c48eef203678f6 to before b9ef4963227246b9222e1559ddeec8e7af63e6c6Affected
  • aced132599b3c8884c050218d4c48eef203678f6 to before 34904582b502a86fdb4d7984b12cacd2faabbe0dAffected
LinuxLinux
  • 6.17Affected
  • before 6.17Not affected
  • 6.17.3 through 6.17.*Not affected
  • 6.18 and laterNot affected

References

Every record here comes from the CVE Program’s CVE List. © 1999–2026 The MITRE Corporation. CVE is a registered trademark of The MITRE Corporation. The records are reproduced under the CVE Program terms of use.