函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：lease function corresponding to acquire_reference_state(). Idempotent.

函数原型：static int release_reference_state(struct bpf_func_state *state, int ptr_id)

返回类型：int

参数：

类型参数名称
struct bpf_func_state *state
intptr_id
696  last_idx等于The following fields should be last. See copy_func_state() 减1
697  以i小于The following fields should be last. See copy_func_state() 循环
698  如果 Track each reference created with a unique id, even if the same * instruction creates the reference multiple times (eg, via CALL).恒等于ptr_id则
699  如果last_idx且i不等于last_idx则内存复制( & refs[i], & refs[last_idx], refs的长度)
702  memset( & refs[last_idx], 0, refs的长度)
703  The following fields should be last. See copy_func_state() 自减
704  返回:0
707  返回:负EINVAL
调用者
名称描述
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.
mark_ptr_or_null_regsThe logic is similar to find_good_pkt_pointers(), both could eventually* be folded together at some point.