H A D | verifier.c | 282 int regno; member 2197 mark_reg_known_zero(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno) mark_reg_known_zero() argument 2253 mark_reg_graph_node(struct bpf_reg_state * regs,u32 regno,struct btf_field_graph_root * ds_head) mark_reg_graph_node() argument 2787 mark_reg_unknown(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno) mark_reg_unknown() argument 2801 __mark_reg_s32_range(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,s32 s32_min,s32 s32_max) __mark_reg_s32_range() argument 2826 mark_reg_not_init(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno) mark_reg_not_init() argument 2839 mark_btf_ld_reg(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,enum bpf_reg_type reg_type,struct btf * btf,u32 btf_id,enum bpf_type_flag flag) mark_btf_ld_reg() argument 3667 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 3800 __check_reg_arg(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,enum reg_arg_type t) __check_reg_arg() argument 3845 check_reg_arg(struct bpf_verifier_env * env,u32 regno,enum reg_arg_type t) check_reg_arg() argument 3894 u8 regno; global() member 4765 __mark_chain_precision(struct bpf_verifier_env * env,struct bpf_verifier_state * starting_state,int regno,bool * changed) __mark_chain_precision() argument 4948 mark_chain_precision(struct bpf_verifier_env * env,int regno) mark_chain_precision() argument 5553 reg_state(struct bpf_verifier_env * env,int regno) reg_state() argument 5683 check_map_access_type(struct bpf_verifier_env * env,u32 regno,int off,int size,enum bpf_access_type type) check_map_access_type() argument 5706 __check_mem_access(struct bpf_verifier_env * env,int regno,int off,int size,u32 mem_size,bool zero_size_allowed) __check_mem_access() argument 5742 check_mem_region_access(struct bpf_verifier_env * env,u32 regno,int off,int size,u32 mem_size,bool zero_size_allowed) check_mem_region_access() argument 5798 __check_ptr_off_reg(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno,bool fixed_off_ok) __check_ptr_off_reg() argument 5830 check_ptr_off_reg(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno) check_ptr_off_reg() argument 5837 map_kptr_match_type(struct bpf_verifier_env * env,struct btf_field * kptr_field,struct bpf_reg_state * reg,u32 regno) map_kptr_match_type() argument 5995 mark_uptr_ld_reg(struct bpf_verifier_env * env,u32 regno,struct btf_field * field) mark_uptr_ld_reg() argument 6011 check_map_kptr_access(struct bpf_verifier_env * env,u32 regno,int value_regno,int insn_idx,struct btf_field * kptr_field) check_map_kptr_access() argument 6076 check_map_access(struct bpf_verifier_env * env,u32 regno,int off,int size,bool zero_size_allowed,enum bpf_access_src src) check_map_access() argument 6186 check_packet_access(struct bpf_verifier_env * env,u32 regno,int off,int size,bool zero_size_allowed) check_packet_access() argument 6274 check_sock_access(struct bpf_verifier_env * env,int insn_idx,u32 regno,int off,int size,enum bpf_access_type t) check_sock_access() argument 6318 is_pointer_value(struct bpf_verifier_env * env,int regno) is_pointer_value() argument 6323 is_ctx_reg(struct bpf_verifier_env * env,int regno) is_ctx_reg() argument 6330 is_sk_reg(struct bpf_verifier_env * env,int regno) is_sk_reg() argument 6337 is_pkt_reg(struct bpf_verifier_env * env,int regno) is_pkt_reg() argument 6344 is_flow_key_reg(struct bpf_verifier_env * env,int regno) is_flow_key_reg() argument 6352 is_arena_reg(struct bpf_verifier_env * env,int regno) is_arena_reg() argument 6362 atomic_ptr_type_ok(struct bpf_verifier_env * env,int regno,struct bpf_insn * insn) atomic_ptr_type_ok() argument 6802 __check_buffer_access(struct bpf_verifier_env * env,const char * buf_info,const struct bpf_reg_state * reg,int regno,int off,int size) __check_buffer_access() argument 6825 check_tp_buffer_access(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno,int off,int size) check_tp_buffer_access() argument 6841 check_buffer_access(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno,int off,int size,bool zero_size_allowed,u32 * max_access) check_buffer_access() argument 7213 check_ptr_to_btf_access(struct bpf_verifier_env * env,struct bpf_reg_state * regs,int regno,int off,int size,enum bpf_access_type atype,int value_regno) check_ptr_to_btf_access() argument 7366 check_ptr_to_map_access(struct bpf_verifier_env * env,struct bpf_reg_state * regs,int regno,int off,int size,enum bpf_access_type atype,int value_regno) check_ptr_to_map_access() argument 7460 check_stack_access_within_bounds(struct bpf_verifier_env * env,int regno,int off,int access_size,enum bpf_access_type type) check_stack_access_within_bounds() argument 7535 check_mem_access(struct bpf_verifier_env * env,int insn_idx,u32 regno,int off,int bpf_size,enum bpf_access_type t,int value_regno,bool strict_alignment_once,bool is_ldsx) check_mem_access() argument 8027 check_stack_range_initialized(struct bpf_verifier_env * env,int regno,int off,int access_size,bool zero_size_allowed,enum bpf_access_type type,struct bpf_call_arg_meta * meta) check_stack_range_initialized() argument 8172 check_helper_mem_access(struct bpf_verifier_env * env,int regno,int access_size,enum bpf_access_type access_type,bool zero_size_allowed,struct bpf_call_arg_meta * meta) check_helper_mem_access() argument 8270 check_mem_size_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,enum bpf_access_type access_type,bool zero_size_allowed,struct bpf_call_arg_meta * meta) check_mem_size_reg() argument 8320 check_mem_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,u32 mem_size) check_mem_reg() argument 8348 check_kfunc_mem_size_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno) check_kfunc_mem_size_reg() argument 8402 process_spin_lock(struct bpf_verifier_env * env,int regno,int flags) process_spin_lock() argument 8518 process_timer_func(struct bpf_verifier_env * env,int regno,struct bpf_call_arg_meta * meta) process_timer_func() argument 8559 process_wq_func(struct bpf_verifier_env * env,int regno,struct bpf_kfunc_call_arg_meta * meta) process_wq_func() argument 8576 process_kptr_func(struct bpf_verifier_env * env,int regno,struct bpf_call_arg_meta * meta) process_kptr_func() argument 8649 process_dynptr_func(struct bpf_verifier_env * env,int regno,int insn_idx,enum bpf_arg_type arg_type,int clone_ref_obj_id) process_dynptr_func() argument 8769 process_iter_arg(struct bpf_verifier_env * env,int regno,int insn_idx,struct bpf_kfunc_call_arg_meta * meta) process_iter_arg() argument 9237 check_reg_type(struct bpf_verifier_env * env,u32 regno,enum bpf_arg_type arg_type,const u32 * arg_btf_id,struct bpf_call_arg_meta * meta) check_reg_type() argument 9402 check_func_arg_reg_off(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno,enum bpf_arg_type arg_type) check_func_arg_reg_off() argument 9539 check_reg_const_str(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno) check_reg_const_str() argument 9654 u32 regno = BPF_REG_1 + arg; check_func_arg() local 10474 u32 regno = i + 1; btf_check_func_arg_match() local 11897 __mark_btf_func_reg_size(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,size_t reg_size) __mark_btf_func_reg_size() argument 11917 mark_btf_func_reg_size(struct bpf_verifier_env * env,u32 regno,size_t reg_size) mark_btf_func_reg_size() argument 12363 u32 regno = argno + 1; get_kfunc_ptr_arg_type() local 12524 process_irq_flag(struct bpf_verifier_env * env,int regno,struct bpf_kfunc_call_arg_meta * meta) process_irq_flag() argument 12839 __process_kf_arg_ptr_to_graph_root(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta,enum btf_field_type head_field_type,struct btf_field ** head_field) __process_kf_arg_ptr_to_graph_root() argument 12889 process_kf_arg_ptr_to_list_head(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta) process_kf_arg_ptr_to_list_head() argument 12897 process_kf_arg_ptr_to_rbtree_root(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta) process_kf_arg_ptr_to_rbtree_root() argument 12906 __process_kf_arg_ptr_to_graph_node(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta,enum btf_field_type head_field_type,enum btf_field_type node_field_type,struct btf_field ** node_field) __process_kf_arg_ptr_to_graph_node() argument 12970 process_kf_arg_ptr_to_list_node(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta) process_kf_arg_ptr_to_list_node() argument 12979 process_kf_arg_ptr_to_rbtree_node(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta) process_kf_arg_ptr_to_rbtree_node() argument 13034 u32 regno = i + 1, ref_id, type_size; check_kfunc_args() local 14076 u32 regno = i + 1; check_kfunc_call() local 14395 check_stack_access_for_ptr_arithmetic(struct bpf_verifier_env * env,int regno,const struct bpf_reg_state * reg,int off) check_stack_access_for_ptr_arithmetic() argument 16395 mark_ptr_or_null_regs(struct bpf_verifier_state * vstate,u32 regno,bool is_null) mark_ptr_or_null_regs() argument 17061 check_return_code(struct bpf_verifier_env * env,int regno,const char * reg_name) check_return_code() argument 21968 u32 regno = env->insn_aux_data[insn_idx].arg_prog; fixup_kfunc_call() local [all...] |