security/apparmor/match.c

79 		/* if table was vmalloced make sure the page tables are synced
94  * verify_table_headers - verify that the tables headers are as expected
95  * @tables: array of dfa tables to check (NOT NULL)
103 static int verify_table_headers(struct table_header **tables, int flags)
108 	/* check that required tables exist */
109 	if (!(tables[YYTD_ID_DEF] && tables[YYTD_ID_BASE] &&
110 	      tables[YYTD_ID_NXT] && tables[YYTD_ID_CHK]))
114 	state_count = tables[YYTD_ID_BASE]->td_lolen;
116 		if (!tables[YYTD_ID_ACCEPT])
118 		if (state_count != tables[YYTD_ID_ACCEPT]->td_lolen)
122 		if (!tables[YYTD_ID_ACCEPT2])
124 		if (state_count != tables[YYTD_ID_ACCEPT2]->td_lolen)
127 	if (state_count != tables[YYTD_ID_DEF]->td_lolen)
131 	trans_count = tables[YYTD_ID_NXT]->td_lolen;
132 	if (trans_count != tables[YYTD_ID_CHK]->td_lolen)
136 	if (tables[YYTD_ID_EC] && tables[YYTD_ID_EC]->td_lolen != 256)
145  * verify_dfa - verify that transitions and states in the tables are in bounds.
158 	state_count = dfa->tables[YYTD_ID_BASE]->td_lolen;
159 	trans_count = dfa->tables[YYTD_ID_NXT]->td_lolen;
199 	/* Now that all the other tables are verified, verify diffencoding */
232 		for (i = 0; i < ARRAY_SIZE(dfa->tables); i++) {
233 			kvfree(dfa->tables[i]);
234 			dfa->tables[i] = NULL;
251  * aa_dfa_unpack - unpack the binary tables of a serialized dfa
254  * @flags: flags controlling what type of accept tables are acceptable
340 		if (dfa->tables[table->td_id])
342 		dfa->tables[table->td_id] = table;
347 	error = verify_table_headers(dfa->tables, flags);
408 	if (dfa->tables[YYTD_ID_EC]) {
447 	if (dfa->tables[YYTD_ID_EC]) {
481 	if (dfa->tables[YYTD_ID_EC]) {
535 	if (dfa->tables[YYTD_ID_EC]) {
597 	if (dfa->tables[YYTD_ID_EC]) {
677 	if (dfa->tables[YYTD_ID_EC]) {