函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：opt_hard_wire_dead_code_branches

函数原型：static void opt_hard_wire_dead_code_branches(struct bpf_verifier_env *env)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
8594  aux_data等于array of per-insn state
8595  ja等于Conditional jumps against immediates, if (dst_reg 'op' imm32) goto pc + off16 (BPF_JA, 0, 0, 0)
8596  insn等于insnsi
8597  insn_cnt等于 Number of filter blocks
8600  以i小于insn_cnt循环
8601  如果非insn_is_cond_jump( opcode )则继续下一循环
8604  如果非 this insn was processed by the verifier 则 signed offset 等于 signed offset
8606  否则如果非 this insn was processed by the verifier 则 signed offset 等于0
8608  否则继续下一循环
8611  如果bpf_prog_is_dev_bound( Auxiliary fields )则bpf_prog_offload_replace_insn(env, i, & ja)
8614  内存复制(insn, & ja, ja的长度)
调用者
名称描述
bpf_check