函数逻辑报告

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

函数名称：init_explored_state

函数原型：static void init_explored_state(struct bpf_verifier_env *env, int idx)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
intidx
6478  prune_point = true
调用者
名称描述
push_insn, w, e - match pseudo-code above:
check_cfg-recursive depth-first-search to detect loops in BPF program* loop == back-edge in directed graph