Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:58:19 |
Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:check_tp_buffer_access
Proto:static int check_tp_buffer_access(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int regno, int off, int size)
Type:int
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_env * | env | |
const struct bpf_reg_state * | reg | |
int | regno | |
int | off | |
int | size |
2769 | If off < 0 Then |
2773 | Return -EACCES |
2775 | If Not Returns true if @a is a known constant || value Then |
2782 | Return -EACCES |
2784 | If off + size > max_tp_access Then max_tp_access = off + size |
2787 | Return 0 |
Name | Describe |
---|---|
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 && |
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 |