Commit 230b0118 authored by Puranjay Mohan's avatar Puranjay Mohan Committed by Alexei Starovoitov
Browse files

selftests: bpf: fix test_kfunc_dynptr_param 



As verifier now assumes that all kfuncs only takes trusted pointer
arguments, passing 0 (NULL) to a kfunc that doesn't mark the argument as
__nullable or __opt will be rejected with a failure message of: Possibly
NULL pointer passed to trusted arg<n>

Pass a non-null value to the kfunc to test the expected failure mode.

Acked-by: default avatarEduard Zingerman <eddyz87@gmail.com>
Reviewed-by: default avatarEmil Tsalapatis <emil@etsalapatis.com>
Signed-off-by: default avatarPuranjay Mohan <puranjay@kernel.org>
Link: https://lore.kernel.org/r/20260102180038.2708325-9-puranjay@kernel.org


Signed-off-by: default avatarAlexei Starovoitov <ast@kernel.org>
parent 03cc77b1

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

+2 −3
Original line number Diff line number Diff line
@@ -48,10 +48,9 @@ SEC("?lsm.s/bpf") 
__failure __msg("arg#0 expected pointer to stack or const struct bpf_dynptr")

int BPF_PROG(not_ptr_to_stack, int cmd, union bpf_attr *attr, unsigned int size, bool kernel)

{

	unsigned long val = 0;

	static struct bpf_dynptr val;



	return bpf_verify_pkcs7_signature((struct bpf_dynptr *)val,

					  (struct bpf_dynptr *)val, NULL);

	return bpf_verify_pkcs7_signature(&val, &val, NULL);

}



SEC("lsm.s/bpf")