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 |
|---|