函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：is_pointer_value

函数原型：static bool is_pointer_value(struct bpf_verifier_env *env, int regno)

返回类型：bool

参数：

类型参数名称
struct bpf_verifier_env *env
intregno
2507  返回:__is_pointer_value(allow_ptr_leaks, reg_state(env, regno))
调用者
名称描述
check_mem_accessheck whether memory at (regno + off) is accessible for t = (read | write)* if t==write, value_regno is a register which value is stored into memory* if t==read, value_regno is a register which will receive the value from memory* if t==write &&
check_xadd
check_func_arg
check_alu_opheck validity of 32-bit and 64-bit arithmetic operations
check_cond_jmp_op
do_check