Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:58:01 |
Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:check_sock_access
Proto:static int check_sock_access(struct bpf_verifier_env *env, int insn_idx, u32 regno, int off, int size, enum bpf_access_type t)
Type:int
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_env * | env | |
int | insn_idx | |
u32 | regno | |
int | off | |
int | size | |
enum bpf_access_type | t |
2452 | struct bpf_insn_access_aux info = {} |
2455 | If minimum possible (s64)value < 0 Then |
2456 | verbose(env, "R%d min value is negative, either use unsigned index or do a if (index >=0) check.\n", regno) |
2458 | Return -EACCES |
2474 | Default |
2475 | valid = false |
2479 | If valid Then |
2482 | Return 0 |
2485 | verbose(env, "R%d invalid %s access off=%d size=%d\n", regno, string representation of 'enum bpf_reg_type' [ Ordering of fields matters. See states_equal() ], off, size) |
2488 | Return -EACCES |
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 |