函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称:explored_state

函数原型:static struct bpf_verifier_state_list **explored_state(struct bpf_verifier_env *env, int idx)

返回类型:struct bpf_verifier_state_list

参数:

类型参数名称
struct bpf_verifier_env *env
intidx
6470  cur等于current verifier state
6471  state等于 call stack tracking [curframe]
6473  返回:search pruning optimization [(idx ^ dex of call instruction that called into this func ) % state_htab_size(env)]
调用者
名称描述
clean_live_stateshe parentage chains form a tree
is_state_visited