函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：update_branch_counts

函数原型：static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_verifier_state *st
816  当st循环
817  br等于* '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先自减
822  WARN_ONCE((int)br < 0, "BUG update_branch_counts:branches_to_explore=%d\n", br)
825  如果br则退出
827  st等于parent
调用者
名称描述
do_check