函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：clean_func_state

函数原型：static void clean_func_state(struct bpf_verifier_env *env, struct bpf_func_state *st)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_func_state *st
6990  以i小于BPF_REG_FP循环
6991  live等于live
6993  live或等于liveness won't be updating this register anymore
6994  如果非live按位与REG_LIVE_READ的值则__mark_reg_not_init(env, & regs[i])
7001  以i小于allocated_stack除size of eBPF register in bytes 循环
7002  live等于live
7004  live或等于liveness won't be updating this register anymore
7005  如果非live按位与REG_LIVE_READ的值则
7006  __mark_reg_not_init(env, & spilled_ptr)
7007  以j小于size of eBPF register in bytes 循环slot_type[j]等于 nothing was stored in this stack slot
调用者
名称描述
clean_verifier_state