函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-27 14:14:12
Last Modify:2022-05-19 20:02:10 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：sanitize_val_alu

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

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_insn *insn
4497  aux等于cur_aux(env)
4499  如果can_skip_alu_sanitation(env, insn)则返回:0
4502  返回:update_alu_sanitation_state(aux, BPF_ALU_NON_POINTER, 0)
调用者
名称描述
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.