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 <stdlib.h> 31b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include <stdio.h> 32b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include <string.h> 33b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include <stdint.h> 34b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include <sepol/errcodes.h> 35b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 36b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_internal.h" 37b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_log.h" 38b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_mem.h" 39b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_tree.h" 40b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_lexer.h" 41b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence#include "cil_strpool.h" 42b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 4376ba6eaa7333483a8cc0c73a7880f7acf99c2656Steve Lawrenceint cil_parser(char *_path, char *buffer, uint32_t size, struct cil_tree **parse_tree) 44b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence{ 45b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 46b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence int paren_count = 0; 47b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 48b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence struct cil_tree *tree = NULL; 49b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence struct cil_tree_node *node = NULL; 50b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence struct cil_tree_node *item = NULL; 51b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence struct cil_tree_node *current = NULL; 5276ba6eaa7333483a8cc0c73a7880f7acf99c2656Steve Lawrence char *path = cil_strpool_add(_path); 53b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 54b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence struct token tok; 55b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 56b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_lexer_setup(buffer, size); 57b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 58b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence tree = *parse_tree; 59b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current = tree->root; 60b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 61b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence do { 62b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_lexer_next(&tok); 63b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence switch (tok.type) { 64b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence case OPAREN: 65b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence paren_count++; 66b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_tree_node_init(&node); 67b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence node->parent = current; 68b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence node->flavor = CIL_NODE; 69b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence node->line = tok.line; 70b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence node->path = path; 71b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence if (current->cl_head == NULL) { 72b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current->cl_head = node; 73b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } else { 74b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current->cl_tail->next = node; 75b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } 76b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current->cl_tail = node; 77b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current = node; 78b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence break; 79b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence case CPAREN: 80b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence paren_count--; 81b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence if (paren_count < 0) { 82b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_log(CIL_ERR, "Close parenthesis without matching open at line %d of %s\n", tok.line, path); 83b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence return SEPOL_ERR; 84b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } 85b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current = current->parent; 86b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence break; 87b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence case SYMBOL: 88b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence case QSTRING: 89b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence if (paren_count == 0) { 90b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_log(CIL_ERR, "Symbol not inside parenthesis at line %d of %s\n", tok.line, path); 91b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence return SEPOL_ERR; 92b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } 93b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_tree_node_init(&item); 94b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence item->parent = current; 95b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence if (tok.type == QSTRING) { 96b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence tok.value[strlen(tok.value) - 1] = '\0'; 97b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence item->data = cil_strpool_add(tok.value + 1); 98b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } else { 99b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence item->data = cil_strpool_add(tok.value); 100b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } 101b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence item->flavor = CIL_NODE; 102b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence item->line = tok.line; 103b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence item->path = path; 104b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence if (current->cl_head == NULL) { 105b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current->cl_head = item; 106b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } else { 107b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current->cl_tail->next = item; 108b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } 109b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence current->cl_tail = item; 110b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence break; 111b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence case END_OF_FILE: 112b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence if (paren_count > 0) { 113b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_log(CIL_ERR, "Open parenthesis without matching close at line %d of %s\n", tok.line, path); 114b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence return SEPOL_ERR; 115b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } 116b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence break; 117b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence case COMMENT: 118b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence // ignore 119b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence break; 120b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence case UNKNOWN: 121b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_log(CIL_ERR, "Invalid token '%s' at line %d of %s\n", tok.value, tok.line, path); 122b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence return SEPOL_ERR; 123b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence default: 124b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_log(CIL_ERR, "Unknown token type '%d' at line %d of %s\n", tok.type, tok.line, path); 125b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence return SEPOL_ERR; 126b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } 127b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence } 128b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence while (tok.type != END_OF_FILE); 129b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 130b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence cil_lexer_destroy(); 131b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 132b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence *parse_tree = tree; 133b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence 134b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence return SEPOL_OK; 135b19eafb97feb6389d78e1693f276fc5b10e25bdSteve Lawrence} 136