Function report |
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 activity | Download SCCT | Chinese |
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:
Type | Parameter | Name |
---|---|---|
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 |
7309 | If Not Returns true if (rold safe implies rcur safe) Then Go to out_free |
7318 | ret = true |
7319 | out_free : |
7321 | Return ret |
Name | Describe |
---|---|
states_equal |
Source code conversion tool public plug-in interface | X |
---|---|
Support c/c++/esqlc/java Oracle/Informix/Mysql Plug-in can realize: logical Report Code generation and batch code conversion |