函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：check_sock_access

函数原型：static int check_sock_access(struct bpf_verifier_env *env, int insn_idx, u32 regno, int off, int size, enum bpf_access_type t)

返回类型：int

参数：

类型参数名称
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  如果 minimum possible (s64)value 小于0则
2456  verbose(env, "R%d min value is negative, either use unsigned index or do a if (index >=0) check.\n", regno)
2458  返回:负EACCES
2462  当: 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  退出
2465  当: 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  退出
2468  当: 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  退出
2471  当: 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  退出
2474  默认
2475  valid = false
2479  如果valid则
2480  the ctx field size for load insn, maybe 0 等于ctx_field_size
2482  返回: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  返回:负EACCES
调用者
名称描述
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 &&