1 /* Authors: Jason Tang <jtang (at) tresys.com> 2 * Joshua Brindle <jbrindle (at) tresys.com> 3 * Karl MacMillan <kmacmillan (at) tresys.com> 4 * 5 * A set of utility functions that aid policy decision when dealing 6 * with hierarchal items. 7 * 8 * Copyright (C) 2005 Tresys Technology, LLC 9 * 10 * This library is free software; you can redistribute it and/or 11 * modify it under the terms of the GNU Lesser General Public 12 * License as published by the Free Software Foundation; either 13 * version 2.1 of the License, or (at your option) any later version. 14 * 15 * This library is distributed in the hope that it will be useful, 16 * but WITHOUT ANY WARRANTY; without even the implied warranty of 17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 18 * Lesser General Public License for more details. 19 * 20 * You should have received a copy of the GNU Lesser General Public 21 * License along with this library; if not, write to the Free Software 22 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA 23 */ 24 25 #ifndef _SEPOL_POLICYDB_EXPAND_H 26 #define _SEPOL_POLICYDB_EXPAND_H 27 28 #include <stddef.h> 29 #include <sepol/handle.h> 30 #include <sepol/policydb/conditional.h> 31 32 #ifdef __cplusplus 33 extern "C" { 34 #endif 35 36 /* 37 * Expand only the avrules for a module. It is valid for this function 38 * to expand base into itself (i.e. base == out); the typemap for 39 * this special case should map type[i] to i+1. Likewise the boolmap 40 * should map bool[i] to i + 1. This function optionally expands 41 * neverallow rules. If neverallow rules are expanded, there is no 42 * need to copy them and doing so could cause duplicate entries when 43 * base == out. If the neverallow rules are not expanded, they are 44 * just copied to the destination policy so that assertion checking 45 * can be performed after expand. No assertion or hierarchy checking 46 * is performed by this function. 47 */ 48 extern int expand_module_avrules(sepol_handle_t * handle, policydb_t * base, 49 policydb_t * out, uint32_t * typemap, uint32_t * boolmap, 50 uint32_t * rolemap, uint32_t * usermap, 51 int verbose, int expand_neverallow); 52 /* 53 * Expand all parts of a module. Neverallow rules are not expanded (only 54 * copied). It is not valid to expand base into itself. If check is non-zero, 55 * performs hierarchy and assertion checking. 56 */ 57 extern int expand_module(sepol_handle_t * handle, 58 policydb_t * base, policydb_t * out, 59 int verbose, int check); 60 extern int convert_type_ebitmap(ebitmap_t * src, ebitmap_t * dst, 61 uint32_t * typemap); 62 extern int expand_convert_type_set(policydb_t * p, uint32_t * typemap, 63 type_set_t * set, ebitmap_t * types, 64 unsigned char alwaysexpand); 65 extern int type_set_expand(type_set_t * set, ebitmap_t * t, policydb_t * p, 66 unsigned char alwaysexpand); 67 extern int role_set_expand(role_set_t * x, ebitmap_t * r, policydb_t * out, policydb_t * base, uint32_t * rolemap); 68 extern int mls_semantic_level_expand(mls_semantic_level_t *sl, mls_level_t *l, 69 policydb_t *p, sepol_handle_t *h); 70 extern int mls_semantic_range_expand(mls_semantic_range_t *sr, mls_range_t *r, 71 policydb_t *p, sepol_handle_t *h); 72 extern int expand_rule(sepol_handle_t * handle, 73 policydb_t * source_pol, 74 avrule_t * source_rule, avtab_t * dest_avtab, 75 cond_av_list_t ** cond, cond_av_list_t ** other, 76 int enabled); 77 78 extern int expand_avtab(policydb_t * p, avtab_t * a, avtab_t * expa); 79 80 extern int expand_cond_av_list(policydb_t * p, cond_av_list_t * l, 81 cond_av_list_t ** newl, avtab_t * expa); 82 83 #ifdef __cplusplus 84 } 85 #endif 86 87 #endif 88
