函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：update_stack_depth

函数原型：static int update_stack_depth(struct bpf_verifier_env *env, const struct bpf_func_state *func, int off)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
const struct bpf_func_state *func
intoff
2652  stack等于 max. stack depth used by this function
2654  如果stack大于等于负off则返回:0
2658  max. stack depth used by this function 等于负off
2659  返回:0
调用者
名称描述
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_stack_boundarywhen register 'regno' is passed into function that will read 'access_size'* bytes from that pointer, make sure that it's within stack boundary* and all elements of stack are initialized