Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:do_refine_retval_range

Proto:static void do_refine_retval_range(struct bpf_reg_state *regs, int ret_type, int func_id, struct bpf_call_arg_meta *meta)

Type:void

Parameter:

TypeParameterName
struct bpf_reg_state *regs
intret_type
intfunc_id
struct bpf_call_arg_meta *meta
4073  ret_reg = regs[BPF_REG_0]
4075  If ret_type != RET_INTEGER || func_id != BPF_FUNC_get_stack && func_id != BPF_FUNC_probe_read_str Then Return
4080  maximum possible (s64)value = msize_smax_value
4081  maximum possible (u64)value = msize_umax_value
4082  Uses signed min/max values to inform unsigned, and vice-versa
4083  Attempts to improve var_off based on unsigned min/max information
Caller
NameDescribe
check_helper_call