Re: [PATCH bpf-next 0/8] bpf: Follow up to RCU enforcement in the verifier.

patchwork-bot+netdevbpf
2023-04-05T00:10:23Z

Hello:

This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@kernel.org>:

On Mon, 3 Apr 2023 21:50:21 -0700 you wrote:
> From: Alexei Starovoitov <ast@kernel.org>
>
> The patch set is addressing a fallout from
> commit 6fcd486b3a0a ("bpf: Refactor RCU enforcement in the verifier.")
> It was too aggressive with PTR_UNTRUSTED marks.
> Patches 1-6 are cleanup and adding verifier smartness to address real
> use cases in bpf programs that broke with too aggressive PTR_UNTRUSTED.
> The partial revert is done in patch 7 anyway.
>
> [...]

Here is the summary with links:
- [bpf-next,1/8] bpf: Invoke btf_struct_access() callback only for writes.
https://git.kernel.org/bpf/bpf-next/c/7d64c5132844
- [bpf-next,2/8] bpf: Remove unused arguments from btf_struct_access().
https://git.kernel.org/bpf/bpf-next/c/b7e852a9ec96
- [bpf-next,3/8] bpf: Refactor btf_nested_type_is_trusted().
https://git.kernel.org/bpf/bpf-next/c/63260df13965
- [bpf-next,4/8] bpf: Teach verifier that certain helpers accept NULL pointer.
https://git.kernel.org/bpf/bpf-next/c/91571a515d1b
- [bpf-next,5/8] bpf: Refactor NULL-ness check in check_reg_type().
https://git.kernel.org/bpf/bpf-next/c/add68b843f33
- [bpf-next,6/8] bpf: Allowlist few fields similar to __rcu tag.
https://git.kernel.org/bpf/bpf-next/c/30ee9821f943
- [bpf-next,7/8] bpf: Undo strict enforcement for walking untagged fields.
https://git.kernel.org/bpf/bpf-next/c/afeebf9f57a4
- [bpf-next,8/8] selftests/bpf: Add tracing tests for walking skb and req.
https://git.kernel.org/bpf/bpf-next/c/69f41a787761

You are awesome, thank you!
--
Deet-doot-dot, I am a bot.