Function report |
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 activity | Download SCCT | Chinese |
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:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_state * | vstate | |
struct bpf_reg_state * | dst_reg | |
enum bpf_reg_type | type | |
bool | range_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 |
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) |
Name | Describe |
---|---|
try_match_pkt_pointers |
Source code conversion tool public plug-in interface | X |
---|---|
Support c/c++/esqlc/java Oracle/Informix/Mysql Plug-in can realize: logical Report Code generation and batch code conversion |