函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：opt_remove_dead_code

函数原型：static int opt_remove_dead_code(struct bpf_verifier_env *env)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
8620  aux_data等于array of per-insn state
8621  insn_cnt等于 Number of filter blocks
8624  以i小于insn_cnt循环
8627  j等于0
8628  当i加j小于insn_cnt且非 this insn was processed by the verifier 循环
8629  j自加
8630  如果非j则继续下一循环
8633  err等于verifier_remove_insns(env, i, j)
8634  如果err则返回:err
8636  insn_cnt等于 Number of filter blocks
8639  返回:0
调用者
名称描述
bpf_check