1/* Authors: Jason Tang <jtang@tresys.com>
2 *	    Joshua Brindle <jbrindle@tresys.com>
3 *          Karl MacMillan <kmacmillan@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
33extern "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 */
48extern 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 */
57extern int expand_module(sepol_handle_t * handle,
58			 policydb_t * base, policydb_t * out,
59			 int verbose, int check);
60extern int convert_type_ebitmap(ebitmap_t * src, ebitmap_t * dst,
61				uint32_t * typemap);
62extern int expand_convert_type_set(policydb_t * p, uint32_t * typemap,
63				   type_set_t * set, ebitmap_t * types,
64				   unsigned char alwaysexpand);
65extern int type_set_expand(type_set_t * set, ebitmap_t * t, policydb_t * p,
66			   unsigned char alwaysexpand);
67extern int role_set_expand(role_set_t * x, ebitmap_t * r, policydb_t * out, policydb_t * base, uint32_t * rolemap);
68extern int mls_semantic_level_expand(mls_semantic_level_t *sl, mls_level_t *l,
69                                     policydb_t *p, sepol_handle_t *h);
70extern int mls_semantic_range_expand(mls_semantic_range_t *sr, mls_range_t *r,
71                                     policydb_t *p, sepol_handle_t *h);
72extern 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
78extern int expand_avtab(policydb_t * p, avtab_t * a, avtab_t * expa);
79
80extern 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