函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：retrieve_ptr_limit

函数原型：static int retrieve_ptr_limit(const struct bpf_reg_state *ptr_reg, u32 *ptr_limit, u8 opcode, bool off_is_neg)

返回类型：int

参数：

类型参数名称
const struct bpf_reg_state *ptr_reg
u32 *ptr_limit
u8opcode
booloff_is_neg
4443  mask_to_left等于opcode恒等于BPF_ADD且off_is_neg或opcode恒等于BPF_SUB且非off_is_neg
4448  当: Ordering of fields matters. See states_equal() 恒等于g == frame_pointer + offset
4452  off等于 Fixed part of pointer offset, pointer types only 加value
4453  如果mask_to_left则ptr_limit等于BPF program can access up to 512 bytes of stack space. 加off
4455  否则ptr_limit等于负off
4457  返回:0
4458  当: Ordering of fields matters. See states_equal() 恒等于g points to map element value
4459  如果mask_to_left则
4460  ptr_limit等于 maximum possible (u64)value 加 Fixed part of pointer offset, pointer types only
4461  否则
4462  off等于 minimum possible (s64)value 加 Fixed part of pointer offset, pointer types only
4463  ptr_limit等于value_size减off
4465  返回:0
4466  默认
4467  返回:负EINVAL
调用者
名称描述
sanitize_ptr_alu