函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：check_return_code

函数原型：static int check_return_code(struct bpf_verifier_env *env)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
6362  enforce_attach_type_range等于A completely unknown value
6364  range等于A value that's unknown except that @min <= value <= @max
6367  当: Type of BPF program 恒等于BPF_PROG_TYPE_CGROUP_SOCK_ADDR
6368  如果 For some prog types 恒等于BPF_CGROUP_UDP4_RECVMSG或 For some prog types 恒等于BPF_CGROUP_UDP6_RECVMSG则range等于A value that's unknown except that @min <= value <= @max
6371  退出
6372  当: Type of BPF program 恒等于BPF_PROG_TYPE_CGROUP_SKB
6373  如果 For some prog types 恒等于BPF_CGROUP_INET_EGRESS则
6374  range等于A value that's unknown except that @min <= value <= @max
6375  enforce_attach_type_range等于A value that's unknown except that @min <= value <= @max
6377  退出
6378  当: Type of BPF program 恒等于BPF_PROG_TYPE_CGROUP_SOCK
6379  当: Type of BPF program 恒等于BPF_PROG_TYPE_SOCK_OPS
6380  当: Type of BPF program 恒等于BPF_PROG_TYPE_CGROUP_DEVICE
6381  当: Type of BPF program 恒等于BPF_PROG_TYPE_CGROUP_SYSCTL
6382  当: Type of BPF program 恒等于BPF_PROG_TYPE_CGROUP_SOCKOPT
6383  退出
6384  当: Type of BPF program 恒等于BPF_PROG_TYPE_RAW_TRACEPOINT
6385  如果非 in-kernel BTF type id to attach to 则返回:0
6387  range等于Represent a known constant as a tnum.
6388  退出
6389  默认
6390  返回:0
6393  reg等于cur_regs(env)加BPF_REG_0
6394  如果 Ordering of fields matters. See states_equal() 不等于g doesn't contain a valid pointer 则
6395  verbose(env, "At program exit the register R0 is not a known value (%s)\n", string representation of 'enum bpf_reg_type' [ Ordering of fields matters. See states_equal() ])
6397  返回:负EINVAL
6400  如果非Returns true if @b represents a subset of @a. 则
6403  verbose(env, "At program exit the register R0 ")
6404  如果非Returns true if @a is completely unknown 则
6405  Format a tnum as a pair of hex numbers (value; mask)
6406  verbose(env, "has value %s", tn_buf)
6407  否则
6408  verbose(env, "has unknown scalar value")
6410  Format a tnum as a pair of hex numbers (value; mask)
6411  verbose(env, " should have been in %s\n", tn_buf)
6412  返回:负EINVAL
6415  如果非Returns true if @a is completely unknown 且Returns true if @b represents a subset of @a. 则 Enforce expected_attach_type checking at attach time 等于1
6418  返回:0
调用者
名称描述
do_check