Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 13:01:40
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:mark_ptr_or_null_reg

Proto:static void mark_ptr_or_null_reg(struct bpf_func_state *state, struct bpf_reg_state *reg, u32 id, bool is_null)

Type:void

Parameter:

TypeParameterName
struct bpf_func_state *state
struct bpf_reg_state *reg
u32id
boolis_null
5856  If 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 Then
5861  If 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 ) Then
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  If is_null Then
5868  Ordering of fields matters. See states_equal() = g doesn't contain a valid pointer
5869  Else if Ordering of fields matters. See states_equal() == points to map elem value or NULL Then
5870  If inner_map_meta Then
5873  Else if map_type == BPF_MAP_TYPE_XSKMAP Then
5876  Else
5879  Else if Ordering of fields matters. See states_equal() == g points to struct bpf_sock or NULL Then
5880  Ordering of fields matters. See states_equal() = g points to struct bpf_sock
5881  Else if Ordering of fields matters. See states_equal() == g points to sock_common or NULL Then
5882  Ordering of fields matters. See states_equal() = g points to sock_common
5883  Else if Ordering of fields matters. See states_equal() == g points to struct tcp_sock or NULL Then
5884  Ordering of fields matters. See states_equal() = g points to struct tcp_sock
5886  If is_null Then
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  Else if Not reg_may_point_to_spin_lock(reg) Then
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
Caller
NameDescribe
__mark_ptr_or_null_regs