MIRRORS/linux-yocto
1
0
Fork 0
mirror of git://git.yoctoproject.org/linux-yocto.git synced 2025-10-23 07:23:12 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

bpf: Make reg_not_null() true for CONST_PTR_TO_MAP

Browse Source 
When reg->type is CONST_PTR_TO_MAP, it can not be null. However the
verifier explores the branches under rX == 0 in check_cond_jmp_op()
even if reg->type is CONST_PTR_TO_MAP, because it was not checked for
in reg_not_null().

Fix this by adding CONST_PTR_TO_MAP to the set of types that are
considered non nullable in reg_not_null().

An old "unpriv: cmp map pointer with zero" selftest fails with this
change, because now early out correctly triggers in
check_cond_jmp_op(), making the verification to pass.

In practice verifier may allow pointer to null comparison in unpriv,
since in many cases the relevant branch and comparison op are removed
as dead code. So change the expected test result to __success_unpriv.

Signed-off-by: Ihor Solodrai <isolodrai@meta.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/bpf/20250609183024.359974-2-isolodrai@meta.com
This commit is contained in:
Ihor Solodrai 2025-06-09 11:30:22 -07:00 committed by Andrii Nakryiko
parent 97ebac5886
commit 5534e58f2e
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
kernel/bpf/verifier.c
View File

@ -405,7 +405,8 @@ static bool reg_not_null(const struct bpf_reg_state *reg)
type == PTR_TO_MAP_KEY || type == PTR_TO_MAP_KEY ||
type == PTR_TO_SOCK_COMMON || type == PTR_TO_SOCK_COMMON ||
(type == PTR_TO_BTF_ID && is_trusted_reg(reg)) || (type == PTR_TO_BTF_ID && is_trusted_reg(reg)) ||
type == PTR_TO_MEM; type == PTR_TO_MEM ||
type == CONST_PTR_TO_MAP;
} }
static struct btf_record *reg_btf_record(const struct bpf_reg_state *reg) static struct btf_record *reg_btf_record(const struct bpf_reg_state *reg)

2
tools/testing/selftests/bpf/progs/verifier_unpriv.c
View File

@ -619,7 +619,7 @@ __naked void pass_pointer_to_tail_call(void)
SEC("socket") SEC("socket")
__description("unpriv: cmp map pointer with zero") __description("unpriv: cmp map pointer with zero")
__success __failure_unpriv __msg_unpriv("R1 pointer comparison") __success __success_unpriv
__retval(0) __retval(0)
__naked void cmp_map_pointer_with_zero(void) __naked void cmp_map_pointer_with_zero(void)
{ {