mark_ptr_or_null_regs

Name:The logic is similar to find_good_pkt_pointers(), both could eventually* be folded together at some point.

Proto:static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, bool is_null)

Type:void

Parameter:

Type	Parameter	Name
struct bpf_verifier_state *	vstate
u32	regno
bool	is_null

5927

state = call stack tracking [curframe]

5928

5929

ref_obj_id = 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

5930

id = 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

5933

If ref_obj_id && ref_obj_id == id && is_null Then WARN_ON_ONCE(lease function corresponding to acquire_reference_state(). Idempotent. )

5940

When i <= curframe cycle __mark_ptr_or_null_regs( call stack tracking [i], id, is_null)

**Caller**
Name	Describe
check_cond_jmp_op

Source code conversion tool public plug-in interface	X
Support c/c++/esqlc/java Oracle/Informix/Mysql Plug-in can realize: logical Report Code generation and batch code conversion