Subject: Re: [PATCH bpf-next v3 0/6] Improvements for tracking scalars in the BPF verifier

From: [email-masked]
Date: Fri, 02 Feb 2024 21:30:29 +0000

Hello:

This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <[email-masked]>:

On Sat, 27 Jan 2024 19:52:31 +0200 you wrote:
> From: Maxim Mikityanskiy <[email-masked]>
> 
> 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,v3,1/6] bpf: Track spilled unbounded scalars
    https://git.kernel.org/bpf/bpf-next/c/e67ddd9b1cff
  - [bpf-next,v3,2/6] selftests/bpf: Test tracking spilled unbounded scalars
    https://git.kernel.org/bpf/bpf-next/c/6be503cec6c9
  - [bpf-next,v3,3/6] bpf: Preserve boundaries and track scalars on narrowing fill
    https://git.kernel.org/bpf/bpf-next/c/c1e6148cb4f8
  - [bpf-next,v3,4/6] selftests/bpf: Add test cases for narrowing fill
    https://git.kernel.org/bpf/bpf-next/c/067313a85c6f
  - [bpf-next,v3,5/6] bpf: handle scalar spill vs all MISC in stacksafe()
    https://git.kernel.org/bpf/bpf-next/c/6efbde200bf3
  - [bpf-next,v3,6/6] selftests/bpf: states pruning checks for scalar vs STACK_MISC
    https://git.kernel.org/bpf/bpf-next/c/73a28d9d000e

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