| /* |
| * Copyright 2011 Tresys Technology, LLC. All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions are met: |
| * |
| * 1. Redistributions of source code must retain the above copyright notice, |
| * this list of conditions and the following disclaimer. |
| * |
| * 2. Redistributions in binary form must reproduce the above copyright notice, |
| * this list of conditions and the following disclaimer in the documentation |
| * and/or other materials provided with the distribution. |
| * |
| * THIS SOFTWARE IS PROVIDED BY TRESYS TECHNOLOGY, LLC ``AS IS'' AND ANY EXPRESS |
| * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF |
| * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO |
| * EVENT SHALL TRESYS TECHNOLOGY, LLC OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, |
| * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, |
| * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF |
| * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE |
| * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF |
| * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| * |
| * The views and conclusions contained in the software and documentation are those |
| * of the authors and should not be interpreted as representing official policies, |
| * either expressed or implied, of Tresys Technology, LLC. |
| */ |
| |
| #include "CuTest.h" |
| #include "CilTest.h" |
| |
| #include "../../src/cil_internal.h" |
| #include "../../src/cil_build_ast.h" |
| |
| void test_cil_list_init(CuTest *tc) { |
| struct cil_avrule *test_avrule = malloc(sizeof(*test_avrule)); |
| |
| cil_classpermset_init(&test_avrule->classpermset); |
| cil_permset_init(&test_avrule->classpermset->permset); |
| |
| cil_list_init(&test_avrule->classpermset->permset->perms_list_str); |
| CuAssertPtrNotNull(tc, test_avrule->classpermset->permset->perms_list_str); |
| |
| cil_destroy_avrule(test_avrule); |
| } |
| |
| void test_cil_list_append_item(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list; |
| cil_list_init(&test_class_list); |
| |
| struct cil_list_item *test_new_item; |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head; |
| |
| int rc = cil_list_append_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_OK, rc); |
| } |
| |
| void test_cil_list_append_item_append(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list; |
| cil_list_init(&test_class_list); |
| |
| struct cil_list_item *test_new_item; |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head; |
| |
| int rc = cil_list_append_item(test_class_list, test_new_item); |
| |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head->next; |
| |
| int rc2 = cil_list_append_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_OK, rc); |
| CuAssertIntEquals(tc, SEPOL_OK, rc2); |
| } |
| |
| void test_cil_list_append_item_append_extra(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", "process", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list; |
| cil_list_init(&test_class_list); |
| |
| struct cil_list_item *test_new_item; |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head; |
| |
| int rc = cil_list_append_item(test_class_list, test_new_item); |
| |
| cil_list_item_init(&test_new_item); |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head->next; |
| |
| int rc2 = cil_list_append_item(test_class_list, test_new_item); |
| |
| cil_list_item_init(&test_new_item); |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head->next->next; |
| |
| int rc3 = cil_list_append_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_OK, rc); |
| CuAssertIntEquals(tc, SEPOL_OK, rc2); |
| CuAssertIntEquals(tc, SEPOL_OK, rc3); |
| } |
| |
| void test_cil_list_append_item_listnull_neg(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list = NULL; |
| |
| struct cil_list_item *test_new_item; |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head; |
| |
| int rc = cil_list_append_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_ERR, rc); |
| } |
| |
| void test_cil_list_append_item_itemnull_neg(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list; |
| cil_list_init(&test_class_list); |
| |
| struct cil_list_item *test_new_item = NULL; |
| |
| int rc = cil_list_append_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_ERR, rc); |
| } |
| |
| void test_cil_list_prepend_item(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list; |
| cil_list_init(&test_class_list); |
| |
| struct cil_list_item *test_new_item; |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head; |
| |
| int rc = cil_list_prepend_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_OK, rc); |
| } |
| |
| void test_cil_list_prepend_item_prepend(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list; |
| cil_list_init(&test_class_list); |
| |
| struct cil_list_item *test_new_item; |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head; |
| |
| int rc = cil_list_prepend_item(test_class_list, test_new_item); |
| |
| CuAssertIntEquals(tc, SEPOL_OK, rc); |
| } |
| |
| void test_cil_list_prepend_item_prepend_neg(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", "process", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list; |
| cil_list_init(&test_class_list); |
| |
| struct cil_list_item *test_new_item; |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head; |
| |
| struct cil_list_item *test_new_item_next; |
| cil_list_item_init(&test_new_item_next); |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head->next; |
| test_new_item->next = test_new_item_next; |
| |
| int rc = cil_list_prepend_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_ERR, rc); |
| } |
| |
| void test_cil_list_prepend_item_listnull_neg(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list = NULL; |
| |
| struct cil_list_item *test_new_item; |
| cil_list_item_init(&test_new_item); |
| |
| test_new_item->flavor = CIL_CLASS; |
| test_new_item->data = test_tree->root->cl_head->cl_head->next->cl_head; |
| |
| int rc = cil_list_prepend_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_ERR, rc); |
| } |
| |
| void test_cil_list_prepend_item_itemnull_neg(CuTest *tc) { |
| char *line[] = {"(", "mlsconstrain", "(", "file", "dir", ")", "(", "create", "relabelto", ")", "(", "eq", "12", "h2", ")", ")", NULL}; |
| |
| struct cil_tree *test_tree; |
| gen_test_tree(&test_tree, line); |
| |
| struct cil_tree_node *test_ast_node; |
| cil_tree_node_init(&test_ast_node); |
| |
| struct cil_db *test_db; |
| cil_db_init(&test_db); |
| |
| test_ast_node->parent = test_db->ast->root; |
| test_ast_node->line = 1; |
| |
| struct cil_list *test_class_list; |
| cil_list_init(&test_class_list); |
| |
| struct cil_list_item *test_new_item = NULL; |
| |
| int rc = cil_list_prepend_item(test_class_list, test_new_item); |
| CuAssertIntEquals(tc, SEPOL_ERR, rc); |
| } |