mirrors/linux
2
0
Fork 0
mirror of https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git synced 2026-05-16 03:11:11 -04:00
Code Issues Packages Projects Releases Wiki Activity

selftests/bpf: Add trampolines single and multi-level pointer params test coverage

Browse Source 
Add single and multi-level pointer parameters and return value test
coverage for BPF trampolines. Includes verifier tests for single and
multi-level pointers. The tests check verifier logs for pointers
inferred as scalar() type.

Signed-off-by: Slava Imameev <slava.imameev@crowdstrike.com>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260314082127.7939-3-slava.imameev@crowdstrike.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
This commit is contained in:
Slava Imameev
2026-03-14 19:21:27 +11:00
committed by Alexei Starovoitov
parent 4145203841
commit e8571de534
3 changed files with 87 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
net/bpf/test_run.c
View File

@@ -567,6 +567,23 @@ noinline void bpf_fentry_test_sinfo(struct skb_shared_info *sinfo)
{
}
noinline void bpf_fentry_test_ppvoid(void **pp)
{
}
noinline void bpf_fentry_test_pppvoid(void ***ppp)
{
}
noinline void bpf_fentry_test_ppfile(struct file **ppf)
{
}
noinline struct file **bpf_fexit_test_ret_ppfile(void)
{
return (struct file **)NULL;
}
__bpf_kfunc int bpf_modify_return_test(int a, int *b)
{
*b += 1;

2
tools/testing/selftests/bpf/prog_tests/verifier.c
View File

@@ -115,6 +115,7 @@
#include "verifier_lsm.skel.h"
#include "verifier_jit_inline.skel.h"
#include "irq.skel.h"
#include "verifier_ctx_ptr_param.skel.h"
#define MAX_ENTRIES 11
@@ -259,6 +260,7 @@ void test_verifier_lsm(void) { RUN(verifier_lsm); }
void test_irq(void) { RUN(irq); }
void test_verifier_mtu(void) { RUN(verifier_mtu); }
void test_verifier_jit_inline(void) { RUN(verifier_jit_inline); }
void test_verifier_ctx_ptr_param(void) { RUN(verifier_ctx_ptr_param); }
static int init_test_val_map(struct bpf_object *obj, char *map_name)
{

68
tools/testing/selftests/bpf/progs/verifier_ctx_ptr_param.c Normal file
View File

@@ -0,0 +1,68 @@
// SPDX-License-Identifier: GPL-2.0
/*
* Verifier tests for single- and multi-level pointer parameter handling
* Copyright (c) 2026 CrowdStrike, Inc.
*/
#include <linux/bpf.h>
#include <bpf/bpf_helpers.h>
#include <bpf/bpf_tracing.h>
#include "bpf_misc.h"
SEC("fentry/bpf_fentry_test_ppvoid")
__description("fentry/void**: void ** inferred as scalar")
__success __retval(0)
__log_level(2)
__msg("R1=ctx() R2=scalar()")
__naked void fentry_ppvoid_as_scalar(void)
{
asm volatile (" \
r2 = *(u64 *)(r1 + 0); \
r0 = 0; \
exit; \
" ::: __clobber_all);
}
SEC("fentry/bpf_fentry_test_pppvoid")
__description("fentry/void***: void *** inferred as scalar")
__success __retval(0)
__log_level(2)
__msg("R1=ctx() R2=scalar()")
__naked void fentry_pppvoid_as_scalar(void)
{
asm volatile (" \
r2 = *(u64 *)(r1 + 0); \
r0 = 0; \
exit; \
" ::: __clobber_all);
}
SEC("fentry/bpf_fentry_test_ppfile")
__description("fentry/struct file**: struct file ** inferred as scalar")
__success __retval(0)
__log_level(2)
__msg("R1=ctx() R2=scalar()")
__naked void fentry_ppfile_as_scalar(void)
{
asm volatile (" \
r2 = *(u64 *)(r1 + 0); \
r0 = 0; \
exit; \
" ::: __clobber_all);
}
SEC("fexit/bpf_fexit_test_ret_ppfile")
__description("fexit/return struct file**: returned struct file ** inferred as scalar")
__success __retval(0)
__log_level(2)
__msg("R1=ctx() R2=scalar()")
__naked void fexit_ppfile_as_scalar(void)
{
asm volatile (" \
r2 = *(u64 *)(r1 + 0); \
r0 = 0; \
exit; \
" ::: __clobber_all);
}
char _license[] SEC("license") = "GPL";