Lines Matching refs:explored_states
4180 env->explored_states[w] = STATE_LIST_MARK; in push_insn()
4248 env->explored_states[t + 1] = STATE_LIST_MARK; in check_cfg()
4250 env->explored_states[t] = STATE_LIST_MARK; in check_cfg()
4273 env->explored_states[t + 1] = STATE_LIST_MARK; in check_cfg()
4276 env->explored_states[t] = STATE_LIST_MARK; in check_cfg()
4663 sl = env->explored_states[insn_idx]; in is_state_visited()
4708 new_sl->next = env->explored_states[insn_idx]; in is_state_visited()
4709 env->explored_states[insn_idx] = new_sl; in is_state_visited()
5877 if (!env->explored_states) in free_states()
5881 sl = env->explored_states[i]; in free_states()
5892 kfree(env->explored_states); in free_states()
5954 env->explored_states = kcalloc(env->prog->len, in bpf_check()
5958 if (!env->explored_states) in bpf_check()