Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Mon, 9 Dec 2024 20:10:52 -0800 you wrote:
> Nick Zavaritsky reported [0] a bug in verifier, where the following
> unsafe program is not rejected:
>
> __attribute__((__noinline__))
> long skb_pull_data(struct __sk_buff *sk, __u32 len)
> {
> return bpf_skb_pull_data(sk, len);
> }
>
> [...]
Here is the summary with links:
- [bpf,v2,1/8] bpf: add find_containing_subprog() utility function
https://git.kernel.org/bpf/bpf/c/27e88bc4df1d
- [bpf,v2,2/8] bpf: refactor bpf_helper_changes_pkt_data to use helper number
https://git.kernel.org/bpf/bpf/c/b238e187b4a2
- [bpf,v2,3/8] bpf: track changes_pkt_data property for global functions
https://git.kernel.org/bpf/bpf/c/51081a3f25c7
- [bpf,v2,4/8] selftests/bpf: test for changing packet data from global functions
https://git.kernel.org/bpf/bpf/c/3f23ee5590d9
- [bpf,v2,5/8] bpf: check changes_pkt_data property for extension programs
https://git.kernel.org/bpf/bpf/c/81f6d0530ba0
- [bpf,v2,6/8] selftests/bpf: freplace tests for tracking of changes_packet_data
https://git.kernel.org/bpf/bpf/c/89ff40890d8f
- [bpf,v2,7/8] bpf: consider that tail calls invalidate packet pointers
https://git.kernel.org/bpf/bpf/c/1a4607ffba35
- [bpf,v2,8/8] selftests/bpf: validate that tail call invalidates packet pointers
https://git.kernel.org/bpf/bpf/c/d9706b56e13b
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
