1b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence/* 2b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * Copyright 2011 Tresys Technology, LLC. All rights reserved. 3b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * 4b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * Redistribution and use in source and binary forms, with or without 5b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * modification, are permitted provided that the following conditions are met: 6b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * 7b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * 1. Redistributions of source code must retain the above copyright notice, 8b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * this list of conditions and the following disclaimer. 9b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * 10b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * 2. Redistributions in binary form must reproduce the above copyright notice, 11b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * this list of conditions and the following disclaimer in the documentation 12b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * and/or other materials provided with the distribution. 13b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * 14b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * THIS SOFTWARE IS PROVIDED BY TRESYS TECHNOLOGY, LLC ``AS IS'' AND ANY EXPRESS 15b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF 16b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO 17b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * EVENT SHALL TRESYS TECHNOLOGY, LLC OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 18b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, 19b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 20b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF 21b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE 22b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF 23b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 24b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * 25b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * The views and conclusions contained in the software and documentation are those 26b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * of the authors and should not be interpreted as representing official policies, 27b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence * either expressed or implied, of Tresys Technology, LLC. 28b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence */ 29b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 30b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#ifndef CIL_VERIFY_H_ 31b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#define CIL_VERIFY_H_ 32b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 33b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include <stdint.h> 34b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 35b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_internal.h" 36b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_flavor.h" 37b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_tree.h" 38b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_list.h" 39b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 40b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceenum cil_syntax { 41b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence CIL_SYN_STRING = 1 << 0, 42b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence CIL_SYN_LIST = 1 << 1, 43b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence CIL_SYN_EMPTY_LIST = 1 << 2, 44b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence CIL_SYN_N_LISTS = 1 << 3, 45b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence CIL_SYN_N_STRINGS = 1 << 4, 46b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence CIL_SYN_END = 1 << 5 47b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence}; 48b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 49b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrencestruct cil_args_verify { 50b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence struct cil_db *db; 51b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence struct cil_complex_symtab *csymtab; 52b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence int *avrule_cnt; 53b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence int *handleunknown; 54b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence int *mls; 55b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence int *nseuserdflt; 56b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence int *pass; 57b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence}; 58b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 59b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint __cil_verify_name(const char *name); 60b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint __cil_verify_syntax(struct cil_tree_node *parse_current, enum cil_syntax s[], int len); 61b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint cil_verify_expr_syntax(struct cil_tree_node *current, enum cil_flavor op, enum cil_flavor expr_flavor); 62b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint 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); 63b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint cil_verify_constraint_expr_syntax(struct cil_tree_node *current, enum cil_flavor op); 64b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint cil_verify_no_self_reference(struct cil_symtab_datum *datum, struct cil_list *datum_list); 65b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint __cil_verify_ranges(struct cil_list *list); 66b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint __cil_verify_ordered_node_helper(struct cil_tree_node *node, uint32_t *finished, void *extra_args); 67b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint __cil_verify_ordered(struct cil_tree_node *current, enum cil_flavor flavor); 68b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint __cil_verify_initsids(struct cil_list *sids); 69b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint __cil_verify_senscat(struct cil_sens *sens, struct cil_cat *cat); 70b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrenceint __cil_verify_helper(struct cil_tree_node *node, __attribute__((unused)) uint32_t *finished, void *extra_args); 71c3345c58a4efc4a951b2dfbc5ddb9797938d52d9Yuli Khodorkovskiyint __cil_pre_verify_helper(struct cil_tree_node *node, __attribute__((unused)) uint32_t *finished, void *extra_args); 72b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 73b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#endif 74