函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：do_check() starts with zero-sized stack in struct bpf_verifier_state to* make it consume minimal amount of memory

函数原型：static int realloc_func_state(struct bpf_func_state *state, int stack_size, int refs_size, bool copy_old)

返回类型：int

参数：

类型参数名称
struct bpf_func_state *state
intstack_size
intrefs_size
boolcopy_old
664  err等于alloc_reference_state()
665  如果err则返回:err
667  返回:alloc_stack_state()
调用者
名称描述
copy_func_statepy verifier state from src to dst growing dst stack space* when necessary to accommodate larger src stack
check_stack_writeheck_stack_read/write functions track spill/fill of registers,* stack boundary and alignment are checked in check_mem_access()