函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：Packet data might have moved, any old PTR_TO_PACKET[_META,_END]* are now invalid, so turn them into unknown SCALAR_VALUE.

函数原型：static void __clear_all_pkt_pointers(struct bpf_verifier_env *env, struct bpf_func_state *state)

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_func_state *state
3885  regs等于regs
3888  以i小于BPF has 10 general purpose 64-bit registers and stack frame. 循环如果reg_is_pkt_pointer_any( & regs[i])则
3890  mark_reg_unknown(env, regs, i)
3893  如果非reg则继续下一循环
3895  如果reg_is_pkt_pointer_any(reg)则Mark a register as having a completely unknown (scalar) value.
调用者
名称描述
clear_all_pkt_pointers