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.
How to fix
- Linux Linuxb9ef4963227246b9222e1559ddeec8e7af63e6c6, 34904582b502a86fdb4d7984b12cacd2faabbe0d or later
Affected products
| Product | Affected versions | Fixed in |
|---|---|---|
| Linux Linux | aced132599b3c8884c050218d4c48eef203678f6 ≤ v < b9ef4963227246b9222e1559ddeec8e7af63e6c6, aced132599b3c8884c050218d4c48eef203678f6 ≤ v < 34904582b502a86fdb4d7984b12cacd2faabbe0d, 6.17 | b9ef4963227246b9222e1559ddeec8e7af63e6c6, 34904582b502a86fdb4d7984b12cacd2faabbe0d |
Check your version
Choose the product and enter the version you run to see whether it falls in the affected range.
Attack Surface Management
See the assets tied to your domains, the technologies they run and known vulnerabilities in one list.