Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:56:13 |
Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:do_check() starts with zero-sized stack in struct bpf_verifier_state to* make it consume minimal amount of memory
Proto:static int realloc_func_state(struct bpf_func_state *state, int stack_size, int refs_size, bool copy_old)
Type:int
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_func_state * | state | |
int | stack_size | |
int | refs_size | |
bool | copy_old |
664 | err = alloc_reference_state() |
667 | Return alloc_stack_state() |
Name | Describe |
---|---|
copy_func_state | py verifier state from src to dst growing dst stack space* when necessary to accommodate larger src stack |
check_stack_write | heck_stack_read/write functions track spill/fill of registers,* stack boundary and alignment are checked in check_mem_access() |
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 |