| H A D | verifier.c | 3826 /* Any access_size read into register is zero extended, in mark_reg_stack_read()
4028 argno_t argno, int off, int access_size,
4430 env, "the maximal bound for a memory access is %lld: start %lld + access_size %d, beyond object_size %u", in check_mem_region_access()
4932 int off, int access_size, enum bpf_access_type t, in check_ctx_access() argument
4944 err = check_mem_region_access(env, reg, argno, off, access_size, U16_MAX, false); in check_ctx_access()
4951 err = __check_ctx_access(env, insn_idx, off, access_size, t, info); in check_ctx_access()
6251 argno_t argno, int off, int access_size, in check_stack_access_within_bounds() argument
6266 max_off = min_off + access_size; in check_stack_access_within_bounds()
6275 max_off = reg_smax(reg) + off + access_size; in check_stack_access_within_bounds()
6281 if (!err && access_size < in check_stack_access_within_bounds()
6897 check_stack_range_initialized(struct bpf_verifier_env * env,struct bpf_reg_state * reg,argno_t argno,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
7016 check_helper_mem_access(struct bpf_verifier_env * env,struct bpf_reg_state * reg,argno_t argno,int access_size,enum bpf_access_type access_type,bool zero_size_allowed,struct bpf_call_arg_meta * meta,bool * known_memory) check_helper_mem_access() argument
[all...] |