H A D | verifier.c | 136 * When type PTR_TO_MAP_VALUE_OR_NULL passes through 'if (reg != 0) goto +off'
582 /* reg->off should be 0 for SCALAR_VALUE */
in print_verifier_state() 583 verbose(env, "%lld", reg->var_off.value + reg->off);
in print_verifier_state() 593 verbose(env, ",off=%d", reg->off);
in print_verifier_state() 603 * for reg->off
in print_verifier_state() 666 verbose(env, "%lld", reg->var_off.value + reg->off);
in print_verifier_state() 1027 /* Clear id, off, and union(map_ptr, range) */
in verifier_mark_reg_known() 1085 return reg->type == which && reg->id == 0 && reg->off == 0 && tnum_equals_const(reg->var_off, 0);
in reg_is_init_pkt_pointer() 1321 * Clear type, id, off, an in __mark_reg_unknown() 1416 find_subprog(struct bpf_verifier_env *env, int off) find_subprog() argument 1427 add_subprog(struct bpf_verifier_env *env, int off) add_subprog() argument 1451 int i, ret, subprog_start, subprog_end, off, cur_subprog = 0; check_subprogs() local 2286 check_stack_write_fixed_off(struct bpf_verifier_env *env, struct bpf_func_state *state, int off, int size, int value_regno, int insn_idx) check_stack_write_fixed_off() argument 2413 check_stack_write_var_off(struct bpf_verifier_env *env, struct bpf_func_state *state, int ptr_regno, int off, int size, int value_regno, int insn_idx) check_stack_write_var_off() argument 2557 check_stack_read_fixed_off(struct bpf_verifier_env *env, struct bpf_func_state *reg_state, int off, int size, int dst_regno) check_stack_read_fixed_off() argument 2659 check_stack_read_var_off(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int dst_regno) check_stack_read_var_off() argument 2689 check_stack_read(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int dst_regno) check_stack_read() argument 2743 check_stack_write(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int value_regno, int insn_idx) check_stack_write() argument 2762 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 2780 __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 2810 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 2862 check_map_access(struct bpf_verifier_env *env, u32 regno, int off, int size, bool zero_size_allowed) check_map_access() argument 2942 check_packet_access(struct bpf_verifier_env *env, u32 regno, int off, int size, bool zero_size_allowed) check_packet_access() argument 2978 check_ctx_access(struct bpf_verifier_env *env, int insn_idx, int off, int size, enum bpf_access_type t, enum bpf_reg_type *reg_type, u32 *btf_id) check_ctx_access() argument 3012 check_flow_keys_access(struct bpf_verifier_env *env, int off, int size) check_flow_keys_access() argument 3021 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 3095 check_pkt_ptr_alignment(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int off, int size, bool strict) check_pkt_ptr_alignment() argument 3128 check_generic_ptr_alignment(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, const char *pointer_desc, int off, int size, bool strict) check_generic_ptr_alignment() argument 3150 check_ptr_alignment(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int off, int size, bool strict_alignment_once) check_ptr_alignment() argument 3198 update_stack_depth(struct bpf_verifier_env *env, const struct bpf_func_state *func, int off) update_stack_depth() argument 3378 __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 3396 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 3413 check_buffer_access(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int regno, int off, int size, bool zero_size_allowed, const char *buf_info, u32 *max_access) check_buffer_access() argument 3474 bpf_map_direct_read(struct bpf_map *map, int off, int size, u64 *val) bpf_map_direct_read() argument 3505 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 3548 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 3604 check_stack_slot_within_bounds(int off, struct bpf_func_state *state, enum bpf_access_type t) check_stack_slot_within_bounds() argument 3625 check_stack_access_within_bounds(struct bpf_verifier_env *env, int regno, int off, int access_size, enum stack_access_src src, enum bpf_access_type type) check_stack_access_within_bounds() argument 3689 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) check_mem_access() argument 3947 check_stack_range_initialized(struct bpf_verifier_env *env, int regno, int off, int access_size, bool zero_size_allowed, enum stack_access_src type, struct bpf_call_arg_meta *meta) check_stack_range_initialized() argument 5881 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 10228 u32 off = insn[1].imm; resolve_pseudo_ldimm64() local 10331 adjust_insn_aux_data(struct bpf_verifier_env *env, struct bpf_insn_aux_data *new_data, struct bpf_prog *new_prog, u32 off, u32 cnt) adjust_insn_aux_data() argument 10362 adjust_subprog_starts(struct bpf_verifier_env *env, u32 off, u32 len) adjust_subprog_starts() argument 10378 adjust_poke_descs(struct bpf_prog *prog, u32 off, u32 len) adjust_poke_descs() argument 10393 bpf_patch_insn_data(struct bpf_verifier_env *env, u32 off, const struct bpf_insn *patch, u32 len) bpf_patch_insn_data() argument 10420 adjust_subprog_starts_after_remove(struct bpf_verifier_env *env, u32 off, u32 cnt) adjust_subprog_starts_after_remove() argument 10478 bpf_adj_linfo_after_remove(struct bpf_verifier_env *env, u32 off, u32 cnt) bpf_adj_linfo_after_remove() argument 10547 verifier_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt) verifier_remove_insns() argument 10792 u32 target_size, size_default, off; convert_ctx_accesses() local [all...] |