Lines Matching refs:base
39 * - role in base, no modules
40 * - role in base optional, no modules
41 * - role a in base, b in module
42 * - role a in base and module (additive)
43 * - role a in base and 2 module
44 * - role a in base optional, b in module
45 * - role a in base, b in module optional
46 * - role a in base optional, b in module optional
47 * - role a in base optional and module
48 * - role a in base and module optional
49 * - role a in base optional and module optional
50 * - role a in base optional and 2 modules
51 * - role a and b in base, b dom a, are types correct (TODO)
69 void base_role_tests(policydb_t * base)
76 /* These tests look at roles in the base only, the desire is to ensure that
79 /**** test for g_b_role_1 in base and decl 1 (global) ****/
80 decls[0] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_b"))->decl_id;
81 test_sym_presence(base, "g_b_role_1", SYM_ROLES, SCOPE_DECL, decls, 1);
84 role = test_role_type_set(base, "g_b_role_1", NULL, types, 1, 0);
86 only_dominates_self(base, role);
89 decl = test_find_decl_by_sym(base, SYM_TYPES, "tag_o1_b");
91 test_sym_presence(base, "o1_b_role_1", SYM_ROLES, SCOPE_DECL, decls, 1);
94 role = test_role_type_set(base, "o1_b_role_1", decl, types, 1, 0);
96 only_dominates_self(base, role);
99 void module_role_tests(policydb_t * base)
106 /* These tests are run when the base is linked with 2 modules,
108 * modules into the base */
111 decls[0] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_m1"))->decl_id;
112 test_sym_presence(base, "g_m1_role_1", SYM_ROLES, SCOPE_DECL, decls, 1);
115 role = test_role_type_set(base, "g_m1_role_1", NULL, types, 1, 0);
117 only_dominates_self(base, role);
120 decl = test_find_decl_by_sym(base, SYM_TYPES, "tag_o1_m1");
122 test_sym_presence(base, "o1_m1_role_1", SYM_ROLES, SCOPE_DECL, decls, 1);
125 role = test_role_type_set(base, "o1_m1_role_1", decl, types, 1, 0);
127 only_dominates_self(base, role);
132 /**** test for type added to base role in module 1 (global) ****/
133 decls[0] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_b"))->decl_id;
134 test_sym_presence(base, "g_b_role_2", SYM_ROLES, SCOPE_DECL, decls, 1);
136 types[0] = "g_b_type_2"; /* added in base when declared */
138 role = test_role_type_set(base, "g_b_role_2", NULL, types, 2, 0);
140 only_dominates_self(base, role);
142 /**** test for type added to base role in module 1 & 2 (global) ****/
143 decls[0] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_b"))->decl_id;
144 decls[1] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_m1"))->decl_id;
145 decls[2] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_m2"))->decl_id;
146 test_sym_presence(base, "g_b_role_3", SYM_ROLES, SCOPE_DECL, decls, 3);
148 types[0] = "g_b_type_2"; /* added in base when declared */
151 role = test_role_type_set(base, "g_b_role_3", NULL, types, 3, 0);
153 only_dominates_self(base, role);
155 /**** test for role in base optional and module 1 (additive) ****/
156 decls[0] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_o1_b"))->decl_id;
157 decls[1] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_m1"))->decl_id;
158 test_sym_presence(base, "o1_b_role_2", SYM_ROLES, SCOPE_DECL, decls, 2);
159 /* this one will have 2 type sets, one in the global symtab and one in the base optional 1 */
161 role = test_role_type_set(base, "o1_b_role_2", NULL, types, 1, 0);
163 role = test_role_type_set(base, "o1_b_role_2", test_find_decl_by_sym(base, SYM_TYPES, "tag_o1_b"), types, 1, 0);
165 only_dominates_self(base, role);
167 /**** test for role in base and module 1 optional (additive) ****/
168 decls[0] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_b"))->decl_id;
169 decls[1] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_o2_m1"))->decl_id;
170 test_sym_presence(base, "g_b_role_4", SYM_ROLES, SCOPE_DECL, decls, 2);
171 /* this one will have 2 type sets, one in the global symtab and one in the base optional 1 */
173 role = test_role_type_set(base, "g_b_role_4", NULL, types, 1, 0);
175 role = test_role_type_set(base, "g_b_role_4", test_find_decl_by_sym(base, SYM_TYPES, "tag_o2_m1"), types, 1, 0);
177 only_dominates_self(base, role);
179 /**** test for role in base and module 1 optional (additive) ****/
180 decls[0] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_o3_b"))->decl_id;
181 decls[1] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_o3_m1"))->decl_id;
182 test_sym_presence(base, "o3_b_role_1", SYM_ROLES, SCOPE_DECL, decls, 2);
183 /* this one will have 2 type sets, one in the 3rd base optional and one in the 3rd module optional */
185 role = test_role_type_set(base, "o3_b_role_1", test_find_decl_by_sym(base, SYM_TYPES, "tag_o3_b"), types, 1, 0);
187 role = test_role_type_set(base, "o3_b_role_1", test_find_decl_by_sym(base, SYM_TYPES, "tag_o3_m1"), types, 1, 0);
189 only_dominates_self(base, role);
191 /**** test for role in base and module 1 optional (additive) ****/
192 decls[0] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_o4_b"))->decl_id;
193 decls[1] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_m1"))->decl_id;
194 decls[2] = (test_find_decl_by_sym(base, SYM_TYPES, "tag_g_m2"))->decl_id;
195 test_sym_presence(base, "o4_b_role_1", SYM_ROLES, SCOPE_DECL, decls, 3);
196 /* this one will have 2 type sets, one in the global symtab (with both module types) and one in the 4th optional of base */
198 role = test_role_type_set(base, "o4_b_role_1", test_find_decl_by_sym(base, SYM_TYPES, "tag_o4_b"), types, 1, 0);
201 role = test_role_type_set(base, "o4_b_role_1", NULL, types, 2, 0);
203 only_dominates_self(base, role);