函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：he parentage chains form a tree

函数原型：static void clean_live_states(struct bpf_verifier_env *env, int insn, struct bpf_verifier_state *cur)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
intinsn
struct bpf_verifier_state *cur
7064  sl等于explored_state(env, insn)
7065  当sl循环
7066  如果* 'branches' field is the number of branches left to explore: * 0 - all possible paths from this state reached bpf_exit or * were safely pruned * 1 - at least one path is being explored. * This state hasn't reached bpf_exit * 2 - at least two paths are bei则转到:next
7068  如果insn_idx不等于insn或curframe不等于curframe则转到:next
7071  以i小于等于curframe循环如果dex of call instruction that called into this func 不等于dex of call instruction that called into this func 则
7073  转到:next
7074  clean_verifier_state(env, & state)
7075  :
7076  sl等于next
调用者
名称描述
is_state_visited