函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：states_maybe_looping

函数原型：static bool states_maybe_looping(struct bpf_verifier_state *old, struct bpf_verifier_state *cur)

返回类型：bool

参数：

类型参数名称
struct bpf_verifier_state *old
struct bpf_verifier_state *cur
7478  fr等于curframe
7480  如果curframe不等于fr则返回:false
7483  fold等于 call stack tracking [fr]
7484  fcur等于 call stack tracking [fr]
7485  以i小于BPF has 10 general purpose 64-bit registers and stack frame. 循环如果内存比较则
7488  返回:false
7489  返回:true
调用者
名称描述
is_state_visited