函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：Return 0 if no propagation happened. Return negative error code if error* happened. Otherwise, return the propagated bit.

函数原型：static int propagate_liveness_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg, struct bpf_reg_state *parent_reg)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_reg_state *reg
struct bpf_reg_state *parent_reg
7361  parent_flag等于live按位与REG_LIVE_READ
7362  flag等于live按位与REG_LIVE_READ
7369  如果parent_flag恒等于likewise, but full 64-bit content matters 或非flag或parent_flag恒等于flag则返回:0
7376  err等于Parentage chain of this register (or stack slot) should take care of all* issues like callee-saved registers, stack slot allocation time, etc.
7377  如果err则返回:err
7380  返回:flag
调用者
名称描述
propagate_livenessA write screens off any subsequent reads; but write marks come from the* straight-line code between a state and its parent