函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称:If an instruction was previously used with particular pointer types, then we* need to be careful to avoid cases such as the below, where it may be ok* for one branch accessing the pointer, but not ok for the other branch:* R1 = sock_ptr* goto X;*

函数原型:static bool reg_type_mismatch(enum bpf_reg_type src, enum bpf_reg_type prev)

返回类型:bool

参数:

类型参数名称
enum bpf_reg_typesrc
enum bpf_reg_typeprev
7732  返回:src不等于prev且非Return true if it's OK to have the same insn return a different type. 或非Return true if it's OK to have the same insn return a different type. 的值
调用者
名称描述
do_check