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#include <sepol/policydb/policydb.h>
31b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
32b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "CuTest.h"
33b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "CilTest.h"
34b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
35b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "../../src/cil_fqn.h"
36b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "../../src/cil_build_ast.h"
37b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
38b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrencevoid test_cil_qualify_name(CuTest *tc) {
39b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	char *line[] = {"(", "category", "c0", ")",
40b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "categoryorder", "(", "c0", ")", ")",
41b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "sensitivity", "s0", ")",
42b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "sensitivitycategory", "s0", "(", "c0", ")", ")",
43b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "type", "blah_t", ")",
44b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "role", "blah_r", ")",
45b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "user", "blah_u", ")",
46b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "context", "con", "(", "blah_u", "blah_r", "blah_t", "(", "s0", "(", "c0", ")", ")", "(", "s0", "(", "c0", ")", ")", ")", ")",
47b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "sid", "test", "con", NULL};
48b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
49b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	struct cil_tree *tree;
50b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	gen_test_tree(&tree, line);
51b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
52b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	struct cil_db *test_db;
53b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	cil_db_init(&test_db);
54b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
55b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	cil_build_ast(test_db, tree->root, test_db->ast->root);
56b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
57b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	int rc = cil_fqn_qualify(test_db->ast->root);
58b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	CuAssertIntEquals(tc, SEPOL_OK, rc);
59b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence}
60b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
61b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrencevoid test_cil_qualify_name_cil_flavor(CuTest *tc) {
62b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	char *line[] = {"(", "class",  "file", "inherits", "file",
63b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence			"(", "open", ")", ")", NULL};
64b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
65b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	struct cil_tree *tree;
66b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	gen_test_tree(&tree, line);
67b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
68b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	struct cil_db *test_db;
69b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	cil_db_init(&test_db);
70b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
71b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	cil_build_ast(test_db, tree->root, test_db->ast->root);
72b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence
73b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	int rc = cil_fqn_qualify(test_db->ast->root);
74b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence	CuAssertIntEquals(tc, SEPOL_OK, rc);
75b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence}
76