Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Mon, 21 Oct 2024 17:28:05 +0200 you wrote:
> Add a MEM_WRITE attribute for BPF helper functions which can be used in
> bpf_func_proto to annotate an argument type in order to let the verifier
> know that the helper writes into the memory passed as an argument. In
> the past MEM_UNINIT has been (ab)used for this function, but the latter
> merely tells the verifier that the passed memory can be uninitialized.
>
> There have been bugs with overloading the latter but aside from that
> there are also cases where the passed memory is read + written which
> currently cannot be expressed, see also 4b3786a6c539 ("bpf: Zero former
> ARG_PTR_TO_{LONG,INT} args in case of error").
>
> [...]
Here is the summary with links:
- [bpf,1/5] bpf: Add MEM_WRITE attribute
https://git.kernel.org/bpf/bpf/c/6fad274f06f0
- [bpf,2/5] bpf: Fix overloading of MEM_UNINIT's meaning
https://git.kernel.org/bpf/bpf/c/8ea607330a39
- [bpf,3/5] bpf: Remove MEM_UNINIT from skb/xdp MTU helpers
https://git.kernel.org/bpf/bpf/c/14a3d3ef02ba
- [bpf,4/5] selftests/bpf: Add test for writes to .rodata
https://git.kernel.org/bpf/bpf/c/baa802d2aa5c
- [bpf,5/5] selftests/bpf: Add test for passing in uninit mtu_len
https://git.kernel.org/bpf/bpf/c/82bbe133312b
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
