Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Mon, 25 Apr 2022 03:18:48 +0530 you wrote:
> This set enables storing pointers of a certain type in BPF map, and extends the
> verifier to enforce type safety and lifetime correctness properties.
>
> The infrastructure being added is generic enough for allowing storing any kind
> of pointers whose type is available using BTF (user or kernel) in the future
> (e.g. strongly typed memory allocation in BPF program), which are internally
> tracked in the verifier as PTR_TO_BTF_ID, but for now the series limits them to
> two kinds of pointers obtained from the kernel.
>
> [...]
Here is the summary with links:
- [bpf-next,v6,01/13] bpf: Allow storing unreferenced kptr in map
https://git.kernel.org/bpf/bpf-next/c/61df10c7799e
- [bpf-next,v6,02/13] bpf: Tag argument to be released in bpf_func_proto
https://git.kernel.org/bpf/bpf-next/c/8f14852e8911
- [bpf-next,v6,03/13] bpf: Allow storing referenced kptr in map
https://git.kernel.org/bpf/bpf-next/c/c0a5a21c25f3
- [bpf-next,v6,04/13] bpf: Prevent escaping of kptr loaded from maps
https://git.kernel.org/bpf/bpf-next/c/6efe152d4061
- [bpf-next,v6,05/13] bpf: Adapt copy_map_value for multiple offset case
https://git.kernel.org/bpf/bpf-next/c/4d7d7f69f4b1
- [bpf-next,v6,06/13] bpf: Populate pairs of btf_id and destructor kfunc in btf
https://git.kernel.org/bpf/bpf-next/c/5ce937d613a4
- [bpf-next,v6,07/13] bpf: Wire up freeing of referenced kptr
https://git.kernel.org/bpf/bpf-next/c/14a324f6a67e
- [bpf-next,v6,08/13] bpf: Teach verifier about kptr_get kfunc helpers
https://git.kernel.org/bpf/bpf-next/c/a1ef19599652
- [bpf-next,v6,09/13] bpf: Make BTF type match stricter for release arguments
https://git.kernel.org/bpf/bpf-next/c/2ab3b3808eb1
- [bpf-next,v6,10/13] libbpf: Add kptr type tag macros to bpf_helpers.h
https://git.kernel.org/bpf/bpf-next/c/ef89654f2bc7
- [bpf-next,v6,11/13] selftests/bpf: Add C tests for kptr
https://git.kernel.org/bpf/bpf-next/c/2cbc469a6fc3
- [bpf-next,v6,12/13] selftests/bpf: Add verifier tests for kptr
https://git.kernel.org/bpf/bpf-next/c/05a945deefaa
- [bpf-next,v6,13/13] selftests/bpf: Add test for strict BTF type check
https://git.kernel.org/bpf/bpf-next/c/792c0a345f0e
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
