Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 13:03:10
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:A write screens off any subsequent reads; but write marks come from the* straight-line code between a state and its parent

Proto:static int propagate_liveness(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate, struct bpf_verifier_state *vparent)

Type:int

Parameter:

TypeParameterName
struct bpf_verifier_env *env
const struct bpf_verifier_state *vstate
struct bpf_verifier_state *vparent
7396  err = 0
7398  If curframe != curframe Then
7399  WARN(1, "propagate_live: parent frame %d current frame %d\n", curframe, curframe)
7401  Return -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  When frame <= curframe cycle
7406  parent = call stack tracking [frame]
7407  state = call stack tracking [frame]
7408  parent_reg = regs
7409  state_reg = regs
7411  When i < BPF_REG_FP cycle
7412  err = Return 0 if no propagation happened. Return negative error code if error* happened. Otherwise, return the propagated bit.
7414  If err < 0 Then Return err
7416  If err == likewise, but full 64-bit content matters Then mark_insn_zext(env, & parent_reg[i])
7421  When i < allocated_stack / size of eBPF register in bytes && i < allocated_stack / size of eBPF register in bytes cycle
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  If err < 0 Then Return err
7431  Return 0
Caller
NameDescribe
is_state_visited