Re: [PATCH bpf-next v2 00/15] Improvements for tracking scalars in the BPF verifier

[patchwork-bot+netdevbpf@kernel.org]

Hello:

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

On Mon,  8 Jan 2024 22:51:54 +0200 you wrote:
> From: Maxim Mikityanskiy <maxim@isovalent.com>
> 
> 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