函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称:__mark_reg_not_init

函数原型:static void __mark_reg_not_init(const struct bpf_verifier_env *env, struct bpf_reg_state *reg)

返回类型:void

参数:

类型参数名称
const struct bpf_verifier_env *env
struct bpf_reg_state *reg
1090  Mark a register as having a completely unknown (scalar) value.
1091  Ordering of fields matters. See states_equal() 等于hing was written into register
调用者
名称描述
mark_reg_known_zero
mark_reg_unknown
mark_reg_not_init
clean_func_state