Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 12:56:13
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:do_check() starts with zero-sized stack in struct bpf_verifier_state to* make it consume minimal amount of memory

Proto:static int realloc_func_state(struct bpf_func_state *state, int stack_size, int refs_size, bool copy_old)

Type:int

Parameter:

TypeParameterName
struct bpf_func_state *state
intstack_size
intrefs_size
boolcopy_old
664  err = alloc_reference_state()
665  If err Then Return err
667  Return alloc_stack_state()
Caller
NameDescribe
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()