函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：The pointer with the specified id has released its reference to kernel* resources. Identify all copies of the same pointer and clear the reference.

函数原型：static int release_reference(struct bpf_verifier_env *env, int ref_obj_id)

返回类型：int

参数：

类型参数名称
struct bpf_verifier_env *env
intref_obj_id
3934  vstate等于current verifier state
3938  err等于lease function corresponding to acquire_reference_state(). Idempotent.
3939  如果err则返回:err
3942  以i小于等于curframe循环release_reg_references(env, call stack tracking [i], ref_obj_id)
3945  返回:0
调用者
名称描述
check_helper_call