函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：mark_insn_zext

函数原型：static void mark_insn_zext(struct bpf_verifier_env *env, struct bpf_reg_state *reg)

返回类型：void

参数：

类型参数名称
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  如果def_idx恒等于DEF_NOT_SUBREG则返回
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
调用者
名称描述
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