Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Mon, 8 Jan 2024 22:51:54 +0200 you wrote:
> From: Maxim Mikityanskiy <maxim@xxxxxxxxxxxxx>
>
> The goal of this series is to extend the verifier's capabilities of
> tracking scalars when they are spilled to stack, especially when the
> spill or fill is narrowing. It also contains a fix by Eduard for
> infinite loop detection and a state pruning optimization by Eduard that
> compensates for a verification complexity regression introduced by
> tracking unbounded scalars. These improvements reduce the surface of
> false rejections that I saw while working on Cilium codebase.
>
> [...]
Here is the summary with links:
- [bpf-next,v2,01/15] selftests/bpf: Fix the u64_offset_to_skb_data test
https://git.kernel.org/bpf/bpf-next/c/02fb00d34de1
- [bpf-next,v2,02/15] bpf: make infinite loop detection in is_state_visited() exact
https://git.kernel.org/bpf/bpf-next/c/3a96c705f48a
- [bpf-next,v2,03/15] selftests/bpf: check if imprecise stack spills confuse infinite loop detection
https://git.kernel.org/bpf/bpf-next/c/723909ae6496
- [bpf-next,v2,04/15] bpf: Make bpf_for_each_spilled_reg consider narrow spills
https://git.kernel.org/bpf/bpf-next/c/0e00a9551c61
- [bpf-next,v2,05/15] selftests/bpf: Add a test case for 32-bit spill tracking
https://git.kernel.org/bpf/bpf-next/c/221dffec93e8
- [bpf-next,v2,06/15] bpf: Add the assign_scalar_id_before_mov function
https://git.kernel.org/bpf/bpf-next/c/85b6e9d75c8e
- [bpf-next,v2,07/15] bpf: Add the get_reg_width function
https://git.kernel.org/bpf/bpf-next/c/b08973e4d9c4
- [bpf-next,v2,08/15] bpf: Assign ID to scalars on spill
https://git.kernel.org/bpf/bpf-next/c/26b560765e67
- [bpf-next,v2,09/15] selftests/bpf: Test assigning ID to scalars on spill
https://git.kernel.org/bpf/bpf-next/c/5a052eb509e9
- [bpf-next,v2,10/15] bpf: Track spilled unbounded scalars
https://git.kernel.org/bpf/bpf-next/c/53ac20c9e0dd
- [bpf-next,v2,11/15] selftests/bpf: Test tracking spilled unbounded scalars
https://git.kernel.org/bpf/bpf-next/c/9ba80a06cabb
- [bpf-next,v2,12/15] bpf: Preserve boundaries and track scalars on narrowing fill
(no matching commit)
- [bpf-next,v2,13/15] selftests/bpf: Add test cases for narrowing fill
(no matching commit)
- [bpf-next,v2,14/15] bpf: Optimize state pruning for spilled scalars
(no matching commit)
- [bpf-next,v2,15/15] selftests/bpf: states pruning checks for scalar vs STACK_{MISC,ZERO}
(no matching commit)
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
