Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:heck %cur's range satisfies %old's

Proto:static bool range_within(struct bpf_reg_state *old, struct bpf_reg_state *cur)

Type:bool

Parameter:

TypeParameterName
struct bpf_reg_state *old
struct bpf_reg_state *cur
6942  Return 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
Caller
NameDescribe
regsafeReturns true if (rold safe implies rcur safe)