Tao Lyu

**Name of the Vulnerable Software and Affected Versions** Linux kernel (affected versions not specified) **Description** The issue concerns a flaw in the Linux kernel's BPF verifier, specifically with precision tracking for non-r10 register spill/fill to/from stack. This change aims to record instructions that performed register spill/fill to/from stack, regardless of the register used, and potentially adjusting the offset. The fix removes a practical limitation of precision backtracking logic in the BPF verifier, addressing known deficiencies and opening up opportunities to reduce the number of verified states. According to selftests' BPF object files, there are only three differences, all in the positive direction, indicating less states. **Recommendations** At the moment, there is no information about a newer version that contains a fix for this vulnerability.