函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：verifier_remove_insns

函数原型：static int verifier_remove_insns(struct bpf_verifier_env *env, u32 off, u32 cnt)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
u32off
u32cnt
8527  aux_data等于array of per-insn state
8528  orig_prog_len等于 Number of filter blocks
8531  如果bpf_prog_is_dev_bound( Auxiliary fields )则bpf_prog_offload_remove_insns(env, off, cnt)
8534  err等于bpf_remove_insns(BPF program being verified , off, cnt)
8535  如果err则返回:err
8538  err等于adjust_subprog_starts_after_remove(env, off, cnt)
8539  如果err则返回:err
8542  err等于bpf_adj_linfo_after_remove(env, off, cnt)
8543  如果err则返回:err
8546  memmove(aux_data + off, aux_data + off + cnt, aux_data的长度 * (orig_prog_len - off - cnt))
8549  返回:0
调用者
名称描述
opt_remove_dead_code
opt_remove_nops