Re: [PATCH bpf-next v2 0/2] bpf: Compare iterator types during state pruning
| Newsgroups | org.kernel.vger.bpf,org.kernel.vger.linux-kernel,org.kernel.vger.linux-kselftest |
|---|---|
| Message-ID | <178648561523.1170542.5254278257474503414.git-patchwork-notify@kernel.org> |
Hello: This series was applied to bpf/bpf-next.git (master) by Eduard Zingerman <[email protected]>: On Mon, 10 Aug 2026 20:59:53 -0700 you wrote: > Iterator stack slots can be marked MEM_RCU or PTR_UNTRUSTED. The > STACK_ITER check in stacksafe() does not compare this type, so state > pruning can treat these states as equal and prune an unsafe path. > > Compare the type and add a test where RCU protection has a gap. > > > [...] Here is the summary with links: - [bpf-next,v2,1/2] bpf: Compare iterator types during state pruning https://git.kernel.org/bpf/bpf-next/c/83608e303b95 - [bpf-next,v2,2/2] selftests/bpf: Test RCU iterator state pruning https://git.kernel.org/bpf/bpf-next/c/81f209d5f743 You are awesome, thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/patchwork/pwbot.html