diff options
Diffstat (limited to 'libapol/src/rbacrule-query.c')
-rw-r--r-- | libapol/src/rbacrule-query.c | 417 |
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; +} |