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