函数逻辑报告 |
Source Code:kernel\bpf\btf.c |
Create Date:2022-07-27 14:37:21 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:btf_datasec_resolve
函数原型:static int btf_datasec_resolve(struct btf_verifier_env *env, const struct resolve_vertex *v)
返回类型:int
参数:
类型 | 参数 | 名称 |
---|---|---|
struct btf_verifier_env * | env | |
const struct resolve_vertex * | v |
2798 | var_type_id等于type, type_size等于0 |
2799 | var_type等于btf_type_by_id(btf, var_type_id) |
2801 | 如果非var_type或非btf_type_is_var(var_type)则 |
2802 | btf_verifier_log_vsi(env, t, vsi, "Not a VAR kind member") |
2804 | 返回:负EINVAL |
2807 | 如果非env_type_is_resolve_sink(env, var_type)且非env_type_is_resolved(env, var_type_id)则 |
2809 | env_stack_set_next_member(env, i + 1) |
2810 | 返回:env_stack_push(env, var_type, var_type_id) |
2814 | 如果非btf_type_id_size(btf, & type_id, & type_size)则 |
2815 | btf_verifier_log_vsi(env, t, vsi, "Invalid type") |
2816 | 返回:负EINVAL |
2820 | btf_verifier_log_vsi(env, t, vsi, "Invalid size") |
2821 | 返回:负EINVAL |
2825 | env_stack_pop_resolved(env, 0, 0) |
2826 | 返回:0 |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |