函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：mark_ptr_or_null_reg

函数原型：static void mark_ptr_or_null_reg(struct bpf_func_state *state, struct bpf_reg_state *reg, u32 id, bool is_null)

返回类型：void

参数：

类型参数名称
struct bpf_func_state *state
struct bpf_reg_state *reg
u32id
boolis_null
5856  如果reg_type_may_be_null( Ordering of fields matters. See states_equal() )且 For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi恒等于id则
5861  如果WARN_ON_ONCE( minimum possible (s64)value || maximum possible (s64)value || !Returns true if @a == tnum_const(@b) || Fixed part of pointer offset, pointer types only )则
5864  Mark the 'variable offset' part of a register as zero. This should be* used only on registers holding a pointer type.
5865  Fixed part of pointer offset, pointer types only 等于0
5867  如果is_null则
5868  Ordering of fields matters. See states_equal() 等于g doesn't contain a valid pointer
5869  否则如果 Ordering of fields matters. See states_equal() 恒等于points to map elem value or NULL 则
5870  如果inner_map_meta则
5873  否则如果map_type恒等于BPF_MAP_TYPE_XSKMAP则
5876  否则
5879  否则如果 Ordering of fields matters. See states_equal() 恒等于g points to struct bpf_sock or NULL 则
5880  Ordering of fields matters. See states_equal() 等于g points to struct bpf_sock
5881  否则如果 Ordering of fields matters. See states_equal() 恒等于g points to sock_common or NULL 则
5882  Ordering of fields matters. See states_equal() 等于g points to sock_common
5883  否则如果 Ordering of fields matters. See states_equal() 恒等于g points to struct tcp_sock or NULL 则
5884  Ordering of fields matters. See states_equal() 等于g points to struct tcp_sock
5886  如果is_null则
5891  For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi等于0
5892  PTR_TO_SOCKET and PTR_TO_TCP_SOCK could be a ptr returned * from a pointer-cast helper, bpf_sk_fullsock() and * bpf_tcp_sock(). * Consider the following where "sk" is a reference counted * pointer returned from "sk = bpf_sk_lookup_tcp();": * 1: sk = bpf_s等于0
5893  否则如果非reg_may_point_to_spin_lock(reg)则
5900  For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi等于0
调用者
名称描述
__mark_ptr_or_null_regs