函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：reg_state

函数原型：static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)

返回类型：struct bpf_reg_state

参数：

类型参数名称
struct bpf_verifier_env *env
intregno
2502  返回:cur_regs(env)加regno
调用者
名称描述
is_pointer_value
is_ctx_reg
is_sk_reg
is_pkt_reg
is_flow_key_reg
check_xadd
__check_stack_boundary
check_stack_boundarywhen register 'regno' is passed into function that will read 'access_size'* bytes from that pointer, make sure that it's within stack boundary* and all elements of stack are initialized
do_check