Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
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
