| Message ID | 20201019194206.1050591-1-kafai@fb.com |
|---|---|
| Headers | show |
| Series | bpf: Enforce NULL check on new _OR_NULL return types | expand |
Hello: This series was applied to bpf/bpf.git (refs/heads/master): On Mon, 19 Oct 2020 12:42:06 -0700 you wrote: > This set enforces NULL check on the new helper return types, > RET_PTR_TO_BTF_ID_OR_NULL and RET_PTR_TO_MEM_OR_BTF_ID_OR_NULL. > > Martin KaFai Lau (3): > bpf: Enforce id generation for all may-be-null register type > bpf: selftest: Ensure the return value of bpf_skc_to helpers must be > checked > bpf: selftest: Ensure the return value of the bpf_per_cpu_ptr() must > be checked > > [...] Here is the summary with links: - [bpf,1/3] bpf: Enforce id generation for all may-be-null register type https://git.kernel.org/bpf/bpf/c/93c230e3f5bd - [bpf,2/3] bpf: selftest: Ensure the return value of bpf_skc_to helpers must be checked https://git.kernel.org/bpf/bpf/c/e710bcc6d92c - [bpf,3/3] bpf: selftest: Ensure the return value of the bpf_per_cpu_ptr() must be checked https://git.kernel.org/bpf/bpf/c/8568c3cefd51 You are awesome, thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/patchwork/pwbot.html
This set enforces NULL check on the new helper return types, RET_PTR_TO_BTF_ID_OR_NULL and RET_PTR_TO_MEM_OR_BTF_ID_OR_NULL. Martin KaFai Lau (3): bpf: Enforce id generation for all may-be-null register type bpf: selftest: Ensure the return value of bpf_skc_to helpers must be checked bpf: selftest: Ensure the return value of the bpf_per_cpu_ptr() must be checked kernel/bpf/verifier.c | 11 ++-- .../selftests/bpf/prog_tests/ksyms_btf.c | 57 +++++++++++++------ .../bpf/progs/test_ksyms_btf_null_check.c | 31 ++++++++++ tools/testing/selftests/bpf/verifier/sock.c | 25 ++++++++ 4 files changed, 100 insertions(+), 24 deletions(-) create mode 100644 tools/testing/selftests/bpf/progs/test_ksyms_btf_null_check.c