Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:states_maybe_looping

Proto:static bool states_maybe_looping(struct bpf_verifier_state *old, struct bpf_verifier_state *cur)

Type:bool

Parameter:

TypeParameterName
struct bpf_verifier_state *old
struct bpf_verifier_state *cur
7478  fr = curframe
7480  If curframe != fr Then Return false
7483  fold = call stack tracking [fr]
7484  fcur = call stack tracking [fr]
7485  When i < BPF has 10 general purpose 64-bit registers and stack frame. cycle If memcmp( & regs[i], & regs[i], offsetof(structbpf_reg_state, SPDX-License-Identifier: GPL-2.0-only)) Then
7488  Return false
7489  Return true
Caller
NameDescribe
is_state_visited