Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Sat, 11 Nov 2023 17:05:56 -0800 you wrote:
> This patch set is a continuation of work started in [0]. It adds a big set of
> manual, auto-generated, and now also random test cases validating BPF
> verifier's register bounds tracking and deduction logic.
>
> First few patches generalize verifier's logic to handle conditional jumps and
> corresponding range adjustments in case when two non-const registers are
> compared to each other. Patch #1 generalizes reg_set_min_max() portion, while
> patch #2 does the same for is_branch_taken() part of the overall solution.
>
> [...]
Here is the summary with links:
- [v2,bpf-next,01/13] bpf: generalize reg_set_min_max() to handle non-const register comparisons
https://git.kernel.org/bpf/bpf-next/c/67420501e868
- [v2,bpf-next,02/13] bpf: generalize is_scalar_branch_taken() logic
https://git.kernel.org/bpf/bpf-next/c/96381879a370
- [v2,bpf-next,03/13] bpf: enhance BPF_JEQ/BPF_JNE is_branch_taken logic
https://git.kernel.org/bpf/bpf-next/c/be41a203bb9e
- [v2,bpf-next,04/13] bpf: add register bounds sanity checks and sanitization
https://git.kernel.org/bpf/bpf-next/c/5f99f312bd3b
- [v2,bpf-next,05/13] bpf: remove redundant s{32,64} -> u{32,64} deduction logic
https://git.kernel.org/bpf/bpf-next/c/3cf98cf594ea
- [v2,bpf-next,06/13] bpf: make __reg{32,64}_deduce_bounds logic more robust
https://git.kernel.org/bpf/bpf-next/c/cf5fe3c71c5a
- [v2,bpf-next,07/13] selftests/bpf: BPF register range bounds tester
https://git.kernel.org/bpf/bpf-next/c/8863238993e2
- [v2,bpf-next,08/13] selftests/bpf: adjust OP_EQ/OP_NE handling to use subranges for branch taken
https://git.kernel.org/bpf/bpf-next/c/774f94c5e74d
- [v2,bpf-next,09/13] selftests/bpf: add range x range test to reg_bounds
https://git.kernel.org/bpf/bpf-next/c/2b0d204e368b
- [v2,bpf-next,10/13] selftests/bpf: add randomized reg_bounds tests
https://git.kernel.org/bpf/bpf-next/c/dab16659c50e
- [v2,bpf-next,11/13] selftests/bpf: set BPF_F_TEST_SANITY_SCRIPT by default
https://git.kernel.org/bpf/bpf-next/c/8c5677f8b31e
- [v2,bpf-next,12/13] veristat: add ability to set BPF_F_TEST_SANITY_STRICT flag with -r flag
https://git.kernel.org/bpf/bpf-next/c/a5c57f81eb2b
- [v2,bpf-next,13/13] selftests/bpf: add iter test requiring range x range logic
https://git.kernel.org/bpf/bpf-next/c/882e3d873c2d
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
