Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/btf.c btf_array_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-2875726118925660159,2875726118925660161-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_array_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-2875726118925660159,2875726118925660161-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_datasec_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id
UNITS 2 type_id unit_array_size

kernel/bpf/btf.c btf_decl_tag_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_modifier_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_ptr_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_ptr_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_id_resolve
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 type_id $2
NOCHECK_CALL
UNITS 2 type_id unit_array_size

kernel/bpf/btf.c btf_struct_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-2875726118925660159,2875726118925660161-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
FUZZY_MAX 0 env->resolve_mode 0
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_var_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
CAPPED_DATA 2 type_id 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_by_id
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id

kernel/bpf/btf.c btf_var_resolve() -> env_stack_push()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->btf 4096-ptr_max
PARAM_VALUE 0 env->resolve_mode 0-2
PARAM_VALUE 0 env->top_stack 1-u32max
PARAM_VALUE 0 env->visit_states 16,4096-ptr_max
PARAM_VALUE 1 t 4096-ptr_max
BUF_SIZE 0 env->btf 248
CAPPED_DATA 0 env->btf->start_id 1
CAPPED_DATA 0 env->log.len_total 1
DATA_SOURCE 0 env $0
DATA_SOURCE 1 t r btf_type_id_resolve
PARAM_COMPARE 0 env->btf->start_id <= $2
PARAM_COMPARE 2 type_id >= $0->btf->start_id