In the Linux kernel, the following vulnerability has been resolved: bpf: Compare iterator types during state pruning An iterator stack slot can be MEM_RCU or PTR_UNTRUSTED. These states must not be equal, or the verifier can prune an unsafe path. Compare the pointer type for STACK_ITER slots.
https://git.kernel.org/stable/c/83608e303b95d07afba1c15da0b5d9e513c2f15a
https://git.kernel.org/stable/c/6424b9cde9edc7f2098115bbfd1ee3d84a958380