]> www.infradead.org Git - users/jedix/linux-maple.git/commit
bpf: Don't mark STACK_INVALID as STACK_MISC in mark_stack_slot_misc
authorKumar Kartikeya Dwivedi <memxor@gmail.com>
Wed, 4 Dec 2024 04:47:53 +0000 (20:47 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 4 Dec 2024 17:19:50 +0000 (09:19 -0800)
commit69772f509e084ec6bca12dbcdeeeff41b0103774
treefb7e9f2a3a07c229721e49998ede2df525468b06
parent5a6ea7022ff4d2a65ae328619c586d6a8909b48b
bpf: Don't mark STACK_INVALID as STACK_MISC in mark_stack_slot_misc

Inside mark_stack_slot_misc, we should not upgrade STACK_INVALID to
STACK_MISC when allow_ptr_leaks is false, since invalid contents
shouldn't be read unless the program has the relevant capabilities.
The relaxation only makes sense when env->allow_ptr_leaks is true.

However, such conversion in privileged mode becomes unnecessary, as
invalid slots can be read without being upgraded to STACK_MISC.

Currently, the condition is inverted (i.e. checking for true instead of
false), simply remove it to restore correct behavior.

Fixes: eaf18febd6eb ("bpf: preserve STACK_ZERO slots on partial reg spills")
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Reported-by: Tao Lyu <tao.lyu@epfl.ch>
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Link: https://lore.kernel.org/r/20241204044757.1483141-2-memxor@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c