1255e72915d4cbddceb435e13d81601755714e9fSE Android/* 2255e72915d4cbddceb435e13d81601755714e9fSE Android * Author: Joshua Brindle <jbrindle@tresys.com> 3255e72915d4cbddceb435e13d81601755714e9fSE Android * 4255e72915d4cbddceb435e13d81601755714e9fSE Android * Copyright (C) 2006 Tresys Technology, LLC 5255e72915d4cbddceb435e13d81601755714e9fSE Android * 6255e72915d4cbddceb435e13d81601755714e9fSE Android * This library is free software; you can redistribute it and/or 7255e72915d4cbddceb435e13d81601755714e9fSE Android * modify it under the terms of the GNU Lesser General Public 8255e72915d4cbddceb435e13d81601755714e9fSE Android * License as published by the Free Software Foundation; either 9255e72915d4cbddceb435e13d81601755714e9fSE Android * version 2.1 of the License, or (at your option) any later version. 10255e72915d4cbddceb435e13d81601755714e9fSE Android * 11255e72915d4cbddceb435e13d81601755714e9fSE Android * This library is distributed in the hope that it will be useful, 12255e72915d4cbddceb435e13d81601755714e9fSE Android * but WITHOUT ANY WARRANTY; without even the implied warranty of 13255e72915d4cbddceb435e13d81601755714e9fSE Android * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14255e72915d4cbddceb435e13d81601755714e9fSE Android * Lesser General Public License for more details. 15255e72915d4cbddceb435e13d81601755714e9fSE Android * 16255e72915d4cbddceb435e13d81601755714e9fSE Android * You should have received a copy of the GNU Lesser General Public 17255e72915d4cbddceb435e13d81601755714e9fSE Android * License along with this library; if not, write to the Free Software 18255e72915d4cbddceb435e13d81601755714e9fSE Android * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA 19255e72915d4cbddceb435e13d81601755714e9fSE Android */ 20255e72915d4cbddceb435e13d81601755714e9fSE Android 21255e72915d4cbddceb435e13d81601755714e9fSE Android#include "parse_util.h" 22255e72915d4cbddceb435e13d81601755714e9fSE Android#include "helpers.h" 23255e72915d4cbddceb435e13d81601755714e9fSE Android#include "test-common.h" 24255e72915d4cbddceb435e13d81601755714e9fSE Android 25255e72915d4cbddceb435e13d81601755714e9fSE Android#include <sepol/policydb/policydb.h> 26255e72915d4cbddceb435e13d81601755714e9fSE Android#include <sepol/policydb/link.h> 27255e72915d4cbddceb435e13d81601755714e9fSE Android#include <sepol/policydb/conditional.h> 28255e72915d4cbddceb435e13d81601755714e9fSE Android 29255e72915d4cbddceb435e13d81601755714e9fSE Android#include <CUnit/Basic.h> 30255e72915d4cbddceb435e13d81601755714e9fSE Android#include <stdlib.h> 31255e72915d4cbddceb435e13d81601755714e9fSE Android 32255e72915d4cbddceb435e13d81601755714e9fSE Android/* Tests for conditionals 33255e72915d4cbddceb435e13d81601755714e9fSE Android * Test each cond/bool for these 34255e72915d4cbddceb435e13d81601755714e9fSE Android * - boolean copied correctly (state is correct) 35255e72915d4cbddceb435e13d81601755714e9fSE Android * - conditional expression is correct 36255e72915d4cbddceb435e13d81601755714e9fSE Android * Tests: 37255e72915d4cbddceb435e13d81601755714e9fSE Android * - single boolean in base 38255e72915d4cbddceb435e13d81601755714e9fSE Android * - single boolean in module 39255e72915d4cbddceb435e13d81601755714e9fSE Android * - single boolean in base optional 40255e72915d4cbddceb435e13d81601755714e9fSE Android * - single boolean in module optional 41255e72915d4cbddceb435e13d81601755714e9fSE Android * - 2 booleans in base 42255e72915d4cbddceb435e13d81601755714e9fSE Android * - 2 booleans in module 43255e72915d4cbddceb435e13d81601755714e9fSE Android * - 2 booleans in base optional 44255e72915d4cbddceb435e13d81601755714e9fSE Android * - 2 booleans in module optional 45255e72915d4cbddceb435e13d81601755714e9fSE Android * - 2 booleans, base and module 46255e72915d4cbddceb435e13d81601755714e9fSE Android * - 2 booleans, base optional and module 47255e72915d4cbddceb435e13d81601755714e9fSE Android * - 2 booleans, base optional and module optional 48255e72915d4cbddceb435e13d81601755714e9fSE Android * - 3 booleans, base, base optional, module 49255e72915d4cbddceb435e13d81601755714e9fSE Android * - 4 boolean, base, base optional, module, module optional 50255e72915d4cbddceb435e13d81601755714e9fSE Android */ 51255e72915d4cbddceb435e13d81601755714e9fSE Android 52255e72915d4cbddceb435e13d81601755714e9fSE Androidtypedef struct test_cond_expr { 53255e72915d4cbddceb435e13d81601755714e9fSE Android char *bool; 54255e72915d4cbddceb435e13d81601755714e9fSE Android uint32_t expr_type; 55255e72915d4cbddceb435e13d81601755714e9fSE Android} test_cond_expr_t; 56255e72915d4cbddceb435e13d81601755714e9fSE Android 57255e72915d4cbddceb435e13d81601755714e9fSE Androidvoid test_cond_expr_mapping(policydb_t * p, avrule_decl_t * d, test_cond_expr_t * bools, int len) 58255e72915d4cbddceb435e13d81601755714e9fSE Android{ 59255e72915d4cbddceb435e13d81601755714e9fSE Android int i; 60255e72915d4cbddceb435e13d81601755714e9fSE Android cond_expr_t *expr; 61255e72915d4cbddceb435e13d81601755714e9fSE Android 62255e72915d4cbddceb435e13d81601755714e9fSE Android CU_ASSERT_FATAL(d->cond_list != NULL); 63255e72915d4cbddceb435e13d81601755714e9fSE Android CU_ASSERT_FATAL(d->cond_list->expr != NULL); 64255e72915d4cbddceb435e13d81601755714e9fSE Android 65255e72915d4cbddceb435e13d81601755714e9fSE Android expr = d->cond_list->expr; 66255e72915d4cbddceb435e13d81601755714e9fSE Android 67255e72915d4cbddceb435e13d81601755714e9fSE Android for (i = 0; i < len; i++) { 68255e72915d4cbddceb435e13d81601755714e9fSE Android CU_ASSERT_FATAL(expr != NULL); 69255e72915d4cbddceb435e13d81601755714e9fSE Android 70255e72915d4cbddceb435e13d81601755714e9fSE Android CU_ASSERT(expr->expr_type == bools[i].expr_type); 71255e72915d4cbddceb435e13d81601755714e9fSE Android if (bools[i].bool) { 72255e72915d4cbddceb435e13d81601755714e9fSE Android CU_ASSERT(strcmp(p->sym_val_to_name[SYM_BOOLS][expr->bool - 1], bools[i].bool) == 0); 73255e72915d4cbddceb435e13d81601755714e9fSE Android } 74255e72915d4cbddceb435e13d81601755714e9fSE Android expr = expr->next; 75255e72915d4cbddceb435e13d81601755714e9fSE Android } 76255e72915d4cbddceb435e13d81601755714e9fSE Android} 77255e72915d4cbddceb435e13d81601755714e9fSE Android 78255e72915d4cbddceb435e13d81601755714e9fSE Androidvoid test_bool_state(policydb_t * p, char *bool, int state) 79255e72915d4cbddceb435e13d81601755714e9fSE Android{ 80255e72915d4cbddceb435e13d81601755714e9fSE Android cond_bool_datum_t *b; 81255e72915d4cbddceb435e13d81601755714e9fSE Android 82255e72915d4cbddceb435e13d81601755714e9fSE Android b = hashtab_search(p->p_bools.table, bool); 83255e72915d4cbddceb435e13d81601755714e9fSE Android CU_ASSERT_FATAL(b != NULL); 84255e72915d4cbddceb435e13d81601755714e9fSE Android CU_ASSERT(b->state == state); 85255e72915d4cbddceb435e13d81601755714e9fSE Android} 86255e72915d4cbddceb435e13d81601755714e9fSE Android 87255e72915d4cbddceb435e13d81601755714e9fSE Androidvoid base_cond_tests(policydb_t * base) 88255e72915d4cbddceb435e13d81601755714e9fSE Android{ 89255e72915d4cbddceb435e13d81601755714e9fSE Android avrule_decl_t *d; 90255e72915d4cbddceb435e13d81601755714e9fSE Android unsigned int decls[1]; 91255e72915d4cbddceb435e13d81601755714e9fSE Android test_cond_expr_t bools[2]; 92255e72915d4cbddceb435e13d81601755714e9fSE Android 93255e72915d4cbddceb435e13d81601755714e9fSE Android /* these tests look at booleans and conditionals in the base only 94255e72915d4cbddceb435e13d81601755714e9fSE Android * to ensure that they aren't altered or removed during the link process */ 95255e72915d4cbddceb435e13d81601755714e9fSE Android 96255e72915d4cbddceb435e13d81601755714e9fSE Android /* bool existance and state, global scope */ 97255e72915d4cbddceb435e13d81601755714e9fSE Android d = test_find_decl_by_sym(base, SYM_TYPES, "tag_g_b"); 98255e72915d4cbddceb435e13d81601755714e9fSE Android decls[0] = d->decl_id; 99255e72915d4cbddceb435e13d81601755714e9fSE Android test_sym_presence(base, "g_b_bool_1", SYM_BOOLS, SCOPE_DECL, decls, 1); 100255e72915d4cbddceb435e13d81601755714e9fSE Android test_bool_state(base, "g_b_bool_1", 0); 101255e72915d4cbddceb435e13d81601755714e9fSE Android /* conditional expression mapped correctly */ 102255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].bool = "g_b_bool_1"; 103255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].expr_type = COND_BOOL; 104255e72915d4cbddceb435e13d81601755714e9fSE Android test_cond_expr_mapping(base, d, bools, 1); 105255e72915d4cbddceb435e13d81601755714e9fSE Android 106255e72915d4cbddceb435e13d81601755714e9fSE Android /* bool existance and state, optional scope */ 107255e72915d4cbddceb435e13d81601755714e9fSE Android d = test_find_decl_by_sym(base, SYM_TYPES, "tag_o1_b"); 108255e72915d4cbddceb435e13d81601755714e9fSE Android decls[0] = d->decl_id; 109255e72915d4cbddceb435e13d81601755714e9fSE Android test_sym_presence(base, "o1_b_bool_1", SYM_BOOLS, SCOPE_DECL, decls, 1); 110255e72915d4cbddceb435e13d81601755714e9fSE Android test_bool_state(base, "o1_b_bool_1", 1); 111255e72915d4cbddceb435e13d81601755714e9fSE Android /* conditional expression mapped correctly */ 112255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].bool = "o1_b_bool_1"; 113255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].expr_type = COND_BOOL; 114255e72915d4cbddceb435e13d81601755714e9fSE Android test_cond_expr_mapping(base, d, bools, 1); 115255e72915d4cbddceb435e13d81601755714e9fSE Android 116255e72915d4cbddceb435e13d81601755714e9fSE Android} 117255e72915d4cbddceb435e13d81601755714e9fSE Android 118255e72915d4cbddceb435e13d81601755714e9fSE Androidvoid module_cond_tests(policydb_t * base) 119255e72915d4cbddceb435e13d81601755714e9fSE Android{ 120255e72915d4cbddceb435e13d81601755714e9fSE Android avrule_decl_t *d; 121255e72915d4cbddceb435e13d81601755714e9fSE Android unsigned int decls[1]; 122255e72915d4cbddceb435e13d81601755714e9fSE Android test_cond_expr_t bools[3]; 123255e72915d4cbddceb435e13d81601755714e9fSE Android 124255e72915d4cbddceb435e13d81601755714e9fSE Android /* bool existance and state, module 1 global scope */ 125255e72915d4cbddceb435e13d81601755714e9fSE Android d = test_find_decl_by_sym(base, SYM_TYPES, "tag_g_m1"); 126255e72915d4cbddceb435e13d81601755714e9fSE Android decls[0] = d->decl_id; 127255e72915d4cbddceb435e13d81601755714e9fSE Android test_sym_presence(base, "g_m1_bool_1", SYM_BOOLS, SCOPE_DECL, decls, 1); 128255e72915d4cbddceb435e13d81601755714e9fSE Android test_bool_state(base, "g_m1_bool_1", 1); 129255e72915d4cbddceb435e13d81601755714e9fSE Android /* conditional expression mapped correctly */ 130255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].bool = "g_m1_bool_1"; 131255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].expr_type = COND_BOOL; 132255e72915d4cbddceb435e13d81601755714e9fSE Android test_cond_expr_mapping(base, d, bools, 1); 133255e72915d4cbddceb435e13d81601755714e9fSE Android 134255e72915d4cbddceb435e13d81601755714e9fSE Android /* bool existance and state, module 1 optional scope */ 135255e72915d4cbddceb435e13d81601755714e9fSE Android d = test_find_decl_by_sym(base, SYM_TYPES, "tag_o1_m1"); 136255e72915d4cbddceb435e13d81601755714e9fSE Android decls[0] = d->decl_id; 137255e72915d4cbddceb435e13d81601755714e9fSE Android test_sym_presence(base, "o1_m1_bool_1", SYM_BOOLS, SCOPE_DECL, decls, 1); 138255e72915d4cbddceb435e13d81601755714e9fSE Android test_bool_state(base, "o1_m1_bool_1", 0); 139255e72915d4cbddceb435e13d81601755714e9fSE Android /* conditional expression mapped correctly */ 140255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].bool = "o1_m1_bool_1"; 141255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].expr_type = COND_BOOL; 142255e72915d4cbddceb435e13d81601755714e9fSE Android test_cond_expr_mapping(base, d, bools, 1); 143255e72915d4cbddceb435e13d81601755714e9fSE Android 144255e72915d4cbddceb435e13d81601755714e9fSE Android /* bool existance and state, module 2 global scope */ 145255e72915d4cbddceb435e13d81601755714e9fSE Android d = test_find_decl_by_sym(base, SYM_TYPES, "tag_g_m2"); 146255e72915d4cbddceb435e13d81601755714e9fSE Android decls[0] = d->decl_id; 147255e72915d4cbddceb435e13d81601755714e9fSE Android test_sym_presence(base, "g_m2_bool_1", SYM_BOOLS, SCOPE_DECL, decls, 1); 148255e72915d4cbddceb435e13d81601755714e9fSE Android test_sym_presence(base, "g_m2_bool_2", SYM_BOOLS, SCOPE_DECL, decls, 1); 149255e72915d4cbddceb435e13d81601755714e9fSE Android test_bool_state(base, "g_m2_bool_1", 1); 150255e72915d4cbddceb435e13d81601755714e9fSE Android test_bool_state(base, "g_m2_bool_2", 0); 151255e72915d4cbddceb435e13d81601755714e9fSE Android /* conditional expression mapped correctly */ 152255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].bool = "g_m2_bool_1"; 153255e72915d4cbddceb435e13d81601755714e9fSE Android bools[0].expr_type = COND_BOOL; 154255e72915d4cbddceb435e13d81601755714e9fSE Android bools[1].bool = "g_m2_bool_2"; 155255e72915d4cbddceb435e13d81601755714e9fSE Android bools[1].expr_type = COND_BOOL; 156255e72915d4cbddceb435e13d81601755714e9fSE Android bools[2].bool = NULL; 157255e72915d4cbddceb435e13d81601755714e9fSE Android bools[2].expr_type = COND_AND; 158255e72915d4cbddceb435e13d81601755714e9fSE Android test_cond_expr_mapping(base, d, bools, 3); 159255e72915d4cbddceb435e13d81601755714e9fSE Android} 160