Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:mark_insn_zext

Proto:static void mark_insn_zext(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

Type:void

Parameter:

TypeParameterName
struct bpf_verifier_env *env
struct bpf_reg_state *reg
1415  def_idx = Tracks subreg definition. The stored value is the insn_idx of the * writing insn. This is safe because subreg_def is used before any insn * patching which only happens after main verification finished.
1417  If def_idx == DEF_NOT_SUBREG Then Return
1420  this insn zero extends dst reg = true
1422  Tracks subreg definition. The stored value is the insn_idx of the * writing insn. This is safe because subreg_def is used before any insn * patching which only happens after main verification finished. = DEF_NOT_SUBREG
Caller
NameDescribe
check_reg_arg
propagate_livenessA write screens off any subsequent reads; but write marks come from the* straight-line code between a state and its parent