Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
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-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 old->acquired_refs 0-s32max
PARAM_VALUE 1 old->curframe 0-4294967294
PARAM_VALUE 1 old->insn_idx 0-4294967294
PARAM_VALUE 2 cur 4096-ptr_max
PARAM_VALUE 2 cur->curframe 0-4294967294
PARAM_VALUE 2 cur->insn_idx 0-4294967294
PARAM_VALUE 3 changed 0
CAPPED_DATA 0 env->insn_idx 1
CAPPED_DATA 0 env->prev_insn_idx 1
CAPPED_DATA 2 cur->acquired_refs 1
CAPPED_DATA 2 cur->active_lock_ptr 1
CAPPED_DATA 2 cur->active_locks 1
CAPPED_DATA 2 cur->active_preempt_locks 1
CAPPED_DATA 2 cur->active_rcu_locks 1
CAPPED_DATA 2 cur->curframe 1
CAPPED_DATA 2 cur->in_sleepable 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
NO_OVERFLOW_SIMPLE 2 cur->jmp_history_cnt

kernel/bpf/states.c propagate_backedges() -> propagate_precision()

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->scc_info 4096-ptr_max
PARAM_VALUE 0 *env->bt.reg_masks 0-4294967295
PARAM_VALUE 0 *env->callchain_buf->callsites 0-4294967295
PARAM_VALUE 2 cur 4096-ptr_max
PARAM_VALUE 3 changed 3105089920632803328
BUF_SIZE 2 cur 232
DATA_SOURCE 0 env $0