函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：Regs are known to be equal, so intersect their min/max/var_off

函数原型：static void __reg_combine_min_max(struct bpf_reg_state *src_reg, struct bpf_reg_state *dst_reg)

返回类型：void

参数：

类型参数名称
struct bpf_reg_state *src_reg
struct bpf_reg_state *dst_reg
5809  minimum possible (u64)value 等于 minimum possible (u64)value 等于两数取大( minimum possible (u64)value , minimum possible (u64)value )
5811  maximum possible (u64)value 等于 maximum possible (u64)value 等于两数取小( maximum possible (u64)value , maximum possible (u64)value )
5813  minimum possible (s64)value 等于 minimum possible (s64)value 等于两数取大( minimum possible (s64)value , minimum possible (s64)value )
5815  maximum possible (s64)value 等于 maximum possible (s64)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
调用者
名称描述
reg_combine_min_max