Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 13:00:13
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:sanitize_val_alu

Proto:static int sanitize_val_alu(struct bpf_verifier_env *env, struct bpf_insn *insn)

Type:int

Parameter:

TypeParameterName
struct bpf_verifier_env *env
struct bpf_insn *insn
4497  aux = cur_aux(env)
4499  If can_skip_alu_sanitation(env, insn) Then Return 0
4502  Return update_alu_sanitation_state(aux, BPF_ALU_NON_POINTER, 0)
Caller
NameDescribe
adjust_scalar_min_max_valsWARNING: This function does calculations on 64-bit values, but the actual* execution may occur on 32-bit values. Therefore, things like bitshifts* need extra checks in the 32-bit case.