1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
|
/*
* Copyright 2011 Tresys Technology, LLC. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* 1. Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
*
* 2. Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
* OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
* ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
* The views and conclusions contained in the software and documentation are those
* of the authors and should not be interpreted as representing official policies,
* either expressed or implied, of Tresys Technology, LLC.
*/
#ifndef TEST_CIL_RESOLVE_AST_H_
#define TEST_CIL_RESOLVE_AST_H_
#include "CuTest.h"
void test_cil_resolve_name(CuTest *);
void test_cil_resolve_name_invalid_type_neg(CuTest *);
void test_cil_resolve_ast_curr_null_neg(CuTest *);
/*
cil_resolve test cases
*/
void test_cil_resolve_roleallow(CuTest *);
void test_cil_resolve_roleallow_srcdecl_neg(CuTest *);
void test_cil_resolve_roleallow_tgtdecl_neg(CuTest *);
void test_cil_resolve_rolebounds(CuTest *tc);
void test_cil_resolve_rolebounds_exists_neg(CuTest *tc);
void test_cil_resolve_rolebounds_role1_neg(CuTest *tc);
void test_cil_resolve_rolebounds_role2_neg(CuTest *tc);
void test_cil_resolve_sensalias(CuTest *);
void test_cil_resolve_sensalias_sensdecl_neg(CuTest *);
void test_cil_resolve_catalias(CuTest *);
void test_cil_resolve_catalias_catdecl_neg(CuTest *);
void test_cil_resolve_catorder(CuTest *);
void test_cil_resolve_catorder_neg(CuTest *);
void test_cil_resolve_dominance(CuTest *);
void test_cil_resolve_dominance_neg(CuTest *);
void test_cil_resolve_cat_list(CuTest *);
void test_cil_resolve_cat_list_catlistnull_neg(CuTest *);
void test_cil_resolve_cat_list_rescatlistnull_neg(CuTest *);
void test_cil_resolve_cat_list_catrange(CuTest *);
void test_cil_resolve_cat_list_catrange_neg(CuTest *);
void test_cil_resolve_cat_list_catname_neg(CuTest *);
void test_cil_resolve_catset(CuTest *);
void test_cil_resolve_catset_catlist_neg(CuTest *);
void test_cil_resolve_catrange(CuTest *);
void test_cil_resolve_catrange_catloworder_neg(CuTest *);
void test_cil_resolve_catrange_cathighorder_neg(CuTest *);
void test_cil_resolve_catrange_cat1_neg(CuTest *);
void test_cil_resolve_catrange_cat2_neg(CuTest *);
void test_cil_resolve_senscat(CuTest *);
void test_cil_resolve_senscat_catrange_neg(CuTest *);
void test_cil_resolve_senscat_catsetname(CuTest *);
void test_cil_resolve_senscat_catsetname_neg(CuTest *);
void test_cil_resolve_senscat_sublist(CuTest *);
void test_cil_resolve_senscat_missingsens_neg(CuTest *);
void test_cil_resolve_senscat_sublist_neg(CuTest *);
void test_cil_resolve_senscat_category_neg(CuTest *);
void test_cil_resolve_senscat_currrangecat(CuTest *);
void test_cil_resolve_senscat_currrangecat_neg(CuTest *);
void test_cil_resolve_level(CuTest *);
void test_cil_resolve_level_catlist(CuTest *);
void test_cil_resolve_level_catset(CuTest *);
void test_cil_resolve_level_catset_name_neg(CuTest *);
void test_cil_resolve_level_sens_neg(CuTest *);
void test_cil_resolve_level_cat_neg(CuTest *);
void test_cil_resolve_level_senscat_neg(CuTest *);
void test_cil_resolve_levelrange_namedlvl(CuTest *);
void test_cil_resolve_levelrange_namedlvl_low_neg(CuTest *);
void test_cil_resolve_levelrange_namedlvl_high_neg(CuTest *);
void test_cil_resolve_levelrange_anonlvl(CuTest *);
void test_cil_resolve_levelrange_anonlvl_low_neg(CuTest *);
void test_cil_resolve_levelrange_anonlvl_high_neg(CuTest *);
void test_cil_resolve_constrain(CuTest *);
void test_cil_resolve_constrain_class_neg(CuTest *);
void test_cil_resolve_constrain_perm_neg(CuTest *);
void test_cil_resolve_constrain_perm_resolve_neg(CuTest *);
void test_cil_resolve_context(CuTest *);
void test_cil_resolve_context_macro(CuTest *);
void test_cil_resolve_context_macro_neg(CuTest *);
void test_cil_resolve_context_namedrange(CuTest *);
void test_cil_resolve_context_namedrange_neg(CuTest *);
void test_cil_resolve_context_macro_namedrange_anon(CuTest *);
void test_cil_resolve_context_user_neg(CuTest *);
void test_cil_resolve_context_role_neg(CuTest *);
void test_cil_resolve_context_type_neg(CuTest *);
void test_cil_resolve_context_anon_level_neg(CuTest *);
void test_cil_resolve_roletransition(CuTest *);
void test_cil_resolve_roletransition_srcdecl_neg(CuTest *);
void test_cil_resolve_roletransition_tgtdecl_neg(CuTest *);
void test_cil_resolve_roletransition_resultdecl_neg(CuTest *);
void test_cil_resolve_typeattributeset_type_in_multiple_attrs(CuTest *);
void test_cil_resolve_typeattributeset_multiple_excludes_with_not(CuTest *);
void test_cil_resolve_typeattributeset_multiple_types_with_and(CuTest *);
void test_cil_resolve_typeattributeset_using_attr(CuTest *);
void test_cil_resolve_typeattributeset_name_neg(CuTest *);
void test_cil_resolve_typeattributeset_undef_type_neg(CuTest *);
void test_cil_resolve_typeattributeset_not(CuTest *);
void test_cil_resolve_typeattributeset_undef_type_not_neg(CuTest *);
void test_cil_resolve_typealias(CuTest *);
void test_cil_resolve_typealias_neg(CuTest *);
void test_cil_resolve_typebounds(CuTest *);
void test_cil_resolve_typebounds_repeatbind_neg(CuTest *);
void test_cil_resolve_typebounds_type1_neg(CuTest *);
void test_cil_resolve_typebounds_type2_neg(CuTest *);
void test_cil_resolve_typepermissive(CuTest *);
void test_cil_resolve_typepermissive_neg(CuTest *);
void test_cil_resolve_nametypetransition(CuTest *);
void test_cil_resolve_nametypetransition_src_neg(CuTest *);
void test_cil_resolve_nametypetransition_tgt_neg(CuTest *);
void test_cil_resolve_nametypetransition_class_neg(CuTest *);
void test_cil_resolve_nametypetransition_dest_neg(CuTest *);
void test_cil_resolve_rangetransition(CuTest *);
void test_cil_resolve_rangetransition_namedrange(CuTest *);
void test_cil_resolve_rangetransition_namedrange_anon(CuTest *);
void test_cil_resolve_rangetransition_namedrange_anon_neg(CuTest *);
void test_cil_resolve_rangetransition_namedrange_neg(CuTest *);
void test_cil_resolve_rangetransition_type1_neg(CuTest *);
void test_cil_resolve_rangetransition_type2_neg(CuTest *);
void test_cil_resolve_rangetransition_class_neg(CuTest *);
void test_cil_resolve_rangetransition_call_level_l_anon(CuTest *);
void test_cil_resolve_rangetransition_call_level_l_anon_neg(CuTest *);
void test_cil_resolve_rangetransition_call_level_h_anon(CuTest *);
void test_cil_resolve_rangetransition_call_level_h_anon_neg(CuTest *);
void test_cil_resolve_rangetransition_level_l_neg(CuTest *);
void test_cil_resolve_rangetransition_level_h_neg(CuTest *);
void test_cil_resolve_rangetransition_anon_level_l(CuTest *);
void test_cil_resolve_rangetransition_anon_level_l_neg(CuTest *);
void test_cil_resolve_rangetransition_anon_level_h(CuTest *);
void test_cil_resolve_rangetransition_anon_level_h_neg(CuTest *);
void test_cil_resolve_classcommon(CuTest *);
void test_cil_resolve_classcommon_no_class_neg(CuTest *);
void test_cil_resolve_classcommon_neg(CuTest *);
void test_cil_resolve_classcommon_no_common_neg(CuTest *);
void test_cil_resolve_classmapping_named(CuTest *);
void test_cil_resolve_classmapping_anon(CuTest *);
void test_cil_resolve_classmapping_anon_inmacro(CuTest *);
void test_cil_resolve_classmapping_anon_inmacro_neg(CuTest *);
void test_cil_resolve_classmapping_named_classmapname_neg(CuTest *);
void test_cil_resolve_classmapping_anon_classmapname_neg(CuTest *);
void test_cil_resolve_classmapping_anon_permset_neg(CuTest *);
void test_cil_resolve_classpermset_named(CuTest *);
void test_cil_resolve_classpermset_named_namedpermlist(CuTest *);
void test_cil_resolve_classpermset_named_permlist_neg(CuTest *);
void test_cil_resolve_classpermset_named_unnamedcps_neg(CuTest *);
void test_cil_resolve_classpermset_anon(CuTest *);
void test_cil_resolve_classpermset_anon_namedpermlist(CuTest *);
void test_cil_resolve_classpermset_anon_permlist_neg(CuTest *);
void test_cil_resolve_avrule(CuTest *);
void test_cil_resolve_avrule_permset(CuTest *);
void test_cil_resolve_avrule_permset_neg(CuTest *);
void test_cil_resolve_avrule_permset_permdne_neg(CuTest *);
void test_cil_resolve_avrule_firsttype_neg(CuTest *);
void test_cil_resolve_avrule_secondtype_neg(CuTest *);
void test_cil_resolve_avrule_class_neg(CuTest *);
void test_cil_resolve_avrule_perm_neg(CuTest *);
void test_cil_resolve_type_rule_transition(CuTest *);
void test_cil_resolve_type_rule_transition_srcdecl_neg(CuTest *);
void test_cil_resolve_type_rule_transition_tgtdecl_neg(CuTest *);
void test_cil_resolve_type_rule_transition_objdecl_neg(CuTest *);
void test_cil_resolve_type_rule_transition_resultdecl_neg(CuTest *);
void test_cil_resolve_type_rule_change(CuTest *);
void test_cil_resolve_type_rule_change_srcdecl_neg(CuTest *);
void test_cil_resolve_type_rule_change_tgtdecl_neg(CuTest *);
void test_cil_resolve_type_rule_change_objdecl_neg(CuTest *);
void test_cil_resolve_type_rule_change_resultdecl_neg(CuTest *);
void test_cil_resolve_type_rule_member(CuTest *);
void test_cil_resolve_type_rule_member_srcdecl_neg(CuTest *);
void test_cil_resolve_type_rule_member_tgtdecl_neg(CuTest *);
void test_cil_resolve_type_rule_member_objdecl_neg(CuTest *);
void test_cil_resolve_type_rule_member_resultdecl_neg(CuTest *);
void test_cil_resolve_filecon(CuTest *);
void test_cil_resolve_filecon_neg(CuTest *);
void test_cil_resolve_filecon_anon_context(CuTest *);
void test_cil_resolve_filecon_anon_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_filecon(CuTest *tc);
void test_cil_resolve_ast_node_helper_filecon_neg(CuTest *tc);
void test_cil_resolve_portcon(CuTest *);
void test_cil_resolve_portcon_neg(CuTest *);
void test_cil_resolve_portcon_anon_context(CuTest *);
void test_cil_resolve_portcon_anon_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_portcon(CuTest *tc);
void test_cil_resolve_ast_node_helper_portcon_neg(CuTest *tc);
void test_cil_resolve_genfscon(CuTest *);
void test_cil_resolve_genfscon_neg(CuTest *);
void test_cil_resolve_genfscon_anon_context(CuTest *);
void test_cil_resolve_genfscon_anon_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_genfscon(CuTest *tc);
void test_cil_resolve_ast_node_helper_genfscon_neg(CuTest *tc);
void test_cil_resolve_nodecon_ipv4(CuTest *);
void test_cil_resolve_nodecon_ipv6(CuTest *);
void test_cil_resolve_nodecon_anonipaddr_ipv4(CuTest *);
void test_cil_resolve_nodecon_anonnetmask_ipv4(CuTest *);
void test_cil_resolve_nodecon_anonipaddr_ipv6(CuTest *);
void test_cil_resolve_nodecon_anonnetmask_ipv6(CuTest *);
void test_cil_resolve_nodecon_diffipfam_neg(CuTest *);
void test_cil_resolve_nodecon_context_neg(CuTest *);
void test_cil_resolve_nodecon_ipaddr_neg(CuTest *);
void test_cil_resolve_nodecon_netmask_neg(CuTest *);
void test_cil_resolve_nodecon_anon_context(CuTest *);
void test_cil_resolve_nodecon_anon_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_nodecon(CuTest *tc);
void test_cil_resolve_ast_node_helper_nodecon_ipaddr_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_nodecon_netmask_neg(CuTest *tc);
void test_cil_resolve_netifcon(CuTest *);
void test_cil_resolve_netifcon_otf_neg(CuTest *);
void test_cil_resolve_netifcon_interface_neg(CuTest *);
void test_cil_resolve_netifcon_unnamed(CuTest *);
void test_cil_resolve_netifcon_unnamed_packet_neg(CuTest *);
void test_cil_resolve_netifcon_unnamed_otf_neg(CuTest *);
void test_cil_resolve_ast_node_helper_netifcon(CuTest *tc);
void test_cil_resolve_ast_node_helper_netifcon_neg(CuTest *tc);
void test_cil_resolve_pirqcon(CuTest *);
void test_cil_resolve_pirqcon_context_neg(CuTest *);
void test_cil_resolve_pirqcon_anon_context(CuTest *);
void test_cil_resolve_pirqcon_anon_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_pirqcon(CuTest *tc);
void test_cil_resolve_ast_node_helper_pirqcon_neg(CuTest *tc);
void test_cil_resolve_iomemcon(CuTest *);
void test_cil_resolve_iomemcon_context_neg(CuTest *);
void test_cil_resolve_iomemcon_anon_context(CuTest *);
void test_cil_resolve_iomemcon_anon_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_iomemcon(CuTest *tc);
void test_cil_resolve_ast_node_helper_iomemcon_neg(CuTest *tc);
void test_cil_resolve_ioportcon(CuTest *);
void test_cil_resolve_ioportcon_context_neg(CuTest *);
void test_cil_resolve_ioportcon_anon_context(CuTest *);
void test_cil_resolve_ioportcon_anon_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_ioportcon(CuTest *tc);
void test_cil_resolve_ast_node_helper_ioportcon_neg(CuTest *tc);
void test_cil_resolve_pcidevicecon(CuTest *);
void test_cil_resolve_pcidevicecon_context_neg(CuTest *);
void test_cil_resolve_pcidevicecon_anon_context(CuTest *);
void test_cil_resolve_pcidevicecon_anon_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_pcidevicecon(CuTest *tc);
void test_cil_resolve_ast_node_helper_pcidevicecon_neg(CuTest *tc);
void test_cil_resolve_fsuse(CuTest *);
void test_cil_resolve_fsuse_neg(CuTest *);
void test_cil_resolve_fsuse_anon(CuTest *);
void test_cil_resolve_fsuse_anon_neg(CuTest *);
void test_cil_resolve_ast_node_helper_fsuse(CuTest *tc);
void test_cil_resolve_ast_node_helper_fsuse_neg(CuTest *tc);
void test_cil_resolve_sidcontext(CuTest *);
void test_cil_resolve_sidcontext_named_levels(CuTest *);
void test_cil_resolve_sidcontext_named_context(CuTest *);
void test_cil_resolve_sidcontext_named_context_wrongname_neg(CuTest *tc);
void test_cil_resolve_sidcontext_named_context_invaliduser_neg(CuTest *tc);
void test_cil_resolve_sidcontext_named_context_sidcontextnull_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_sidcontext(CuTest *tc);
void test_cil_resolve_ast_node_helper_sidcontext_neg(CuTest *tc);
void test_cil_resolve_blockinherit(CuTest *);
void test_cil_resolve_blockinherit_blockstrdne_neg(CuTest *);
void test_cil_resolve_ast_node_helper_blockinherit(CuTest *tc);
void test_cil_resolve_in_block(CuTest *);
void test_cil_resolve_in_blockstrdne_neg(CuTest *);
void test_cil_resolve_in_macro(CuTest *);
void test_cil_resolve_in_optional(CuTest *);
void test_cil_resolve_call1_noparam(CuTest *);
void test_cil_resolve_call1_type(CuTest *);
void test_cil_resolve_call1_role(CuTest *);
void test_cil_resolve_call1_user(CuTest *);
void test_cil_resolve_call1_sens(CuTest *);
void test_cil_resolve_call1_cat(CuTest *);
void test_cil_resolve_call1_catset(CuTest *);
void test_cil_resolve_call1_catset_anon(CuTest *);
void test_cil_resolve_call1_catset_anon_neg(CuTest *);
void test_cil_resolve_call1_level(CuTest *);
void test_cil_resolve_call1_class(CuTest *);
void test_cil_resolve_call1_classmap(CuTest *);
void test_cil_resolve_call1_permset(CuTest *);
void test_cil_resolve_call1_permset_anon(CuTest *);
void test_cil_resolve_call1_classpermset_named(CuTest *);
void test_cil_resolve_call1_classpermset_anon(CuTest *);
void test_cil_resolve_call1_classpermset_anon_neg(CuTest *);
void test_cil_resolve_call1_level(CuTest *);
void test_cil_resolve_call1_level_anon(CuTest *);
void test_cil_resolve_call1_level_anon_neg(CuTest *);
void test_cil_resolve_call1_ipaddr(CuTest *);
void test_cil_resolve_call1_ipaddr_anon(CuTest *);
void test_cil_resolve_call1_ipaddr_anon_neg(CuTest *);
void test_cil_resolve_call1_unknown_neg(CuTest *);
void test_cil_resolve_call1_unknowncall_neg(CuTest *);
void test_cil_resolve_call1_extraargs_neg(CuTest *);
void test_cil_resolve_call1_copy_dup(CuTest *);
void test_cil_resolve_call1_missing_arg_neg(CuTest *);
void test_cil_resolve_call1_paramsflavor_neg(CuTest *);
void test_cil_resolve_call1_unknownflavor_neg(CuTest *);
void test_cil_resolve_call2_type(CuTest *);
void test_cil_resolve_call2_role(CuTest *);
void test_cil_resolve_call2_user(CuTest *);
void test_cil_resolve_call2_sens(CuTest *);
void test_cil_resolve_call2_cat(CuTest *);
void test_cil_resolve_call2_catset(CuTest *);
void test_cil_resolve_call2_catset_anon(CuTest *);
void test_cil_resolve_call2_permset(CuTest *);
void test_cil_resolve_call2_permset_anon(CuTest *);
void test_cil_resolve_call2_classpermset_named(CuTest *);
void test_cil_resolve_call2_classpermset_anon(CuTest *);
void test_cil_resolve_call2_class(CuTest *);
void test_cil_resolve_call2_classmap(CuTest *);
void test_cil_resolve_call2_level(CuTest *);
void test_cil_resolve_call2_level_anon(CuTest *);
void test_cil_resolve_call2_ipaddr(CuTest *);
void test_cil_resolve_call2_ipaddr_anon(CuTest *);
void test_cil_resolve_call2_unknown_neg(CuTest *);
void test_cil_resolve_name_call_args(CuTest *);
void test_cil_resolve_name_call_args_multipleparams(CuTest *);
void test_cil_resolve_name_call_args_diffflavor(CuTest *);
void test_cil_resolve_name_call_args_callnull_neg(CuTest *);
void test_cil_resolve_name_call_args_namenull_neg(CuTest *);
void test_cil_resolve_name_call_args_callargsnull_neg(CuTest *);
void test_cil_resolve_name_call_args_name_neg(CuTest *);
void test_cil_resolve_expr_stack_bools(CuTest *);
void test_cil_resolve_expr_stack_tunables(CuTest *);
void test_cil_resolve_expr_stack_type(CuTest *);
void test_cil_resolve_expr_stack_role(CuTest *);
void test_cil_resolve_expr_stack_user(CuTest *);
void test_cil_resolve_expr_stack_neg(CuTest *);
void test_cil_resolve_expr_stack_emptystr_neg(CuTest *);
void test_cil_resolve_boolif(CuTest *);
void test_cil_resolve_boolif_neg(CuTest *);
void test_cil_evaluate_expr_stack_and(CuTest *);
void test_cil_evaluate_expr_stack_not(CuTest *);
void test_cil_evaluate_expr_stack_or(CuTest *);
void test_cil_evaluate_expr_stack_xor(CuTest *);
void test_cil_evaluate_expr_stack_eq(CuTest *);
void test_cil_evaluate_expr_stack_neq(CuTest *);
void test_cil_evaluate_expr_stack_oper1(CuTest *);
void test_cil_evaluate_expr_stack_oper2(CuTest *);
void test_cil_evaluate_expr_stack_neg(CuTest *);
void test_cil_resolve_tunif_false(CuTest *);
void test_cil_resolve_tunif_true(CuTest *);
void test_cil_resolve_tunif_resolveexpr_neg(CuTest *);
void test_cil_resolve_tunif_evaluateexpr_neg(CuTest *);
void test_cil_resolve_userbounds(CuTest *tc);
void test_cil_resolve_userbounds_exists_neg(CuTest *tc);
void test_cil_resolve_userbounds_user1_neg(CuTest *tc);
void test_cil_resolve_userbounds_user2_neg(CuTest *tc);
void test_cil_resolve_roletype(CuTest *tc);
void test_cil_resolve_roletype_type_neg(CuTest *tc);
void test_cil_resolve_roletype_role_neg(CuTest *tc);
void test_cil_resolve_userrole(CuTest *tc);
void test_cil_resolve_userrole_user_neg(CuTest *tc);
void test_cil_resolve_userrole_role_neg(CuTest *tc);
void test_cil_resolve_userlevel(CuTest *tc);
void test_cil_resolve_userlevel_macro(CuTest *tc);
void test_cil_resolve_userlevel_macro_neg(CuTest *tc);
void test_cil_resolve_userlevel_level_anon(CuTest *tc);
void test_cil_resolve_userlevel_level_anon_neg(CuTest *tc);
void test_cil_resolve_userlevel_user_neg(CuTest *tc);
void test_cil_resolve_userlevel_level_neg(CuTest *tc);
void test_cil_resolve_userrange(CuTest *tc);
void test_cil_resolve_userrange_macro(CuTest *tc);
void test_cil_resolve_userrange_macro_neg(CuTest *tc);
void test_cil_resolve_userrange_range_anon(CuTest *tc);
void test_cil_resolve_userrange_range_anon_neg(CuTest *tc);
void test_cil_resolve_userrange_user_neg(CuTest *tc);
void test_cil_resolve_userrange_range_neg(CuTest *tc);
void test_cil_disable_children_helper_optional_enabled(CuTest *tc);
void test_cil_disable_children_helper_optional_disabled(CuTest *tc);
void test_cil_disable_children_helper_block(CuTest *tc);
void test_cil_disable_children_helper_user(CuTest *tc);
void test_cil_disable_children_helper_role(CuTest *tc);
void test_cil_disable_children_helper_type(CuTest *tc);
void test_cil_disable_children_helper_typealias(CuTest *tc);
void test_cil_disable_children_helper_common(CuTest *tc);
void test_cil_disable_children_helper_class(CuTest *tc);
void test_cil_disable_children_helper_bool(CuTest *tc);
void test_cil_disable_children_helper_sens(CuTest *tc);
void test_cil_disable_children_helper_cat(CuTest *tc);
void test_cil_disable_children_helper_catset(CuTest *tc);
void test_cil_disable_children_helper_sid(CuTest *tc);
void test_cil_disable_children_helper_macro(CuTest *tc);
void test_cil_disable_children_helper_context(CuTest *tc);
void test_cil_disable_children_helper_level(CuTest *tc);
void test_cil_disable_children_helper_policycap(CuTest *tc);
void test_cil_disable_children_helper_perm(CuTest *tc);
void test_cil_disable_children_helper_catalias(CuTest *tc);
void test_cil_disable_children_helper_sensalias(CuTest *tc);
void test_cil_disable_children_helper_tunable(CuTest *tc);
void test_cil_disable_children_helper_unknown(CuTest *tc);
/*
__cil_resolve_ast_node_helper test cases
*/
void test_cil_resolve_ast_node_helper_call1(CuTest *);
void test_cil_resolve_ast_node_helper_call1_neg(CuTest *);
void test_cil_resolve_ast_node_helper_call2(CuTest *);
void test_cil_resolve_ast_node_helper_call2_neg(CuTest *);
void test_cil_resolve_ast_node_helper_boolif(CuTest *);
void test_cil_resolve_ast_node_helper_boolif_neg(CuTest *);
void test_cil_resolve_ast_node_helper_tunif(CuTest *);
void test_cil_resolve_ast_node_helper_tunif_neg(CuTest *);
void test_cil_resolve_ast_node_helper_catorder(CuTest *);
void test_cil_resolve_ast_node_helper_catorder_neg(CuTest *);
void test_cil_resolve_ast_node_helper_dominance(CuTest *);
void test_cil_resolve_ast_node_helper_dominance_neg(CuTest *);
void test_cil_resolve_ast_node_helper_roleallow(CuTest *);
void test_cil_resolve_ast_node_helper_roleallow_neg(CuTest *);
void test_cil_resolve_ast_node_helper_rolebounds(CuTest *tc);
void test_cil_resolve_ast_node_helper_rolebounds_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_sensalias(CuTest *);
void test_cil_resolve_ast_node_helper_sensalias_neg(CuTest *);
void test_cil_resolve_ast_node_helper_catalias(CuTest *);
void test_cil_resolve_ast_node_helper_catalias_neg(CuTest *);
void test_cil_resolve_ast_node_helper_catset(CuTest *);
void test_cil_resolve_ast_node_helper_catset_catlist_neg(CuTest *);
void test_cil_resolve_ast_node_helper_level(CuTest *);
void test_cil_resolve_ast_node_helper_level_neg(CuTest *);
void test_cil_resolve_ast_node_helper_levelrange(CuTest *);
void test_cil_resolve_ast_node_helper_levelrange_neg(CuTest *);
void test_cil_resolve_ast_node_helper_constrain(CuTest *);
void test_cil_resolve_ast_node_helper_constrain_neg(CuTest *);
void test_cil_resolve_ast_node_helper_mlsconstrain(CuTest *);
void test_cil_resolve_ast_node_helper_mlsconstrain_neg(CuTest *);
void test_cil_resolve_ast_node_helper_context(CuTest *);
void test_cil_resolve_ast_node_helper_context_neg(CuTest *);
void test_cil_resolve_ast_node_helper_catrange(CuTest *tc);
void test_cil_resolve_ast_node_helper_catrange_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_senscat(CuTest *tc);
void test_cil_resolve_ast_node_helper_senscat_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_roletransition(CuTest *);
void test_cil_resolve_ast_node_helper_roletransition_srcdecl_neg(CuTest *);
void test_cil_resolve_ast_node_helper_roletransition_tgtdecl_neg(CuTest *);
void test_cil_resolve_ast_node_helper_roletransition_resultdecl_neg(CuTest *);
void test_cil_resolve_ast_node_helper_typeattributeset(CuTest *);
void test_cil_resolve_ast_node_helper_typeattributeset_undef_type_neg(CuTest *);
void test_cil_resolve_ast_node_helper_typealias(CuTest *);
void test_cil_resolve_ast_node_helper_typealias_notype_neg(CuTest *);
void test_cil_resolve_ast_node_helper_typebounds(CuTest *);
void test_cil_resolve_ast_node_helper_typebounds_neg(CuTest *);
void test_cil_resolve_ast_node_helper_typepermissive(CuTest *);
void test_cil_resolve_ast_node_helper_typepermissive_neg(CuTest *);
void test_cil_resolve_ast_node_helper_nametypetransition(CuTest *);
void test_cil_resolve_ast_node_helper_nametypetransition_neg(CuTest *);
void test_cil_resolve_ast_node_helper_rangetransition(CuTest *);
void test_cil_resolve_ast_node_helper_rangetransition_neg(CuTest *);
void test_cil_resolve_ast_node_helper_avrule(CuTest *);
void test_cil_resolve_ast_node_helper_avrule_src_nores_neg(CuTest *);
void test_cil_resolve_ast_node_helper_avrule_tgt_nores_neg(CuTest *);
void test_cil_resolve_ast_node_helper_avrule_class_nores_neg(CuTest *);
void test_cil_resolve_ast_node_helper_avrule_datum_null_neg(CuTest *);
void test_cil_resolve_ast_node_helper_type_rule_transition(CuTest *);
void test_cil_resolve_ast_node_helper_type_rule_transition_neg(CuTest *);
void test_cil_resolve_ast_node_helper_type_rule_change(CuTest *);
void test_cil_resolve_ast_node_helper_type_rule_change_neg(CuTest *);
void test_cil_resolve_ast_node_helper_type_rule_member(CuTest *);
void test_cil_resolve_ast_node_helper_type_rule_member_neg(CuTest *);
void test_cil_resolve_ast_node_helper_userbounds(CuTest *tc);
void test_cil_resolve_ast_node_helper_userbounds_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_roletype(CuTest *tc);
void test_cil_resolve_ast_node_helper_roletype_role_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_roletype_type_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_userrole(CuTest *tc);
void test_cil_resolve_ast_node_helper_userrole_user_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_userrole_role_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_userlevel(CuTest *tc);
void test_cil_resolve_ast_node_helper_userlevel_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_userlevel(CuTest *tc);
void test_cil_resolve_ast_node_helper_userlevel_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_userrange(CuTest *tc);
void test_cil_resolve_ast_node_helper_userrange_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_classcommon(CuTest *tc);
void test_cil_resolve_ast_node_helper_classcommon_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_callstack(CuTest *tc);
void test_cil_resolve_ast_node_helper_call(CuTest *tc);
void test_cil_resolve_ast_node_helper_optional(CuTest *tc);
void test_cil_resolve_ast_node_helper_macro(CuTest *tc);
void test_cil_resolve_ast_node_helper_optstack(CuTest *tc);
void test_cil_resolve_ast_node_helper_optstack_tunable_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_optstack_macro_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_nodenull_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_extraargsnull_neg(CuTest *tc);
void test_cil_resolve_ast_node_helper_optfailedtoresolve(CuTest *tc);
#endif
|
