func

Name:func

Proto:static struct bpf_func_state *func(struct bpf_verifier_env *env, const struct bpf_reg_state *reg)

Type:struct bpf_func_state

Parameter:

Type	Parameter	Name
struct bpf_verifier_env *	env
const struct bpf_reg_state *	reg

475

cur = current verifier state

477

Return call stack tracking [ Inside the callee two registers can be both PTR_TO_STACK like * R1=fp-8 and R2=fp-8, but one of them points to this function stack * while another to the caller's stack. To differentiate them 'frameno' * is used which is an index in bpf_verifier_state->fr]

**Caller**
Name	Describe
visitor32
visitor64
check_mem_access	heck whether memory at (regno + off) is accessible for t = (read \| write)* if t==write, value_regno is a register which value is stored into memory* if t==read, value_regno is a register which will receive the value from memory* if t==write &&
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

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