函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：adjust_subprog_starts_after_remove

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

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
u32off
u32cnt
8411  以i小于subprog_cnt循环如果 insn idx of function entry point 大于等于off则
8413  退出
8415  以j小于subprog_cnt循环如果 insn idx of function entry point 大于等于off加cnt则
8417  退出
8421  如果 insn idx of function entry point 不等于off加cnt则j自减
8424  如果j大于i则
8425  aux等于 Auxiliary fields
8429  move等于subprog_cnt加1减j
8431  memmove(subprog_info + i, subprog_info + j, subprog_info的长度 * move)
8434  subprog_cnt减等于j减i
8437  如果func_info则
8438  move等于func_info_cnt减j
8440  memmove(func_info + i, func_info + j, func_info的长度 * move)
8443  func_info_cnt减等于j减i
8448  否则
8450  如果 insn idx of function entry point 恒等于off则i自加
8455  以i小于等于subprog_cnt循环 insn idx of function entry point 减等于cnt
8458  返回:0
调用者
名称描述
verifier_remove_insns