selftests/bpf: Add test for stack arg read without caller write

Browse source

Add negative tests for the outgoing stack arg validation.
A static subprog with a 'long *' arg causes
btf_prepare_func_args() to fail after setting arg_cnt. The
validation ensures check_outgoing_stack_args() still runs.

Also update two existing tests (release_ref, stale_pkt_ptr) whose
expected error messages changed: invalidated stack arg slots are now
caught by check_outgoing_stack_args() at the call site instead of
at the callee's dereference.

Signed-off-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/r/20260515225045.822104-1-yonghong.song@linux.dev
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

...

This commit is contained in:

Yonghong Song 2026-05-15 15:50:45 -07:00 • committed by Alexei Starovoitov

parent 4286f5deee

commit ef1b54e0db

3 changed files with 68 additions and 2 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

8

tools/testing/selftests/bpf/progs/btf__verifier_stack_arg_order.c

View file

4

tools/testing/selftests/bpf/progs/verifier_stack_arg.c

View file

58

tools/testing/selftests/bpf/progs/verifier_stack_arg_order.c

View file