Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 13:01:09
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:find_good_pkt_pointers

Proto: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)

Type:void

Parameter:

TypeParameterName
struct bpf_verifier_state *vstate
struct bpf_reg_state *dst_reg
enum bpf_reg_typetype
boolrange_right_open
5355  If Fixed part of pointer offset, pointer types only < 0 || Fixed part of pointer offset, pointer types only == 0 && range_right_open Then Return
5360  If maximum possible (u64)value > MAX_PACKET_OFF || maximum possible (u64)value + Fixed part of pointer offset, pointer types only > MAX_PACKET_OFF Then Return
5367  new_range = Fixed part of pointer offset, pointer types only
5368  If range_right_open Then new_range--
5418  When i <= curframe cycle __find_good_pkt_pointers( call stack tracking [i], dst_reg, type, new_range)
Caller
NameDescribe
try_match_pkt_pointers