函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：The logic is similar to find_good_pkt_pointers(), both could eventually* be folded together at some point.

函数原型：static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, bool is_null)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_state *vstate
u32regno
boolis_null
5927  state等于 call stack tracking [curframe]
5928  regs等于regs
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  如果ref_obj_id且ref_obj_id恒等于id且is_null则WARN_ON_ONCE(lease function corresponding to acquire_reference_state(). Idempotent. )
5940  以i小于等于curframe循环__mark_ptr_or_null_regs( call stack tracking [i], id, is_null)
调用者
名称描述
check_cond_jmp_op