函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：pop_stack

函数原型：static int pop_stack(struct bpf_verifier_env *env, int *prev_insn_idx, int *insn_idx)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
int *prev_insn_idx
int *insn_idx
834  cur等于current verifier state
835  head等于stack of verifier states to be processed
838  如果(stack of verifier states to be processed == NULL)则返回:负ENOENT
841  如果cur则
842  err等于copy_verifier_state(cur, & verifer state is 'st'* before processing instruction 'insn_idx'* and after processing instruction 'prev_insn_idx')
843  如果err则返回:err
846  如果insn_idx则insn_idx等于insn_idx
848  如果prev_insn_idx则prev_insn_idx等于prev_insn_idx
850  elem等于next
851  free_verifier_state( & verifer state is 'st'* before processing instruction 'insn_idx'* and after processing instruction 'prev_insn_idx', false)
852  kfree(head)
853  stack of verifier states to be processed 等于elem
854  umber of states to be processed 自减
855  返回:0
调用者
名称描述
push_stack
do_check
bpf_check