Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Tue, 21 Nov 2023 04:06:50 +0200 you wrote:
> This series updates verifier logic for callback functions handling.
> Current master simulates callback body execution exactly once,
> which leads to verifier not detecting unsafe programs like below:
>
> static int unsafe_on_zero_iter_cb(__u32 idx, struct num_context *ctx)
> {
> ctx->i = 0;
> return 0;
> }
>
> [...]
Here is the summary with links:
- [bpf,v4,01/11] selftests/bpf: track tcp payload offset as scalar in xdp_synproxy
https://git.kernel.org/bpf/bpf/c/977bc146d4eb
- [bpf,v4,02/11] selftests/bpf: track string payload offset as scalar in strobemeta
https://git.kernel.org/bpf/bpf/c/87eb0152bcc1
- [bpf,v4,03/11] selftests/bpf: fix bpf_loop_bench for new callback verification scheme
https://git.kernel.org/bpf/bpf/c/f40bfd167944
- [bpf,v4,04/11] bpf: extract __check_reg_arg() utility function
https://git.kernel.org/bpf/bpf/c/683b96f9606a
- [bpf,v4,05/11] bpf: extract setup_func_entry() utility function
https://git.kernel.org/bpf/bpf/c/58124a98cb8e
- [bpf,v4,06/11] bpf: verify callbacks as if they are called unknown number of times
https://git.kernel.org/bpf/bpf/c/ab5cfac139ab
- [bpf,v4,07/11] selftests/bpf: tests for iterating callbacks
https://git.kernel.org/bpf/bpf/c/958465e217db
- [bpf,v4,08/11] bpf: widening for callback iterators
https://git.kernel.org/bpf/bpf/c/cafe2c21508a
- [bpf,v4,09/11] selftests/bpf: test widening for iterating callbacks
https://git.kernel.org/bpf/bpf/c/9f3330aa644d
- [bpf,v4,10/11] bpf: keep track of max number of bpf_loop callback iterations
https://git.kernel.org/bpf/bpf/c/bb124da69c47
- [bpf,v4,11/11] selftests/bpf: check if max number of bpf_loop iterations is tracked
https://git.kernel.org/bpf/bpf/c/57e2a52deeb1
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
