函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：release_reg_references

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

返回类型：void

参数：

类型参数名称
struct bpf_verifier_env *env
struct bpf_func_state *state
intref_obj_id
3913  regs等于regs
3916  以i小于BPF has 10 general purpose 64-bit registers and stack frame. 循环如果 PTR_TO_SOCKET and PTR_TO_TCP_SOCK could be a ptr returned * from a pointer-cast helper, bpf_sk_fullsock() and * bpf_tcp_sock(). * Consider the following where "sk" is a reference counted * pointer returned from "sk = bpf_sk_lookup_tcp();": * 1: sk = bpf_s恒等于ref_obj_id则
3918  mark_reg_unknown(env, regs, i)
3921  如果非reg则继续下一循环
3923  如果 PTR_TO_SOCKET and PTR_TO_TCP_SOCK could be a ptr returned * from a pointer-cast helper, bpf_sk_fullsock() and * bpf_tcp_sock(). * Consider the following where "sk" is a reference counted * pointer returned from "sk = bpf_sk_lookup_tcp();": * 1: sk = bpf_s恒等于ref_obj_id则Mark a register as having a completely unknown (scalar) value.
调用者
名称描述
release_referenceThe pointer with the specified id has released its reference to kernel* resources. Identify all copies of the same pointer and clear the reference.