H A D | verifier.c | 3779 int dst_reg = insn_def_regno(insn); insn_has_def32() local 14240 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 14348 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 14419 sanitize_check_bounds(struct bpf_verifier_env * env,const struct bpf_insn * insn,const struct bpf_reg_state * dst_reg) sanitize_check_bounds() argument 14461 struct bpf_reg_state *regs = state->regs, *dst_reg; adjust_ptr_min_max_vals() local 14697 scalar32_min_max_add(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_add() argument 14728 scalar_min_max_add(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_add() argument 14759 scalar32_min_max_sub(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_sub() argument 14791 scalar_min_max_sub(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_sub() argument 14823 scalar32_min_max_mul(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_mul() argument 14851 scalar_min_max_mul(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_mul() argument 14879 scalar32_min_max_and(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_and() argument 14910 scalar_min_max_and(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_and() argument 14942 scalar32_min_max_or(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_or() argument 14973 scalar_min_max_or(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_or() argument 15005 scalar32_min_max_xor(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_xor() argument 15033 scalar_min_max_xor(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_xor() argument 15063 __scalar32_min_max_lsh(struct bpf_reg_state * dst_reg,u64 umin_val,u64 umax_val) __scalar32_min_max_lsh() argument 15081 scalar32_min_max_lsh(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_lsh() argument 15099 __scalar64_min_max_lsh(struct bpf_reg_state * dst_reg,u64 umin_val,u64 umax_val) __scalar64_min_max_lsh() argument 15129 scalar_min_max_lsh(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_lsh() argument 15144 scalar32_min_max_rsh(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_rsh() argument 15176 scalar_min_max_rsh(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_rsh() argument 15210 scalar32_min_max_arsh(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar32_min_max_arsh() argument 15233 scalar_min_max_arsh(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg) scalar_min_max_arsh() argument 15307 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 15414 struct bpf_reg_state *regs = state->regs, *dst_reg, *src_reg; adjust_reg_min_max_vals() local 15635 struct bpf_reg_state *dst_reg = regs + insn->dst_reg; check_alu_op() local 15791 find_good_pkt_pointers(struct bpf_verifier_state * vstate,struct bpf_reg_state * dst_reg,enum bpf_reg_type type,bool range_right_open) find_good_pkt_pointers() argument 16021 is_pkt_ptr_branch_taken(struct bpf_reg_state * dst_reg,struct bpf_reg_state * src_reg,u8 opcode) is_pkt_ptr_branch_taken() argument 16416 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 16619 struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL; check_cond_jmp_op() local 16872 struct bpf_reg_state *dst_reg; check_ld_imm() local [all...] |