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 CIL_INTERNAL_H_
31 #define CIL_INTERNAL_H_
32 
33 #include <stdlib.h>
34 #include <stdio.h>
35 #include <stdint.h>
36 #include <arpa/inet.h>
37 
38 #include <sepol/policydb/services.h>
39 #include <sepol/policydb/policydb.h>
40 #include <sepol/policydb/flask_types.h>
41 
42 #include <cil/cil.h>
43 
44 #include "cil_flavor.h"
45 #include "cil_tree.h"
46 #include "cil_symtab.h"
47 #include "cil_mem.h"
48 
49 #define CIL_MAX_NAME_LENGTH 2048
50 
51 
52 enum cil_pass {
53 	CIL_PASS_INIT = 0,
54 
55 	CIL_PASS_TIF,
56 	CIL_PASS_IN,
57 	CIL_PASS_BLKIN_LINK,
58 	CIL_PASS_BLKIN_COPY,
59 	CIL_PASS_BLKABS,
60 	CIL_PASS_MACRO,
61 	CIL_PASS_CALL1,
62 	CIL_PASS_CALL2,
63 	CIL_PASS_ALIAS1,
64 	CIL_PASS_ALIAS2,
65 	CIL_PASS_MISC1,
66 	CIL_PASS_MLS,
67 	CIL_PASS_MISC2,
68 	CIL_PASS_MISC3,
69 
70 	CIL_PASS_NUM
71 };
72 
73 
74 /*
75 	Keywords
76 */
77 char *CIL_KEY_CONS_T1;
78 char *CIL_KEY_CONS_T2;
79 char *CIL_KEY_CONS_T3;
80 char *CIL_KEY_CONS_R1;
81 char *CIL_KEY_CONS_R2;
82 char *CIL_KEY_CONS_R3;
83 char *CIL_KEY_CONS_U1;
84 char *CIL_KEY_CONS_U2;
85 char *CIL_KEY_CONS_U3;
86 char *CIL_KEY_CONS_L1;
87 char *CIL_KEY_CONS_L2;
88 char *CIL_KEY_CONS_H1;
89 char *CIL_KEY_CONS_H2;
90 char *CIL_KEY_AND;
91 char *CIL_KEY_OR;
92 char *CIL_KEY_NOT;
93 char *CIL_KEY_EQ;
94 char *CIL_KEY_NEQ;
95 char *CIL_KEY_CONS_DOM;
96 char *CIL_KEY_CONS_DOMBY;
97 char *CIL_KEY_CONS_INCOMP;
98 char *CIL_KEY_CONDTRUE;
99 char *CIL_KEY_CONDFALSE;
100 char *CIL_KEY_SELF;
101 char *CIL_KEY_OBJECT_R;
102 char *CIL_KEY_STAR;
103 char *CIL_KEY_TCP;
104 char *CIL_KEY_UDP;
105 char *CIL_KEY_DCCP;
106 char *CIL_KEY_AUDITALLOW;
107 char *CIL_KEY_TUNABLEIF;
108 char *CIL_KEY_ALLOW;
109 char *CIL_KEY_DONTAUDIT;
110 char *CIL_KEY_TYPETRANSITION;
111 char *CIL_KEY_TYPECHANGE;
112 char *CIL_KEY_CALL;
113 char *CIL_KEY_TUNABLE;
114 char *CIL_KEY_XOR;
115 char *CIL_KEY_ALL;
116 char *CIL_KEY_RANGE;
117 char *CIL_KEY_GLOB;
118 char *CIL_KEY_FILE;
119 char *CIL_KEY_DIR;
120 char *CIL_KEY_CHAR;
121 char *CIL_KEY_BLOCK;
122 char *CIL_KEY_SOCKET;
123 char *CIL_KEY_PIPE;
124 char *CIL_KEY_SYMLINK;
125 char *CIL_KEY_ANY;
126 char *CIL_KEY_XATTR;
127 char *CIL_KEY_TASK;
128 char *CIL_KEY_TRANS;
129 char *CIL_KEY_TYPE;
130 char *CIL_KEY_ROLE;
131 char *CIL_KEY_USER;
132 char *CIL_KEY_USERATTRIBUTE;
133 char *CIL_KEY_USERATTRIBUTESET;
134 char *CIL_KEY_SENSITIVITY;
135 char *CIL_KEY_CATEGORY;
136 char *CIL_KEY_CATSET;
137 char *CIL_KEY_LEVEL;
138 char *CIL_KEY_LEVELRANGE;
139 char *CIL_KEY_CLASS;
140 char *CIL_KEY_IPADDR;
141 char *CIL_KEY_MAP_CLASS;
142 char *CIL_KEY_CLASSPERMISSION;
143 char *CIL_KEY_BOOL;
144 char *CIL_KEY_STRING;
145 char *CIL_KEY_NAME;
146 char *CIL_KEY_SOURCE;
147 char *CIL_KEY_TARGET;
148 char *CIL_KEY_LOW;
149 char *CIL_KEY_HIGH;
150 char *CIL_KEY_LOW_HIGH;
151 char *CIL_KEY_HANDLEUNKNOWN;
152 char *CIL_KEY_HANDLEUNKNOWN_ALLOW;
153 char *CIL_KEY_HANDLEUNKNOWN_DENY;
154 char *CIL_KEY_HANDLEUNKNOWN_REJECT;
155 char *CIL_KEY_MACRO;
156 char *CIL_KEY_IN;
157 char *CIL_KEY_MLS;
158 char *CIL_KEY_DEFAULTRANGE;
159 char *CIL_KEY_BLOCKINHERIT;
160 char *CIL_KEY_BLOCKABSTRACT;
161 char *CIL_KEY_CLASSORDER;
162 char *CIL_KEY_CLASSMAPPING;
163 char *CIL_KEY_CLASSPERMISSIONSET;
164 char *CIL_KEY_COMMON;
165 char *CIL_KEY_CLASSCOMMON;
166 char *CIL_KEY_SID;
167 char *CIL_KEY_SIDCONTEXT;
168 char *CIL_KEY_SIDORDER;
169 char *CIL_KEY_USERLEVEL;
170 char *CIL_KEY_USERRANGE;
171 char *CIL_KEY_USERBOUNDS;
172 char *CIL_KEY_USERPREFIX;
173 char *CIL_KEY_SELINUXUSER;
174 char *CIL_KEY_SELINUXUSERDEFAULT;
175 char *CIL_KEY_TYPEATTRIBUTE;
176 char *CIL_KEY_TYPEATTRIBUTESET;
177 char *CIL_KEY_EXPANDTYPEATTRIBUTE;
178 char *CIL_KEY_TYPEALIAS;
179 char *CIL_KEY_TYPEALIASACTUAL;
180 char *CIL_KEY_TYPEBOUNDS;
181 char *CIL_KEY_TYPEPERMISSIVE;
182 char *CIL_KEY_RANGETRANSITION;
183 char *CIL_KEY_USERROLE;
184 char *CIL_KEY_ROLETYPE;
185 char *CIL_KEY_ROLETRANSITION;
186 char *CIL_KEY_ROLEALLOW;
187 char *CIL_KEY_ROLEATTRIBUTE;
188 char *CIL_KEY_ROLEATTRIBUTESET;
189 char *CIL_KEY_ROLEBOUNDS;
190 char *CIL_KEY_BOOLEANIF;
191 char *CIL_KEY_NEVERALLOW;
192 char *CIL_KEY_TYPEMEMBER;
193 char *CIL_KEY_SENSALIAS;
194 char *CIL_KEY_SENSALIASACTUAL;
195 char *CIL_KEY_CATALIAS;
196 char *CIL_KEY_CATALIASACTUAL;
197 char *CIL_KEY_CATORDER;
198 char *CIL_KEY_SENSITIVITYORDER;
199 char *CIL_KEY_SENSCAT;
200 char *CIL_KEY_CONSTRAIN;
201 char *CIL_KEY_MLSCONSTRAIN;
202 char *CIL_KEY_VALIDATETRANS;
203 char *CIL_KEY_MLSVALIDATETRANS;
204 char *CIL_KEY_CONTEXT;
205 char *CIL_KEY_FILECON;
206 char *CIL_KEY_IBPKEYCON;
207 char *CIL_KEY_IBENDPORTCON;
208 char *CIL_KEY_PORTCON;
209 char *CIL_KEY_NODECON;
210 char *CIL_KEY_GENFSCON;
211 char *CIL_KEY_NETIFCON;
212 char *CIL_KEY_PIRQCON;
213 char *CIL_KEY_IOMEMCON;
214 char *CIL_KEY_IOPORTCON;
215 char *CIL_KEY_PCIDEVICECON;
216 char *CIL_KEY_DEVICETREECON;
217 char *CIL_KEY_FSUSE;
218 char *CIL_KEY_POLICYCAP;
219 char *CIL_KEY_OPTIONAL;
220 char *CIL_KEY_DEFAULTUSER;
221 char *CIL_KEY_DEFAULTROLE;
222 char *CIL_KEY_DEFAULTTYPE;
223 char *CIL_KEY_ROOT;
224 char *CIL_KEY_NODE;
225 char *CIL_KEY_PERM;
226 char *CIL_KEY_ALLOWX;
227 char *CIL_KEY_AUDITALLOWX;
228 char *CIL_KEY_DONTAUDITX;
229 char *CIL_KEY_NEVERALLOWX;
230 char *CIL_KEY_PERMISSIONX;
231 char *CIL_KEY_IOCTL;
232 char *CIL_KEY_UNORDERED;
233 char *CIL_KEY_SRC_INFO;
234 char *CIL_KEY_SRC_CIL;
235 char *CIL_KEY_SRC_HLL;
236 
237 /*
238 	Symbol Table Array Indices
239 */
240 enum cil_sym_index {
241 	CIL_SYM_BLOCKS = 0,
242 	CIL_SYM_USERS,
243 	CIL_SYM_ROLES,
244 	CIL_SYM_TYPES,
245 	CIL_SYM_COMMONS,
246 	CIL_SYM_CLASSES,
247 	CIL_SYM_CLASSPERMSETS,
248 	CIL_SYM_BOOLS,
249 	CIL_SYM_TUNABLES,
250 	CIL_SYM_SENS,
251 	CIL_SYM_CATS,
252 	CIL_SYM_SIDS,
253 	CIL_SYM_CONTEXTS,
254 	CIL_SYM_LEVELS,
255 	CIL_SYM_LEVELRANGES,
256 	CIL_SYM_POLICYCAPS,
257 	CIL_SYM_IPADDRS,
258 	CIL_SYM_NAMES,
259 	CIL_SYM_PERMX,
260 	CIL_SYM_NUM,
261 	CIL_SYM_UNKNOWN,
262 	CIL_SYM_PERMS	// Special case for permissions. This symtab is not included in arrays
263 };
264 
265 enum cil_sym_array {
266 	CIL_SYM_ARRAY_ROOT = 0,
267 	CIL_SYM_ARRAY_BLOCK,
268 	CIL_SYM_ARRAY_IN,
269 	CIL_SYM_ARRAY_MACRO,
270 	CIL_SYM_ARRAY_CONDBLOCK,
271 	CIL_SYM_ARRAY_NUM
272 };
273 
274 extern int cil_sym_sizes[CIL_SYM_ARRAY_NUM][CIL_SYM_NUM];
275 
276 #define CIL_CLASS_SYM_SIZE	256
277 #define CIL_PERMS_PER_CLASS (sizeof(sepol_access_vector_t) * 8)
278 
279 struct cil_db {
280 	struct cil_tree *parse;
281 	struct cil_tree *ast;
282 	struct cil_type *selftype;
283 	struct cil_list *sidorder;
284 	struct cil_list *classorder;
285 	struct cil_list *catorder;
286 	struct cil_list *sensitivityorder;
287 	struct cil_sort *netifcon;
288 	struct cil_sort *genfscon;
289 	struct cil_sort *filecon;
290 	struct cil_sort *nodecon;
291 	struct cil_sort *ibpkeycon;
292 	struct cil_sort *ibendportcon;
293 	struct cil_sort *portcon;
294 	struct cil_sort *pirqcon;
295 	struct cil_sort *iomemcon;
296 	struct cil_sort *ioportcon;
297 	struct cil_sort *pcidevicecon;
298 	struct cil_sort *devicetreecon;
299 	struct cil_sort *fsuse;
300 	struct cil_list *userprefixes;
301 	struct cil_list *selinuxusers;
302 	struct cil_list *names;
303 	int num_types_and_attrs;
304 	int num_classes;
305 	int num_cats;
306 	int num_types;
307 	int num_roles;
308 	int num_users;
309 	struct cil_type **val_to_type;
310 	struct cil_role **val_to_role;
311 	struct cil_user **val_to_user;
312 	int disable_dontaudit;
313 	int disable_neverallow;
314 	int attrs_expand_generated;
315 	unsigned attrs_expand_size;
316 	int preserve_tunables;
317 	int handle_unknown;
318 	int mls;
319 	int multiple_decls;
320 	int target_platform;
321 	int policy_version;
322 };
323 
324 struct cil_root {
325 	symtab_t symtab[CIL_SYM_NUM];
326 };
327 
328 struct cil_sort {
329 	enum cil_flavor flavor;
330 	uint32_t count;
331 	uint32_t index;
332 	void **array;
333 };
334 
335 struct cil_block {
336 	struct cil_symtab_datum datum;
337 	symtab_t symtab[CIL_SYM_NUM];
338 	uint16_t is_abstract;
339 	struct cil_list *bi_nodes;
340 };
341 
342 struct cil_blockinherit {
343 	char *block_str;
344 	struct cil_block *block;
345 };
346 
347 struct cil_blockabstract {
348 	char *block_str;
349 };
350 
351 struct cil_in {
352 	symtab_t symtab[CIL_SYM_NUM];
353 	char *block_str;
354 };
355 
356 struct cil_optional {
357 	struct cil_symtab_datum datum;
358 	int enabled;
359 };
360 
361 struct cil_perm {
362 	struct cil_symtab_datum datum;
363 	unsigned int value;
364 	struct cil_list *classperms; /* Only used for map perms */
365 };
366 
367 struct cil_class {
368 	struct cil_symtab_datum datum;
369 	symtab_t perms;
370 	unsigned int num_perms;
371 	struct cil_class *common; /* Only used for kernel class */
372 	uint32_t ordered; /* Only used for kernel class */
373 };
374 
375 struct cil_classorder {
376 	struct cil_list *class_list_str;
377 };
378 
379 struct cil_classperms_set {
380 	char *set_str;
381 	struct cil_classpermission *set;
382 };
383 
384 struct cil_classperms {
385 	char *class_str;
386 	struct cil_class *class;
387 	struct cil_list *perm_strs;
388 	struct cil_list *perms;
389 };
390 
391 struct cil_classpermission {
392 	struct cil_symtab_datum datum;
393 	struct cil_list *classperms;
394 };
395 
396 struct cil_classpermissionset {
397 	char *set_str;
398 	struct cil_list *classperms;
399 };
400 
401 struct cil_classmapping {
402 	char *map_class_str;
403 	char *map_perm_str;
404 	struct cil_list *classperms;
405 };
406 
407 struct cil_classcommon {
408 	char *class_str;
409 	char *common_str;
410 };
411 
412 struct cil_alias {
413 	struct cil_symtab_datum datum;
414 	void *actual;
415 };
416 
417 struct cil_aliasactual {
418 	char *alias_str;
419 	char *actual_str;
420 };
421 
422 struct cil_sid {
423 	struct cil_symtab_datum datum;
424 	struct cil_context *context;
425 	uint32_t ordered;
426 };
427 
428 struct cil_sidcontext {
429 	char *sid_str;
430 	char *context_str;
431 	struct cil_context *context;
432 };
433 
434 struct cil_sidorder {
435 	struct cil_list *sid_list_str;
436 };
437 
438 struct cil_user {
439 	struct cil_symtab_datum datum;
440 	struct cil_user *bounds;
441 	ebitmap_t *roles;
442 	struct cil_level *dftlevel;
443 	struct cil_levelrange *range;
444 	int value;
445 };
446 
447 struct cil_userattribute {
448 	struct cil_symtab_datum datum;
449 	struct cil_list *expr_list;
450 	ebitmap_t *users;
451 };
452 
453 struct cil_userattributeset {
454 	char *attr_str;
455 	struct cil_list *str_expr;
456 	struct cil_list *datum_expr;
457 };
458 
459 struct cil_userrole {
460 	char *user_str;
461 	void *user;
462 	char *role_str;
463 	void *role;
464 };
465 
466 struct cil_userlevel {
467 	char *user_str;
468 	char *level_str;
469 	struct cil_level *level;
470 };
471 
472 struct cil_userrange {
473 	char *user_str;
474 	char *range_str;
475 	struct cil_levelrange *range;
476 };
477 
478 struct cil_userprefix {
479 	char *user_str;
480 	struct cil_user *user;
481 	char *prefix_str;
482 };
483 
484 struct cil_selinuxuser {
485 	char *name_str;
486 	char *user_str;
487 	struct cil_user *user;
488 	char *range_str;
489 	struct cil_levelrange *range;
490 };
491 
492 struct cil_role {
493 	struct cil_symtab_datum datum;
494 	struct cil_role *bounds;
495 	ebitmap_t *types;
496 	int value;
497 };
498 
499 struct cil_roleattribute {
500 	struct cil_symtab_datum datum;
501 	struct cil_list *expr_list;
502 	ebitmap_t *roles;
503 };
504 
505 struct cil_roleattributeset {
506 	char *attr_str;
507 	struct cil_list *str_expr;
508 	struct cil_list *datum_expr;
509 };
510 
511 struct cil_roletype {
512 	char *role_str;
513 	void *role; /* role or attribute */
514 	char *type_str;
515 	void *type; /* type, alias, or attribute */
516 };
517 
518 struct cil_type	{
519 	struct cil_symtab_datum datum;
520 	struct cil_type *bounds;
521 	int value;
522 };
523 
524 #define CIL_ATTR_AVRULE		(1 << 0)
525 #define CIL_ATTR_NEVERALLOW	(1 << 1)
526 #define CIL_ATTR_CONSTRAINT	(1 << 2)
527 #define CIL_ATTR_EXPAND_TRUE	(1 << 3)
528 #define CIL_ATTR_EXPAND_FALSE	(1 << 4)
529 struct cil_typeattribute {
530 	struct cil_symtab_datum datum;
531 	struct cil_list *expr_list;
532 	ebitmap_t *types;
533 	int used;	// whether or not this attribute was used in a binary policy rule
534 	int keep;
535 };
536 
537 struct cil_typeattributeset {
538 	char *attr_str;
539 	struct cil_list *str_expr;
540 	struct cil_list *datum_expr;
541 };
542 
543 struct cil_expandtypeattribute {
544 	struct cil_list *attr_strs;
545 	struct cil_list *attr_datums;
546 	int expand;
547 };
548 
549 struct cil_typepermissive {
550 	char *type_str;
551 	void *type; /* type or alias */
552 };
553 
554 struct cil_name {
555 	struct cil_symtab_datum datum;
556 	char *name_str;
557 };
558 
559 struct cil_nametypetransition {
560 	char *src_str;
561 	void *src; /* type, alias, or attribute */
562 	char *tgt_str;
563 	void *tgt; /* type, alias, or attribute */
564 	char *obj_str;
565 	struct cil_class *obj;
566 	char *name_str;
567 	struct cil_name *name;
568 	char *result_str;
569 	void *result; /* type or alias */
570 
571 };
572 
573 struct cil_rangetransition {
574 	char *src_str;
575 	void *src; /* type, alias, or attribute */
576 	char *exec_str;
577 	void *exec; /* type, alias, or attribute */
578 	char *obj_str;
579 	struct cil_class *obj;
580 	char *range_str;
581 	struct cil_levelrange *range;
582 };
583 
584 struct cil_bool {
585 	struct cil_symtab_datum datum;
586 	uint16_t value;
587 };
588 
589 struct cil_tunable {
590 	struct cil_symtab_datum datum;
591 	uint16_t value;
592 };
593 
594 #define CIL_AVRULE_ALLOWED     1
595 #define CIL_AVRULE_AUDITALLOW  2
596 #define CIL_AVRULE_DONTAUDIT   8
597 #define CIL_AVRULE_NEVERALLOW 128
598 #define CIL_AVRULE_AV         (AVRULE_ALLOWED | AVRULE_AUDITALLOW | AVRULE_DONTAUDIT | AVRULE_NEVERALLOW)
599 struct cil_avrule {
600 	int is_extended;
601 	uint32_t rule_kind;
602 	char *src_str;
603 	void *src; /* type, alias, or attribute */
604 	char *tgt_str;
605 	void *tgt; /* type, alias, or attribute */
606 	union {
607 		struct cil_list *classperms;
608 		struct {
609 			char *permx_str;
610 			struct cil_permissionx *permx;
611 		} x;
612 	} perms;
613 };
614 
615 #define CIL_PERMX_KIND_IOCTL 1
616 struct cil_permissionx {
617 	struct cil_symtab_datum datum;
618 	uint32_t kind;
619 	char *obj_str;
620 	struct cil_class *obj;
621 	struct cil_list *expr_str;
622 	ebitmap_t *perms;
623 };
624 
625 #define CIL_TYPE_TRANSITION 16
626 #define CIL_TYPE_MEMBER     32
627 #define CIL_TYPE_CHANGE     64
628 #define CIL_AVRULE_TYPE       (AVRULE_TRANSITION | AVRULE_MEMBER | AVRULE_CHANGE)
629 struct cil_type_rule {
630 	uint32_t rule_kind;
631 	char *src_str;
632 	void *src; /* type, alias, or attribute */
633 	char *tgt_str;
634 	void *tgt; /* type, alias, or attribute */
635 	char *obj_str;
636 	struct cil_class *obj;
637 	char *result_str;
638 	void *result; /* type or alias */
639 };
640 
641 struct cil_roletransition {
642 	char *src_str;
643 	struct cil_role *src;
644 	char *tgt_str;
645 	void *tgt; /* type, alias, or attribute */
646 	char *obj_str;
647 	struct cil_class *obj;
648 	char *result_str;
649 	struct cil_role *result;
650 };
651 
652 struct cil_roleallow {
653 	char *src_str;
654 	void *src; /* role or attribute */
655 	char *tgt_str;
656 	void *tgt; /* role or attribute */
657 };
658 
659 struct cil_sens {
660 	struct cil_symtab_datum datum;
661 	struct cil_list *cats_list;
662 	uint32_t ordered;
663 };
664 
665 struct cil_sensorder {
666 	struct cil_list *sens_list_str;
667 };
668 
669 struct cil_cat {
670 	struct cil_symtab_datum datum;
671 	uint32_t ordered;
672 	int value;
673 };
674 
675 struct cil_cats {
676 	uint32_t evaluated;
677 	struct cil_list *str_expr;
678 	struct cil_list *datum_expr;
679 };
680 
681 struct cil_catset {
682 	struct cil_symtab_datum datum;
683 	struct cil_cats *cats;
684 };
685 
686 struct cil_catorder {
687 	struct cil_list *cat_list_str;
688 };
689 
690 struct cil_senscat {
691 	char *sens_str;
692 	struct cil_cats *cats;
693 };
694 
695 struct cil_level {
696 	struct cil_symtab_datum datum;
697 	char *sens_str;
698 	struct cil_sens *sens;
699 	struct cil_cats *cats;
700 };
701 
702 struct cil_levelrange {
703 	struct cil_symtab_datum datum;
704 	char *low_str;
705 	struct cil_level *low;
706 	char *high_str;
707 	struct cil_level *high;
708 };
709 
710 struct cil_context {
711 	struct cil_symtab_datum datum;
712 	char *user_str;
713 	struct cil_user *user;
714 	char *role_str;
715 	struct cil_role *role;
716 	char *type_str;
717 	void *type; /* type or alias */
718 	char *range_str;
719 	struct cil_levelrange *range;
720 };
721 
722 enum cil_filecon_types {
723 	CIL_FILECON_FILE = 1,
724 	CIL_FILECON_DIR,
725 	CIL_FILECON_CHAR,
726 	CIL_FILECON_BLOCK,
727 	CIL_FILECON_SOCKET,
728 	CIL_FILECON_PIPE,
729 	CIL_FILECON_SYMLINK,
730 	CIL_FILECON_ANY
731 };
732 
733 struct cil_filecon {
734 	char *path_str;
735 	enum cil_filecon_types type;
736 	char *context_str;
737 	struct cil_context *context;
738 };
739 
740 enum cil_protocol {
741 	CIL_PROTOCOL_UDP = 1,
742 	CIL_PROTOCOL_TCP,
743 	CIL_PROTOCOL_DCCP
744 };
745 
746 struct cil_ibpkeycon {
747 	char *subnet_prefix_str;
748 	uint32_t pkey_low;
749 	uint32_t pkey_high;
750 	char *context_str;
751 	struct cil_context *context;
752 };
753 
754 struct cil_portcon {
755 	enum cil_protocol proto;
756 	uint32_t port_low;
757 	uint32_t port_high;
758 	char *context_str;
759 	struct cil_context *context;
760 };
761 
762 struct cil_nodecon {
763 	char *addr_str;
764 	struct cil_ipaddr *addr;
765 	char *mask_str;
766 	struct cil_ipaddr *mask;
767 	char *context_str;
768 	struct cil_context *context;
769 };
770 
771 struct cil_ipaddr {
772 	struct cil_symtab_datum datum;
773 	int family;
774 	union {
775 		struct in_addr v4;
776 		struct in6_addr v6;
777 	} ip;
778 };
779 
780 struct cil_genfscon {
781 	char *fs_str;
782 	char *path_str;
783 	char *context_str;
784 	struct cil_context *context;
785 };
786 
787 struct cil_netifcon {
788 	char *interface_str;
789 	char *if_context_str;
790 	struct cil_context *if_context;
791 	char *packet_context_str;
792 	struct cil_context *packet_context;
793 	char *context_str;
794 };
795 
796 struct cil_ibendportcon {
797 	char *dev_name_str;
798 	uint32_t port;
799 	char *context_str;
800 	struct cil_context *context;
801 };
802 struct cil_pirqcon {
803 	uint32_t pirq;
804 	char *context_str;
805 	struct cil_context *context;
806 };
807 
808 struct cil_iomemcon {
809 	uint64_t iomem_low;
810 	uint64_t iomem_high;
811 	char *context_str;
812 	struct cil_context *context;
813 };
814 
815 struct cil_ioportcon {
816 	uint32_t ioport_low;
817 	uint32_t ioport_high;
818 	char *context_str;
819 	struct cil_context *context;
820 };
821 
822 struct cil_pcidevicecon {
823 	uint32_t dev;
824 	char *context_str;
825 	struct cil_context *context;
826 };
827 
828 struct cil_devicetreecon {
829 	char *path;
830 	char *context_str;
831 	struct cil_context *context;
832 };
833 
834 
835 /* Ensure that CIL uses the same values as sepol services.h */
836 enum cil_fsuse_types {
837 	CIL_FSUSE_XATTR = SECURITY_FS_USE_XATTR,
838 	CIL_FSUSE_TASK = SECURITY_FS_USE_TASK,
839 	CIL_FSUSE_TRANS = SECURITY_FS_USE_TRANS
840 };
841 
842 struct cil_fsuse {
843 	enum cil_fsuse_types type;
844 	char *fs_str;
845 	char *context_str;
846 	struct cil_context *context;
847 };
848 
849 #define CIL_MLS_LEVELS "l1 l2 h1 h2"
850 #define CIL_CONSTRAIN_KEYS "t1 t2 r1 r2 u1 u2"
851 #define CIL_MLSCONSTRAIN_KEYS CIL_MLS_LEVELS CIL_CONSTRAIN_KEYS
852 #define CIL_CONSTRAIN_OPER "== != eq dom domby incomp not and or"
853 struct cil_constrain {
854 	struct cil_list *classperms;
855 	struct cil_list *str_expr;
856 	struct cil_list *datum_expr;
857 };
858 
859 struct cil_validatetrans {
860 	char *class_str;
861 	struct cil_class *class;
862 	struct cil_list *str_expr;
863 	struct cil_list *datum_expr;
864 };
865 
866 struct cil_param {
867 	char *str;
868 	enum cil_flavor flavor;
869 };
870 
871 struct cil_macro {
872 	struct cil_symtab_datum datum;
873 	symtab_t symtab[CIL_SYM_NUM];
874 	struct cil_list *params;
875 };
876 
877 struct cil_args {
878 	char *arg_str;
879 	struct cil_symtab_datum *arg;
880 	char *param_str;
881 	enum cil_flavor flavor;
882 };
883 
884 struct cil_call {
885 	char *macro_str;
886 	struct cil_macro *macro;
887 	struct cil_tree *args_tree;
888 	struct cil_list *args;
889 	int copied;
890 };
891 
892 #define CIL_TRUE	1
893 #define CIL_FALSE	0
894 
895 struct cil_condblock {
896 	enum cil_flavor flavor;
897 	symtab_t symtab[CIL_SYM_NUM];
898 };
899 
900 struct cil_booleanif {
901 	struct cil_list *str_expr;
902 	struct cil_list *datum_expr;
903 	int preserved_tunable;
904 };
905 
906 struct cil_tunableif {
907 	struct cil_list *str_expr;
908 	struct cil_list *datum_expr;
909 };
910 
911 struct cil_policycap {
912 	struct cil_symtab_datum datum;
913 };
914 
915 struct cil_bounds {
916 	char *parent_str;
917 	char *child_str;
918 };
919 
920 /* Ensure that CIL uses the same values as sepol policydb.h */
921 enum cil_default_object {
922 	CIL_DEFAULT_SOURCE = DEFAULT_SOURCE,
923 	CIL_DEFAULT_TARGET = DEFAULT_TARGET,
924 };
925 
926 /* Default labeling behavior for users, roles, and types */
927 struct cil_default {
928 	enum cil_flavor flavor;
929 	struct cil_list *class_strs;
930 	struct cil_list *class_datums;
931 	enum cil_default_object object;
932 };
933 
934 /* Ensure that CIL uses the same values as sepol policydb.h */
935 enum cil_default_object_range {
936 	CIL_DEFAULT_SOURCE_LOW      = DEFAULT_SOURCE_LOW,
937 	CIL_DEFAULT_SOURCE_HIGH     = DEFAULT_SOURCE_HIGH,
938 	CIL_DEFAULT_SOURCE_LOW_HIGH = DEFAULT_SOURCE_LOW_HIGH,
939 	CIL_DEFAULT_TARGET_LOW      = DEFAULT_TARGET_LOW,
940 	CIL_DEFAULT_TARGET_HIGH     = DEFAULT_TARGET_HIGH,
941 	CIL_DEFAULT_TARGET_LOW_HIGH = DEFAULT_TARGET_LOW_HIGH,
942 };
943 
944 /* Default labeling behavior for range */
945 struct cil_defaultrange {
946 	struct cil_list *class_strs;
947 	struct cil_list *class_datums;
948 	enum cil_default_object_range object_range;
949 };
950 
951 struct cil_handleunknown {
952 	int handle_unknown;
953 };
954 
955 struct cil_mls {
956 	int value;
957 };
958 
959 struct cil_src_info {
960 	int is_cil;
961 	char *path;
962 };
963 
964 void cil_db_init(struct cil_db **db);
965 void cil_db_destroy(struct cil_db **db);
966 
967 void cil_root_init(struct cil_root **root);
968 void cil_root_destroy(struct cil_root *root);
969 
970 void cil_destroy_data(void **data, enum cil_flavor flavor);
971 
972 int cil_flavor_to_symtab_index(enum cil_flavor flavor, enum cil_sym_index *index);
973 const char * cil_node_to_string(struct cil_tree_node *node);
974 
975 int cil_userprefixes_to_string(struct cil_db *db, char **out, size_t *size);
976 int cil_selinuxusers_to_string(struct cil_db *db, char **out, size_t *size);
977 int cil_filecons_to_string(struct cil_db *db, char **out, size_t *size);
978 
979 void cil_symtab_array_init(symtab_t symtab[], int symtab_sizes[CIL_SYM_NUM]);
980 void cil_symtab_array_destroy(symtab_t symtab[]);
981 void cil_destroy_ast_symtabs(struct cil_tree_node *root);
982 int cil_get_symtab(struct cil_tree_node *ast_node, symtab_t **symtab, enum cil_sym_index sym_index);
983 
984 void cil_sort_init(struct cil_sort **sort);
985 void cil_sort_destroy(struct cil_sort **sort);
986 void cil_netifcon_init(struct cil_netifcon **netifcon);
987 void cil_ibendportcon_init(struct cil_ibendportcon **ibendportcon);
988 void cil_context_init(struct cil_context **context);
989 void cil_level_init(struct cil_level **level);
990 void cil_levelrange_init(struct cil_levelrange **lvlrange);
991 void cil_sens_init(struct cil_sens **sens);
992 void cil_block_init(struct cil_block **block);
993 void cil_blockinherit_init(struct cil_blockinherit **inherit);
994 void cil_blockabstract_init(struct cil_blockabstract **abstract);
995 void cil_in_init(struct cil_in **in);
996 void cil_class_init(struct cil_class **class);
997 void cil_classorder_init(struct cil_classorder **classorder);
998 void cil_classcommon_init(struct cil_classcommon **classcommon);
999 void cil_sid_init(struct cil_sid **sid);
1000 void cil_sidcontext_init(struct cil_sidcontext **sidcontext);
1001 void cil_sidorder_init(struct cil_sidorder **sidorder);
1002 void cil_userrole_init(struct cil_userrole **userrole);
1003 void cil_userprefix_init(struct cil_userprefix **userprefix);
1004 void cil_selinuxuser_init(struct cil_selinuxuser **selinuxuser);
1005 void cil_roleattribute_init(struct cil_roleattribute **attribute);
1006 void cil_roleattributeset_init(struct cil_roleattributeset **attrset);
1007 void cil_roletype_init(struct cil_roletype **roletype);
1008 void cil_typeattribute_init(struct cil_typeattribute **attribute);
1009 void cil_typeattributeset_init(struct cil_typeattributeset **attrset);
1010 void cil_expandtypeattribute_init(struct cil_expandtypeattribute **expandattr);
1011 void cil_alias_init(struct cil_alias **alias);
1012 void cil_aliasactual_init(struct cil_aliasactual **aliasactual);
1013 void cil_typepermissive_init(struct cil_typepermissive **typeperm);
1014 void cil_name_init(struct cil_name **name);
1015 void cil_nametypetransition_init(struct cil_nametypetransition **nametypetrans);
1016 void cil_rangetransition_init(struct cil_rangetransition **rangetrans);
1017 void cil_bool_init(struct cil_bool **cilbool);
1018 void cil_boolif_init(struct cil_booleanif **bif);
1019 void cil_condblock_init(struct cil_condblock **cb);
1020 void cil_tunable_init(struct cil_tunable **ciltun);
1021 void cil_tunif_init(struct cil_tunableif **tif);
1022 void cil_avrule_init(struct cil_avrule **avrule);
1023 void cil_permissionx_init(struct cil_permissionx **permx);
1024 void cil_type_rule_init(struct cil_type_rule **type_rule);
1025 void cil_roletransition_init(struct cil_roletransition **roletrans);
1026 void cil_roleallow_init(struct cil_roleallow **role_allow);
1027 void cil_catset_init(struct cil_catset **catset);
1028 void cil_cats_init(struct cil_cats **cats);
1029 void cil_senscat_init(struct cil_senscat **senscat);
1030 void cil_filecon_init(struct cil_filecon **filecon);
1031 void cil_ibpkeycon_init(struct cil_ibpkeycon **ibpkeycon);
1032 void cil_portcon_init(struct cil_portcon **portcon);
1033 void cil_nodecon_init(struct cil_nodecon **nodecon);
1034 void cil_genfscon_init(struct cil_genfscon **genfscon);
1035 void cil_pirqcon_init(struct cil_pirqcon **pirqcon);
1036 void cil_iomemcon_init(struct cil_iomemcon **iomemcon);
1037 void cil_ioportcon_init(struct cil_ioportcon **ioportcon);
1038 void cil_pcidevicecon_init(struct cil_pcidevicecon **pcidevicecon);
1039 void cil_devicetreecon_init(struct cil_devicetreecon **devicetreecon);
1040 void cil_fsuse_init(struct cil_fsuse **fsuse);
1041 void cil_constrain_init(struct cil_constrain **constrain);
1042 void cil_validatetrans_init(struct cil_validatetrans **validtrans);
1043 void cil_ipaddr_init(struct cil_ipaddr **ipaddr);
1044 void cil_perm_init(struct cil_perm **perm);
1045 void cil_classpermission_init(struct cil_classpermission **cp);
1046 void cil_classpermissionset_init(struct cil_classpermissionset **cps);
1047 void cil_classperms_set_init(struct cil_classperms_set **cp_set);
1048 void cil_classperms_init(struct cil_classperms **cp);
1049 void cil_classmapping_init(struct cil_classmapping **mapping);
1050 void cil_user_init(struct cil_user **user);
1051 void cil_userlevel_init(struct cil_userlevel **usrlvl);
1052 void cil_userrange_init(struct cil_userrange **userrange);
1053 void cil_role_init(struct cil_role **role);
1054 void cil_type_init(struct cil_type **type);
1055 void cil_cat_init(struct cil_cat **cat);
1056 void cil_catorder_init(struct cil_catorder **catorder);
1057 void cil_sensorder_init(struct cil_sensorder **sensorder);
1058 void cil_args_init(struct cil_args **args);
1059 void cil_call_init(struct cil_call **call);
1060 void cil_optional_init(struct cil_optional **optional);
1061 void cil_param_init(struct cil_param **param);
1062 void cil_macro_init(struct cil_macro **macro);
1063 void cil_policycap_init(struct cil_policycap **policycap);
1064 void cil_bounds_init(struct cil_bounds **bounds);
1065 void cil_default_init(struct cil_default **def);
1066 void cil_defaultrange_init(struct cil_defaultrange **def);
1067 void cil_handleunknown_init(struct cil_handleunknown **unk);
1068 void cil_mls_init(struct cil_mls **mls);
1069 void cil_src_info_init(struct cil_src_info **info);
1070 void cil_userattribute_init(struct cil_userattribute **attribute);
1071 void cil_userattributeset_init(struct cil_userattributeset **attrset);
1072 
1073 #endif
1074