Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Mon, 14 Oct 2024 15:11:52 +0300 you wrote:
> This patch series addresses a truncation bug in the eBPF verifier function
> coerce_reg_to_size_sx(). The issue was caused by the incorrect ordering
> of assignments between 32-bit and 64-bit min/max values, leading to
> improper truncation when updating the register state. This issue has been
> reported previously by Zac Ecob[1] , but was not followed up on.
>
> The first patch fixes the assignment order in coerce_reg_to_size_sx()
> to ensure correct truncation. The subsequent patches add selftests for
> coerce_{reg,subreg}_to_size_sx.
>
> [...]
Here is the summary with links:
- [v2,1/3] bpf: Fix truncation bug in coerce_reg_to_size_sx()
https://git.kernel.org/bpf/bpf/c/ae67b9fb8c4e
- [v2,2/3] selftests/bpf: Add test for truncation after sign extension in coerce_reg_to_size_sx()
https://git.kernel.org/bpf/bpf/c/61f506eacc77
- [v2,3/3] selftests/bpf: Add test for sign extension in coerce_subreg_to_size_sx()
https://git.kernel.org/bpf/bpf/c/35ccd576a23c
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
