Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <[email protected]>:
On Thu, 18 Jun 2026 01:50:25 +0800 you wrote:
> check_stack_write_fixed_off() uses one byte-indexing scheme when checking
> whether a fixed-offset stack write needs Spectre v4 sanitization, and another
> scheme when recording the write into slot_type[].
>
> For sub-8-byte writes this can make the sanitization check look at bytes that
> are not overwritten by the write. A zeroed lower half-slot followed by a write
> to the upper half-slot can therefore miss the nospec barrier for the second
> write.
>
> [...]
Here is the summary with links:
- [bpf,v3,1/2] bpf: Fix stack slot index in nospec checks
https://git.kernel.org/bpf/bpf/c/d1d53aa30ab3
- [bpf,v3,2/2] selftests/bpf: Cover stack nospec slot indexing
https://git.kernel.org/bpf/bpf/c/a93ae7ed5972
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
