Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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 activityDownload SCCTChinese

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:

TypeParameterName
struct bpf_verifier_env *env
u32insn_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
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
Caller
NameDescribe
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