| H A D | verifier.c | 40 * All paths of conditional branches are analyzed until 'bpf_exit' insn.
48 * The second pass is all possible path descent from the 1st insn.
50 * analysis is limited to 64k insn, which may be hit even if total number of
51 * insn is less then 4K, but there are too many branches that change stack/regs.
71 * 1st insn copies R10 (which has FRAME_PTR) type into R1
74 * So after 2nd insn, the register R1 has type PTR_TO_STACK
120 * BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), // after this insn R2 type is FRAME_PTR
121 * BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), // after this insn R2 type is PTR_TO_STACK
122 * BPF_LD_MAP_FD(BPF_REG_1, map_fd), // after this insn R1 type is CONST_PTR_TO_MAP
131 * If it's ok, then verifier allows this BPF_CALL insn an
1453 struct bpf_insn *insn = env->prog->insnsi; check_subprogs() local
1590 is_reg64(struct bpf_verifier_env *env, struct bpf_insn *insn, u32 regno, struct bpf_reg_state *reg, enum reg_arg_type t) is_reg64() argument
1681 insn_no_def(struct bpf_insn *insn) insn_no_def() argument
1689 insn_has_def32(struct bpf_verifier_env *env, struct bpf_insn *insn) insn_has_def32() argument
1715 struct bpf_insn *insn = env->prog->insnsi + env->insn_idx; check_reg_arg() local
1801 struct bpf_insn *insn = env->prog->insnsi + idx; backtrack_insn() local
3221 struct bpf_insn *insn = env->prog->insnsi; check_max_stack_depth() local
3336 get_callee_stack_depth(struct bpf_verifier_env *env, const struct bpf_insn *insn, int idx) get_callee_stack_depth() argument
3895 check_xadd(struct bpf_verifier_env *env, int insn_idx, struct bpf_insn *insn) check_xadd() argument
5062 check_func_call(struct bpf_verifier_env *env, struct bpf_insn *insn, int *insn_idx) check_func_call() argument
5670 can_skip_alu_sanitation(const struct bpf_verifier_env *env, const struct bpf_insn *insn) can_skip_alu_sanitation() argument
5690 sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn) sanitize_val_alu() argument
5711 sanitize_speculative_path(struct bpf_verifier_env *env, const struct bpf_insn *insn, u32 next_idx, u32 curr_idx) sanitize_speculative_path() argument
5730 sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg, struct bpf_reg_state *dst_reg, struct bpf_sanitize_info *info, const bool commit_window) sanitize_ptr_alu() argument
5840 sanitize_err(struct bpf_verifier_env *env, const struct bpf_insn *insn, int reason, const struct bpf_reg_state *off_reg, const struct bpf_reg_state *dst_reg) sanitize_err() argument
5903 sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg) sanitize_check_bounds() argument
5942 adjust_ptr_min_max_vals(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg) adjust_ptr_min_max_vals() argument
6712 adjust_scalar_min_max_vals(struct bpf_verifier_env *env, struct bpf_insn *insn, struct bpf_reg_state *dst_reg, struct bpf_reg_state src_reg) adjust_scalar_min_max_vals() argument
6874 adjust_reg_min_max_vals(struct bpf_verifier_env *env, struct bpf_insn *insn) adjust_reg_min_max_vals() argument
6954 check_alu_op(struct bpf_verifier_env *env, struct bpf_insn *insn) check_alu_op() argument
7722 try_match_pkt_pointers(const struct bpf_insn *insn, struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg, struct bpf_verifier_state *this_branch, struct bpf_verifier_state *other_branch) try_match_pkt_pointers() argument
7822 check_cond_jmp_op(struct bpf_verifier_env *env, struct bpf_insn *insn, int *insn_idx) check_cond_jmp_op() argument
7982 check_ld_imm(struct bpf_verifier_env *env, struct bpf_insn *insn) check_ld_imm() argument
8082 check_ld_abs(struct bpf_verifier_env *env, struct bpf_insn *insn) check_ld_abs() argument
8957 clean_live_states(struct bpf_verifier_env *env, int insn, struct bpf_verifier_state *cur) clean_live_states() argument
9663 struct bpf_insn *insn; do_check() local
9959 check_pseudo_btf_id(struct bpf_verifier_env *env, struct bpf_insn *insn, struct bpf_insn_aux_data *aux) check_pseudo_btf_id() argument
10155 struct bpf_insn *insn = env->prog->insnsi; resolve_pseudo_ldimm64() local
10316 struct bpf_insn *insn = env->prog->insnsi; convert_pseudo_ld_imm64() local
10335 struct bpf_insn *insn = new_prog->insnsi; adjust_insn_aux_data() local
10592 struct bpf_insn *insn = env->prog->insnsi; sanitize_dead_code() local
10625 struct bpf_insn *insn = env->prog->insnsi; opt_hard_wire_dead_code_branches() local
10680 struct bpf_insn *insn = env->prog->insnsi; opt_remove_nops() local
10716 struct bpf_insn insn; opt_subreg_zext_lo32_rnd_hi32() local
10791 struct bpf_insn insn_buf[VERIFIER_SIXTEEN], *insn; convert_ctx_accesses() local
10969 struct bpf_insn *insn; jit_subprogs() local
11182 struct bpf_insn *insn = prog->insnsi; fixup_call_args() local
11228 struct bpf_insn *insn = prog->insnsi; fixup_bpf_calls() local
[all...] |