Skip to content
CVE PROGRAM SOURCE RECORDUnscored

CVE-2025-40050

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

Read JSON ↗CVE.org ↗
Status
Published
Published
Updated
Assigning organization
Linux

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.

Affected products

Version statuses are supplied by the assigning organization. Consult the original record for detailed ranges and platform conditions.

Linux Linux

Default version status: unaffected

  • aced132599b3c8884c050218d4c48eef203678f6 to < b9ef4963227246b9222e1559ddeec8e7af63e6c6affected
  • aced132599b3c8884c050218d4c48eef203678f6 to < 34904582b502a86fdb4d7984b12cacd2faabbe0daffected

Linux Linux

Default version status: affected

  • 6.17affected
  • 0 to < 6.17unaffected
  • 6.17.3 to ≤ 6.17.*unaffected
  • 6.18 to ≤ *unaffected

References