kernel/linux.git/tools/testing/selftests/bpf/prog_tests/uninit_stack.c, branch linux-7.0.yLinux kernel stable tree (mirror)https://git.radix-linux.su/kernel/linux.git/atom?h=linux-7.0.y2023-02-22T20:34:50+00:00selftests/bpf: Tests for uninitialized stack reads2023-02-22T20:34:50+00:00Eduard Zingermaneddyz87@gmail.com2023-02-19T20:04:27+00:00urn:sha1:6338a94d5ab42a94e96ea36edc5f7df1fe73e68e
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>