2008-08-19 19:30:36 +00:00
|
|
|
/*
|
|
|
|
* Author: Joshua Brindle <jbrindle@tresys.com>
|
|
|
|
* Chad Sellers <csellers@tresys.com>
|
|
|
|
*
|
|
|
|
* Copyright (C) 2006 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 __COMMON_H__
|
|
|
|
#define __COMMON_H__
|
|
|
|
|
|
|
|
#include <sepol/policydb/policydb.h>
|
|
|
|
#include <sepol/policydb/conditional.h>
|
2019-09-26 22:04:05 +00:00
|
|
|
#include <CUnit/Basic.h>
|
2008-08-19 19:30:36 +00:00
|
|
|
|
|
|
|
/* helper functions */
|
|
|
|
|
2019-09-26 22:04:05 +00:00
|
|
|
/* Override CU_*_FATAL() in order to help static analyzers by really asserting that an assertion holds */
|
|
|
|
#ifdef __CHECKER__
|
|
|
|
|
|
|
|
#include <assert.h>
|
|
|
|
|
|
|
|
#undef CU_ASSERT_FATAL
|
|
|
|
#define CU_ASSERT_FATAL(value) do { \
|
|
|
|
int _value = (value); \
|
|
|
|
CU_ASSERT(_value); \
|
|
|
|
assert(_value); \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
#undef CU_FAIL_FATAL
|
|
|
|
#define CU_FAIL_FATAL(msg) do { \
|
|
|
|
CU_FAIL(msg); \
|
|
|
|
assert(0); \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
#undef CU_ASSERT_PTR_NOT_NULL_FATAL
|
|
|
|
#define CU_ASSERT_PTR_NOT_NULL_FATAL(value) do { \
|
|
|
|
const void *_value = (value); \
|
|
|
|
CU_ASSERT_PTR_NOT_NULL(_value); \
|
|
|
|
assert(_value != NULL); \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
#endif /* __CHECKER__ */
|
|
|
|
|
|
|
|
|
2008-08-19 19:30:36 +00:00
|
|
|
/* Load a source policy into p. policydb_init will called within this function.
|
|
|
|
*
|
|
|
|
* Example: test_load_policy(p, POLICY_BASE, 1, "foo", "base.conf") will load the
|
|
|
|
* policy "policies/foo/mls/base.conf" into p.
|
|
|
|
*
|
|
|
|
* Arguments:
|
|
|
|
* p policydb_t into which the policy will be read. This should be
|
|
|
|
* malloc'd but not passed to policydb_init.
|
|
|
|
* policy_type Type of policy expected - POLICY_BASE or POLICY_MOD.
|
|
|
|
* mls Boolean value indicating whether an mls policy is expected.
|
|
|
|
* test_name Name of the test which will be the name of the directory in
|
|
|
|
* which the policies are stored.
|
|
|
|
* policy_name Name of the policy in the directory.
|
|
|
|
*
|
|
|
|
* Returns:
|
|
|
|
* 0 success
|
|
|
|
* -1 error - the policydb will be destroyed but not freed.
|
|
|
|
*/
|
|
|
|
extern int test_load_policy(policydb_t * p, int policy_type, int mls, const char *test_name, const char *policy_name);
|
|
|
|
|
|
|
|
/* Find an avrule_decl_t by a unique symbol. If the symbol is declared in more
|
|
|
|
* than one decl an error is returned.
|
|
|
|
*
|
|
|
|
* Returns:
|
|
|
|
* decl success
|
|
|
|
* NULL error (including more than one declaration)
|
|
|
|
*/
|
2017-02-05 15:58:19 +00:00
|
|
|
extern avrule_decl_t *test_find_decl_by_sym(policydb_t * p, int symtab, const char *sym);
|
2008-08-19 19:30:36 +00:00
|
|
|
|
|
|
|
#endif
|