Description (CNA)
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 (CNA)
| Vendor / product | Versions |
|---|---|
| Linux / Linux | affected aced132599b3c8884c050218d4c48eef203678f6 before b9ef4963227246b9222e1559ddeec8e7af63e6c6; affected aced132599b3c8884c050218d4c48eef203678f6 before 34904582b502a86fdb4d7984b12cacd2faabbe0d |
| Linux / Linux | affected 6.17; unaffected 0 before 6.17; unaffected 6.17.3 through 6.17.*; unaffected 6.18 through * |
CWE
No CWE identifiers supplied.