Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:57:28 |
| Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
| home page | Tree |
| Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:Does this register contain a constant zero?
Proto:static bool register_is_null(struct bpf_reg_state *reg)
Type:bool
Parameter:
| Type | Parameter | Name |
|---|---|---|
| struct bpf_reg_state * | reg |
| 1928 | Return Ordering of fields matters. See states_equal() == g doesn't contain a valid pointer && Returns true if @a == tnum_const(@b) |
| Name | Describe |
|---|---|
| check_stack_write | heck_stack_read/write functions track spill/fill of registers,* stack boundary and alignment are checked in check_mem_access() |
| 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 |
| check_func_arg | |
| check_helper_call |
| 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 |