8 #define verbose(env, fmt, args...) bpf_verifier_log_write(env, fmt, ##args)  argument
12 static bool is_may_goto_insn_at(struct bpf_verifier_env *env, int insn_idx)  in is_may_goto_insn_at()
17 static bool is_iter_next_insn(struct bpf_verifier_env *env, int insn_idx)  in is_iter_next_insn()
22 static void update_peak_states(struct bpf_verifier_env *env)  in update_peak_states()
48 static void maybe_free_verifier_state(struct bpf_verifier_env *env,  in maybe_free_verifier_state()
74 static bool compute_scc_callchain(struct bpf_verifier_env *env,  in compute_scc_callchain()
97 static struct bpf_scc_visit *scc_visit_lookup(struct bpf_verifier_env *env,  in scc_visit_lookup()
116 static struct bpf_scc_visit *scc_visit_alloc(struct bpf_verifier_env *env,  in scc_visit_alloc()
140 static char *format_callchain(struct bpf_verifier_env *env, struct bpf_scc_callchain *callchain)  in format_callchain()
160 static int maybe_enter_scc(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in maybe_enter_scc()
185 static int maybe_exit_scc(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in maybe_exit_scc()
227 static int add_scc_backedge(struct bpf_verifier_env *env,  in add_scc_backedge()
259 static bool incomplete_read_marks(struct bpf_verifier_env *env,  in incomplete_read_marks()
273 int bpf_update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in bpf_update_branch_counts()
398 static void __clean_func_state(struct bpf_verifier_env *env,  in __clean_func_state()
471 static int clean_verifier_state(struct bpf_verifier_env *env,  in clean_verifier_state()
505 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold,  in regsafe()
673 static bool is_stack_misc_after(struct bpf_verifier_env *env,  in is_stack_misc_after()
689 static struct bpf_reg_state *scalar_reg_for_stack(struct bpf_verifier_env *env,  in scalar_reg_for_stack()
701 static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old,  in stacksafe()
846 static bool stack_arg_safe(struct bpf_verifier_env *env, struct bpf_func_state *old,  in stack_arg_safe()
944 static bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old,  in func_states_equal()
971 static void reset_idmap_scratch(struct bpf_verifier_env *env)  in reset_idmap_scratch()
979 static bool states_equal(struct bpf_verifier_env *env,  in states_equal()
1020 static int propagate_precision(struct bpf_verifier_env *env,  in propagate_precision()
1084 static int propagate_backedges(struct bpf_verifier_env *env, struct bpf_scc_visit *visit)  in propagate_backedges()
1213 static void mark_all_scalars_imprecise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in mark_all_scalars_imprecise()
1238 int bpf_is_state_visited(struct bpf_verifier_env *env, int insn_idx)  in bpf_is_state_visited()