函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称:refsafe

函数原型:static bool refsafe(struct bpf_func_state *old, struct bpf_func_state *cur)

返回类型:bool

参数:

类型参数名称
struct bpf_func_state *old
struct bpf_func_state *cur
7264  如果The following fields should be last. See copy_func_state() 不等于The following fields should be last. See copy_func_state() 则返回:false
7266  返回:非内存比较
调用者
名称描述
func_states_equalmpare two verifier states* all states stored in state_list are known to be valid, since* verifier reached 'bpf_exit' instruction through them* this function is called when verifier exploring different branches of* execution popped from the state stack