函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\btf.c Create Date:2022-07-27 14:36:39
Last Modify:2020-03-12 14:18:49 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：btf_struct_resolve

函数原型：static int btf_struct_resolve(struct btf_verifier_env *env, const struct resolve_vertex *v)

返回类型：int

参数：

类型参数名称
struct btf_verifier_env *env
const struct resolve_vertex *v
2222  如果next_member则
2227  last_member等于btf_type_member(t)加next_member减1
2228  last_member_type_id等于type
2229  如果WARN_ON_ONCE(!env_type_is_resolved(env, last_member_type_id))则返回:负EINVAL
2233  last_member_type等于btf_type_by_id(btf, last_member_type_id)
2235  如果btf_type_kflag(t)则err等于check_kflag_member(env, t, last_member, last_member_type)
2239  否则err等于check_member(env, t, last_member, last_member_type)
2243  如果err则返回:err
2248  member_type_id等于type
2249  member_type等于btf_type_by_id(btf, member_type_id)
2252  如果btf_type_nosize_or_null(member_type)或Types that act only as a source, not sink or intermediate* type when resolving.则
2254  btf_verifier_log_member(env, t, member, "Invalid member")
2256  返回:负EINVAL
2259  如果非env_type_is_resolve_sink(env, member_type)且非env_type_is_resolved(env, member_type_id)则
2261  env_stack_set_next_member(env, i + 1)
2262  返回:env_stack_push(env, member_type, member_type_id)
2265  如果btf_type_kflag(t)则err等于check_kflag_member(env, t, member, member_type)
2269  否则err等于check_member(env, t, member, member_type)
2273  如果err则返回:err
2277  env_stack_pop_resolved(env, 0, 0)
2279  返回:0