函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：heck read/write into map element returned by bpf_map_lookup_elem()

函数原型：static int __check_map_access(struct bpf_verifier_env *env, u32 regno, int off, int size, bool zero_size_allowed)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
u32regno
intoff
intsize
boolzero_size_allowed
2221  regs等于cur_regs(env)
2222  map等于 valid when type == CONST_PTR_TO_MAP | PTR_TO_MAP_VALUE | * PTR_TO_MAP_VALUE_OR_NULL
2224  如果off小于0或size小于0或size恒等于0且非zero_size_allowed或off加size大于value_size则
2226  verbose(env, "invalid access to map value, value_size=%d off=%d size=%d\n", value_size, off, size)
2228  返回:负EACCES
2230  返回:0
调用者
名称描述
check_map_accessheck read/write into a map element with possible variable offset