函数逻辑报告 |
Source Code:kernel\bpf\btf.c |
Create Date:2022-07-27 14:34:56 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| 首页 | 函数Tree |
| 注解内核,赢得工具 | 下载SCCT | English |
函数名称:env_stack_push
函数原型:static int env_stack_push(struct btf_verifier_env *env, const struct btf_type *t, u32 type_id)
返回类型:int
参数:
| 类型 | 参数 | 名称 |
|---|---|---|
| struct btf_verifier_env * | env | |
| const struct btf_type * | t | |
| u32 | type_id |
| 998 | 如果top_stack恒等于MAX_RESOLVE_DEPTH则返回:负E2BIG |
| 1001 | 如果visit_states[type_id]不等于NOT_VISITED则返回:负EEXIST |
| 1004 | visit_states[type_id]等于VISITED |
| 1009 | next_member等于0 |
| 1011 | 如果resolve_mode恒等于 To Be Determined 则 |
| 1012 | 如果btf_type_is_ptr(t)则resolve_mode等于 Resolving for Pointer |
| 1018 | 返回:0 |
| 名称 | 描述 |
|---|---|
| btf_modifier_resolve | |
| btf_var_resolve | |
| btf_ptr_resolve | |
| btf_array_resolve | |
| btf_struct_resolve | |
| btf_datasec_resolve | |
| btf_resolve |
| 源代码转换工具 开放的插件接口 | X |
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |