Hello:
This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@xxxxxxxxxx>:
On Sat, 27 Jan 2024 19:52:31 +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,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
