函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：__mark_ptr_or_null_regs

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

返回类型：void

参数：

类型参数名称
struct bpf_func_state *state
u32id
boolis_null
5911  以i小于BPF has 10 general purpose 64-bit registers and stack frame. 循环mark_ptr_or_null_reg(state, & regs[i], id, is_null)
5915  如果非reg则继续下一循环
5917  mark_ptr_or_null_reg(state, reg, id, is_null)
调用者
名称描述
mark_ptr_or_null_regsThe logic is similar to find_good_pkt_pointers(), both could eventually* be folded together at some point.