Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 12:58:01
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:check_sock_access

Proto:static int check_sock_access(struct bpf_verifier_env *env, int insn_idx, u32 regno, int off, int size, enum bpf_access_type t)

Type:int

Parameter:

TypeParameterName
struct bpf_verifier_env *env
intinsn_idx
u32regno
intoff
intsize
enum bpf_access_typet
2450  regs = cur_regs(env)
2451  reg = regs[regno]
2452  struct bpf_insn_access_aux info = {}
2455  If minimum possible (s64)value < 0 Then
2456  verbose(env, "R%d min value is negative, either use unsigned index or do a if (index >=0) check.\n", regno)
2458  Return -EACCES
2464  Break
2467  Break
2470  Break
2473  Break
2474  Default
2475  valid = false
2479  If valid Then
2482  Return 0
2485  verbose(env, "R%d invalid %s access off=%d size=%d\n", regno, string representation of 'enum bpf_reg_type' [ Ordering of fields matters. See states_equal() ], off, size)
2488  Return -EACCES
Caller
NameDescribe
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 &&