Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:56:41 |
Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:mark_reg_not_init
Proto:static void mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno)
Type:void
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_env * | env | |
struct bpf_reg_state * | regs | |
u32 | regno |
1097 | If WARN_ON(regno >= BPF has 10 general purpose 64-bit registers and stack frame. ) Then |
1100 | When regno < BPF_REG_FP cycle __mark_reg_not_init(env, regs + regno) |
1102 | Return |
1104 | __mark_reg_not_init(env, regs + regno) |
Name | Describe |
---|---|
init_reg_state | |
check_func_call | |
check_helper_call | |
check_ld_abs | verify safety of LD_ABS|LD_IND instructions:* - they can only appear in the programs where ctx == skb* - since they are wrappers of function calls, they scratch R1-R5 registers,* preserve R6-R9, and store return value into R0* Implicit input:* ctx == skb |
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 |