函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：do_refine_retval_range

函数原型：static void do_refine_retval_range(struct bpf_reg_state *regs, int ret_type, int func_id, struct bpf_call_arg_meta *meta)

返回类型：void

参数：

类型参数名称
struct bpf_reg_state *regs
intret_type
intfunc_id
struct bpf_call_arg_meta *meta
4073  ret_reg等于regs[BPF_REG_0]
4075  如果ret_type不等于RET_INTEGER或func_id不等于BPF_FUNC_get_stack且func_id不等于BPF_FUNC_probe_read_str则返回
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
调用者
名称描述
check_helper_call