函数逻辑报告

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

函数名称：update_alu_sanitation_state

函数原型：static int update_alu_sanitation_state(struct bpf_insn_aux_data *aux, u32 alu_state, u32 alu_limit)

返回类型：int

参数：

类型参数名称
struct bpf_insn_aux_data *aux
u32alu_state
u32alu_limit
4483  如果 used in combination with alu_limit 且 used in combination with alu_limit 不等于alu_state或 limit for add/sub register with pointer 不等于alu_limit的值则返回:负EACCES
4489  used in combination with alu_limit 等于alu_state
4490  limit for add/sub register with pointer 等于alu_limit
4491  返回:0
调用者
名称描述
sanitize_val_alu
sanitize_ptr_alu