Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 13:03:05 |
Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:states_equal
Proto:static bool states_equal(struct bpf_verifier_env *env, struct bpf_verifier_state *old, struct bpf_verifier_state *cur)
Type:bool
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_env * | env | |
struct bpf_verifier_state * | old | |
struct bpf_verifier_state * | cur |
7336 | If speculative && Not speculative Then Return false |
7339 | If active_spin_lock != active_spin_lock Then Return false |
7346 | If dex of call instruction that called into this func != dex of call instruction that called into this func Then Return false |
7351 | Return true |
Name | Describe |
---|---|
is_state_visited |
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 |