Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/bpf/bpf_dummy_struct_ops.c check_test_run_args() -> type_may_be_null()

Type Parameter Key Value

kernel/bpf/verifier.c btf_check_func_arg_match() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 0-1048592,2097168,4718608,6815760

kernel/bpf/verifier.c btf_check_func_arg_match() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 5,260,16397,16900,1048589
BIT_INFO 0 type 0x0,0x1fbfff

kernel/bpf/verifier.c check_func_arg() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 1-8,10-u32max

kernel/bpf/verifier.c check_func_arg() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 1-8,10-u32max

kernel/bpf/verifier.c check_helper_call() -> type_may_be_null()

Type Parameter Key Value

kernel/bpf/verifier.c check_helper_call() -> type_may_be_null()

Type Parameter Key Value

kernel/bpf/verifier.c check_kfunc_args() -> type_may_be_null()

Type Parameter Key Value

kernel/bpf/verifier.c check_kfunc_args() -> type_may_be_null()

Type Parameter Key Value

kernel/bpf/verifier.c check_kfunc_args() -> type_may_be_null()

Type Parameter Key Value

kernel/bpf/verifier.c check_mem_access() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 0-3,6-u32max

kernel/bpf/verifier.c check_mem_access() -> type_may_be_null()

Type Parameter Key Value
BIT_INFO 0 type 0x1,0xffffffff

kernel/bpf/verifier.c check_mem_access() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 0-1,3,7-9,16-u32max

kernel/bpf/verifier.c check_mem_access() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 0-1,7-9,16-u32max

kernel/bpf/verifier.c check_ptr_to_btf_access() -> type_may_be_null()

Type Parameter Key Value
BIT_INFO 0 type 0x0,0xffffe7ff

kernel/bpf/verifier.c check_reg_type() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 16,272,1048592,1048848,2097168,2097424

kernel/bpf/verifier.c check_reg_type() -> type_may_be_null()

Type Parameter Key Value
PARAM_VALUE 0 type 1-8,10-u32max
DATA_SOURCE 0 type $3

kernel/bpf/verifier.c mark_btf_ld_reg() -> type_may_be_null()

Type Parameter Key Value
DATA_SOURCE 0 type $6

kernel/bpf/verifier.c mark_ptr_or_null_reg() -> type_may_be_null()

Type Parameter Key Value

kernel/bpf/verifier.c reg_not_null() -> type_may_be_null()

Type Parameter Key Value