函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：Reset the min/max bounds of a register

函数原型：static void __mark_reg_unbounded(struct bpf_reg_state *reg)

返回类型：void

参数：

类型参数名称
struct bpf_reg_state *reg
1051  minimum possible (s64)value 等于S64_MIN
1052  maximum possible (s64)value 等于S64_MAX
1053  minimum possible (u64)value 等于0
1054  maximum possible (u64)value 等于U64_MAX
调用者
名称描述
__mark_reg_unknownMark a register as having a completely unknown (scalar) value.
adjust_scalar_min_max_valsWARNING: This function does calculations on 64-bit values, but the actual* execution may occur on 32-bit values. Therefore, things like bitshifts* need extra checks in the 32-bit case.