函数逻辑报告 |
Source Code:kernel\bpf\btf.c |
Create Date:2022-07-27 14:36:05 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:btf_array_check_meta
函数原型:static s32 btf_array_check_meta(struct btf_verifier_env *env, const struct btf_type *t, u32 meta_left)
返回类型:s32
参数:
类型 | 参数 | 名称 |
---|---|---|
struct btf_verifier_env * | env | |
const struct btf_type * | t | |
u32 | meta_left |
1949 | array等于btf_type_array(t) |
1950 | meta_needed等于array的长度 |
1952 | 如果meta_left小于meta_needed则 |
1953 | btf_verifier_log_basic(env, t, "meta_left:%u meta_needed:%u", meta_left, meta_needed) |
1956 | 返回:负EINVAL |
1960 | 如果name_off则 |
1961 | btf_verifier_log_type(env, t, "Invalid name") |
1962 | 返回:负EINVAL |
1965 | 如果btf_type_vlen(t)则 |
1966 | btf_verifier_log_type(env, t, "vlen != 0") |
1967 | 返回:负EINVAL |
1970 | 如果btf_type_kflag(t)则 |
1971 | btf_verifier_log_type(env, t, "Invalid btf_info kind_flag") |
1972 | 返回:负EINVAL |
1975 | 如果size则 |
1976 | btf_verifier_log_type(env, t, "size != 0") |
1977 | 返回:负EINVAL |
1983 | 如果非type或非BTF_TYPE_ID_VALID(type)则 |
1984 | btf_verifier_log_type(env, t, "Invalid elem") |
1985 | 返回:负EINVAL |
1988 | 如果非index_type或非BTF_TYPE_ID_VALID(index_type)则 |
1989 | btf_verifier_log_type(env, t, "Invalid index") |
1990 | 返回:负EINVAL |
1993 | btf_verifier_log_type(env, t, NULL) |
1995 | 返回:meta_needed |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |