selftests/bpf: Tests for uninitialized stack reads
authorEduard Zingerman <eddyz87@gmail.com>
Sun, 19 Feb 2023 20:04:27 +0000 (22:04 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 22 Feb 2023 20:34:50 +0000 (12:34 -0800)
commit6338a94d5ab42a94e96ea36edc5f7df1fe73e68e
treeeb8bd666efbe96ebae7a891d0b8661dcad7fbbcf
parent6715df8d5d24655b9fd368e904028112b54c7de1
selftests/bpf: Tests for uninitialized stack reads

Three testcases to make sure that stack reads from uninitialized
locations are accepted by verifier when executed in privileged mode:
- read from a fixed offset;
- read from a variable offset;
- passing a pointer to stack to a helper converts
  STACK_INVALID to STACK_MISC.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20230219200427.606541-3-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/prog_tests/uninit_stack.c [new file with mode: 0644]
tools/testing/selftests/bpf/progs/uninit_stack.c [new file with mode: 0644]