Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:mpare two verifier states* all states stored in state_list are known to be valid, since* verifier reached 'bpf_exit' instruction through them* this function is called when verifier exploring different branches of* execution popped from the state stack

Proto:static bool func_states_equal(struct bpf_func_state *old, struct bpf_func_state *cur)

Type:bool

Parameter:

TypeParameterName
struct bpf_func_state *old
struct bpf_func_state *cur
7300  bool ret = false
7303  idmap = kcalloc - allocate memory for an array. The memory is set to zero.*@n: number of elements.*@size: element size.*@flags: the type of memory to allocate (see kmalloc).
7305  If Not idmap Then Return false
7308  When i < BPF has 10 general purpose 64-bit registers and stack frame. cycle
7309  If Not Returns true if (rold safe implies rcur safe) Then Go to out_free
7313  If Not stacksafe(old, cur, idmap) Then Go to out_free
7316  If Not refsafe(old, cur) Then Go to out_free
7318  ret = true
7319  out_free :
7320  kfree(idmap)
7321  Return ret
Caller
NameDescribe
states_equal