函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：states_equal

函数原型：static bool states_equal(struct bpf_verifier_env *env, struct bpf_verifier_state *old, struct bpf_verifier_state *cur)

返回类型：bool

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_verifier_state *old
struct bpf_verifier_state *cur
7330  如果curframe不等于curframe则返回:false
7336  如果speculative且非speculative则返回:false
7339  如果active_spin_lock不等于active_spin_lock则返回:false
7345  以i小于等于curframe循环
7346  如果dex of call instruction that called into this func 不等于dex of call instruction that called into this func 则返回:false
7348  如果非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则返回:false
7351  返回:true
调用者
名称描述
is_state_visited