Re: [PATCH v2 bpf-next 0/6] BPF verifier precision tracking improvements

[patchwork-bot+netdevbpf@kernel.org]

Hello:

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

On Fri, 4 Nov 2022 09:36:43 -0700 you wrote:
> This patch set fixes and improves BPF verifier's precision tracking logic for
> SCALAR registers.
> 
> Patches #1 and #2 are bug fixes discovered while working on these changes.
> 
> Patch #3 enables precision tracking for BPF programs that contain subprograms.
> This was disabled before and prevent any modern BPF programs that use
> subprograms from enjoying the benefits of SCALAR (im)precise logic.
> 
> [...]

Here is the summary with links:
  - [v2,bpf-next,1/6] bpf: propagate precision in ALU/ALU64 operations
    https://git.kernel.org/bpf/bpf-next/c/a3b666bfa9c9
  - [v2,bpf-next,2/6] bpf: propagate precision across all frames, not just the last one
    https://git.kernel.org/bpf/bpf-next/c/529409ea92d5
  - [v2,bpf-next,3/6] bpf: allow precision tracking for programs with subprogs
    https://git.kernel.org/bpf/bpf-next/c/be2ef8161572
  - [v2,bpf-next,4/6] bpf: stop setting precise in current state
    https://git.kernel.org/bpf/bpf-next/c/f63181b6ae79
  - [v2,bpf-next,5/6] bpf: aggressively forget precise markings during state checkpointing
    https://git.kernel.org/bpf/bpf-next/c/7a830b53c17b
  - [v2,bpf-next,6/6] selftests/bpf: make test_align selftest more robust
    https://git.kernel.org/bpf/bpf-next/c/4f999b767769

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html