函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：heck %cur's range satisfies %old's

函数原型：static bool range_within(struct bpf_reg_state *old, struct bpf_reg_state *cur)

返回类型：bool

参数：

类型参数名称
struct bpf_reg_state *old
struct bpf_reg_state *cur
6942  返回: minimum possible (u64)value 小于等于 minimum possible (u64)value 且 maximum possible (u64)value 大于等于 maximum possible (u64)value 且 minimum possible (s64)value 小于等于 minimum possible (s64)value 且 maximum possible (s64)value 大于等于 maximum possible (s64)value
调用者
名称描述
regsafeReturns true if (rold safe implies rcur safe)