Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:states_equal

Proto:static bool states_equal(struct bpf_verifier_env *env, struct bpf_verifier_state *old, struct bpf_verifier_state *cur)

Type:bool

Parameter:

TypeParameterName
struct bpf_verifier_env *env
struct bpf_verifier_state *old
struct bpf_verifier_state *cur
7330  If curframe != curframe Then Return false
7336  If speculative && Not speculative Then Return false
7339  If active_spin_lock != active_spin_lock Then Return false
7345  When i <= curframe cycle
7346  If dex of call instruction that called into this func != dex of call instruction that called into this func Then Return false
7348  If Not mpare 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 Then Return false
7351  Return true
Caller
NameDescribe
is_state_visited