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/states.c bpf_is_state_visited() -> incomplete_read_marks()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->cur_hist_ent 0
PARAM_VALUE 0 env->cur_state 4096-ptr_max
PARAM_VALUE 0 env->cur_state->curframe 0-4294967294
PARAM_VALUE 0 env->cur_state->insn_idx 0-4294967294
PARAM_VALUE 0 env->insn_aux_data 4096-ptr_max
PARAM_VALUE 0 env->insn_aux_data->btf_var.reg_type 0,16,529,4112
PARAM_VALUE 0 env->insn_idx 0-4294967294
PARAM_VALUE 0 env->insn_processed 0-1000000
PARAM_VALUE 0 env->liveness 4096-ptr_max
PARAM_VALUE 0 env->liveness->live_stack_query.curframe 0-4294967294
PARAM_VALUE 0 env->liveness->live_stack_query.insn_idx 0-4294967294
PARAM_VALUE 0 env->ops->gen_ld_abs 0,4096-ptr_max
PARAM_VALUE 0 env->prog 4096-ptr_max
PARAM_VALUE 0 *env->bt.reg_masks 0-4294967295
PARAM_VALUE 0 *env->liveness->live_stack_query->callsites 0-4294967295
PARAM_VALUE 1 st->branches 0
PARAM_VALUE 1 st->insn_idx 0-4294967294
CAPPED_DATA 0 env->insn_idx 1
CAPPED_DATA 0 env->prev_insn_idx 1
DATA_SOURCE 0 env $0
FUZZY_MAX 0 env->insn_processed 1000000
BIT_INFO 0 env->prev_insn_idx 0x0,0x7fffffff
HARD_MAX 0 env->insn_processed 1000000
NO_OVERFLOW_SIMPLE 0 env->cur_state->jmp_history_cnt

kernel/bpf/states.c maybe_free_verifier_state() -> incomplete_read_marks()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->insn_aux_data 4096-ptr_max
PARAM_VALUE 0 *env->bt.reg_masks 0-4294967295
PARAM_VALUE 1 st 4096-ptr_max
PARAM_VALUE 1 st->branches 0
DATA_SOURCE 0 env $0