Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:58:02 |
| Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
| home page | Tree |
| Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:reg_state
Proto:static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno)
Type:struct bpf_reg_state
Parameter:
| Type | Parameter | Name |
|---|---|---|
| struct bpf_verifier_env * | env | |
| int | regno |
| Name | Describe |
|---|---|
| is_pointer_value | |
| is_ctx_reg | |
| is_sk_reg | |
| is_pkt_reg | |
| is_flow_key_reg | |
| check_xadd | |
| __check_stack_boundary | |
| check_stack_boundary | when register 'regno' is passed into function that will read 'access_size'* bytes from that pointer, make sure that it's within stack boundary* and all elements of stack are initialized |
| do_check |
| 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 |