github-mirror/linux
1
0
Fork 0
mirror of https://github.com/torvalds/linux.git synced 2026-07-28 01:55:51 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity Graph

selftests/bpf: Test passing scalar NULL to nonnull global subprog

Browse Source 
Make sure the verifier reject passing a hardcoded NULL to an
__arg_nonnull argument.

Signed-off-by: Amery Hung <ameryhung@gmail.com>
Link: https://patch.msgid.link/20260723221815.367797-2-ameryhung@gmail.com
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
This commit is contained in:
Amery Hung 2026-07-23 15:18:15 -07:00 committed by Eduard Zingerman
parent 289e680c89
commit 55c7bd2dde
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tools/testing/selftests/bpf/progs/verifier_global_subprogs.c
View File

@ -185,6 +185,16 @@ int arg_tag_nonnull_ptr_good(void *ctx)
return subprog_nonnull_ptr_good(&x, &y);
}
SEC("?raw_tp")
__failure __log_level(2)
__msg("R1 is expected to be non-NULL")
int arg_tag_nonnull_ptr_null_bad(void *ctx)
{
int y = 74;
return subprog_nonnull_ptr_good(NULL, &y);
}
/* this global subprog can be now called from many types of entry progs, each
* with different context type
*/