函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称:reg_is_pkt_pointer

函数原型:static bool reg_is_pkt_pointer(const struct bpf_reg_state *reg)

返回类型:bool

参数:

类型参数名称
const struct bpf_reg_state *reg
957  返回:type_is_pkt_pointer( Ordering of fields matters. See states_equal() )
调用者
名称描述
reg_is_pkt_pointer_any
check_mem_accessheck whether memory at (regno + off) is accessible for t = (read | write)* if t==write, value_regno is a register which value is stored into memory* if t==read, value_regno is a register which will receive the value from memory* if t==write &&
adjust_ptr_min_max_valsHandles 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