函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：find_good_pkt_pointers

函数原型：static void find_good_pkt_pointers(struct bpf_verifier_state *vstate, struct bpf_reg_state *dst_reg, enum bpf_reg_type type, bool range_right_open)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_state *vstate
struct bpf_reg_state *dst_reg
enum bpf_reg_typetype
boolrange_right_open
5355  如果 Fixed part of pointer offset, pointer types only 小于0或 Fixed part of pointer offset, pointer types only 恒等于0且range_right_open则返回
5360  如果 maximum possible (u64)value 大于MAX_PACKET_OFF或 maximum possible (u64)value 加 Fixed part of pointer offset, pointer types only 大于MAX_PACKET_OFF则返回
5367  new_range等于 Fixed part of pointer offset, pointer types only
5368  如果range_right_open则new_range自减
5418  以i小于等于curframe循环__find_good_pkt_pointers( call stack tracking [i], dst_reg, type, new_range)
调用者
名称描述
try_match_pkt_pointers