Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c destroy_if_dynptr_stack_slot() -> release_reference()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->cur_state 4096-ptr_max
PARAM_VALUE 0 env->ops->gen_ld_abs 0,4096-ptr_max
PARAM_VALUE 0 *env->tmp_arg_name 0-255
PARAM_VALUE 0 *env->tmp_str_buf 0-255
DATA_SOURCE 0 env $0
STR_LEN 0 env (-1)
STR_LEN 0 env (-1)
NO_OVERFLOW_SIMPLE 0 env->cur_state->jmp_history_cnt

kernel/bpf/verifier.c release_reg() -> release_reference()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->cur_state 4096-ptr_max
PARAM_VALUE 0 env->cur_state->acquired_refs 1-u32max
PARAM_VALUE 0 env->insn_aux_data->btf_var.reg_type 0,16,529,4112
PARAM_VALUE 0 env->ops->gen_ld_abs 0,4096-ptr_max
PARAM_VALUE 0 env->prog 4096-ptr_max
PARAM_VALUE 0 *env->log.kbuf 0-255
PARAM_VALUE 0 *env->tmp_arg_name 0-255
PARAM_VALUE 0 *env->tmp_str_buf 0-255
CAPPED_DATA 0 env->cur_state->acquired_refs 1
CAPPED_DATA 1 id 1
DATA_SOURCE 0 env $0

kernel/bpf/verifier.c unmark_stack_slots_dynptr() -> release_reference()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->cur_state 4096-ptr_max
PARAM_VALUE 0 env->log.ubuf 0
PARAM_VALUE 0 env->prog 4096-ptr_max
PARAM_VALUE 0 *env->tmp_arg_name 0-255
PARAM_VALUE 0 *env->tmp_str_buf 0-255
DATA_SOURCE 0 env $0
NO_OVERFLOW_SIMPLE 0 env->cur_state->jmp_history_cnt

kernel/bpf/verifier.c unmark_stack_slots_iter() -> release_reference()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->cur_state 4096-ptr_max
PARAM_VALUE 0 *env->log.kbuf 0-255
DATA_SOURCE 0 env $0