函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：A write screens off any subsequent reads; but write marks come from the* straight-line code between a state and its parent

函数原型：static int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
const struct bpf_verifier_state *vstate
struct bpf_verifier_state *vparent
7396  err等于0
7398  如果curframe不等于curframe则
7399  WARN(1, "propagate_live: parent frame %d current frame %d\n", curframe, curframe)
7401  返回:负EFAULT
7404  BUILD_BUG_ON - break compile if a condition is true(BPF_REG_FP + 1 != BPF has 10 general purpose 64-bit registers and stack frame. )
7405  以frame小于等于curframe循环
7406  parent等于 call stack tracking [frame]
7407  state等于 call stack tracking [frame]
7408  parent_reg等于regs
7409  state_reg等于regs
7411  以i小于BPF_REG_FP循环
7412  err等于Return 0 if no propagation happened. Return negative error code if error* happened. Otherwise, return the propagated bit.
7414  如果err小于0则返回:err
7416  如果err恒等于likewise, but full 64-bit content matters 则mark_insn_zext(env, & parent_reg[i])
7421  以i小于allocated_stack除size of eBPF register in bytes 且i小于allocated_stack除size of eBPF register in bytes 循环
7423  parent_reg等于spilled_ptr
7424  state_reg等于spilled_ptr
7425  err等于Return 0 if no propagation happened. Return negative error code if error* happened. Otherwise, return the propagated bit.
7427  如果err小于0则返回:err
7431  返回:0
调用者
名称描述
is_state_visited