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 |