Home | History | Annotate | Download | only in src
      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_VERIFY_H_
     31 #define CIL_VERIFY_H_
     32 
     33 #include <stdint.h>
     34 
     35 #include "cil_internal.h"
     36 #include "cil_flavor.h"
     37 #include "cil_tree.h"
     38 #include "cil_list.h"
     39 
     40 enum cil_syntax {
     41 	CIL_SYN_STRING      = 1 << 0,
     42 	CIL_SYN_LIST        = 1 << 1,
     43 	CIL_SYN_EMPTY_LIST  = 1 << 2,
     44 	CIL_SYN_N_LISTS     = 1 << 3,
     45 	CIL_SYN_N_STRINGS   = 1 << 4,
     46 	CIL_SYN_END         = 1 << 5
     47 };
     48 
     49 struct cil_args_verify {
     50 	struct cil_db *db;
     51 	struct cil_complex_symtab *csymtab;
     52 	int *avrule_cnt;
     53 	int *handleunknown;
     54 	int *mls;
     55 	int *nseuserdflt;
     56 	int *pass;
     57 };
     58 
     59 int __cil_verify_name(const char *name);
     60 int __cil_verify_syntax(struct cil_tree_node *parse_current, enum cil_syntax s[], int len);
     61 int cil_verify_expr_syntax(struct cil_tree_node *current, enum cil_flavor op, enum cil_flavor expr_flavor);
     62 int cil_verify_constraint_leaf_expr_syntax(enum cil_flavor l_flavor, enum cil_flavor r_flavor, enum cil_flavor op, enum cil_flavor expr_flavor);
     63 int cil_verify_constraint_expr_syntax(struct cil_tree_node *current, enum cil_flavor op);
     64 int cil_verify_no_self_reference(struct cil_symtab_datum *datum, struct cil_list *datum_list);
     65 int __cil_verify_ranges(struct cil_list *list);
     66 int __cil_verify_ordered_node_helper(struct cil_tree_node *node, uint32_t *finished, void *extra_args);
     67 int __cil_verify_ordered(struct cil_tree_node *current, enum cil_flavor flavor);
     68 int __cil_verify_initsids(struct cil_list *sids);
     69 int __cil_verify_senscat(struct cil_sens *sens, struct cil_cat *cat);
     70 int __cil_verify_helper(struct cil_tree_node *node, __attribute__((unused)) uint32_t *finished, void *extra_args);
     71 int cil_verify_no_classperms_loop(struct cil_db *db);
     72 
     73 #endif
     74