Descripción
In the Linux kernel, the following vulnerability has been resolved: bpf: Preserve pointer state for commuted arithmetic When scalar += pointer is handled in adjust_ptr_min_max_vals(), the destination register inherits the pointer state from the source pointer. Copying only selected fields is fragile because pointer provenance is tracked by several bpf_reg_state fields. Use the caller-s temporary offset register to preserve the scalar operand while replacing the destination with the full pointer state. This preserves the frame number for PTR_TO_STACK registers and keeps parent identity fields consistent.
CVSS 7.8EPSS 0.129%Riesgo 0.79
Ver fuente- Publicación
- 2026-08-22 16:16:46
- Versiones afectadas
- unknown
- Tipo
- Kernel
- Última modificación
- 2026-08-25 06:18:57
- Vector
- CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H