Message ID | 20231121020701.26440-1-eddyz87@gmail.com (mailing list archive) |
---|---|
Headers | show |
Series | verify callbacks as if they are called unknown number of times | expand |
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!