| /* Authors: Jason Tang <jtang@tresys.com> |
| * Joshua Brindle <jbrindle@tresys.com> |
| * Karl MacMillan <kmacmillan@tresys.com> |
| * |
| * A set of utility functions that aid policy decision when dealing |
| * with hierarchal items. |
| * |
| * Copyright (C) 2005 Tresys Technology, LLC |
| * |
| * This library is free software; you can redistribute it and/or |
| * modify it under the terms of the GNU Lesser General Public |
| * License as published by the Free Software Foundation; either |
| * version 2.1 of the License, or (at your option) any later version. |
| * |
| * This library is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| * Lesser General Public License for more details. |
| * |
| * You should have received a copy of the GNU Lesser General Public |
| * License along with this library; if not, write to the Free Software |
| * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
| */ |
| |
| #ifndef _SEPOL_POLICYDB_EXPAND_H |
| #define _SEPOL_POLICYDB_EXPAND_H |
| |
| #include <stddef.h> |
| #include <sepol/handle.h> |
| #include <sepol/policydb/conditional.h> |
| #include <sys/cdefs.h> |
| |
| __BEGIN_DECLS |
| |
| /* |
| * Expand only the avrules for a module. It is valid for this function |
| * to expand base into itself (i.e. base == out); the typemap for |
| * this special case should map type[i] to i+1. Likewise the boolmap |
| * should map bool[i] to i + 1. This function optionally expands |
| * neverallow rules. If neverallow rules are expanded, there is no |
| * need to copy them and doing so could cause duplicate entries when |
| * base == out. If the neverallow rules are not expanded, they are |
| * just copied to the destination policy so that assertion checking |
| * can be performed after expand. No assertion or hierarchy checking |
| * is performed by this function. |
| */ |
| extern int expand_module_avrules(sepol_handle_t * handle, policydb_t * base, |
| policydb_t * out, uint32_t * typemap, uint32_t * boolmap, |
| uint32_t * rolemap, uint32_t * usermap, |
| int verbose, int expand_neverallow); |
| /* |
| * Expand all parts of a module. Neverallow rules are not expanded (only |
| * copied). It is not valid to expand base into itself. If check is non-zero, |
| * performs hierarchy and assertion checking. |
| */ |
| extern int expand_module(sepol_handle_t * handle, |
| policydb_t * base, policydb_t * out, |
| int verbose, int check); |
| extern int convert_type_ebitmap(ebitmap_t * src, ebitmap_t * dst, |
| uint32_t * typemap); |
| extern int expand_convert_type_set(policydb_t * p, uint32_t * typemap, |
| type_set_t * set, ebitmap_t * types, |
| unsigned char alwaysexpand); |
| extern int type_set_expand(type_set_t * set, ebitmap_t * t, policydb_t * p, |
| unsigned char alwaysexpand); |
| extern int role_set_expand(role_set_t * x, ebitmap_t * r, policydb_t * out, policydb_t * base, uint32_t * rolemap); |
| extern int mls_semantic_level_expand(mls_semantic_level_t *sl, mls_level_t *l, |
| policydb_t *p, sepol_handle_t *h); |
| extern int mls_semantic_range_expand(mls_semantic_range_t *sr, mls_range_t *r, |
| policydb_t *p, sepol_handle_t *h); |
| extern int expand_rule(sepol_handle_t * handle, |
| policydb_t * source_pol, |
| avrule_t * source_rule, avtab_t * dest_avtab, |
| cond_av_list_t ** cond, cond_av_list_t ** other, |
| int enabled); |
| |
| extern int expand_avtab(policydb_t * p, avtab_t * a, avtab_t * expa); |
| |
| extern int expand_cond_av_list(policydb_t * p, cond_av_list_t * l, |
| cond_av_list_t ** newl, avtab_t * expa); |
| |
| __END_DECLS |
| #endif |