Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:55:49 |
Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:verbose_linfo
Proto:__printf(3, 4) static void verbose_linfo(struct bpf_verifier_env *env, u32 insn_off, const char *prefix_fmt, ...)
Type:void
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_env * | env | |
u32 | insn_off | |
const char * | prefix_fmt |
343 | If Not bpf_verifier_log_needed( & log) Then Return |
346 | linfo = find_linfo(env, insn_off) |
347 | If Not linfo || linfo == prev_linfo Then Return |
350 | If prefix_fmt Then |
362 | prev_linfo = linfo |
Name | Describe |
---|---|
check_stack_write | heck_stack_read/write functions track spill/fill of registers,* stack boundary and alignment are checked in check_mem_access() |
check_stack_read | |
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 && |
push_insn | , w, e - match pseudo-code above: |
is_state_visited | |
do_check |
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 |