函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：save_register_state

函数原型：static void save_register_state(struct bpf_func_state *state, int spi, struct bpf_reg_state *reg)

返回类型：void

参数：

类型参数名称
struct bpf_func_state *state
intspi
struct bpf_reg_state *reg
1941  spilled_ptr等于reg
1942  live或等于g was written first, screening off later reads
1944  以i小于size of eBPF register in bytes 循环slot_type[i]等于 register spilled into stack
调用者
名称描述
check_stack_writeheck_stack_read/write functions track spill/fill of registers,* stack boundary and alignment are checked in check_mem_access()