selftests/bpf: Cover writable BTF field global subprog args

Browse source

Add a verifier test for passing a BTF-backed task_struct field pointer to a
global subprogram argument typed as writable memory.

The direct field store is already rejected.
The global subprogram path should be rejected too.
The callee must not lose the BTF pointer's read-only provenance.
It must not validate the argument as ordinary writable memory.

Signed-off-by: Nuoqi Gui <gnq25@mails.tsinghua.edu.cn>
Link: https://lore.kernel.org/bpf/20260609-f01-04-btf-writable-arg-v1-2-f449cd970669@mails.tsinghua.edu.cn
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>

...

This commit is contained in:

Nuoqi Gui 2026-06-09 22:43:51 +08:00 • committed by Kumar Kartikeya Dwivedi

parent fa75b7c85b

commit af8c3f170f

No known key found for this signature in database

GPG key ID: 472D377B63542F83

1 changed files with 19 additions and 0 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

19

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

View file