123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672 |
- /*
- * Implementation of the access vector table type.
- *
- * Author : Stephen Smalley, <sds@epoch.ncsc.mil>
- */
- /* Updated: Frank Mayer <mayerf@tresys.com> and Karl MacMillan <kmacmillan@tresys.com>
- *
- * Added conditional policy language extensions
- *
- * Copyright (C) 2003 Tresys Technology, LLC
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, version 2.
- *
- * Updated: Yuichi Nakamura <ynakam@hitachisoft.jp>
- * Tuned number of hash slots for avtab to reduce memory usage
- */
- #include <linux/kernel.h>
- #include <linux/slab.h>
- #include <linux/errno.h>
- #include "avtab.h"
- #include "policydb.h"
- static struct kmem_cache *avtab_node_cachep;
- static struct kmem_cache *avtab_xperms_cachep;
- /* Based on MurmurHash3, written by Austin Appleby and placed in the
- * public domain.
- */
- static inline int avtab_hash(struct avtab_key *keyp, u32 mask)
- {
- static const u32 c1 = 0xcc9e2d51;
- static const u32 c2 = 0x1b873593;
- static const u32 r1 = 15;
- static const u32 r2 = 13;
- static const u32 m = 5;
- static const u32 n = 0xe6546b64;
- u32 hash = 0;
- #define mix(input) { \
- u32 v = input; \
- v *= c1; \
- v = (v << r1) | (v >> (32 - r1)); \
- v *= c2; \
- hash ^= v; \
- hash = (hash << r2) | (hash >> (32 - r2)); \
- hash = hash * m + n; \
- }
- mix(keyp->target_class);
- mix(keyp->target_type);
- mix(keyp->source_type);
- #undef mix
- hash ^= hash >> 16;
- hash *= 0x85ebca6b;
- hash ^= hash >> 13;
- hash *= 0xc2b2ae35;
- hash ^= hash >> 16;
- return hash & mask;
- }
- static struct avtab_node*
- avtab_insert_node(struct avtab *h, int hvalue,
- struct avtab_node *prev, struct avtab_node *cur,
- struct avtab_key *key, struct avtab_datum *datum)
- {
- struct avtab_node *newnode;
- struct avtab_extended_perms *xperms;
- newnode = kmem_cache_zalloc(avtab_node_cachep, GFP_KERNEL);
- if (newnode == NULL)
- return NULL;
- newnode->key = *key;
- if (key->specified & AVTAB_XPERMS) {
- xperms = kmem_cache_zalloc(avtab_xperms_cachep, GFP_KERNEL);
- if (xperms == NULL) {
- kmem_cache_free(avtab_node_cachep, newnode);
- return NULL;
- }
- *xperms = *(datum->u.xperms);
- newnode->datum.u.xperms = xperms;
- } else {
- newnode->datum.u.data = datum->u.data;
- }
- if (prev) {
- newnode->next = prev->next;
- prev->next = newnode;
- } else {
- newnode->next = flex_array_get_ptr(h->htable, hvalue);
- if (flex_array_put_ptr(h->htable, hvalue, newnode,
- GFP_KERNEL|__GFP_ZERO)) {
- kmem_cache_free(avtab_node_cachep, newnode);
- return NULL;
- }
- }
- h->nel++;
- return newnode;
- }
- static int avtab_insert(struct avtab *h, struct avtab_key *key, struct avtab_datum *datum)
- {
- int hvalue;
- struct avtab_node *prev, *cur, *newnode;
- u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
- if (!h || !h->htable)
- return -EINVAL;
- hvalue = avtab_hash(key, h->mask);
- for (prev = NULL, cur = flex_array_get_ptr(h->htable, hvalue);
- cur;
- prev = cur, cur = cur->next) {
- if (key->source_type == cur->key.source_type &&
- key->target_type == cur->key.target_type &&
- key->target_class == cur->key.target_class &&
- (specified & cur->key.specified)) {
- /* extended perms may not be unique */
- if (specified & AVTAB_XPERMS)
- break;
- return -EEXIST;
- }
- if (key->source_type < cur->key.source_type)
- break;
- if (key->source_type == cur->key.source_type &&
- key->target_type < cur->key.target_type)
- break;
- if (key->source_type == cur->key.source_type &&
- key->target_type == cur->key.target_type &&
- key->target_class < cur->key.target_class)
- break;
- }
- newnode = avtab_insert_node(h, hvalue, prev, cur, key, datum);
- if (!newnode)
- return -ENOMEM;
- return 0;
- }
- /* Unlike avtab_insert(), this function allow multiple insertions of the same
- * key/specified mask into the table, as needed by the conditional avtab.
- * It also returns a pointer to the node inserted.
- */
- struct avtab_node *
- avtab_insert_nonunique(struct avtab *h, struct avtab_key *key, struct avtab_datum *datum)
- {
- int hvalue;
- struct avtab_node *prev, *cur;
- u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
- if (!h || !h->htable)
- return NULL;
- hvalue = avtab_hash(key, h->mask);
- for (prev = NULL, cur = flex_array_get_ptr(h->htable, hvalue);
- cur;
- prev = cur, cur = cur->next) {
- if (key->source_type == cur->key.source_type &&
- key->target_type == cur->key.target_type &&
- key->target_class == cur->key.target_class &&
- (specified & cur->key.specified))
- break;
- if (key->source_type < cur->key.source_type)
- break;
- if (key->source_type == cur->key.source_type &&
- key->target_type < cur->key.target_type)
- break;
- if (key->source_type == cur->key.source_type &&
- key->target_type == cur->key.target_type &&
- key->target_class < cur->key.target_class)
- break;
- }
- return avtab_insert_node(h, hvalue, prev, cur, key, datum);
- }
- struct avtab_datum *avtab_search(struct avtab *h, struct avtab_key *key)
- {
- int hvalue;
- struct avtab_node *cur;
- u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
- if (!h || !h->htable)
- return NULL;
- hvalue = avtab_hash(key, h->mask);
- for (cur = flex_array_get_ptr(h->htable, hvalue); cur;
- cur = cur->next) {
- if (key->source_type == cur->key.source_type &&
- key->target_type == cur->key.target_type &&
- key->target_class == cur->key.target_class &&
- (specified & cur->key.specified))
- return &cur->datum;
- if (key->source_type < cur->key.source_type)
- break;
- if (key->source_type == cur->key.source_type &&
- key->target_type < cur->key.target_type)
- break;
- if (key->source_type == cur->key.source_type &&
- key->target_type == cur->key.target_type &&
- key->target_class < cur->key.target_class)
- break;
- }
- return NULL;
- }
- /* This search function returns a node pointer, and can be used in
- * conjunction with avtab_search_next_node()
- */
- struct avtab_node*
- avtab_search_node(struct avtab *h, struct avtab_key *key)
- {
- int hvalue;
- struct avtab_node *cur;
- u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
- if (!h || !h->htable)
- return NULL;
- hvalue = avtab_hash(key, h->mask);
- for (cur = flex_array_get_ptr(h->htable, hvalue); cur;
- cur = cur->next) {
- if (key->source_type == cur->key.source_type &&
- key->target_type == cur->key.target_type &&
- key->target_class == cur->key.target_class &&
- (specified & cur->key.specified))
- return cur;
- if (key->source_type < cur->key.source_type)
- break;
- if (key->source_type == cur->key.source_type &&
- key->target_type < cur->key.target_type)
- break;
- if (key->source_type == cur->key.source_type &&
- key->target_type == cur->key.target_type &&
- key->target_class < cur->key.target_class)
- break;
- }
- return NULL;
- }
- struct avtab_node*
- avtab_search_node_next(struct avtab_node *node, int specified)
- {
- struct avtab_node *cur;
- if (!node)
- return NULL;
- specified &= ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
- for (cur = node->next; cur; cur = cur->next) {
- if (node->key.source_type == cur->key.source_type &&
- node->key.target_type == cur->key.target_type &&
- node->key.target_class == cur->key.target_class &&
- (specified & cur->key.specified))
- return cur;
- if (node->key.source_type < cur->key.source_type)
- break;
- if (node->key.source_type == cur->key.source_type &&
- node->key.target_type < cur->key.target_type)
- break;
- if (node->key.source_type == cur->key.source_type &&
- node->key.target_type == cur->key.target_type &&
- node->key.target_class < cur->key.target_class)
- break;
- }
- return NULL;
- }
- void avtab_destroy(struct avtab *h)
- {
- int i;
- struct avtab_node *cur, *temp;
- if (!h || !h->htable)
- return;
- for (i = 0; i < h->nslot; i++) {
- cur = flex_array_get_ptr(h->htable, i);
- while (cur) {
- temp = cur;
- cur = cur->next;
- if (temp->key.specified & AVTAB_XPERMS)
- kmem_cache_free(avtab_xperms_cachep,
- temp->datum.u.xperms);
- kmem_cache_free(avtab_node_cachep, temp);
- }
- }
- flex_array_free(h->htable);
- h->htable = NULL;
- h->nslot = 0;
- h->mask = 0;
- }
- int avtab_init(struct avtab *h)
- {
- h->htable = NULL;
- h->nel = 0;
- return 0;
- }
- int avtab_alloc(struct avtab *h, u32 nrules)
- {
- u32 mask = 0;
- u32 shift = 0;
- u32 work = nrules;
- u32 nslot = 0;
- if (nrules == 0)
- goto avtab_alloc_out;
- while (work) {
- work = work >> 1;
- shift++;
- }
- if (shift > 2)
- shift = shift - 2;
- nslot = 1 << shift;
- if (nslot > MAX_AVTAB_HASH_BUCKETS)
- nslot = MAX_AVTAB_HASH_BUCKETS;
- mask = nslot - 1;
- h->htable = flex_array_alloc(sizeof(struct avtab_node *), nslot,
- GFP_KERNEL | __GFP_ZERO);
- if (!h->htable)
- return -ENOMEM;
- avtab_alloc_out:
- h->nel = 0;
- h->nslot = nslot;
- h->mask = mask;
- printk(KERN_DEBUG "SELinux: %d avtab hash slots, %d rules.\n",
- h->nslot, nrules);
- return 0;
- }
- void avtab_hash_eval(struct avtab *h, char *tag)
- {
- int i, chain_len, slots_used, max_chain_len;
- unsigned long long chain2_len_sum;
- struct avtab_node *cur;
- slots_used = 0;
- max_chain_len = 0;
- chain2_len_sum = 0;
- for (i = 0; i < h->nslot; i++) {
- cur = flex_array_get_ptr(h->htable, i);
- if (cur) {
- slots_used++;
- chain_len = 0;
- while (cur) {
- chain_len++;
- cur = cur->next;
- }
- if (chain_len > max_chain_len)
- max_chain_len = chain_len;
- chain2_len_sum += chain_len * chain_len;
- }
- }
- printk(KERN_DEBUG "SELinux: %s: %d entries and %d/%d buckets used, "
- "longest chain length %d sum of chain length^2 %llu\n",
- tag, h->nel, slots_used, h->nslot, max_chain_len,
- chain2_len_sum);
- }
- static uint16_t spec_order[] = {
- AVTAB_ALLOWED,
- AVTAB_AUDITDENY,
- AVTAB_AUDITALLOW,
- AVTAB_TRANSITION,
- AVTAB_CHANGE,
- AVTAB_MEMBER,
- AVTAB_XPERMS_ALLOWED,
- AVTAB_XPERMS_AUDITALLOW,
- AVTAB_XPERMS_DONTAUDIT
- };
- int avtab_read_item(struct avtab *a, void *fp, struct policydb *pol,
- int (*insertf)(struct avtab *a, struct avtab_key *k,
- struct avtab_datum *d, void *p),
- void *p)
- {
- __le16 buf16[4];
- u16 enabled;
- u32 items, items2, val, vers = pol->policyvers;
- struct avtab_key key;
- struct avtab_datum datum;
- struct avtab_extended_perms xperms;
- __le32 buf32[ARRAY_SIZE(xperms.perms.p)];
- int i, rc;
- unsigned set;
- memset(&key, 0, sizeof(struct avtab_key));
- memset(&datum, 0, sizeof(struct avtab_datum));
- if (vers < POLICYDB_VERSION_AVTAB) {
- rc = next_entry(buf32, fp, sizeof(u32));
- if (rc) {
- printk(KERN_ERR "SELinux: avtab: truncated entry\n");
- return rc;
- }
- items2 = le32_to_cpu(buf32[0]);
- if (items2 > ARRAY_SIZE(buf32)) {
- printk(KERN_ERR "SELinux: avtab: entry overflow\n");
- return -EINVAL;
- }
- rc = next_entry(buf32, fp, sizeof(u32)*items2);
- if (rc) {
- printk(KERN_ERR "SELinux: avtab: truncated entry\n");
- return rc;
- }
- items = 0;
- val = le32_to_cpu(buf32[items++]);
- key.source_type = (u16)val;
- if (key.source_type != val) {
- printk(KERN_ERR "SELinux: avtab: truncated source type\n");
- return -EINVAL;
- }
- val = le32_to_cpu(buf32[items++]);
- key.target_type = (u16)val;
- if (key.target_type != val) {
- printk(KERN_ERR "SELinux: avtab: truncated target type\n");
- return -EINVAL;
- }
- val = le32_to_cpu(buf32[items++]);
- key.target_class = (u16)val;
- if (key.target_class != val) {
- printk(KERN_ERR "SELinux: avtab: truncated target class\n");
- return -EINVAL;
- }
- val = le32_to_cpu(buf32[items++]);
- enabled = (val & AVTAB_ENABLED_OLD) ? AVTAB_ENABLED : 0;
- if (!(val & (AVTAB_AV | AVTAB_TYPE))) {
- printk(KERN_ERR "SELinux: avtab: null entry\n");
- return -EINVAL;
- }
- if ((val & AVTAB_AV) &&
- (val & AVTAB_TYPE)) {
- printk(KERN_ERR "SELinux: avtab: entry has both access vectors and types\n");
- return -EINVAL;
- }
- if (val & AVTAB_XPERMS) {
- printk(KERN_ERR "SELinux: avtab: entry has extended permissions\n");
- return -EINVAL;
- }
- for (i = 0; i < ARRAY_SIZE(spec_order); i++) {
- if (val & spec_order[i]) {
- key.specified = spec_order[i] | enabled;
- datum.u.data = le32_to_cpu(buf32[items++]);
- rc = insertf(a, &key, &datum, p);
- if (rc)
- return rc;
- }
- }
- if (items != items2) {
- printk(KERN_ERR "SELinux: avtab: entry only had %d items, expected %d\n", items2, items);
- return -EINVAL;
- }
- return 0;
- }
- rc = next_entry(buf16, fp, sizeof(u16)*4);
- if (rc) {
- printk(KERN_ERR "SELinux: avtab: truncated entry\n");
- return rc;
- }
- items = 0;
- key.source_type = le16_to_cpu(buf16[items++]);
- key.target_type = le16_to_cpu(buf16[items++]);
- key.target_class = le16_to_cpu(buf16[items++]);
- key.specified = le16_to_cpu(buf16[items++]);
- if (!policydb_type_isvalid(pol, key.source_type) ||
- !policydb_type_isvalid(pol, key.target_type) ||
- !policydb_class_isvalid(pol, key.target_class)) {
- printk(KERN_ERR "SELinux: avtab: invalid type or class\n");
- return -EINVAL;
- }
- set = 0;
- for (i = 0; i < ARRAY_SIZE(spec_order); i++) {
- if (key.specified & spec_order[i])
- set++;
- }
- if (!set || set > 1) {
- printk(KERN_ERR "SELinux: avtab: more than one specifier\n");
- return -EINVAL;
- }
- if ((vers < POLICYDB_VERSION_XPERMS_IOCTL) &&
- (key.specified & AVTAB_XPERMS)) {
- printk(KERN_ERR "SELinux: avtab: policy version %u does not "
- "support extended permissions rules and one "
- "was specified\n", vers);
- return -EINVAL;
- } else if (key.specified & AVTAB_XPERMS) {
- memset(&xperms, 0, sizeof(struct avtab_extended_perms));
- rc = next_entry(&xperms.specified, fp, sizeof(u8));
- if (rc) {
- printk(KERN_ERR "SELinux: avtab: truncated entry\n");
- return rc;
- }
- rc = next_entry(&xperms.driver, fp, sizeof(u8));
- if (rc) {
- printk(KERN_ERR "SELinux: avtab: truncated entry\n");
- return rc;
- }
- rc = next_entry(buf32, fp, sizeof(u32)*ARRAY_SIZE(xperms.perms.p));
- if (rc) {
- printk(KERN_ERR "SELinux: avtab: truncated entry\n");
- return rc;
- }
- for (i = 0; i < ARRAY_SIZE(xperms.perms.p); i++)
- xperms.perms.p[i] = le32_to_cpu(buf32[i]);
- datum.u.xperms = &xperms;
- } else {
- rc = next_entry(buf32, fp, sizeof(u32));
- if (rc) {
- printk(KERN_ERR "SELinux: avtab: truncated entry\n");
- return rc;
- }
- datum.u.data = le32_to_cpu(*buf32);
- }
- if ((key.specified & AVTAB_TYPE) &&
- !policydb_type_isvalid(pol, datum.u.data)) {
- printk(KERN_ERR "SELinux: avtab: invalid type\n");
- return -EINVAL;
- }
- return insertf(a, &key, &datum, p);
- }
- static int avtab_insertf(struct avtab *a, struct avtab_key *k,
- struct avtab_datum *d, void *p)
- {
- return avtab_insert(a, k, d);
- }
- int avtab_read(struct avtab *a, void *fp, struct policydb *pol)
- {
- int rc;
- __le32 buf[1];
- u32 nel, i;
- rc = next_entry(buf, fp, sizeof(u32));
- if (rc < 0) {
- printk(KERN_ERR "SELinux: avtab: truncated table\n");
- goto bad;
- }
- nel = le32_to_cpu(buf[0]);
- if (!nel) {
- printk(KERN_ERR "SELinux: avtab: table is empty\n");
- rc = -EINVAL;
- goto bad;
- }
- rc = avtab_alloc(a, nel);
- if (rc)
- goto bad;
- for (i = 0; i < nel; i++) {
- rc = avtab_read_item(a, fp, pol, avtab_insertf, NULL);
- if (rc) {
- if (rc == -ENOMEM)
- printk(KERN_ERR "SELinux: avtab: out of memory\n");
- else if (rc == -EEXIST)
- printk(KERN_ERR "SELinux: avtab: duplicate entry\n");
- goto bad;
- }
- }
- rc = 0;
- out:
- return rc;
- bad:
- avtab_destroy(a);
- goto out;
- }
- int avtab_write_item(struct policydb *p, struct avtab_node *cur, void *fp)
- {
- __le16 buf16[4];
- __le32 buf32[ARRAY_SIZE(cur->datum.u.xperms->perms.p)];
- int rc;
- unsigned int i;
- buf16[0] = cpu_to_le16(cur->key.source_type);
- buf16[1] = cpu_to_le16(cur->key.target_type);
- buf16[2] = cpu_to_le16(cur->key.target_class);
- buf16[3] = cpu_to_le16(cur->key.specified);
- rc = put_entry(buf16, sizeof(u16), 4, fp);
- if (rc)
- return rc;
- if (cur->key.specified & AVTAB_XPERMS) {
- rc = put_entry(&cur->datum.u.xperms->specified, sizeof(u8), 1, fp);
- if (rc)
- return rc;
- rc = put_entry(&cur->datum.u.xperms->driver, sizeof(u8), 1, fp);
- if (rc)
- return rc;
- for (i = 0; i < ARRAY_SIZE(cur->datum.u.xperms->perms.p); i++)
- buf32[i] = cpu_to_le32(cur->datum.u.xperms->perms.p[i]);
- rc = put_entry(buf32, sizeof(u32),
- ARRAY_SIZE(cur->datum.u.xperms->perms.p), fp);
- } else {
- buf32[0] = cpu_to_le32(cur->datum.u.data);
- rc = put_entry(buf32, sizeof(u32), 1, fp);
- }
- if (rc)
- return rc;
- return 0;
- }
- int avtab_write(struct policydb *p, struct avtab *a, void *fp)
- {
- unsigned int i;
- int rc = 0;
- struct avtab_node *cur;
- __le32 buf[1];
- buf[0] = cpu_to_le32(a->nel);
- rc = put_entry(buf, sizeof(u32), 1, fp);
- if (rc)
- return rc;
- for (i = 0; i < a->nslot; i++) {
- for (cur = flex_array_get_ptr(a->htable, i); cur;
- cur = cur->next) {
- rc = avtab_write_item(p, cur, fp);
- if (rc)
- return rc;
- }
- }
- return rc;
- }
- void avtab_cache_init(void)
- {
- avtab_node_cachep = kmem_cache_create("avtab_node",
- sizeof(struct avtab_node),
- 0, SLAB_PANIC, NULL);
- avtab_xperms_cachep = kmem_cache_create("avtab_extended_perms",
- sizeof(struct avtab_extended_perms),
- 0, SLAB_PANIC, NULL);
- }
- void avtab_cache_destroy(void)
- {
- kmem_cache_destroy(avtab_node_cachep);
- kmem_cache_destroy(avtab_xperms_cachep);
- }
|