函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称:mark_chain_precision_stack

函数原型:static int mark_chain_precision_stack(struct bpf_verifier_env *env, int spi)

返回类型:int

参数:

类型参数名称
struct bpf_verifier_env *env
intspi
1897  返回:__mark_chain_precision(env, - 1, spi)
调用者
名称描述
propagate_precisiond precise scalars in the previous equivalent state and* propagate them into the current state