函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:security\apparmor\match.c Create Date:2022-07-27 21:28:32
Last Modify:2020-03-12 14:18:49 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：verify_table_headers - verify that the tables headers are as expected*@tables - array of dfa tables to check (NOT NULL)*@flags: flags controlling what type of accept table are acceptable* Assumes dfa has gone through the first pass verification done by

函数原型：static int verify_table_headers(struct table_header **tables, int flags)

返回类型：int

参数：

类型参数名称
struct table_header **tables
intflags
147  error等于负EPROTO
150  如果非tables[YYTD_ID_DEF]且tables[YYTD_ID_BASE]且tables[YYTD_ID_NXT]且tables[YYTD_ID_CHK]的值则转到:out
155  state_count等于td_lolen
156  如果ACCEPT & ACCEPT2 tables gets 6 dedicated flags, YYTD_DATAX define the* first flags(flags)则
157  如果非tables[The YYTD_ID are one less than flex table mappings. The flex id* has 1 subtracted at table load time, this allows us to directly use the* ID's as indexes.]则转到:out
159  如果state_count不等于td_lolen则转到:out
162  如果ACCEPT2_FLAGS(flags)则
163  如果非tables[YYTD_ID_ACCEPT2]则转到:out
165  如果state_count不等于td_lolen则转到:out
168  如果state_count不等于td_lolen则转到:out
172  trans_count等于td_lolen
173  如果trans_count不等于td_lolen则转到:out
177  如果tables[YYTD_ID_EC]且td_lolen不等于256则转到:out
180  error等于0
181  out :
182  返回:error
调用者
名称描述
aa_dfa_unpackaa_dfa_unpack - unpack the binary tables of a serialized dfa*@blob: aligned serialized stream of data to unpack (NOT NULL)*@size: size of data to unpack*@flags: flags controlling what type of accept tables are acceptable