adjust_reg_min_max

函数名称：Handles ALU ops other than BPF_END, BPF_NEG and BPF_MOV: computes new min/max* and var_off.

函数原型：static int adjust_reg_min_max_vals(struct bpf_verifier_env *env, struct bpf_insn *insn)

返回类型：int

参数：

类型	参数	名称
struct bpf_verifier_env *	env
struct bpf_insn *	insn

5103

src_reg等于regs[ source register ]

5104

如果 Ordering of fields matters. See states_equal() 不等于g doesn't contain a valid pointer 则

5105

如果 Ordering of fields matters. See states_equal() 不等于g doesn't contain a valid pointer 则

5110

如果opcode恒等于BPF_SUB且allow_ptr_leaks则

5111

mark_reg_unknown(env, regs, dest register )

5112

返回:0

5114

verbose(env, "R%d pointer %s pointer prohibited\n", dest register , bpf_alu_string[opcode >> 4])

5117

返回:负EACCES

5118

否则

5123

err等于mark_chain_precision(env, dest register )

5124

如果err则返回:err

5126

返回:Handles arithmetic on a pointer and a scalar: computes new min/max and var_off.* Caller should also handle BPF_MOV case separately.* If we return -EACCES, caller may want to try again treating pointer as a* scalar

5129

否则如果ptr_reg则

5131

err等于mark_chain_precision(env, source register )

5132

如果err则返回:err

5134

5151

print_verifier_state(env, state)

5152

verbose(env, "verifier internal error: unexpected ptr_reg\n")

5153

返回:负EINVAL

5156

print_verifier_state(env, state)

5157

verbose(env, "verifier internal error: no src_reg\n")

5158

返回:负EINVAL

函数逻辑报告