CyberRota Analysis
AI-GeneratedA vulnerability in the Linux kernel affects the handling of scalar arithmetic operations involving pointers, specifically when the destination register incorrectly inherits the pointer state from the source. This flaw can lead to inconsistencies in pointer provenance tracking, potentially impacting the integrity of BPF (Berkeley Packet Filter) programs. Linux system administrators and developers utilizing BPF should prioritize addressing this issue to maintain system security and stability.
Original NVD Description
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.