1 /* 2 * Copyright 2011 Tresys Technology, LLC. All rights reserved. 3 * 4 * Redistribution and use in source and binary forms, with or without 5 * modification, are permitted provided that the following conditions are met: 6 * 7 * 1. Redistributions of source code must retain the above copyright notice, 8 * this list of conditions and the following disclaimer. 9 * 10 * 2. Redistributions in binary form must reproduce the above copyright notice, 11 * this list of conditions and the following disclaimer in the documentation 12 * and/or other materials provided with the distribution. 13 * 14 * THIS SOFTWARE IS PROVIDED BY TRESYS TECHNOLOGY, LLC ``AS IS'' AND ANY EXPRESS 15 * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF 16 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO 17 * EVENT SHALL TRESYS TECHNOLOGY, LLC OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 18 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, 19 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 20 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF 21 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE 22 * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF 23 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 24 * 25 * The views and conclusions contained in the software and documentation are those 26 * of the authors and should not be interpreted as representing official policies, 27 * either expressed or implied, of Tresys Technology, LLC. 28 */ 29 30 #ifndef TEST_CIL_BUILD_AST_H_ 31 #define TEST_CIL_BUILD_AST_H_ 32 33 #include "CuTest.h" 34 35 void test_cil_parse_to_list(CuTest *); 36 void test_cil_parse_to_list_currnull_neg(CuTest *); 37 void test_cil_parse_to_list_listnull_neg(CuTest *); 38 39 void test_cil_set_to_list(CuTest *); 40 void test_cil_set_to_list_tree_node_null_neg(CuTest *); 41 void test_cil_set_to_list_cl_head_null_neg(CuTest *); 42 void test_cil_set_to_list_listnull_neg(CuTest *); 43 44 void test_cil_gen_block(CuTest *); 45 void test_cil_gen_block_justblock_neg(CuTest *); 46 void test_cil_gen_block_noname_neg(CuTest *); 47 void test_cil_gen_block_dbnull_neg(CuTest *); 48 void test_cil_gen_block_treenull_neg(CuTest *); 49 void test_cil_gen_block_nodenull_neg(CuTest *); 50 void test_cil_gen_block_nodeparentnull_neg(CuTest *); 51 void test_cil_destroy_block(CuTest *); 52 53 void test_cil_gen_blockinherit(CuTest *); 54 void test_cil_gen_blockinherit_namelist_neg(CuTest *); 55 void test_cil_gen_blockinherit_namenull_neg(CuTest *); 56 void test_cil_gen_blockinherit_extra_neg(CuTest *); 57 void test_cil_gen_blockinherit_dbnull_neg(CuTest *); 58 void test_cil_gen_blockinherit_currnull_neg(CuTest *); 59 void test_cil_gen_blockinherit_astnull_neg(CuTest *); 60 61 void test_cil_gen_perm(CuTest *); 62 void test_cil_gen_perm_noname_neg(CuTest *); 63 void test_cil_gen_perm_dbnull_neg(CuTest *); 64 void test_cil_gen_perm_currnull_neg(CuTest *); 65 void test_cil_gen_perm_astnull_neg(CuTest *); 66 void test_cil_gen_perm_nodenull_neg(CuTest *); 67 68 void test_cil_gen_permset(CuTest *); 69 void test_cil_gen_permset_noname_neg(CuTest *); 70 void test_cil_gen_permset_nameinparens_neg(CuTest *); 71 void test_cil_gen_permset_noperms_neg(CuTest *); 72 void test_cil_gen_permset_emptyperms_neg(CuTest *); 73 void test_cil_gen_permset_extra_neg(CuTest *); 74 void test_cil_gen_permset_dbnull_neg(CuTest *); 75 void test_cil_gen_permset_currnull_neg(CuTest *); 76 void test_cil_gen_permset_astnull_neg(CuTest *); 77 78 void test_cil_gen_perm_nodes(CuTest *); 79 void test_cil_gen_perm_nodes_failgen_neg(CuTest *); 80 void test_cil_gen_perm_nodes_inval_perm_neg(CuTest *); 81 82 void test_cil_fill_permset(CuTest *); 83 void test_cil_fill_permset_sublist_neg(CuTest *); 84 void test_cil_fill_permset_startpermnull_neg(CuTest *); 85 void test_cil_fill_permset_permsetnull_neg(CuTest *); 86 87 void test_cil_gen_in(CuTest *); 88 void test_cil_gen_in_blockstrnull_neg(CuTest *); 89 void test_cil_gen_in_extra_neg(CuTest *); 90 void test_cil_gen_in_dbnull_neg(CuTest *); 91 void test_cil_gen_in_currnull_neg(CuTest *); 92 void test_cil_gen_in_astnull_neg(CuTest *); 93 94 void test_cil_gen_class(CuTest *); 95 void test_cil_gen_class_noname_neg(CuTest *); 96 void test_cil_gen_class_nodenull_neg(CuTest *); 97 void test_cil_gen_class_dbnull_neg(CuTest *); 98 void test_cil_gen_class_currnull_neg(CuTest *); 99 void test_cil_gen_class_noclass_neg(CuTest *); 100 void test_cil_gen_class_noclassname_neg(CuTest *); 101 void test_cil_gen_class_namesublist_neg(CuTest *); 102 void test_cil_gen_class_noperms(CuTest *); 103 void test_cil_gen_class_permsnotinlist_neg(CuTest *); 104 void test_cil_gen_class_extrapermlist_neg(CuTest *); 105 void test_cil_gen_class_listinlist_neg(CuTest *); 106 107 void test_cil_fill_classpermset_anonperms(CuTest *); 108 void test_cil_fill_classpermset_anonperms_neg(CuTest *); 109 void test_cil_fill_classpermset_namedperms(CuTest *); 110 void test_cil_fill_classpermset_extra_neg(CuTest *); 111 void test_cil_fill_classpermset_emptypermslist_neg(CuTest *); 112 void test_cil_fill_classpermset_noperms_neg(CuTest *); 113 void test_cil_fill_classpermset_noclass_neg(CuTest *); 114 void test_cil_fill_classpermset_classnodenull_neg(CuTest *); 115 void test_cil_fill_classpermset_cpsnull_neg(CuTest *); 116 117 void test_cil_gen_classpermset(CuTest *); 118 void test_cil_gen_classpermset_noname_neg(CuTest *); 119 void test_cil_gen_classpermset_nameinparens_neg(CuTest *); 120 void test_cil_gen_classpermset_noclass_neg(CuTest *); 121 void test_cil_gen_classpermset_noperms_neg(CuTest *); 122 void test_cil_gen_classpermset_emptyperms_neg(CuTest *); 123 void test_cil_gen_classpermset_extra_neg(CuTest *); 124 void test_cil_gen_classpermset_dbnull_neg(CuTest *); 125 void test_cil_gen_classpermset_currnull_neg(CuTest *); 126 void test_cil_gen_classpermset_astnull_neg(CuTest *); 127 128 void test_cil_gen_classmap_perm(CuTest *); 129 void test_cil_gen_classmap_perm_dupeperm_neg(CuTest *); 130 void test_cil_gen_classmap_perm_dbnull_neg(CuTest *tc); 131 void test_cil_gen_classmap_perm_currnull_neg(CuTest *tc); 132 void test_cil_gen_classmap_perm_astnull_neg(CuTest *tc); 133 134 void test_cil_gen_classmap(CuTest *); 135 void test_cil_gen_classmap_extra_neg(CuTest *); 136 void test_cil_gen_classmap_noname_neg(CuTest *); 137 void test_cil_gen_classmap_emptyperms_neg(CuTest *); 138 void test_cil_gen_classmap_dbnull_neg(CuTest *tc); 139 void test_cil_gen_classmap_currnull_neg(CuTest *tc); 140 void test_cil_gen_classmap_astnull_neg(CuTest *tc); 141 142 void test_cil_gen_classmapping_anonpermset(CuTest *); 143 void test_cil_gen_classmapping_anonpermset_neg(CuTest *); 144 void test_cil_gen_classmapping_namedpermset(CuTest *); 145 void test_cil_gen_classmapping_noclassmapname_neg(CuTest *); 146 void test_cil_gen_classmapping_noclassmapperm_neg(CuTest *); 147 void test_cil_gen_classmapping_nopermissionsets_neg(CuTest *); 148 void test_cil_gen_classmapping_emptyperms_neg(CuTest *); 149 void test_cil_gen_classmapping_dbnull_neg(CuTest *tc); 150 void test_cil_gen_classmapping_currnull_neg(CuTest *tc); 151 void test_cil_gen_classmapping_astnull_neg(CuTest *tc); 152 153 void test_cil_gen_common(CuTest *); 154 void test_cil_gen_common_dbnull_neg(CuTest *tc); 155 void test_cil_gen_common_currnull_neg(CuTest *tc); 156 void test_cil_gen_common_astnull_neg(CuTest *tc); 157 void test_cil_gen_common_noname_neg(CuTest *tc); 158 void test_cil_gen_common_twoperms_neg(CuTest *tc); 159 void test_cil_gen_common_permsublist_neg(CuTest *tc); 160 void test_cil_gen_common_noperms_neg(CuTest *tc); 161 162 void test_cil_gen_sid(CuTest *); 163 void test_cil_gen_sid_noname_neg(CuTest *); 164 void test_cil_gen_sid_nameinparens_neg(CuTest *); 165 void test_cil_gen_sid_extra_neg(CuTest *); 166 void test_cil_gen_sid_dbnull_neg(CuTest *); 167 void test_cil_gen_sid_currnull_neg(CuTest *); 168 void test_cil_gen_sid_astnull_neg(CuTest *); 169 170 void test_cil_gen_sidcontext(CuTest *); 171 void test_cil_gen_sidcontext_namedcontext(CuTest *); 172 void test_cil_gen_sidcontext_halfcontext_neg(CuTest *); 173 void test_cil_gen_sidcontext_noname_neg(CuTest *); 174 void test_cil_gen_sidcontext_empty_neg(CuTest *); 175 void test_cil_gen_sidcontext_nocontext_neg(CuTest *); 176 void test_cil_gen_sidcontext_dblname_neg(CuTest *); 177 void test_cil_gen_sidcontext_dbnull_neg(CuTest *); 178 void test_cil_gen_sidcontext_pcurrnull_neg(CuTest *); 179 void test_cil_gen_sidcontext_astnodenull_neg(CuTest *); 180 181 void test_cil_gen_type(CuTest *); 182 void test_cil_gen_type_neg(CuTest *); 183 void test_cil_gen_type_dbnull_neg(CuTest *tc); 184 void test_cil_gen_type_currnull_neg(CuTest *tc); 185 void test_cil_gen_type_astnull_neg(CuTest *tc); 186 void test_cil_gen_type_extra_neg(CuTest *tc); 187 188 void test_cil_gen_typeattribute(CuTest *); 189 void test_cil_gen_typeattribute_dbnull_neg(CuTest *tc); 190 void test_cil_gen_typeattribute_currnull_neg(CuTest *tc); 191 void test_cil_gen_typeattribute_astnull_neg(CuTest *tc); 192 void test_cil_gen_typeattribute_extra_neg(CuTest *tc); 193 194 void test_cil_gen_typeattr(CuTest *); 195 void test_cil_gen_typeattr_dbnull_neg(CuTest *); 196 void test_cil_gen_typeattr_currnull_neg(CuTest *); 197 void test_cil_gen_typeattr_astnull_neg(CuTest *); 198 void test_cil_gen_typeattr_typenull_neg(CuTest *); 199 void test_cil_gen_typeattr_attrnull_neg(CuTest *); 200 void test_cil_gen_typeattr_attrlist_neg(CuTest *); 201 void test_cil_gen_typeattr_extra_neg(CuTest *); 202 203 void test_cil_gen_typebounds(CuTest *); 204 void test_cil_gen_typebounds_notype1_neg(CuTest *); 205 void test_cil_gen_typebounds_type1inparens_neg(CuTest *); 206 void test_cil_gen_typebounds_notype2_neg(CuTest *); 207 void test_cil_gen_typebounds_type2inparens_neg(CuTest *); 208 void test_cil_gen_typebounds_extra_neg(CuTest *); 209 void test_cil_gen_typebounds_dbnull_neg(CuTest *); 210 void test_cil_gen_typebounds_currnull_neg(CuTest *); 211 void test_cil_gen_typebounds_astnull_neg(CuTest *); 212 213 void test_cil_gen_typepermissive(CuTest *); 214 void test_cil_gen_typepermissive_noname_neg(CuTest *); 215 void test_cil_gen_typepermissive_typeinparens_neg(CuTest *); 216 void test_cil_gen_typepermissive_extra_neg(CuTest *); 217 void test_cil_gen_typepermissive_dbnull_neg(CuTest *); 218 void test_cil_gen_typepermissive_currnull_neg(CuTest *); 219 void test_cil_gen_typepermissive_astnull_neg(CuTest *); 220 221 void test_cil_gen_nametypetransition(CuTest *); 222 void test_cil_gen_nametypetransition_nostr_neg(CuTest *); 223 void test_cil_gen_nametypetransition_strinparens_neg(CuTest *); 224 void test_cil_gen_nametypetransition_nosrc_neg(CuTest *); 225 void test_cil_gen_nametypetransition_srcinparens_neg(CuTest *); 226 void test_cil_gen_nametypetransition_notgt_neg(CuTest *); 227 void test_cil_gen_nametypetransition_tgtinparens_neg(CuTest *); 228 void test_cil_gen_nametypetransition_noclass_neg(CuTest *); 229 void test_cil_gen_nametypetransition_classinparens_neg(CuTest *); 230 void test_cil_gen_nametypetransition_nodest_neg(CuTest *); 231 void test_cil_gen_nametypetransition_destinparens_neg(CuTest *); 232 void test_cil_gen_nametypetransition_extra_neg(CuTest *); 233 void test_cil_gen_nametypetransition_dbnull_neg(CuTest *); 234 void test_cil_gen_nametypetransition_currnull_neg(CuTest *); 235 void test_cil_gen_nametypetransition_astnull_neg(CuTest *); 236 237 void test_cil_gen_rangetransition(CuTest *); 238 void test_cil_gen_rangetransition_namedtransition(CuTest *); 239 void test_cil_gen_rangetransition_anon_low_l(CuTest *); 240 void test_cil_gen_rangetransition_anon_low_l_neg(CuTest *); 241 void test_cil_gen_rangetransition_anon_high_l(CuTest *); 242 void test_cil_gen_rangetransition_anon_high_l_neg(CuTest *); 243 void test_cil_gen_rangetransition_dbnull_neg(CuTest *); 244 void test_cil_gen_rangetransition_currnull_neg(CuTest *); 245 void test_cil_gen_rangetransition_astnull_neg(CuTest *); 246 void test_cil_gen_rangetransition_nofirsttype_neg(CuTest *); 247 void test_cil_gen_rangetransition_firsttype_inparens_neg(CuTest *); 248 void test_cil_gen_rangetransition_nosecondtype_neg(CuTest *); 249 void test_cil_gen_rangetransition_secondtype_inparens_neg(CuTest *); 250 void test_cil_gen_rangetransition_noclass_neg(CuTest *); 251 void test_cil_gen_rangetransition_class_inparens_neg(CuTest *); 252 void test_cil_gen_rangetransition_nolevel_l_neg(CuTest *); 253 void test_cil_gen_rangetransition_nolevel_h_neg(CuTest *); 254 void test_cil_gen_rangetransition_extra_neg(CuTest *); 255 256 void test_cil_gen_expr_stack_and(CuTest *); 257 void test_cil_gen_expr_stack_or(CuTest *); 258 void test_cil_gen_expr_stack_xor(CuTest *); 259 void test_cil_gen_expr_stack_not(CuTest *); 260 void test_cil_gen_expr_stack_not_noexpr_neg(CuTest *); 261 void test_cil_gen_expr_stack_not_extraexpr_neg(CuTest *); 262 void test_cil_gen_expr_stack_eq(CuTest *); 263 void test_cil_gen_expr_stack_neq(CuTest *); 264 void test_cil_gen_expr_stack_nested(CuTest *); 265 void test_cil_gen_expr_stack_nested_neg(CuTest *); 266 void test_cil_gen_expr_stack_nested_emptyargs_neg(CuTest *); 267 void test_cil_gen_expr_stack_nested_missingoperator_neg(CuTest *); 268 void test_cil_gen_expr_stack_arg1null_neg(CuTest *); 269 void test_cil_gen_expr_stack_arg2null_neg(CuTest *); 270 void test_cil_gen_expr_stack_extraarg_neg(CuTest *); 271 void test_cil_gen_expr_stack_currnull_neg(CuTest *); 272 void test_cil_gen_expr_stack_stacknull_neg(CuTest *); 273 274 void test_cil_gen_boolif_multiplebools_true(CuTest *); 275 void test_cil_gen_boolif_multiplebools_false(CuTest *); 276 void test_cil_gen_boolif_multiplebools_unknowncond_neg(CuTest *); 277 void test_cil_gen_boolif_true(CuTest *); 278 void test_cil_gen_boolif_false(CuTest *); 279 void test_cil_gen_boolif_unknowncond_neg(CuTest *); 280 void test_cil_gen_boolif_nested(CuTest *); 281 void test_cil_gen_boolif_nested_neg(CuTest *); 282 void test_cil_gen_boolif_extra_neg(CuTest *); 283 void test_cil_gen_boolif_extra_parens_neg(CuTest *); 284 void test_cil_gen_boolif_nocond(CuTest *); 285 void test_cil_gen_boolif_neg(CuTest *); 286 void test_cil_gen_boolif_dbnull_neg(CuTest *); 287 void test_cil_gen_boolif_currnull_neg(CuTest *); 288 void test_cil_gen_boolif_astnull_neg(CuTest *); 289 void test_cil_gen_boolif_nocond_neg(CuTest *); 290 void test_cil_gen_boolif_notruelist_neg(CuTest *); 291 void test_cil_gen_boolif_empty_cond_neg(CuTest *); 292 293 void test_cil_gen_else(CuTest *); 294 void test_cil_gen_else_neg(CuTest *); 295 void test_cil_gen_else_dbnull_neg(CuTest *); 296 void test_cil_gen_else_currnull_neg(CuTest *); 297 void test_cil_gen_else_astnull_neg(CuTest *); 298 299 void test_cil_gen_tunif_multiplebools_true(CuTest *); 300 void test_cil_gen_tunif_multiplebools_false(CuTest *); 301 void test_cil_gen_tunif_multiplebools_unknowncond_neg(CuTest *); 302 void test_cil_gen_tunif_true(CuTest *); 303 void test_cil_gen_tunif_false(CuTest *); 304 void test_cil_gen_tunif_unknowncond_neg(CuTest *); 305 void test_cil_gen_tunif_nocond(CuTest *); 306 void test_cil_gen_tunif_nested(CuTest *); 307 void test_cil_gen_tunif_nested_neg(CuTest *); 308 void test_cil_gen_tunif_extra_neg(CuTest *); 309 void test_cil_gen_tunif_extra_parens_neg(CuTest *); 310 void test_cil_gen_tunif_neg(CuTest *); 311 void test_cil_gen_tunif_dbnull_neg(CuTest *); 312 void test_cil_gen_tunif_currnull_neg(CuTest *); 313 void test_cil_gen_tunif_astnull_neg(CuTest *); 314 void test_cil_gen_tunif_nocond_neg(CuTest *); 315 void test_cil_gen_tunif_notruelist_neg(CuTest *); 316 317 void test_cil_gen_condblock_true(CuTest *); 318 void test_cil_gen_condblock_false(CuTest *); 319 void test_cil_gen_condblock_dbnull_neg(CuTest *); 320 void test_cil_gen_condblock_currnull_neg(CuTest *); 321 void test_cil_gen_condblock_astnull_neg(CuTest *); 322 void test_cil_gen_condblock_nocond_neg(CuTest *); 323 void test_cil_gen_condblock_extra_neg(CuTest *); 324 325 void test_cil_gen_typealias(CuTest *); 326 void test_cil_gen_typealias_incomplete_neg(CuTest *); 327 void test_cil_gen_typealias_incomplete_neg2(CuTest *); 328 void test_cil_gen_typealias_extratype_neg(CuTest *); 329 void test_cil_gen_typealias_dbnull_neg(CuTest *tc); 330 void test_cil_gen_typealias_currnull_neg(CuTest *tc); 331 void test_cil_gen_typealias_astnull_neg(CuTest *tc); 332 333 void test_cil_gen_typeattributeset(CuTest *); 334 void test_cil_gen_typeattributeset_and_two_types(CuTest *); 335 void test_cil_gen_typeattributeset_not(CuTest *); 336 void test_cil_gen_typeattributeset_exclude_attr(CuTest *); 337 void test_cil_gen_typeattributeset_exclude_neg(CuTest *); 338 void test_cil_gen_typeattributeset_dbnull_neg(CuTest *); 339 void test_cil_gen_typeattributeset_currnull_neg(CuTest *); 340 void test_cil_gen_typeattributeset_astnull_neg(CuTest *); 341 void test_cil_gen_typeattributeset_noname_neg(CuTest *); 342 void test_cil_gen_typeattributeset_nameinparens_neg(CuTest *); 343 void test_cil_gen_typeattributeset_emptylists_neg(CuTest *); 344 void test_cil_gen_typeattributeset_listinparens_neg(CuTest *); 345 void test_cil_gen_typeattributeset_extra_neg(CuTest *); 346 347 void test_cil_gen_userbounds(CuTest *); 348 void test_cil_gen_userbounds_notype1_neg(CuTest *); 349 void test_cil_gen_userbounds_type1_inparens_neg(CuTest *); 350 void test_cil_gen_userbounds_notype2_neg(CuTest *); 351 void test_cil_gen_userbounds_type2_inparens_neg(CuTest *); 352 void test_cil_gen_userbounds_extra_neg(CuTest *); 353 void test_cil_gen_userbounds_dbnull_neg(CuTest *); 354 void test_cil_gen_userbounds_currnull_neg(CuTest *); 355 void test_cil_gen_userbounds_astnull_neg(CuTest *); 356 357 void test_cil_gen_role(CuTest *); 358 void test_cil_gen_role_dbnull_neg(CuTest *tc); 359 void test_cil_gen_role_currnull_neg(CuTest *tc); 360 void test_cil_gen_role_astnull_neg(CuTest *tc); 361 void test_cil_gen_role_extrarole_neg(CuTest *tc); 362 void test_cil_gen_role_noname_neg(CuTest *tc); 363 364 void test_cil_gen_roletransition(CuTest *); 365 void test_cil_gen_roletransition_currnull_neg(CuTest *); 366 void test_cil_gen_roletransition_astnull_neg(CuTest *); 367 void test_cil_gen_roletransition_srcnull_neg(CuTest *); 368 void test_cil_gen_roletransition_tgtnull_neg(CuTest *); 369 void test_cil_gen_roletransition_resultnull_neg(CuTest *); 370 void test_cil_gen_roletransition_extra_neg(CuTest *); 371 372 void test_cil_gen_bool_true(CuTest *); 373 void test_cil_gen_bool_tunable_true(CuTest *); 374 void test_cil_gen_bool_false(CuTest *); 375 void test_cil_gen_bool_tunable_false(CuTest *); 376 void test_cil_gen_bool_none_neg(CuTest *); 377 void test_cil_gen_bool_dbnull_neg(CuTest *); 378 void test_cil_gen_bool_currnull_neg(CuTest *); 379 void test_cil_gen_bool_astnull_neg(CuTest *); 380 void test_cil_gen_bool_notbool_neg(CuTest *); 381 void test_cil_gen_bool_boolname_neg(CuTest *); 382 void test_cil_gen_bool_extraname_false_neg(CuTest *); 383 void test_cil_gen_bool_extraname_true_neg(CuTest *); 384 385 void test_cil_gen_constrain_expr_stack_eq2_t1type(CuTest *); 386 void test_cil_gen_constrain_expr_stack_eq2_t1t1_neg(CuTest *); 387 void test_cil_gen_constrain_expr_stack_eq2_t2type(CuTest *); 388 void test_cil_gen_constrain_expr_stack_eq2_t2t2_neg(CuTest *); 389 void test_cil_gen_constrain_expr_stack_eq2_r1role(CuTest *); 390 void test_cil_gen_constrain_expr_stack_eq2_r1r1_neg(CuTest *); 391 void test_cil_gen_constrain_expr_stack_eq2_r2role(CuTest *); 392 void test_cil_gen_constrain_expr_stack_eq2_r2r2_neg(CuTest *); 393 void test_cil_gen_constrain_expr_stack_eq2_t1t2(CuTest *); 394 void test_cil_gen_constrain_expr_stack_eq_r1r2(CuTest *); 395 void test_cil_gen_constrain_expr_stack_eq2_r1r2(CuTest *); 396 void test_cil_gen_constrain_expr_stack_eq2_u1u2(CuTest *); 397 void test_cil_gen_constrain_expr_stack_eq2_u1user(CuTest *); 398 void test_cil_gen_constrain_expr_stack_eq2_u1u1_neg(CuTest *); 399 void test_cil_gen_constrain_expr_stack_eq2_u2user(CuTest *); 400 void test_cil_gen_constrain_expr_stack_eq2_u2u2_neg(CuTest *); 401 void test_cil_gen_constrain_expr_stack_eq_l2h2(CuTest *); 402 void test_cil_gen_constrain_expr_stack_eq_l2_neg(CuTest *); 403 void test_cil_gen_constrain_expr_stack_eq_l1l2(CuTest *); 404 void test_cil_gen_constrain_expr_stack_eq_l1h1(CuTest *); 405 void test_cil_gen_constrain_expr_stack_eq_l1h2(CuTest *); 406 void test_cil_gen_constrain_expr_stack_eq_h1l2(CuTest *); 407 void test_cil_gen_constrain_expr_stack_eq_h1h2(CuTest *); 408 void test_cil_gen_constrain_expr_stack_eq_h1_neg(CuTest *); 409 void test_cil_gen_constrain_expr_stack_eq_l1l1_neg(CuTest *); 410 void test_cil_gen_constrain_expr_stack_eq2_l1l2_constrain_neg(CuTest *); 411 void test_cil_gen_constrain_expr_stack_eq_l1l2_constrain_neg(CuTest *); 412 void test_cil_gen_constrain_expr_stack_eq_leftkeyword_neg(CuTest *); 413 void test_cil_gen_constrain_expr_stack_eq_noexpr1_neg(CuTest *); 414 void test_cil_gen_constrain_expr_stack_eq_expr1inparens_neg(CuTest *); 415 void test_cil_gen_constrain_expr_stack_eq_noexpr2_neg(CuTest *); 416 void test_cil_gen_constrain_expr_stack_eq_expr2inparens_neg(CuTest *); 417 void test_cil_gen_constrain_expr_stack_eq_extraexpr_neg(CuTest *); 418 void test_cil_gen_constrain_expr_stack_eq2(CuTest *); 419 void test_cil_gen_constrain_expr_stack_eq2_noexpr1_neg(CuTest *); 420 void test_cil_gen_constrain_expr_stack_eq2_expr1inparens_neg(CuTest *); 421 void test_cil_gen_constrain_expr_stack_eq2_noexpr2_neg(CuTest *); 422 void test_cil_gen_constrain_expr_stack_eq2_expr2inparens_neg(CuTest *); 423 void test_cil_gen_constrain_expr_stack_eq2_extraexpr_neg(CuTest *); 424 void test_cil_gen_constrain_expr_stack_noteq(CuTest *); 425 void test_cil_gen_constrain_expr_stack_noteq_noexpr1_neg(CuTest *); 426 void test_cil_gen_constrain_expr_stack_noteq_expr1inparens_neg(CuTest *); 427 void test_cil_gen_constrain_expr_stack_noteq_noexpr2_neg(CuTest *); 428 void test_cil_gen_constrain_expr_stack_noteq_expr2inparens_neg(CuTest *); 429 void test_cil_gen_constrain_expr_stack_noteq_extraexpr_neg(CuTest *); 430 void test_cil_gen_constrain_expr_stack_not(CuTest *); 431 void test_cil_gen_constrain_expr_stack_not_noexpr_neg(CuTest *); 432 void test_cil_gen_constrain_expr_stack_not_emptyparens_neg(CuTest *); 433 void test_cil_gen_constrain_expr_stack_not_extraparens_neg(CuTest *); 434 void test_cil_gen_constrain_expr_stack_or(CuTest *); 435 void test_cil_gen_constrain_expr_stack_or_neg(CuTest *); 436 void test_cil_gen_constrain_expr_stack_or_noexpr_neg(CuTest *); 437 void test_cil_gen_constrain_expr_stack_or_emptyfirstparens_neg(CuTest *); 438 void test_cil_gen_constrain_expr_stack_or_missingsecondexpr_neg(CuTest *); 439 void test_cil_gen_constrain_expr_stack_or_emptysecondparens_neg(CuTest *); 440 void test_cil_gen_constrain_expr_stack_or_extraexpr_neg(CuTest *); 441 void test_cil_gen_constrain_expr_stack_and(CuTest *); 442 void test_cil_gen_constrain_expr_stack_and_neg(CuTest *); 443 void test_cil_gen_constrain_expr_stack_and_noexpr_neg(CuTest *); 444 void test_cil_gen_constrain_expr_stack_and_emptyfirstparens_neg(CuTest *); 445 void test_cil_gen_constrain_expr_stack_and_missingsecondexpr_neg(CuTest *); 446 void test_cil_gen_constrain_expr_stack_and_emptysecondparens_neg(CuTest *); 447 void test_cil_gen_constrain_expr_stack_and_extraexpr_neg(CuTest *); 448 void test_cil_gen_constrain_expr_stack_dom(CuTest *); 449 void test_cil_gen_constrain_expr_stack_dom_noexpr1_neg(CuTest *); 450 void test_cil_gen_constrain_expr_stack_dom_expr1inparens_neg(CuTest *); 451 void test_cil_gen_constrain_expr_stack_dom_noexpr2_neg(CuTest *); 452 void test_cil_gen_constrain_expr_stack_dom_expr2inparens_neg(CuTest *); 453 void test_cil_gen_constrain_expr_stack_dom_extraexpr_neg(CuTest *); 454 void test_cil_gen_constrain_expr_stack_domby(CuTest *); 455 void test_cil_gen_constrain_expr_stack_domby_noexpr1_neg(CuTest *); 456 void test_cil_gen_constrain_expr_stack_domby_expr1inparens_neg(CuTest *); 457 void test_cil_gen_constrain_expr_stack_domby_noexpr2_neg(CuTest *); 458 void test_cil_gen_constrain_expr_stack_domby_expr2inparens_neg(CuTest *); 459 void test_cil_gen_constrain_expr_stack_domby_extraexpr_neg(CuTest *); 460 void test_cil_gen_constrain_expr_stack_incomp(CuTest *); 461 void test_cil_gen_constrain_expr_stack_incomp_noexpr1_neg(CuTest *); 462 void test_cil_gen_constrain_expr_stack_incomp_expr1inparens_neg(CuTest *); 463 void test_cil_gen_constrain_expr_stack_incomp_noexpr2_neg(CuTest *); 464 void test_cil_gen_constrain_expr_stack_incomp_expr2inparens_neg(CuTest *); 465 void test_cil_gen_constrain_expr_stack_incomp_extraexpr_neg(CuTest *); 466 void test_cil_gen_constrain_expr_stack_currnull_neg(CuTest *); 467 void test_cil_gen_constrain_expr_stack_stacknull_neg(CuTest *); 468 void test_cil_gen_constrain_expr_stack_operatorinparens_neg(CuTest *); 469 void test_cil_gen_constrain_expr_stack_incorrectcall_neg(CuTest *); 470 471 void test_cil_gen_roleallow(CuTest *); 472 void test_cil_gen_roleallow_dbnull_neg(CuTest *); 473 void test_cil_gen_roleallow_currnull_neg(CuTest *); 474 void test_cil_gen_roleallow_astnull_neg(CuTest *); 475 void test_cil_gen_roleallow_srcnull_neg(CuTest *); 476 void test_cil_gen_roleallow_tgtnull_neg(CuTest *); 477 void test_cil_gen_roleallow_extra_neg(CuTest *); 478 479 void test_cil_gen_rolebounds(CuTest *); 480 void test_cil_gen_rolebounds_norole1_neg(CuTest *); 481 void test_cil_gen_rolebounds_role1_inparens_neg(CuTest *); 482 void test_cil_gen_rolebounds_norole2_neg(CuTest *); 483 void test_cil_gen_rolebounds_role2_inparens_neg(CuTest *); 484 void test_cil_gen_rolebounds_extra_neg(CuTest *); 485 void test_cil_gen_rolebounds_dbnull_neg(CuTest *); 486 void test_cil_gen_rolebounds_currnull_neg(CuTest *); 487 void test_cil_gen_rolebounds_astnull_neg(CuTest *); 488 489 void test_cil_gen_avrule(CuTest *); 490 void test_cil_gen_avrule_permset(CuTest *); 491 void test_cil_gen_avrule_permset_anon(CuTest *); 492 void test_cil_gen_avrule_extra_neg(CuTest *); 493 void test_cil_gen_avrule_sourceparens(CuTest *); 494 void test_cil_gen_avrule_sourceemptyparen_neg(CuTest *); 495 void test_cil_gen_avrule_targetparens(CuTest *); 496 void test_cil_gen_avrule_targetemptyparen_neg(CuTest *); 497 void test_cil_gen_avrule_currnull_neg(CuTest *tc); 498 void test_cil_gen_avrule_astnull_neg(CuTest *tc); 499 void test_cil_gen_avrule_sourcedomainnull_neg(CuTest *tc); 500 void test_cil_gen_avrule_targetdomainnull_neg(CuTest *tc); 501 void test_cil_gen_avrule_objectclassnull_neg(CuTest *tc); 502 void test_cil_gen_avrule_permsnull_neg(CuTest *tc); 503 void test_cil_gen_avrule_twolists_neg(CuTest *); 504 //TODO: add cases to cover parse_current->next->cl_head != NULL || parse_current->next->next->cl_head != NULL 505 // || parse_current->next->next->next->cl_head != NULL 506 507 void test_cil_gen_type_rule_transition(CuTest *); 508 void test_cil_gen_type_rule_transition_currnull_neg(CuTest *); 509 void test_cil_gen_type_rule_transition_astnull_neg(CuTest *); 510 void test_cil_gen_type_rule_transition_srcnull_neg(CuTest *); 511 void test_cil_gen_type_rule_transition_tgtnull_neg(CuTest *); 512 void test_cil_gen_type_rule_transition_objnull_neg(CuTest *); 513 void test_cil_gen_type_rule_transition_resultnull_neg(CuTest *); 514 void test_cil_gen_type_rule_transition_extra_neg(CuTest *); 515 516 void test_cil_gen_type_rule_change(CuTest *); 517 void test_cil_gen_type_rule_change_currnull_neg(CuTest *); 518 void test_cil_gen_type_rule_change_astnull_neg(CuTest *); 519 void test_cil_gen_type_rule_change_srcnull_neg(CuTest *); 520 void test_cil_gen_type_rule_change_tgtnull_neg(CuTest *); 521 void test_cil_gen_type_rule_change_objnull_neg(CuTest *); 522 void test_cil_gen_type_rule_change_resultnull_neg(CuTest *); 523 void test_cil_gen_type_rule_change_extra_neg(CuTest *); 524 525 void test_cil_gen_type_rule_member(CuTest *); 526 void test_cil_gen_type_rule_member_currnull_neg(CuTest *); 527 void test_cil_gen_type_rule_member_astnull_neg(CuTest *); 528 void test_cil_gen_type_rule_member_srcnull_neg(CuTest *); 529 void test_cil_gen_type_rule_member_tgtnull_neg(CuTest *); 530 void test_cil_gen_type_rule_member_objnull_neg(CuTest *); 531 void test_cil_gen_type_rule_member_resultnull_neg(CuTest *); 532 void test_cil_gen_type_rule_member_extra_neg(CuTest *); 533 534 void test_cil_gen_user(CuTest *); 535 void test_cil_gen_user_dbnull_neg(CuTest *); 536 void test_cil_gen_user_currnull_neg(CuTest *); 537 void test_cil_gen_user_astnull_neg(CuTest *); 538 void test_cil_gen_user_nouser_neg(CuTest *); 539 void test_cil_gen_user_xsinfo_neg(CuTest *); 540 541 void test_cil_gen_userlevel(CuTest *); 542 void test_cil_gen_userlevel_anon_level(CuTest *); 543 void test_cil_gen_userlevel_anon_level_neg(CuTest *); 544 void test_cil_gen_userlevel_usernull_neg(CuTest *); 545 void test_cil_gen_userlevel_userrange_neg(CuTest *); 546 void test_cil_gen_userlevel_levelnull_neg(CuTest *); 547 void test_cil_gen_userlevel_levelrangeempty_neg(CuTest *); 548 void test_cil_gen_userlevel_extra_neg(CuTest *); 549 void test_cil_gen_userlevel_dbnull_neg(CuTest *); 550 void test_cil_gen_userlevel_currnull_neg(CuTest *); 551 void test_cil_gen_userlevel_astnull_neg(CuTest *); 552 553 void test_cil_gen_userrange_named(CuTest *); 554 void test_cil_gen_userrange_anon(CuTest *); 555 void test_cil_gen_userrange_usernull_neg(CuTest *); 556 void test_cil_gen_userrange_anonuser_neg(CuTest *); 557 void test_cil_gen_userrange_rangenamenull_neg(CuTest *); 558 void test_cil_gen_userrange_anonrangeinvalid_neg(CuTest *); 559 void test_cil_gen_userrange_anonrangeempty_neg(CuTest *); 560 void test_cil_gen_userrange_extra_neg(CuTest *); 561 void test_cil_gen_userrange_dbnull_neg(CuTest *); 562 void test_cil_gen_userrange_currnull_neg(CuTest *); 563 void test_cil_gen_userrange_astnull_neg(CuTest *); 564 565 void test_cil_gen_sensitivity(CuTest *); 566 void test_cil_gen_sensitivity_dbnull_neg(CuTest *); 567 void test_cil_gen_sensitivity_currnull_neg(CuTest *); 568 void test_cil_gen_sensitivity_astnull_neg(CuTest *); 569 void test_cil_gen_sensitivity_sensnull_neg(CuTest *); 570 void test_cil_gen_sensitivity_senslist_neg(CuTest *); 571 void test_cil_gen_sensitivity_extra_neg(CuTest *); 572 573 void test_cil_gen_sensalias(CuTest *); 574 void test_cil_gen_sensalias_dbnull_neg(CuTest *); 575 void test_cil_gen_sensalias_currnull_neg(CuTest *); 576 void test_cil_gen_sensalias_astnull_neg(CuTest *); 577 void test_cil_gen_sensalias_sensnull_neg(CuTest *); 578 void test_cil_gen_sensalias_senslist_neg(CuTest *); 579 void test_cil_gen_sensalias_aliasnull_neg(CuTest *); 580 void test_cil_gen_sensalias_aliaslist_neg(CuTest *); 581 void test_cil_gen_sensalias_extra_neg(CuTest *); 582 583 void test_cil_gen_category(CuTest *); 584 void test_cil_gen_category_dbnull_neg(CuTest *); 585 void test_cil_gen_category_astnull_neg(CuTest *); 586 void test_cil_gen_category_currnull_neg(CuTest *); 587 void test_cil_gen_category_catnull_neg(CuTest *); 588 void test_cil_gen_category_catlist_neg(CuTest *); 589 void test_cil_gen_category_extra_neg(CuTest *); 590 591 void test_cil_gen_catset(CuTest *); 592 void test_cil_gen_catset_dbnull_neg(CuTest *); 593 void test_cil_gen_catset_currnull_neg(CuTest *); 594 void test_cil_gen_catset_astnull_neg(CuTest *); 595 void test_cil_gen_catset_namenull_neg(CuTest *); 596 void test_cil_gen_catset_setnull_neg(CuTest *); 597 void test_cil_gen_catset_namelist_neg(CuTest *); 598 void test_cil_gen_catset_extra_neg(CuTest *); 599 void test_cil_gen_catset_nodefail_neg(CuTest *); 600 void test_cil_gen_catset_notset_neg(CuTest *); 601 void test_cil_gen_catset_settolistfail_neg(CuTest *); 602 603 void test_cil_gen_catalias(CuTest *); 604 void test_cil_gen_catalias_dbnull_neg(CuTest *); 605 void test_cil_gen_catalias_currnull_neg(CuTest *); 606 void test_cil_gen_catalias_astnull_neg(CuTest *); 607 void test_cil_gen_catalias_catnull_neg(CuTest *); 608 void test_cil_gen_catalias_aliasnull_neg(CuTest *); 609 void test_cil_gen_catalias_extra_neg(CuTest *); 610 611 void test_cil_gen_catrange(CuTest *); 612 void test_cil_gen_catrange_noname_neg(CuTest *); 613 void test_cil_gen_catrange_norange_neg(CuTest *); 614 void test_cil_gen_catrange_emptyrange_neg(CuTest *); 615 void test_cil_gen_catrange_extrarange_neg(CuTest *); 616 void test_cil_gen_catrange_dbnull_neg(CuTest *); 617 void test_cil_gen_catrange_currnull_neg(CuTest *); 618 void test_cil_gen_catrange_astnull_neg(CuTest *); 619 void test_cil_gen_catrange_extra_neg(CuTest *); 620 621 void test_cil_gen_roletype(CuTest *tc); 622 void test_cil_gen_roletype_currnull_neg(CuTest *tc); 623 void test_cil_gen_roletype_dbnull_neg(CuTest *tc); 624 void test_cil_gen_roletype_astnull_neg(CuTest *tc); 625 void test_cil_gen_roletype_empty_neg(CuTest *tc); 626 void test_cil_gen_roletype_rolelist_neg(CuTest *tc); 627 void test_cil_gen_roletype_roletype_sublist_neg(CuTest *tc); 628 void test_cil_gen_roletype_typelist_neg(CuTest *tc); 629 630 void test_cil_gen_userrole(CuTest *tc); 631 void test_cil_gen_userrole_currnull_neg(CuTest *tc); 632 void test_cil_gen_userrole_dbnull_neg(CuTest *tc); 633 void test_cil_gen_userrole_astnull_neg(CuTest *tc); 634 void test_cil_gen_userrole_empty_neg(CuTest *tc); 635 void test_cil_gen_userrole_userlist_neg(CuTest *tc); 636 void test_cil_gen_userrole_userrole_sublist_neg(CuTest *tc); 637 void test_cil_gen_userrole_rolelist_neg(CuTest *tc); 638 639 void test_cil_gen_classcommon(CuTest *tc); 640 void test_cil_gen_classcommon_dbnull_neg(CuTest *tc); 641 void test_cil_gen_classcommon_currnull_neg(CuTest *tc); 642 void test_cil_gen_classcommon_astnull_neg(CuTest *tc); 643 void test_cil_gen_classcommon_missingclassname_neg(CuTest *tc); 644 void test_cil_gen_classcommon_noperms_neg(CuTest *tc); 645 void test_cil_gen_classcommon_extraperms_neg(CuTest *tc); 646 647 void test_cil_gen_catorder(CuTest *tc); 648 void test_cil_gen_catorder_dbnull_neg(CuTest *tc); 649 void test_cil_gen_catorder_currnull_neg(CuTest *tc); 650 void test_cil_gen_catorder_astnull_neg(CuTest *tc); 651 void test_cil_gen_catorder_missingcats_neg(CuTest *tc); 652 void test_cil_gen_catorder_nosublist_neg(CuTest *tc); 653 void test_cil_gen_catorder_nestedcat_neg(CuTest *tc); 654 655 void test_cil_gen_dominance(CuTest *tc); 656 void test_cil_gen_dominance_dbnull_neg(CuTest *tc); 657 void test_cil_gen_dominance_currnull_neg(CuTest *tc); 658 void test_cil_gen_dominance_astnull_neg(CuTest *tc); 659 void test_cil_gen_dominance_nosensitivities_neg(CuTest *tc); 660 void test_cil_gen_dominance_nosublist_neg(CuTest *tc); 661 662 void test_cil_gen_senscat(CuTest *tc); 663 void test_cil_gen_senscat_nosublist(CuTest *); 664 void test_cil_gen_senscat_dbnull_neg(CuTest *tc); 665 void test_cil_gen_senscat_currnull_neg(CuTest *tc); 666 void test_cil_gen_senscat_astnull_neg(CuTest *tc); 667 void test_cil_gen_senscat_nosensitivities_neg(CuTest *tc); 668 void test_cil_gen_senscat_sublist_neg(CuTest *); 669 void test_cil_gen_senscat_nocat_neg(CuTest *); 670 671 void test_cil_fill_level(CuTest *tc); 672 void test_cil_fill_level_sensnull_neg(CuTest *tc); 673 void test_cil_fill_level_levelnull_neg(CuTest *tc); 674 void test_cil_fill_level_nocat(CuTest *tc); 675 void test_cil_fill_level_emptycat_neg(CuTest *tc); 676 677 void test_cil_gen_level(CuTest *tc); 678 void test_cil_gen_level_nameinparens_neg(CuTest *tc); 679 void test_cil_gen_level_emptysensparens_neg(CuTest *tc); 680 void test_cil_gen_level_extra_neg(CuTest *tc); 681 void test_cil_gen_level_emptycat_neg(CuTest *tc); 682 void test_cil_gen_level_noname_neg(CuTest *tc); 683 void test_cil_gen_level_nosens_neg(CuTest *tc); 684 void test_cil_gen_level_dbnull_neg(CuTest *tc); 685 void test_cil_gen_level_currnull_neg(CuTest *tc); 686 void test_cil_gen_level_astnull_neg(CuTest *tc); 687 688 void test_cil_gen_levelrange(CuTest *tc); 689 void test_cil_gen_levelrange_rangeinvalid_neg(CuTest *tc); 690 void test_cil_gen_levelrange_namenull_neg(CuTest *tc); 691 void test_cil_gen_levelrange_rangenull_neg(CuTest *tc); 692 void test_cil_gen_levelrange_rangeempty_neg(CuTest *tc); 693 void test_cil_gen_levelrange_extra_neg(CuTest *tc); 694 void test_cil_gen_levelrange_dbnull_neg(CuTest *tc); 695 void test_cil_gen_levelrange_currnull_neg(CuTest *tc); 696 void test_cil_gen_levelrange_astnull_neg(CuTest *tc); 697 698 void test_cil_gen_constrain(CuTest *tc); 699 void test_cil_gen_constrain_neg(CuTest *tc); 700 void test_cil_gen_constrain_classset_neg(CuTest *tc); 701 void test_cil_gen_constrain_classset_noclass_neg(CuTest *tc); 702 void test_cil_gen_constrain_classset_noperm_neg(CuTest *tc); 703 void test_cil_gen_constrain_permset_neg(CuTest *tc); 704 void test_cil_gen_constrain_permset_noclass_neg(CuTest *tc); 705 void test_cil_gen_constrain_permset_noperm_neg(CuTest *tc); 706 void test_cil_gen_constrain_expression_neg(CuTest *tc); 707 void test_cil_gen_constrain_dbnull_neg(CuTest *tc); 708 void test_cil_gen_constrain_currnull_neg(CuTest *tc); 709 void test_cil_gen_constrain_astnull_neg(CuTest *tc); 710 711 void test_cil_fill_context(CuTest *tc); 712 void test_cil_fill_context_unnamedlvl(CuTest *tc); 713 void test_cil_fill_context_nocontext_neg(CuTest *tc); 714 void test_cil_fill_context_nouser_neg(CuTest *tc); 715 void test_cil_fill_context_norole_neg(CuTest *tc); 716 void test_cil_fill_context_notype_neg(CuTest *tc); 717 void test_cil_fill_context_nolowlvl_neg(CuTest *tc); 718 void test_cil_fill_context_nohighlvl_neg(CuTest *tc); 719 void test_cil_fill_context_unnamedlvl_nocontextlow_neg(CuTest *tc); 720 void test_cil_fill_context_unnamedlvl_nocontexthigh_neg(CuTest *tc); 721 722 void test_cil_gen_context(CuTest *tc); 723 void test_cil_gen_context_notinparens_neg(CuTest *tc); 724 void test_cil_gen_context_extralevel_neg(CuTest *tc); 725 void test_cil_gen_context_emptycontext_neg(CuTest *tc); 726 void test_cil_gen_context_extra_neg(CuTest *tc); 727 void test_cil_gen_context_doubleparen_neg(CuTest *tc); 728 void test_cil_gen_context_norole_neg(CuTest *tc); 729 void test_cil_gen_context_roleinparens_neg(CuTest *tc); 730 void test_cil_gen_context_notype_neg(CuTest *tc); 731 void test_cil_gen_context_typeinparens_neg(CuTest *tc); 732 void test_cil_gen_context_nolevels_neg(CuTest *tc); 733 void test_cil_gen_context_nosecondlevel_neg(CuTest *tc); 734 void test_cil_gen_context_noname_neg(CuTest *tc); 735 void test_cil_gen_context_nouser_neg(CuTest *tc); 736 void test_cil_gen_context_dbnull_neg(CuTest *tc); 737 void test_cil_gen_context_currnull_neg(CuTest *tc); 738 void test_cil_gen_context_astnull_neg(CuTest *tc); 739 740 void test_cil_gen_filecon_file(CuTest *tc); 741 void test_cil_gen_filecon_dir(CuTest *tc); 742 void test_cil_gen_filecon_char(CuTest *tc); 743 void test_cil_gen_filecon_block(CuTest *tc); 744 void test_cil_gen_filecon_socket(CuTest *tc); 745 void test_cil_gen_filecon_pipe(CuTest *tc); 746 void test_cil_gen_filecon_symlink(CuTest *tc); 747 void test_cil_gen_filecon_any(CuTest *tc); 748 void test_cil_gen_filecon_neg(CuTest *tc); 749 void test_cil_gen_filecon_anon_context(CuTest *tc); 750 void test_cil_gen_filecon_dbnull_neg(CuTest *tc); 751 void test_cil_gen_filecon_currnull_neg(CuTest *tc); 752 void test_cil_gen_filecon_astnull_neg(CuTest *tc); 753 void test_cil_gen_filecon_str1null_neg(CuTest *tc); 754 void test_cil_gen_filecon_str1_inparens_neg(CuTest *tc); 755 void test_cil_gen_filecon_str2null_neg(CuTest *tc); 756 void test_cil_gen_filecon_str2_inparens_neg(CuTest *tc); 757 void test_cil_gen_filecon_classnull_neg(CuTest *tc); 758 void test_cil_gen_filecon_class_inparens_neg(CuTest *tc); 759 void test_cil_gen_filecon_contextnull_neg(CuTest *tc); 760 void test_cil_gen_filecon_context_neg(CuTest *tc); 761 void test_cil_gen_filecon_extra_neg(CuTest *tc); 762 763 void test_cil_gen_portcon_udp(CuTest *tc); 764 void test_cil_gen_portcon_tcp(CuTest *tc); 765 void test_cil_gen_portcon_unknownprotocol_neg(CuTest *tc); 766 void test_cil_gen_portcon_anon_context(CuTest *tc); 767 void test_cil_gen_portcon_portrange(CuTest *tc); 768 void test_cil_gen_portcon_portrange_one_neg(CuTest *tc); 769 void test_cil_gen_portcon_portrange_morethanone_neg(CuTest *tc); 770 void test_cil_gen_portcon_singleport_neg(CuTest *tc); 771 void test_cil_gen_portcon_lowport_neg(CuTest *tc); 772 void test_cil_gen_portcon_highport_neg(CuTest *tc); 773 void test_cil_gen_portcon_dbnull_neg(CuTest *tc); 774 void test_cil_gen_portcon_currnull_neg(CuTest *tc); 775 void test_cil_gen_portcon_astnull_neg(CuTest *tc); 776 void test_cil_gen_portcon_str1null_neg(CuTest *tc); 777 void test_cil_gen_portcon_str1parens_neg(CuTest *tc); 778 void test_cil_gen_portcon_portnull_neg(CuTest *tc); 779 void test_cil_gen_portcon_contextnull_neg(CuTest *tc); 780 void test_cil_gen_portcon_context_neg(CuTest *tc); 781 void test_cil_gen_portcon_extra_neg(CuTest *tc); 782 783 void test_cil_fill_ipaddr(CuTest *tc); 784 void test_cil_fill_ipaddr_addrnodenull_neg(CuTest *tc); 785 void test_cil_fill_ipaddr_addrnull_neg(CuTest *tc); 786 void test_cil_fill_ipaddr_addrinparens_neg(CuTest *tc); 787 void test_cil_fill_ipaddr_extra_neg(CuTest *tc); 788 789 void test_cil_gen_nodecon(CuTest *tc); 790 void test_cil_gen_nodecon_anon_context(CuTest *tc); 791 void test_cil_gen_nodecon_dbnull_neg(CuTest *tc); 792 void test_cil_gen_nodecon_currnull_neg(CuTest *tc); 793 void test_cil_gen_nodecon_astnull_neg(CuTest *tc); 794 void test_cil_gen_nodecon_ipnull_neg(CuTest *tc); 795 void test_cil_gen_nodecon_ipanon(CuTest *tc); 796 void test_cil_gen_nodecon_ipanon_neg(CuTest *tc); 797 void test_cil_gen_nodecon_netmasknull_neg(CuTest *tc); 798 void test_cil_gen_nodecon_netmaskanon(CuTest *tc); 799 void test_cil_gen_nodecon_netmaskanon_neg(CuTest *tc); 800 void test_cil_gen_nodecon_contextnull_neg(CuTest *tc); 801 void test_cil_gen_nodecon_context_neg(CuTest *tc); 802 void test_cil_gen_nodecon_extra_neg(CuTest *tc); 803 804 void test_cil_gen_genfscon(CuTest *tc); 805 void test_cil_gen_genfscon_anon_context(CuTest *tc); 806 void test_cil_gen_genfscon_dbnull_neg(CuTest *tc); 807 void test_cil_gen_genfscon_currnull_neg(CuTest *tc); 808 void test_cil_gen_genfscon_astnull_neg(CuTest *tc); 809 void test_cil_gen_genfscon_typenull_neg(CuTest *tc); 810 void test_cil_gen_genfscon_typeparens_neg(CuTest *tc); 811 void test_cil_gen_genfscon_pathnull_neg(CuTest *tc); 812 void test_cil_gen_genfscon_pathparens_neg(CuTest *tc); 813 void test_cil_gen_genfscon_contextnull_neg(CuTest *tc); 814 void test_cil_gen_genfscon_context_neg(CuTest *tc); 815 void test_cil_gen_genfscon_extra_neg(CuTest *tc); 816 817 void test_cil_gen_netifcon(CuTest *tc); 818 void test_cil_gen_netifcon_nested(CuTest *tc); 819 void test_cil_gen_netifcon_nested_neg(CuTest *tc); 820 void test_cil_gen_netifcon_nested_emptysecondlist_neg(CuTest *tc); 821 void test_cil_gen_netifcon_extra_nested_secondlist_neg(CuTest *tc); 822 void test_cil_gen_netifcon_nested_missingobjects_neg(CuTest *tc); 823 void test_cil_gen_netifcon_nested_secondnested_missingobjects_neg(CuTest *tc); 824 void test_cil_gen_netifcon_dbnull_neg(CuTest *tc); 825 void test_cil_gen_netifcon_currnull_neg(CuTest *tc); 826 void test_cil_gen_netifcon_astnull_neg(CuTest *tc); 827 void test_cil_gen_netifcon_ethmissing_neg(CuTest *tc); 828 void test_cil_gen_netifcon_interfacemissing_neg(CuTest *tc); 829 void test_cil_gen_netifcon_packetmissing_neg(CuTest *tc); 830 831 void test_cil_gen_pirqcon(CuTest *tc); 832 void test_cil_gen_pirqcon_pirqnotint_neg(CuTest *tc); 833 void test_cil_gen_pirqcon_nopirq_neg(CuTest *tc); 834 void test_cil_gen_pirqcon_pirqrange_neg(CuTest *tc); 835 void test_cil_gen_pirqcon_nocontext_neg(CuTest *tc); 836 void test_cil_gen_pirqcon_anoncontext_neg(CuTest *tc); 837 void test_cil_gen_pirqcon_extra_neg(CuTest *tc); 838 void test_cil_gen_pirqcon_dbnull_neg(CuTest *tc); 839 void test_cil_gen_pirqcon_currnull_neg(CuTest *tc); 840 void test_cil_gen_pirqcon_astnull_neg(CuTest *tc); 841 842 void test_cil_gen_iomemcon(CuTest *tc); 843 void test_cil_gen_iomemcon_iomemrange(CuTest *tc); 844 void test_cil_gen_iomemcon_iomemrange_firstnotint_neg(CuTest *tc); 845 void test_cil_gen_iomemcon_iomemrange_secondnotint_neg(CuTest *tc); 846 void test_cil_gen_iomemcon_iomemrange_empty_neg(CuTest *tc); 847 void test_cil_gen_iomemcon_iomemrange_singleiomem_neg(CuTest *tc); 848 void test_cil_gen_iomemcon_iomemrange_morethantwoiomem_neg(CuTest *tc); 849 void test_cil_gen_iomemcon_iomemnotint_neg(CuTest *tc); 850 void test_cil_gen_iomemcon_noiomem_neg(CuTest *tc); 851 void test_cil_gen_iomemcon_nocontext_neg(CuTest *tc); 852 void test_cil_gen_iomemcon_anoncontext_neg(CuTest *tc); 853 void test_cil_gen_iomemcon_extra_neg(CuTest *tc); 854 void test_cil_gen_iomemcon_dbnull_neg(CuTest *tc); 855 void test_cil_gen_iomemcon_currnull_neg(CuTest *tc); 856 void test_cil_gen_iomemcon_astnull_neg(CuTest *tc); 857 858 void test_cil_gen_ioportcon(CuTest *tc); 859 void test_cil_gen_ioportcon_ioportrange(CuTest *tc); 860 void test_cil_gen_ioportcon_ioportrange_firstnotint_neg(CuTest *tc); 861 void test_cil_gen_ioportcon_ioportrange_secondnotint_neg(CuTest *tc); 862 void test_cil_gen_ioportcon_ioportrange_empty_neg(CuTest *tc); 863 void test_cil_gen_ioportcon_ioportrange_singleioport_neg(CuTest *tc); 864 void test_cil_gen_ioportcon_ioportrange_morethantwoioport_neg(CuTest *tc); 865 void test_cil_gen_ioportcon_ioportnotint_neg(CuTest *tc); 866 void test_cil_gen_ioportcon_noioport_neg(CuTest *tc); 867 void test_cil_gen_ioportcon_nocontext_neg(CuTest *tc); 868 void test_cil_gen_ioportcon_anoncontext_neg(CuTest *tc); 869 void test_cil_gen_ioportcon_extra_neg(CuTest *tc); 870 void test_cil_gen_ioportcon_dbnull_neg(CuTest *tc); 871 void test_cil_gen_ioportcon_currnull_neg(CuTest *tc); 872 void test_cil_gen_ioportcon_astnull_neg(CuTest *tc); 873 874 void test_cil_gen_pcidevicecon(CuTest *tc); 875 void test_cil_gen_pcidevicecon_pcidevicenotint_neg(CuTest *tc); 876 void test_cil_gen_pcidevicecon_nopcidevice_neg(CuTest *tc); 877 void test_cil_gen_pcidevicecon_pcidevicerange_neg(CuTest *tc); 878 void test_cil_gen_pcidevicecon_nocontext_neg(CuTest *tc); 879 void test_cil_gen_pcidevicecon_anoncontext_neg(CuTest *tc); 880 void test_cil_gen_pcidevicecon_extra_neg(CuTest *tc); 881 void test_cil_gen_pcidevicecon_dbnull_neg(CuTest *tc); 882 void test_cil_gen_pcidevicecon_currnull_neg(CuTest *tc); 883 void test_cil_gen_pcidevicecon_astnull_neg(CuTest *tc); 884 885 void test_cil_gen_fsuse_anoncontext(CuTest *tc); 886 void test_cil_gen_fsuse_anoncontext_neg(CuTest *tc); 887 void test_cil_gen_fsuse_xattr(CuTest *tc); 888 void test_cil_gen_fsuse_task(CuTest *tc); 889 void test_cil_gen_fsuse_transition(CuTest *tc); 890 void test_cil_gen_fsuse_invalidtype_neg(CuTest *tc); 891 void test_cil_gen_fsuse_notype_neg(CuTest *tc); 892 void test_cil_gen_fsuse_typeinparens_neg(CuTest *tc); 893 void test_cil_gen_fsuse_nofilesystem_neg(CuTest *tc); 894 void test_cil_gen_fsuse_filesysteminparens_neg(CuTest *tc); 895 void test_cil_gen_fsuse_nocontext_neg(CuTest *tc); 896 void test_cil_gen_fsuse_emptyconparens_neg(CuTest *tc); 897 void test_cil_gen_fsuse_extra_neg(CuTest *tc); 898 void test_cil_gen_fsuse_dbnull_neg(CuTest *tc); 899 void test_cil_gen_fsuse_currnull_neg(CuTest *tc); 900 void test_cil_gen_fsuse_astnull_neg(CuTest *tc); 901 902 void test_cil_gen_macro_noparams(CuTest *tc); 903 void test_cil_gen_macro_type(CuTest *tc); 904 void test_cil_gen_macro_role(CuTest *tc); 905 void test_cil_gen_macro_user(CuTest *tc); 906 void test_cil_gen_macro_sensitivity(CuTest *tc); 907 void test_cil_gen_macro_category(CuTest *tc); 908 void test_cil_gen_macro_catset(CuTest *tc); 909 void test_cil_gen_macro_level(CuTest *tc); 910 void test_cil_gen_macro_class(CuTest *tc); 911 void test_cil_gen_macro_classmap(CuTest *tc); 912 void test_cil_gen_macro_permset(CuTest *tc); 913 void test_cil_gen_macro_duplicate(CuTest *tc); 914 void test_cil_gen_macro_duplicate_neg(CuTest *tc); 915 void test_cil_gen_macro_unknown_neg(CuTest *tc); 916 void test_cil_gen_macro_dbnull_neg(CuTest *tc); 917 void test_cil_gen_macro_currnull_neg(CuTest *tc); 918 void test_cil_gen_macro_astnull_neg(CuTest *tc); 919 void test_cil_gen_macro_unnamed_neg(CuTest *tc); 920 void test_cil_gen_macro_noparam_name_neg(CuTest *tc); 921 void test_cil_gen_macro_noparam_neg(CuTest *tc); 922 void test_cil_gen_macro_nosecondparam_neg(CuTest *tc); 923 void test_cil_gen_macro_emptyparam_neg(CuTest *tc); 924 void test_cil_gen_macro_paramcontainsperiod_neg(CuTest *tc); 925 926 void test_cil_gen_call(CuTest *tc); 927 void test_cil_gen_call_noargs(CuTest *tc); 928 void test_cil_gen_call_anon(CuTest *tc); 929 void test_cil_gen_call_empty_call_neg(CuTest *tc); 930 void test_cil_gen_call_dbnull_neg(CuTest *tc); 931 void test_cil_gen_call_currnull_neg(CuTest *tc); 932 void test_cil_gen_call_astnull_neg(CuTest *tc); 933 void test_cil_gen_call_name_inparens_neg(CuTest *tc); 934 void test_cil_gen_call_noname_neg(CuTest *tc); 935 936 void test_cil_gen_optional(CuTest *tc); 937 void test_cil_gen_optional_emptyoptional(CuTest *tc); 938 void test_cil_gen_optional_dbnull_neg(CuTest *tc); 939 void test_cil_gen_optional_currnull_neg(CuTest *tc); 940 void test_cil_gen_optional_astnull_neg(CuTest *tc); 941 void test_cil_gen_optional_unnamed_neg(CuTest *tc); 942 void test_cil_gen_optional_extra_neg(CuTest *tc); 943 void test_cil_gen_optional_nameinparens_neg(CuTest *tc); 944 void test_cil_gen_optional_norule_neg(CuTest *tc); 945 946 void test_cil_gen_policycap(CuTest *tc); 947 void test_cil_gen_policycap_noname_neg(CuTest *tc); 948 void test_cil_gen_policycap_nameinparens_neg(CuTest *tc); 949 void test_cil_gen_policycap_extra_neg(CuTest *tc); 950 void test_cil_gen_policycap_dbnull_neg(CuTest *tc); 951 void test_cil_gen_policycap_currnull_neg(CuTest *tc); 952 void test_cil_gen_policycap_astnull_neg(CuTest *tc); 953 954 void test_cil_gen_ipaddr_ipv4(CuTest *tc); 955 void test_cil_gen_ipaddr_ipv4_neg(CuTest *tc); 956 void test_cil_gen_ipaddr_ipv6(CuTest *tc); 957 void test_cil_gen_ipaddr_ipv6_neg(CuTest *tc); 958 void test_cil_gen_ipaddr_noname_neg(CuTest *tc); 959 void test_cil_gen_ipaddr_nameinparens_neg(CuTest *tc); 960 void test_cil_gen_ipaddr_noip_neg(CuTest *tc); 961 void test_cil_gen_ipaddr_ipinparens_neg(CuTest *tc); 962 void test_cil_gen_ipaddr_extra_neg(CuTest *tc); 963 void test_cil_gen_ipaddr_dbnull_neg(CuTest *tc); 964 void test_cil_gen_ipaddr_currnull_neg(CuTest *tc); 965 void test_cil_gen_ipaddr_astnull_neg(CuTest *tc); 966 /* 967 cil_build_ast test cases 968 */ 969 void test_cil_build_ast(CuTest *); 970 void test_cil_build_ast_dbnull_neg(CuTest *); 971 void test_cil_build_ast_astnull_neg(CuTest *); 972 void test_cil_build_ast_suberr_neg(CuTest *); 973 void test_cil_build_ast_treenull_neg(CuTest *); 974 975 void test_cil_build_ast_node_helper_block(CuTest *); 976 void test_cil_build_ast_node_helper_block_neg(CuTest *); 977 978 void test_cil_build_ast_node_helper_blockinherit(CuTest *); 979 void test_cil_build_ast_node_helper_blockinherit_neg(CuTest *); 980 981 void test_cil_build_ast_node_helper_permset(CuTest *); 982 void test_cil_build_ast_node_helper_permset_neg(CuTest *); 983 984 void test_cil_build_ast_node_helper_in(CuTest *); 985 void test_cil_build_ast_node_helper_in_neg(CuTest *); 986 987 void test_cil_build_ast_node_helper_class(CuTest *); 988 void test_cil_build_ast_node_helper_class_neg(CuTest *); 989 990 void test_cil_build_ast_node_helper_classpermset(CuTest *); 991 void test_cil_build_ast_node_helper_classpermset_neg(CuTest *); 992 993 void test_cil_build_ast_node_helper_classmap(CuTest *); 994 void test_cil_build_ast_node_helper_classmap_neg(CuTest *); 995 996 void test_cil_build_ast_node_helper_classmapping(CuTest *); 997 void test_cil_build_ast_node_helper_classmapping_neg(CuTest *); 998 999 void test_cil_build_ast_node_helper_common(CuTest *); 1000 void test_cil_build_ast_node_helper_common_neg(CuTest *); 1001 1002 void test_cil_build_ast_node_helper_sid(CuTest *); 1003 void test_cil_build_ast_node_helper_sid_neg(CuTest *); 1004 1005 void test_cil_build_ast_node_helper_sidcontext(CuTest *); 1006 void test_cil_build_ast_node_helper_sidcontext_neg(CuTest *); 1007 1008 void test_cil_build_ast_node_helper_user(CuTest *); 1009 void test_cil_build_ast_node_helper_user_neg(CuTest *); 1010 1011 void test_cil_build_ast_node_helper_userlevel(CuTest *); 1012 void test_cil_build_ast_node_helper_userlevel_neg(CuTest *); 1013 1014 void test_cil_build_ast_node_helper_userrange(CuTest *); 1015 void test_cil_build_ast_node_helper_userrange_neg(CuTest *); 1016 1017 void test_cil_build_ast_node_helper_type(CuTest *); 1018 void test_cil_build_ast_node_helper_type_neg(CuTest *); 1019 1020 void test_cil_build_ast_node_helper_typeattribute(CuTest *); 1021 void test_cil_build_ast_node_helper_typeattribute_neg(CuTest *); 1022 1023 void test_cil_build_ast_node_helper_boolif(CuTest *); 1024 void test_cil_build_ast_node_helper_boolif_neg(CuTest *); 1025 1026 void test_cil_build_ast_node_helper_tunif(CuTest *); 1027 void test_cil_build_ast_node_helper_tunif_neg(CuTest *); 1028 1029 void test_cil_build_ast_node_helper_condblock_true(CuTest *); 1030 void test_cil_build_ast_node_helper_condblock_true_neg(CuTest *); 1031 void test_cil_build_ast_node_helper_condblock_false(CuTest *); 1032 void test_cil_build_ast_node_helper_condblock_false_neg(CuTest *); 1033 1034 void test_cil_build_ast_node_helper_typealias(CuTest *); 1035 void test_cil_build_ast_node_helper_typealias_notype_neg(CuTest *); 1036 1037 void test_cil_build_ast_node_helper_typebounds(CuTest *); 1038 void test_cil_build_ast_node_helper_typebounds_neg(CuTest *); 1039 1040 void test_cil_build_ast_node_helper_typepermissive(CuTest *); 1041 void test_cil_build_ast_node_helper_typepermissive_neg(CuTest *); 1042 1043 void test_cil_build_ast_node_helper_nametypetransition(CuTest *); 1044 void test_cil_build_ast_node_helper_nametypetransition_neg(CuTest *); 1045 1046 void test_cil_build_ast_node_helper_rangetransition(CuTest *); 1047 void test_cil_build_ast_node_helper_rangetransition_neg(CuTest *); 1048 1049 void test_cil_build_ast_node_helper_typeattributeset(CuTest *); 1050 void test_cil_build_ast_node_helper_typeattributeset_neg(CuTest *); 1051 1052 void test_cil_build_ast_node_helper_userbounds(CuTest *); 1053 void test_cil_build_ast_node_helper_userbounds_neg(CuTest *); 1054 1055 void test_cil_build_ast_node_helper_role(CuTest *); 1056 void test_cil_build_ast_node_helper_role_neg(CuTest *); 1057 1058 void test_cil_build_ast_node_helper_roletransition(CuTest *); 1059 void test_cil_build_ast_node_helper_roletransition_neg(CuTest *); 1060 1061 void test_cil_build_ast_node_helper_roleallow(CuTest *); 1062 void test_cil_build_ast_node_helper_roleallow_neg(CuTest *); 1063 1064 void test_cil_build_ast_node_helper_rolebounds(CuTest *); 1065 void test_cil_build_ast_node_helper_rolebounds_neg(CuTest *); 1066 1067 void test_cil_build_ast_node_helper_avrule_allow(CuTest *); 1068 void test_cil_build_ast_node_helper_avrule_allow_neg(CuTest *); 1069 1070 void test_cil_build_ast_node_helper_avrule_auditallow(CuTest *); 1071 void test_cil_build_ast_node_helper_avrule_auditallow_neg(CuTest *); 1072 1073 void test_cil_build_ast_node_helper_avrule_dontaudit(CuTest *); 1074 void test_cil_build_ast_node_helper_avrule_dontaudit_neg(CuTest *); 1075 1076 void test_cil_build_ast_node_helper_avrule_neverallow(CuTest *); 1077 void test_cil_build_ast_node_helper_avrule_neverallow_neg(CuTest *); 1078 1079 void test_cil_build_ast_node_helper_type_rule_transition(CuTest *); 1080 void test_cil_build_ast_node_helper_type_rule_transition_neg(CuTest *); 1081 1082 void test_cil_build_ast_node_helper_type_rule_change(CuTest *); 1083 void test_cil_build_ast_node_helper_type_rule_change_neg(CuTest *); 1084 1085 void test_cil_build_ast_node_helper_type_rule_member(CuTest *); 1086 void test_cil_build_ast_node_helper_type_rule_member_neg(CuTest *); 1087 1088 void test_cil_build_ast_node_helper_bool(CuTest *); 1089 void test_cil_build_ast_node_helper_bool_neg(CuTest *); 1090 1091 void test_cil_build_ast_node_helper_bool_tunable(CuTest *); 1092 void test_cil_build_ast_node_helper_bool_tunable_neg(CuTest *); 1093 1094 void test_cil_build_ast_node_helper_else(CuTest *); 1095 void test_cil_build_ast_node_helper_else_neg(CuTest *); 1096 1097 void test_cil_build_ast_node_helper_sensitivity(CuTest *); 1098 void test_cil_build_ast_node_helper_sensitivity_neg(CuTest *); 1099 1100 void test_cil_build_ast_node_helper_sensalias(CuTest *); 1101 void test_cil_build_ast_node_helper_sensalias_neg(CuTest *); 1102 1103 void test_cil_build_ast_node_helper_category(CuTest *); 1104 void test_cil_build_ast_node_helper_category_neg(CuTest *); 1105 1106 void test_cil_build_ast_node_helper_catset(CuTest *tc); 1107 void test_cil_build_ast_node_helper_catset_neg(CuTest *tc); 1108 1109 void test_cil_build_ast_node_helper_catorder(CuTest *tc); 1110 void test_cil_build_ast_node_helper_catorder_neg(CuTest *tc); 1111 1112 void test_cil_build_ast_node_helper_catalias(CuTest *tc); 1113 void test_cil_build_ast_node_helper_catalias_neg(CuTest *tc); 1114 1115 void test_cil_build_ast_node_helper_catrange(CuTest *tc); 1116 void test_cil_build_ast_node_helper_catrange_neg(CuTest *tc); 1117 1118 void test_cil_build_ast_node_helper_roletype(CuTest *tc); 1119 void test_cil_build_ast_node_helper_roletype_neg(CuTest *tc); 1120 1121 void test_cil_build_ast_node_helper_userrole(CuTest *tc); 1122 void test_cil_build_ast_node_helper_userrole_neg(CuTest *tc); 1123 1124 void test_cil_build_ast_node_helper_gen_classcommon(CuTest *tc); 1125 void test_cil_build_ast_node_helper_gen_classcommon_neg(CuTest *tc); 1126 1127 void test_cil_build_ast_node_helper_gen_dominance(CuTest *tc); 1128 void test_cil_build_ast_node_helper_gen_dominance_neg(CuTest *tc); 1129 1130 void test_cil_build_ast_node_helper_gen_senscat(CuTest *tc); 1131 void test_cil_build_ast_node_helper_gen_senscat_neg(CuTest *tc); 1132 1133 void test_cil_build_ast_node_helper_gen_level(CuTest *tc); 1134 void test_cil_build_ast_node_helper_gen_level_neg(CuTest *tc); 1135 1136 void test_cil_build_ast_node_helper_gen_levelrange(CuTest *tc); 1137 void test_cil_build_ast_node_helper_gen_levelrange_neg(CuTest *tc); 1138 1139 void test_cil_build_ast_node_helper_gen_constrain(CuTest *tc); 1140 void test_cil_build_ast_node_helper_gen_constrain_neg(CuTest *tc); 1141 void test_cil_build_ast_node_helper_gen_mlsconstrain(CuTest *tc); 1142 void test_cil_build_ast_node_helper_gen_mlsconstrain_neg(CuTest *tc); 1143 1144 void test_cil_build_ast_node_helper_gen_context(CuTest *tc); 1145 void test_cil_build_ast_node_helper_gen_context_neg(CuTest *tc); 1146 1147 void test_cil_build_ast_node_helper_gen_filecon(CuTest *tc); 1148 void test_cil_build_ast_node_helper_gen_filecon_neg(CuTest *tc); 1149 1150 void test_cil_build_ast_node_helper_gen_portcon(CuTest *tc); 1151 void test_cil_build_ast_node_helper_gen_portcon_neg(CuTest *tc); 1152 1153 void test_cil_build_ast_node_helper_gen_nodecon(CuTest *tc); 1154 void test_cil_build_ast_node_helper_gen_nodecon_neg(CuTest *tc); 1155 1156 void test_cil_build_ast_node_helper_gen_genfscon(CuTest *tc); 1157 void test_cil_build_ast_node_helper_gen_genfscon_neg(CuTest *tc); 1158 1159 void test_cil_build_ast_node_helper_gen_netifcon(CuTest *tc); 1160 void test_cil_build_ast_node_helper_gen_netifcon_neg(CuTest *tc); 1161 1162 void test_cil_build_ast_node_helper_gen_pirqcon(CuTest *tc); 1163 void test_cil_build_ast_node_helper_gen_pirqcon_neg(CuTest *tc); 1164 1165 void test_cil_build_ast_node_helper_gen_iomemcon(CuTest *tc); 1166 void test_cil_build_ast_node_helper_gen_iomemcon_neg(CuTest *tc); 1167 1168 void test_cil_build_ast_node_helper_gen_ioportcon(CuTest *tc); 1169 void test_cil_build_ast_node_helper_gen_ioportcon_neg(CuTest *tc); 1170 1171 void test_cil_build_ast_node_helper_gen_pcidevicecon(CuTest *tc); 1172 void test_cil_build_ast_node_helper_gen_pcidevicecon_neg(CuTest *tc); 1173 1174 void test_cil_build_ast_node_helper_gen_fsuse(CuTest *tc); 1175 void test_cil_build_ast_node_helper_gen_fsuse_neg(CuTest *tc); 1176 1177 void test_cil_build_ast_node_helper_gen_macro(CuTest *tc); 1178 void test_cil_build_ast_node_helper_gen_macro_neg(CuTest *tc); 1179 void test_cil_build_ast_node_helper_gen_macro_nested_macro_neg(CuTest *tc); 1180 void test_cil_build_ast_node_helper_gen_macro_nested_tunif_neg(CuTest *tc); 1181 1182 void test_cil_build_ast_node_helper_gen_call(CuTest *tc); 1183 void test_cil_build_ast_node_helper_gen_call_neg(CuTest *tc); 1184 1185 void test_cil_build_ast_node_helper_gen_optional(CuTest *tc); 1186 void test_cil_build_ast_node_helper_gen_optional_neg(CuTest *tc); 1187 1188 void test_cil_build_ast_node_helper_gen_policycap(CuTest *tc); 1189 void test_cil_build_ast_node_helper_gen_policycap_neg(CuTest *tc); 1190 1191 void test_cil_build_ast_node_helper_gen_ipaddr(CuTest *tc); 1192 void test_cil_build_ast_node_helper_gen_ipaddr_neg(CuTest *tc); 1193 1194 void test_cil_build_ast_node_helper_extraargsnull_neg(CuTest *); 1195 1196 void test_cil_build_ast_last_child_helper(CuTest *); 1197 void test_cil_build_ast_last_child_helper_extraargsnull_neg(CuTest *); 1198 #endif 1199