函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：fixup_call_args

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

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
9103  prog等于BPF program being verified
9104  insn等于insnsi
9107  err等于0
9109  如果 archs need to JIT the prog 且非bpf_prog_is_dev_bound( Auxiliary fields )则
9111  err等于jit_subprogs(env)
9112  如果err恒等于0则返回:0
9114  如果err恒等于负EFAULT则返回:err
9118  以i小于 Number of filter blocks 循环
9119  如果 opcode 不等于BPF_JMP按位或unction call 的值或 source register 不等于when bpf_call->src_reg == BPF_PSEUDO_CALL, bpf_call->imm == pc-relative* offset to another bpf function则继续下一循环
9122  depth等于get_callee_stack_depth(env, insn, i)
9123  如果depth小于0则返回:depth
9125  bpf_patch_call_args(insn, depth)
9127  err等于0
9129  返回:err
调用者
名称描述
bpf_check