Searched refs:explored_states (Results 1 – 1 of 1) sorted by relevance
199 struct verifier_state_list **explored_states; /* search pruning optimization */ member1465 env->explored_states[w] = STATE_LIST_MARK; in push_insn()1544 env->explored_states[t + 1] = STATE_LIST_MARK; in check_cfg()1673 sl = env->explored_states[insn_idx]; in is_state_visited()1701 new_sl->next = env->explored_states[insn_idx]; in is_state_visited()1702 env->explored_states[insn_idx] = new_sl; in is_state_visited()2180 if (!env->explored_states) in free_states()2184 sl = env->explored_states[i]; in free_states()2194 kfree(env->explored_states); in free_states()2245 env->explored_states = kcalloc(env->prog->len, in bpf_check()[all …]