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