Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 13:03:02
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:refsafe

Proto:static bool refsafe(struct bpf_func_state *old, struct bpf_func_state *cur)

Type:bool

Parameter:

TypeParameterName
struct bpf_func_state *old
struct bpf_func_state *cur
7264  If The following fields should be last. See copy_func_state() != The following fields should be last. See copy_func_state() Then Return false
7266  Return Not memcmp(refs, refs, size of refs * The following fields should be last. See copy_func_state() )
Caller
NameDescribe
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