Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/states.c bpf_is_state_visited() -> add_scc_backedge()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->bt.frame 0-2147483646
PARAM_VALUE 0 env->cur_hist_ent 0,4096-ptr_max
PARAM_VALUE 0 env->cur_hist_ent->flags 0
PARAM_VALUE 0 env->cur_hist_ent->linked_regs 0
PARAM_VALUE 0 env->cur_state 4096-ptr_max
PARAM_VALUE 0 env->cur_state->curframe 0-2147483646
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->bt->stack_arg_masks 0-255
PARAM_VALUE 0 *env->liveness->live_stack_query->callsites 0-4294967295
PARAM_VALUE 0 *env->tmp_str_buf 0-255
PARAM_VALUE 1 st->acquired_refs 0-s32max
PARAM_VALUE 1 st->curframe 0-4294967294
PARAM_VALUE 1 st->insn_idx 0-4294967294
PARAM_VALUE 2 backedge 4096-ptr_max
PARAM_VALUE 2 backedge->state.equal_state->acquired_refs 0-s32max
PARAM_VALUE 2 backedge->state.equal_state->curframe 0-4294967294
PARAM_VALUE 2 backedge->state.equal_state->insn_idx 0-4294967294
PARAM_VALUE 2 backedge->state.insn_idx 0-4294967294
PARAM_VALUE 2 backedge->state.jmp_history 1-u64max
PARAM_VALUE 2 backedge->state.refs 1-u64max
BUF_SIZE 2 backedge 240
BUF_SIZE 2 backedge->state.equal_state 232
CAPPED_DATA 0 env->insn_idx 1
CAPPED_DATA 0 env->prev_insn_idx 1
CAPPED_DATA 2 backedge->state.equal_state->acquired_refs 1
CAPPED_DATA 2 backedge->state.equal_state->active_lock_id 1
CAPPED_DATA 2 backedge->state.equal_state->active_locks 1
CAPPED_DATA 2 backedge->state.equal_state->active_preempt_locks 1
CAPPED_DATA 2 backedge->state.equal_state->active_rcu_locks 1
CAPPED_DATA 2 backedge->state.equal_state->curframe 1
CAPPED_DATA 2 backedge->state.equal_state->insn_idx 1
CAPPED_DATA 2 backedge->state.insn_idx 1
DATA_SOURCE 0 env $0
DATA_SOURCE 2 backedge r _kzalloc_noprof
FUZZY_MAX 0 env->insn_processed 1000000
BIT_INFO 0 env->prev_insn_idx 0x0,0x7fffffff
BIT_INFO 2 backedge->state.insn_idx 0x0,0x7fffffff
HARD_MAX 0 env->insn_processed 1000000
NO_OVERFLOW_SIMPLE 0 env->cur_state->jmp_history_cnt
NO_OVERFLOW_SIMPLE 2 backedge->state.jmp_history_cnt