函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-27 14:09:01
Last Modify:2022-05-19 20:02:10 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：verbose_linfo

函数原型：__printf(3, 4) static void verbose_linfo(struct bpf_verifier_env *env, u32 insn_off, const char *prefix_fmt, ...)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
u32insn_off
const char *prefix_fmt
343  如果非bpf_verifier_log_needed( & log)则返回
346  linfo等于find_linfo(env, insn_off)
347  如果非linfo或linfo恒等于prev_linfo则返回
350  如果prefix_fmt则
353  va_start(args, prefix_fmt)
354  bpf_verifier_vlog( & log, prefix_fmt, args)
355  va_end(args)
358  verbose(env, "%s\n", ltrim(btf_name_by_offset(btf, line_off)))
362  prev_linfo等于linfo
调用者
名称描述
check_stack_writeheck_stack_read/write functions track spill/fill of registers,* stack boundary and alignment are checked in check_mem_access()
check_stack_read
check_mem_accessheck 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