函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：check_tp_buffer_access

函数原型：static int check_tp_buffer_access(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int regno, int off, int size)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
const struct bpf_reg_state *reg
intregno
intoff
intsize
2769  如果off小于0则
2770  verbose(env, "R%d invalid tracepoint buffer access: off=%d, size=%d", regno, off, size)
2773  返回:负EACCES
2775  如果非Returns true if @a is a known constant 或value则
2778  Format a tnum as a pair of hex numbers (value; mask)
2779  verbose(env, "R%d invalid variable buffer offset: off=%d, var_off=%s", regno, off, tn_buf)
2782  返回:负EACCES
2784  如果off加size大于max_tp_access则max_tp_access等于off加size
2787  返回:0
调用者
名称描述
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 &&