Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:Regs are known to be equal, so intersect their min/max/var_off

Proto:static void __reg_combine_min_max(struct bpf_reg_state *src_reg, struct bpf_reg_state *dst_reg)

Type:void

Parameter:

TypeParameterName
struct bpf_reg_state *src_reg
struct bpf_reg_state *dst_reg
5809  minimum possible (u64)value = minimum possible (u64)value = max - return maximum of two values of the same or compatible types*@x: first value*@y: second value( minimum possible (u64)value , minimum possible (u64)value )
5811  maximum possible (u64)value = maximum possible (u64)value = min - return minimum of two values of the same or compatible types*@x: first value*@y: second value( maximum possible (u64)value , maximum possible (u64)value )
5813  minimum possible (s64)value = minimum possible (s64)value = max - return maximum of two values of the same or compatible types*@x: first value*@y: second value( minimum possible (s64)value , minimum possible (s64)value )
5815  maximum possible (s64)value = maximum possible (s64)value = min - return minimum of two values of the same or compatible types*@x: first value*@y: second value( maximum possible (s64)value , maximum possible (s64)value )
5817  For scalar types (SCALAR_VALUE), this represents our knowledge of * the actual value. * For pointer types, this represents the variable part of the offset * from the pointed-to object, and is shared with all bpf_reg_states * with the same id as us. = For scalar types (SCALAR_VALUE), this represents our knowledge of * the actual value. * For pointer types, this represents the variable part of the offset * from the pointed-to object, and is shared with all bpf_reg_states * with the same id as us. = Return a tnum representing numbers satisfying both @a and @b
5820  Attempts to improve min/max values based on var_off information
5821  Attempts to improve min/max values based on var_off information
5823  Uses signed min/max values to inform unsigned, and vice-versa
5824  Uses signed min/max values to inform unsigned, and vice-versa
5826  Attempts to improve var_off based on unsigned min/max information
5827  Attempts to improve var_off based on unsigned min/max information
5832  Attempts to improve min/max values based on var_off information
5833  Attempts to improve min/max values based on var_off information
Caller
NameDescribe
reg_combine_min_max