summaryrefslogtreecommitdiffstats
path: root/libapol/src/rbacrule-query.c
diff options
context:
space:
mode:
Diffstat (limited to 'libapol/src/rbacrule-query.c')
-rw-r--r--libapol/src/rbacrule-query.c417
1 files changed, 417 insertions, 0 deletions
diff --git a/libapol/src/rbacrule-query.c b/libapol/src/rbacrule-query.c
new file mode 100644
index 0000000..81b0c53
--- /dev/null
+++ b/libapol/src/rbacrule-query.c
@@ -0,0 +1,417 @@
+/**
+ * @file
+ *
+ * Provides a way for setools to make queries about type enforcement
+ * rules within a policy. The caller obtains a query object, fills in
+ * its parameters, and then runs the query; it obtains a vector of
+ * results. Searches are conjunctive -- all fields of the search
+ * query must match for a datum to be added to the results query.
+ *
+ * @author Jeremy A. Mowery jmowery@tresys.com
+ * @author Jason Tang jtang@tresys.com
+ *
+ * Copyright (C) 2006-2007 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
+ */
+
+#include "policy-query-internal.h"
+
+#include <errno.h>
+#include <string.h>
+
+struct apol_role_allow_query
+{
+ char *source, *target;
+ unsigned int flags;
+};
+
+struct apol_role_trans_query
+{
+ char *source, *target, *default_role;
+ unsigned int flags;
+};
+
+/******************** (role) allow queries ********************/
+
+int apol_role_allow_get_by_query(const apol_policy_t * p, const apol_role_allow_query_t * r, apol_vector_t ** v)
+{
+ qpol_iterator_t *iter = NULL;
+ apol_vector_t *source_list = NULL, *target_list = NULL;
+ int retval = -1, source_as_any = 0;
+ *v = NULL;
+
+ if (r != NULL) {
+ if (r->source != NULL &&
+ (source_list = apol_query_create_candidate_role_list(p, r->source, r->flags & APOL_QUERY_REGEX)) == NULL) {
+ goto cleanup;
+ }
+ if ((r->flags & APOL_QUERY_SOURCE_AS_ANY) && r->source != NULL) {
+ target_list = source_list;
+ source_as_any = 1;
+ } else if (r->target != NULL &&
+ (target_list = apol_query_create_candidate_role_list(p, r->target, r->flags & APOL_QUERY_REGEX)) == NULL)
+ {
+ goto cleanup;
+ }
+ }
+ if (qpol_policy_get_role_allow_iter(p->p, &iter) < 0) {
+ goto cleanup;
+ }
+ if ((*v = apol_vector_create(NULL)) == NULL) {
+ ERR(p, "%s", strerror(errno));
+ goto cleanup;
+ }
+ for (; !qpol_iterator_end(iter); qpol_iterator_next(iter)) {
+ qpol_role_allow_t *rule;
+ int match_source = 0, match_target = 0;
+ size_t i;
+ if (qpol_iterator_get_item(iter, (void **)&rule) < 0) {
+ goto cleanup;
+ }
+
+ if (source_list == NULL) {
+ match_source = 1;
+ } else {
+ const qpol_role_t *source_role;
+ if (qpol_role_allow_get_source_role(p->p, rule, &source_role) < 0) {
+ goto cleanup;
+ }
+ if (apol_vector_get_index(source_list, source_role, NULL, NULL, &i) == 0) {
+ match_source = 1;
+ }
+ }
+
+ /* if source did not match, but treating source symbol
+ * as any field, then delay rejecting this rule until
+ * the target has been checked */
+ if (!source_as_any && !match_source) {
+ continue;
+ }
+
+ if (target_list == NULL || (source_as_any && match_source)) {
+ match_target = 1;
+ } else {
+ const qpol_role_t *target_role;
+ if (qpol_role_allow_get_target_role(p->p, rule, &target_role) < 0) {
+ goto cleanup;
+ }
+ if (apol_vector_get_index(target_list, target_role, NULL, NULL, &i) == 0) {
+ match_target = 1;
+ }
+ }
+ if (!match_target) {
+ continue;
+ }
+
+ if (apol_vector_append(*v, rule)) {
+ ERR(p, "%s", strerror(ENOMEM));
+ goto cleanup;
+ }
+ }
+
+ retval = 0;
+ cleanup:
+ if (retval != 0) {
+ apol_vector_destroy(v);
+ }
+ apol_vector_destroy(&source_list);
+ if (!source_as_any) {
+ apol_vector_destroy(&target_list);
+ }
+ qpol_iterator_destroy(&iter);
+ return retval;
+}
+
+apol_role_allow_query_t *apol_role_allow_query_create(void)
+{
+ return calloc(1, sizeof(apol_role_allow_query_t));
+}
+
+void apol_role_allow_query_destroy(apol_role_allow_query_t ** r)
+{
+ if (r != NULL && *r != NULL) {
+ free((*r)->source);
+ free((*r)->target);
+ free(*r);
+ *r = NULL;
+ }
+}
+
+int apol_role_allow_query_set_source(const apol_policy_t * p, apol_role_allow_query_t * r, const char *role)
+{
+ return apol_query_set(p, &r->source, NULL, role);
+}
+
+int apol_role_allow_query_set_target(const apol_policy_t * p, apol_role_allow_query_t * r, const char *role)
+{
+ return apol_query_set(p, &r->target, NULL, role);
+}
+
+int apol_role_allow_query_set_source_any(const apol_policy_t * p, apol_role_allow_query_t * r, int is_any)
+{
+ return apol_query_set_flag(p, &r->flags, is_any, APOL_QUERY_SOURCE_AS_ANY);
+}
+
+int apol_role_allow_query_set_regex(const apol_policy_t * p, apol_role_allow_query_t * r, int is_regex)
+{
+ return apol_query_set_regex(p, &r->flags, is_regex);
+}
+
+char *apol_role_allow_render(const apol_policy_t * policy, const qpol_role_allow_t * rule)
+{
+ char *tmp = NULL;
+ const char *source_name = NULL, *target_name = NULL;
+ const qpol_role_t *role = NULL;
+
+ if (!policy || !rule) {
+ ERR(policy, "%s", strerror(EINVAL));
+ errno = EINVAL;
+ return NULL;
+ }
+
+ /* source role */
+ if (qpol_role_allow_get_source_role(policy->p, rule, &role)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+ if (qpol_role_get_name(policy->p, role, &source_name)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+
+ /* target role */
+ if (qpol_role_allow_get_target_role(policy->p, rule, &role)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+ if (qpol_role_get_name(policy->p, role, &target_name)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+
+ if (asprintf(&tmp, "allow %s %s;", source_name, target_name) < 0) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+
+ return tmp;
+}
+
+/******************** role_transition queries ********************/
+
+int apol_role_trans_get_by_query(const apol_policy_t * p, const apol_role_trans_query_t * r, apol_vector_t ** v)
+{
+ qpol_iterator_t *iter = NULL;
+ apol_vector_t *source_list = NULL, *target_list = NULL, *default_list = NULL;
+ int retval = -1, source_as_any = 0;
+ *v = NULL;
+
+ if (r != NULL) {
+ if (r->source != NULL &&
+ (source_list = apol_query_create_candidate_role_list(p, r->source, r->flags & APOL_QUERY_REGEX)) == NULL) {
+ goto cleanup;
+ }
+ if (r->target != NULL &&
+ (target_list =
+ apol_query_create_candidate_type_list(p, r->target, r->flags & APOL_QUERY_REGEX,
+ r->flags & APOL_QUERY_TARGET_INDIRECT,
+ APOL_QUERY_SYMBOL_IS_BOTH)) == NULL) {
+ goto cleanup;
+ }
+ if ((r->flags & APOL_QUERY_SOURCE_AS_ANY) && r->source != NULL) {
+ default_list = source_list;
+ source_as_any = 1;
+ } else if (r->default_role != NULL &&
+ (default_list =
+ apol_query_create_candidate_role_list(p, r->default_role, r->flags & APOL_QUERY_REGEX)) == NULL) {
+ goto cleanup;
+ }
+ }
+ if (qpol_policy_get_role_trans_iter(p->p, &iter) < 0) {
+ goto cleanup;
+ }
+ if ((*v = apol_vector_create(NULL)) == NULL) {
+ ERR(p, "%s", strerror(errno));
+ goto cleanup;
+ }
+ for (; !qpol_iterator_end(iter); qpol_iterator_next(iter)) {
+ qpol_role_trans_t *rule;
+ int match_source = 0, match_target = 0, match_default = 0;
+ size_t i;
+ if (qpol_iterator_get_item(iter, (void **)&rule) < 0) {
+ goto cleanup;
+ }
+
+ if (source_list == NULL) {
+ match_source = 1;
+ } else {
+ const qpol_role_t *source_role;
+ if (qpol_role_trans_get_source_role(p->p, rule, &source_role) < 0) {
+ goto cleanup;
+ }
+ if (apol_vector_get_index(source_list, source_role, NULL, NULL, &i) == 0) {
+ match_source = 1;
+ }
+ }
+
+ /* if source did not match, but treating source symbol
+ * as any field, then delay rejecting this rule until
+ * the target and default have been checked */
+ if (!source_as_any && !match_source) {
+ continue;
+ }
+
+ if (target_list == NULL) {
+ match_target = 1;
+ } else {
+ const qpol_type_t *target_type;
+ if (qpol_role_trans_get_target_type(p->p, rule, &target_type) < 0) {
+ goto cleanup;
+ }
+ if (apol_vector_get_index(target_list, target_type, NULL, NULL, &i) == 0) {
+ match_target = 1;
+ }
+ }
+ if (!match_target) {
+ continue;
+ }
+
+ if (default_list == NULL || (source_as_any && match_source)) {
+ match_default = 1;
+ } else {
+ const qpol_role_t *default_role;
+ if (qpol_role_trans_get_default_role(p->p, rule, &default_role) < 0) {
+ goto cleanup;
+ }
+ if (apol_vector_get_index(default_list, default_role, NULL, NULL, &i) == 0) {
+ match_default = 1;
+ }
+ }
+ if (!match_default) {
+ continue;
+ }
+
+ if (apol_vector_append(*v, rule)) {
+ ERR(p, "%s", strerror(ENOMEM));
+ goto cleanup;
+ }
+ }
+
+ retval = 0;
+ cleanup:
+ if (retval != 0) {
+ apol_vector_destroy(v);
+ }
+ apol_vector_destroy(&source_list);
+ apol_vector_destroy(&target_list);
+ if (!source_as_any) {
+ apol_vector_destroy(&default_list);
+ }
+ qpol_iterator_destroy(&iter);
+ return retval;
+}
+
+apol_role_trans_query_t *apol_role_trans_query_create(void)
+{
+ return calloc(1, sizeof(apol_role_trans_query_t));
+}
+
+void apol_role_trans_query_destroy(apol_role_trans_query_t ** r)
+{
+ if (r != NULL && *r != NULL) {
+ free((*r)->source);
+ free((*r)->target);
+ free((*r)->default_role);
+ free(*r);
+ *r = NULL;
+ }
+}
+
+int apol_role_trans_query_set_source(const apol_policy_t * p, apol_role_trans_query_t * r, const char *role)
+{
+ return apol_query_set(p, &r->source, NULL, role);
+}
+
+int apol_role_trans_query_set_target(const apol_policy_t * p, apol_role_trans_query_t * r, const char *type, int is_indirect)
+{
+ apol_query_set_flag(p, &r->flags, is_indirect, APOL_QUERY_TARGET_INDIRECT);
+ return apol_query_set(p, &r->target, NULL, type);
+}
+
+int apol_role_trans_query_set_default(const apol_policy_t * p, apol_role_trans_query_t * r, const char *role)
+{
+ return apol_query_set(p, &r->default_role, NULL, role);
+}
+
+int apol_role_trans_query_set_source_any(const apol_policy_t * p, apol_role_trans_query_t * r, int is_any)
+{
+ return apol_query_set_flag(p, &r->flags, is_any, APOL_QUERY_SOURCE_AS_ANY);
+}
+
+int apol_role_trans_query_set_regex(const apol_policy_t * p, apol_role_trans_query_t * r, int is_regex)
+{
+ return apol_query_set_regex(p, &r->flags, is_regex);
+}
+
+char *apol_role_trans_render(const apol_policy_t * policy, const qpol_role_trans_t * rule)
+{
+ char *tmp = NULL;
+ const char *source_name = NULL, *target_name = NULL, *default_name = NULL;
+ const qpol_role_t *role = NULL;
+ const qpol_type_t *type = NULL;
+
+ if (!policy || !rule) {
+ ERR(policy, "%s", strerror(EINVAL));
+ errno = EINVAL;
+ return NULL;
+ }
+
+ /* source role */
+ if (qpol_role_trans_get_source_role(policy->p, rule, &role)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+ if (qpol_role_get_name(policy->p, role, &source_name)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+
+ /* target type */
+ if (qpol_role_trans_get_target_type(policy->p, rule, &type)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+ if (qpol_type_get_name(policy->p, type, &target_name)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+
+ /* default role */
+ if (qpol_role_trans_get_default_role(policy->p, rule, &role)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+ if (qpol_role_get_name(policy->p, role, &default_name)) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+
+ if (asprintf(&tmp, "role_transition %s %s %s;", source_name, target_name, default_name) < 0) {
+ ERR(policy, "%s", strerror(errno));
+ return NULL;
+ }
+ return tmp;
+}