Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Fri, 15 Apr 2022 21:33:41 +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,v5,01/13] bpf: Make btf_find_field more generic
https://git.kernel.org/bpf/bpf-next/c/91af2fc8739e
- [bpf-next,v5,02/13] bpf: Move check_ptr_off_reg before check_map_access
https://git.kernel.org/bpf/bpf-next/c/0ed6ff597f2d
- [bpf-next,v5,03/13] bpf: Allow storing unreferenced kptr in map
(no matching commit)
- [bpf-next,v5,04/13] bpf: Tag argument to be released in bpf_func_proto
(no matching commit)
- [bpf-next,v5,05/13] bpf: Allow storing referenced kptr in map
(no matching commit)
- [bpf-next,v5,06/13] bpf: Prevent escaping of kptr loaded from maps
(no matching commit)
- [bpf-next,v5,07/13] bpf: Adapt copy_map_value for multiple offset case
(no matching commit)
- [bpf-next,v5,08/13] bpf: Populate pairs of btf_id and destructor kfunc in btf
(no matching commit)
- [bpf-next,v5,09/13] bpf: Wire up freeing of referenced kptr
(no matching commit)
- [bpf-next,v5,10/13] bpf: Teach verifier about kptr_get kfunc helpers
(no matching commit)
- [bpf-next,v5,11/13] libbpf: Add kptr type tag macros to bpf_helpers.h
(no matching commit)
- [bpf-next,v5,12/13] selftests/bpf: Add C tests for kptr
(no matching commit)
- [bpf-next,v5,13/13] selftests/bpf: Add verifier tests for kptr
(no matching commit)
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
