函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：__find_good_pkt_pointers

函数原型：static void __find_good_pkt_pointers(struct bpf_func_state *state, struct bpf_reg_state *dst_reg, enum bpf_reg_type type, u16 new_range)

返回类型：void

参数：

类型参数名称
struct bpf_func_state *state
struct bpf_reg_state *dst_reg
enum bpf_reg_typetype
u16new_range
5332  以i小于BPF has 10 general purpose 64-bit registers and stack frame. 循环
5333  reg等于regs[i]
5334  如果 Ordering of fields matters. See states_equal() 恒等于type且 For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi恒等于 For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi则 valid when type == PTR_TO_PACKET 等于两数取大( valid when type == PTR_TO_PACKET , new_range)
5340  如果非reg则继续下一循环
5342  如果 Ordering of fields matters. See states_equal() 恒等于type且 For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi恒等于 For PTR_TO_PACKET, used to find other pointers with the same variable * offset, so they can share range knowledge. * For PTR_TO_MAP_VALUE_OR_NULL this is used to share which map value we * came from, when one is tested for != NULL. * For PTR_TO_SOCKET thi则 valid when type == PTR_TO_PACKET 等于两数取大( valid when type == PTR_TO_PACKET , new_range)
调用者
名称描述
find_good_pkt_pointers