]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
selftests/bpf: add new tests for static stack liveness analysis
authorAlexei Starovoitov <ast@kernel.org>
Fri, 10 Apr 2026 20:56:04 +0000 (13:56 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 10 Apr 2026 22:13:38 +0000 (15:13 -0700)
commit27417e5eb9cd4151320866e0b2cca0c612f1cdf7
tree6b0c7bb4f9cf4d0a19c9f86629617bc15a9912bd
parent957c30c06748ffe8ab20c242f1a5506447436d6e
selftests/bpf: add new tests for static stack liveness analysis

Add a bunch of new tests to verify the static stack
liveness analysis.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260410-patch-set-v4-13-5d4eecb343db@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/prog_tests/verifier.c
tools/testing/selftests/bpf/progs/verifier_live_stack.c
tools/testing/selftests/bpf/progs/verifier_liveness_exp.c [new file with mode: 0644]