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
2462  Case Ordering of fields matters. See states_equal() == g points to sock_common
2463  valid = bpf_sock_common_is_valid_access(off, size, t, & info)
2464  Break
2465  Case Ordering of fields matters. See states_equal() == g points to struct bpf_sock
2466  valid = bpf_sock_is_valid_access(off, size, t, & info)
2467  Break
2468  Case Ordering of fields matters. See states_equal() == g points to struct tcp_sock
2469  valid = bpf_tcp_sock_is_valid_access(off, size, t, & info)
2470  Break
2471  Case Ordering of fields matters. See states_equal() == g points to struct xdp_sock
2472  valid = bpf_xdp_sock_is_valid_access(off, size, t, & info)
2473  Break
2474  Default
2475  valid = false
2479  If valid Then
2480  the ctx field size for load insn, maybe 0 = ctx_field_size
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 &&