Function report |
Source Code:kernel\bpf\btf.c |
Create Date:2022-07-28 13:21:31 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:btf_check_func_arg_match
Proto:int btf_check_func_arg_match(struct bpf_verifier_env *env, int subprog)
Type:int
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_env * | env | |
int | subprog |
4048 | st = current verifier state |
4049 | func = call stack tracking [curframe] |
4052 | prog = BPF program being verified |
4059 | If Not func_info Then Return 0 |
4063 | If Not btf_id Then Return 0 |
4066 | If unreliable Then Return 0 |
4069 | t = btf_type_by_id(btf, btf_id) |
4070 | If Not t || Not btf_type_is_func(t) Then |
4075 | tname = btf_name_by_offset(btf, name_off) |
4077 | t = btf_type_by_id(btf, type) |
4078 | If Not t || Not btf_type_is_func_proto(t) Then |
4083 | nargs = btf_type_vlen(t) |
4084 | If nargs > 5 Then |
4092 | t = btf_type_by_id(btf, type) |
4093 | When btf_type_is_modifier(t) cycle |
4094 | t = btf_type_by_id(btf, type) |
4095 | If btf_type_is_int(t) || btf_type_is_enum(t) Then |
4096 | If Ordering of fields matters. See states_equal() == g doesn't contain a valid pointer Then Continue |
4099 | Go to out |
4101 | If btf_type_is_ptr(t) Then |
4109 | If Ordering of fields matters. See states_equal() == g points to bpf_context && Not btf_get_prog_ctx_type(log, btf, t, Type of BPF program ) Then Go to out |
4113 | Continue |
4117 | Go to out |
4119 | Return 0 |
4120 | out : |
4124 | unreliable = true |
4125 | Return 0 |
Name | Describe |
---|---|
check_func_call | |
do_check |
Source code conversion tool public plug-in interface | X |
---|---|
Support c/c++/esqlc/java Oracle/Informix/Mysql Plug-in can realize: logical Report Code generation and batch code conversion |