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 |