| H A D | verifier.c | 3917 int off, int size, int value_regno, in check_stack_read_fixed_off()
3950 if (value_regno >= 0) in check_stack_read_fixed_off()
3951 reg = &cur->regs[value_regno]; in check_stack_read_fixed_off()
4022 err = mark_chain_precision(env, value_regno);
4040 /* Write the stack: 'stack[ptr_reg + off] = value_regno'. 'ptr_reg' is
4046 * 'value_regno' can be -1, meaning that an unknown value is being written to
4062 int value_regno, int insn_idx) in check_stack_read_var_off()
4078 if (value_regno >= 0)
4079 value_reg = &cur->regs[value_regno];
4163 err = mark_chain_precision(env, value_regno); in check_stack_write()
3524 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
3668 check_stack_write_var_off(struct bpf_verifier_env * env,struct bpf_func_state * state,struct bpf_reg_state * ptr_reg,int off,int size,int value_regno,int insn_idx) check_stack_write_var_off() argument
4148 check_stack_write(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int off,int size,int value_regno,int insn_idx) check_stack_write() argument
4678 check_map_kptr_access(struct bpf_verifier_env * env,int value_regno,int insn_idx,struct btf_field * kptr_field) check_map_kptr_access() argument
5990 check_ptr_to_btf_access(struct bpf_verifier_env * env,struct bpf_reg_state * regs,struct bpf_reg_state * reg,argno_t argno,int off,int size,enum bpf_access_type atype,int value_regno) check_ptr_to_btf_access() argument
6160 check_ptr_to_map_access(struct bpf_verifier_env * env,struct bpf_reg_state * regs,struct bpf_reg_state * reg,argno_t argno,int off,int size,enum bpf_access_type atype,int value_regno) check_ptr_to_map_access() argument
6336 check_map_mem_read(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int off,int bpf_size,int value_regno,bool is_ldsx) check_map_mem_read() argument
6388 check_mem_access(struct bpf_verifier_env * env,int insn_idx,struct bpf_reg_state * reg,argno_t argno,int off,int bpf_size,enum bpf_access_type t,int value_regno,bool strict_alignment_once,bool is_ldsx) check_mem_access() argument
[all...] |