Re: [PATCH bpf v4 00/11] verify callbacks as if they are called unknown number of times

[patchwork-bot+netdevbpf@kernel.org]

Hello:

This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@kernel.org>:

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