Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:he parentage chains form a tree

Proto:static void clean_live_states(struct bpf_verifier_env *env, int insn, struct bpf_verifier_state *cur)

Type:void

Parameter:

TypeParameterName
struct bpf_verifier_env *env
intinsn
struct bpf_verifier_state *cur
7064  sl = explored_state(env, insn)
7065  When sl cycle
7066  If * '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 Then Go to next
7068  If insn_idx != insn || curframe != curframe Then Go to next
7071  When i <= curframe cycle If dex of call instruction that called into this func != dex of call instruction that called into this func Then
7073  Go to next
7074  clean_verifier_state(env, & state)
7075  :
7076  sl = next
Caller
NameDescribe
is_state_visited