Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Fri, 12 Jul 2024 16:01:23 +0800 you wrote:
> This patch set refactors kernel/bpf/verifier.c to use type-agnostic, generic
> overflow-check helpers defined in include/linux/overflow.h to check for addition
> and subtraction overflow, and drop the signed_*_overflows() helpers we currently
> have in kernel/bpf/verifier.c; with a fix for overflow check in adjust_jmp_off()
> in patch 1.
>
> There should be no functional change in how the verifier works and the main
> motivation is to make future refactoring[1] easier.
>
> [...]
Here is the summary with links:
- [bpf-next,v3,1/3] bpf: fix overflow check in adjust_jmp_off()
https://git.kernel.org/bpf/bpf-next/c/4a04b4f0de59
- [bpf-next,v3,2/3] bpf: use check_add_overflow() to check for addition overflows
https://git.kernel.org/bpf/bpf-next/c/28a4411076b2
- [bpf-next,v3,3/3] bpf: use check_sub_overflow() to check for subtraction overflows
https://git.kernel.org/bpf/bpf-next/c/deac5871eb07
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
