Open Menu /

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

kernel/bpf/fixups.c bpf_do_misc_fixups() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max

kernel/bpf/btf.c btf_kfunc_flags() -> resolve_prog_type()

Type Parameter Key Value
BUF_SIZE 0 prog (-1)-s32max
BUF_SIZE 0 prog (-1)-s32max
DATA_SOURCE 0 prog $2
NO_OVERFLOW_SIMPLE 0 prog->len

kernel/bpf/btf.c btf_kfunc_is_allowed() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
DATA_SOURCE 0 prog $2

kernel/bpf/trampoline.c bpf_prog_check_recur() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
DATA_SOURCE 0 prog $0
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/trampoline.c bpf_trampoline_enter() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
DATA_SOURCE 0 prog $0
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/trampoline.c bpf_trampoline_exit() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
DATA_SOURCE 0 prog $0
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/verifier.c bpf_prog_check_recur() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max
PARAM_VALUE 0 prog->type 26-27,29
DATA_SOURCE 0 prog $0

kernel/bpf/verifier.c check_css_task_iter_allowlist() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max

kernel/bpf/verifier.c check_get_func_ip() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max

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

Type Parameter Key Value

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

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max

kernel/bpf/verifier.c check_kfunc_call() -> resolve_prog_type()

Type Parameter Key Value

kernel/bpf/verifier.c check_ld_abs() -> resolve_prog_type()

Type Parameter Key Value

kernel/bpf/verifier.c check_map_prog_compatibility() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog->aux 4096-ptr_max
DATA_SOURCE 0 prog $2

kernel/bpf/verifier.c check_reference_leak() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max

kernel/bpf/verifier.c check_return_code() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max

kernel/bpf/verifier.c do_refine_retval_range() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max

kernel/bpf/verifier.c get_kfunc_arg_type() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max
BUF_SIZE 0 prog (-1)-s32max
BUF_SIZE 0 prog (-1)-s32max
NO_OVERFLOW_SIMPLE 0 prog->len

kernel/bpf/verifier.c is_var_ctx_off_allowed() -> resolve_prog_type()

Type Parameter Key Value
DATA_SOURCE 0 prog $0

kernel/bpf/verifier.c may_access_direct_pkt_data() -> resolve_prog_type()

Type Parameter Key Value
NO_OVERFLOW_SIMPLE 0 prog->len

kernel/bpf/verifier.c may_update_sockmap() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max

kernel/bpf/verifier.c return_retval_range() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max

kernel/bpf/core.c __bpf_prog_map_compatible() -> resolve_prog_type()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max
BUF_SIZE 0 prog s32min-s32max
CAPPED_DATA 0 prog 1
CAPPED_DATA 0 prog->aux 1
DATA_SOURCE 0 prog $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 prog->aux->prog->len 1-4096[c]
NO_OVERFLOW_SIMPLE 0 prog->aux->nr_linfo
NO_OVERFLOW_SIMPLE 0 prog->aux->offload->prog->len
NO_OVERFLOW_SIMPLE 0 prog->aux->prog->len
NO_OVERFLOW_SIMPLE 0 prog->len
USER_PTR 0 prog->insns
HALF_LOCKED2 &aux->used_maps_mutex