| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* | 
|  | 2 | * Implementation of the access vector table type. | 
|  | 3 | * | 
|  | 4 | * Author : Stephen Smalley, <sds@epoch.ncsc.mil> | 
|  | 5 | */ | 
|  | 6 |  | 
|  | 7 | /* Updated: Frank Mayer <mayerf@tresys.com> and Karl MacMillan <kmacmillan@tresys.com> | 
|  | 8 | * | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 9 | *	Added conditional policy language extensions | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 10 | * | 
|  | 11 | * Copyright (C) 2003 Tresys Technology, LLC | 
|  | 12 | *	This program is free software; you can redistribute it and/or modify | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 13 | *	it under the terms of the GNU General Public License as published by | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 14 | *	the Free Software Foundation, version 2. | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 15 | * | 
|  | 16 | * Updated: Yuichi Nakamura <ynakam@hitachisoft.jp> | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 17 | *	Tuned number of hash slots for avtab to reduce memory usage | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 18 | */ | 
|  | 19 |  | 
|  | 20 | #include <linux/kernel.h> | 
|  | 21 | #include <linux/slab.h> | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 22 | #include <linux/errno.h> | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 23 | #include "avtab.h" | 
|  | 24 | #include "policydb.h" | 
|  | 25 |  | 
| Christoph Lameter | e18b890 | 2006-12-06 20:33:20 -0800 | [diff] [blame] | 26 | static struct kmem_cache *avtab_node_cachep; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 27 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 28 | static inline int avtab_hash(struct avtab_key *keyp, u16 mask) | 
|  | 29 | { | 
|  | 30 | return ((keyp->target_class + (keyp->target_type << 2) + | 
|  | 31 | (keyp->source_type << 9)) & mask); | 
|  | 32 | } | 
|  | 33 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 34 | static struct avtab_node* | 
|  | 35 | avtab_insert_node(struct avtab *h, int hvalue, | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 36 | struct avtab_node *prev, struct avtab_node *cur, | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 37 | struct avtab_key *key, struct avtab_datum *datum) | 
|  | 38 | { | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 39 | struct avtab_node *newnode; | 
| Robert P. J. Day | c376222 | 2007-02-10 01:45:03 -0800 | [diff] [blame] | 40 | newnode = kmem_cache_zalloc(avtab_node_cachep, GFP_KERNEL); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 41 | if (newnode == NULL) | 
|  | 42 | return NULL; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 43 | newnode->key = *key; | 
|  | 44 | newnode->datum = *datum; | 
|  | 45 | if (prev) { | 
|  | 46 | newnode->next = prev->next; | 
|  | 47 | prev->next = newnode; | 
|  | 48 | } else { | 
|  | 49 | newnode->next = h->htable[hvalue]; | 
|  | 50 | h->htable[hvalue] = newnode; | 
|  | 51 | } | 
|  | 52 |  | 
|  | 53 | h->nel++; | 
|  | 54 | return newnode; | 
|  | 55 | } | 
|  | 56 |  | 
|  | 57 | static int avtab_insert(struct avtab *h, struct avtab_key *key, struct avtab_datum *datum) | 
|  | 58 | { | 
|  | 59 | int hvalue; | 
|  | 60 | struct avtab_node *prev, *cur, *newnode; | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 61 | u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 62 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 63 | if (!h || !h->htable) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 64 | return -EINVAL; | 
|  | 65 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 66 | hvalue = avtab_hash(key, h->mask); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 67 | for (prev = NULL, cur = h->htable[hvalue]; | 
|  | 68 | cur; | 
|  | 69 | prev = cur, cur = cur->next) { | 
|  | 70 | if (key->source_type == cur->key.source_type && | 
|  | 71 | key->target_type == cur->key.target_type && | 
|  | 72 | key->target_class == cur->key.target_class && | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 73 | (specified & cur->key.specified)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 74 | return -EEXIST; | 
|  | 75 | if (key->source_type < cur->key.source_type) | 
|  | 76 | break; | 
|  | 77 | if (key->source_type == cur->key.source_type && | 
|  | 78 | key->target_type < cur->key.target_type) | 
|  | 79 | break; | 
|  | 80 | if (key->source_type == cur->key.source_type && | 
|  | 81 | key->target_type == cur->key.target_type && | 
|  | 82 | key->target_class < cur->key.target_class) | 
|  | 83 | break; | 
|  | 84 | } | 
|  | 85 |  | 
|  | 86 | newnode = avtab_insert_node(h, hvalue, prev, cur, key, datum); | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 87 | if (!newnode) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 88 | return -ENOMEM; | 
|  | 89 |  | 
|  | 90 | return 0; | 
|  | 91 | } | 
|  | 92 |  | 
|  | 93 | /* Unlike avtab_insert(), this function allow multiple insertions of the same | 
|  | 94 | * key/specified mask into the table, as needed by the conditional avtab. | 
|  | 95 | * It also returns a pointer to the node inserted. | 
|  | 96 | */ | 
|  | 97 | struct avtab_node * | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 98 | avtab_insert_nonunique(struct avtab *h, struct avtab_key *key, struct avtab_datum *datum) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 99 | { | 
|  | 100 | int hvalue; | 
| Vesa-Matti J Kari | 0c0e186 | 2008-07-21 02:50:20 +0300 | [diff] [blame] | 101 | struct avtab_node *prev, *cur; | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 102 | u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 103 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 104 | if (!h || !h->htable) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 105 | return NULL; | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 106 | hvalue = avtab_hash(key, h->mask); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 107 | for (prev = NULL, cur = h->htable[hvalue]; | 
|  | 108 | cur; | 
|  | 109 | prev = cur, cur = cur->next) { | 
|  | 110 | if (key->source_type == cur->key.source_type && | 
|  | 111 | key->target_type == cur->key.target_type && | 
|  | 112 | key->target_class == cur->key.target_class && | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 113 | (specified & cur->key.specified)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 114 | break; | 
|  | 115 | if (key->source_type < cur->key.source_type) | 
|  | 116 | break; | 
|  | 117 | if (key->source_type == cur->key.source_type && | 
|  | 118 | key->target_type < cur->key.target_type) | 
|  | 119 | break; | 
|  | 120 | if (key->source_type == cur->key.source_type && | 
|  | 121 | key->target_type == cur->key.target_type && | 
|  | 122 | key->target_class < cur->key.target_class) | 
|  | 123 | break; | 
|  | 124 | } | 
| Vesa-Matti J Kari | 0c0e186 | 2008-07-21 02:50:20 +0300 | [diff] [blame] | 125 | return avtab_insert_node(h, hvalue, prev, cur, key, datum); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 126 | } | 
|  | 127 |  | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 128 | struct avtab_datum *avtab_search(struct avtab *h, struct avtab_key *key) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 129 | { | 
|  | 130 | int hvalue; | 
|  | 131 | struct avtab_node *cur; | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 132 | u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 133 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 134 | if (!h || !h->htable) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 135 | return NULL; | 
|  | 136 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 137 | hvalue = avtab_hash(key, h->mask); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 138 | for (cur = h->htable[hvalue]; cur; cur = cur->next) { | 
|  | 139 | if (key->source_type == cur->key.source_type && | 
|  | 140 | key->target_type == cur->key.target_type && | 
|  | 141 | key->target_class == cur->key.target_class && | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 142 | (specified & cur->key.specified)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 143 | return &cur->datum; | 
|  | 144 |  | 
|  | 145 | if (key->source_type < cur->key.source_type) | 
|  | 146 | break; | 
|  | 147 | if (key->source_type == cur->key.source_type && | 
|  | 148 | key->target_type < cur->key.target_type) | 
|  | 149 | break; | 
|  | 150 | if (key->source_type == cur->key.source_type && | 
|  | 151 | key->target_type == cur->key.target_type && | 
|  | 152 | key->target_class < cur->key.target_class) | 
|  | 153 | break; | 
|  | 154 | } | 
|  | 155 |  | 
|  | 156 | return NULL; | 
|  | 157 | } | 
|  | 158 |  | 
|  | 159 | /* This search function returns a node pointer, and can be used in | 
|  | 160 | * conjunction with avtab_search_next_node() | 
|  | 161 | */ | 
|  | 162 | struct avtab_node* | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 163 | avtab_search_node(struct avtab *h, struct avtab_key *key) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 164 | { | 
|  | 165 | int hvalue; | 
|  | 166 | struct avtab_node *cur; | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 167 | u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 168 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 169 | if (!h || !h->htable) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 170 | return NULL; | 
|  | 171 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 172 | hvalue = avtab_hash(key, h->mask); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 173 | for (cur = h->htable[hvalue]; cur; cur = cur->next) { | 
|  | 174 | if (key->source_type == cur->key.source_type && | 
|  | 175 | key->target_type == cur->key.target_type && | 
|  | 176 | key->target_class == cur->key.target_class && | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 177 | (specified & cur->key.specified)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 178 | return cur; | 
|  | 179 |  | 
|  | 180 | if (key->source_type < cur->key.source_type) | 
|  | 181 | break; | 
|  | 182 | if (key->source_type == cur->key.source_type && | 
|  | 183 | key->target_type < cur->key.target_type) | 
|  | 184 | break; | 
|  | 185 | if (key->source_type == cur->key.source_type && | 
|  | 186 | key->target_type == cur->key.target_type && | 
|  | 187 | key->target_class < cur->key.target_class) | 
|  | 188 | break; | 
|  | 189 | } | 
|  | 190 | return NULL; | 
|  | 191 | } | 
|  | 192 |  | 
|  | 193 | struct avtab_node* | 
|  | 194 | avtab_search_node_next(struct avtab_node *node, int specified) | 
|  | 195 | { | 
|  | 196 | struct avtab_node *cur; | 
|  | 197 |  | 
|  | 198 | if (!node) | 
|  | 199 | return NULL; | 
|  | 200 |  | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 201 | specified &= ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 202 | for (cur = node->next; cur; cur = cur->next) { | 
|  | 203 | if (node->key.source_type == cur->key.source_type && | 
|  | 204 | node->key.target_type == cur->key.target_type && | 
|  | 205 | node->key.target_class == cur->key.target_class && | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 206 | (specified & cur->key.specified)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 207 | return cur; | 
|  | 208 |  | 
|  | 209 | if (node->key.source_type < cur->key.source_type) | 
|  | 210 | break; | 
|  | 211 | if (node->key.source_type == cur->key.source_type && | 
|  | 212 | node->key.target_type < cur->key.target_type) | 
|  | 213 | break; | 
|  | 214 | if (node->key.source_type == cur->key.source_type && | 
|  | 215 | node->key.target_type == cur->key.target_type && | 
|  | 216 | node->key.target_class < cur->key.target_class) | 
|  | 217 | break; | 
|  | 218 | } | 
|  | 219 | return NULL; | 
|  | 220 | } | 
|  | 221 |  | 
|  | 222 | void avtab_destroy(struct avtab *h) | 
|  | 223 | { | 
|  | 224 | int i; | 
|  | 225 | struct avtab_node *cur, *temp; | 
|  | 226 |  | 
|  | 227 | if (!h || !h->htable) | 
|  | 228 | return; | 
|  | 229 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 230 | for (i = 0; i < h->nslot; i++) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 231 | cur = h->htable[i]; | 
| Vesa-Matti Kari | dbc74c6 | 2008-08-07 03:18:20 +0300 | [diff] [blame] | 232 | while (cur) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 233 | temp = cur; | 
|  | 234 | cur = cur->next; | 
|  | 235 | kmem_cache_free(avtab_node_cachep, temp); | 
|  | 236 | } | 
|  | 237 | h->htable[i] = NULL; | 
|  | 238 | } | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 239 | kfree(h->htable); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 240 | h->htable = NULL; | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 241 | h->nslot = 0; | 
|  | 242 | h->mask = 0; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 243 | } | 
|  | 244 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 245 | int avtab_init(struct avtab *h) | 
|  | 246 | { | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 247 | h->htable = NULL; | 
|  | 248 | h->nel = 0; | 
|  | 249 | return 0; | 
|  | 250 | } | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 251 |  | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 252 | int avtab_alloc(struct avtab *h, u32 nrules) | 
|  | 253 | { | 
|  | 254 | u16 mask = 0; | 
|  | 255 | u32 shift = 0; | 
|  | 256 | u32 work = nrules; | 
|  | 257 | u32 nslot = 0; | 
|  | 258 |  | 
|  | 259 | if (nrules == 0) | 
|  | 260 | goto avtab_alloc_out; | 
|  | 261 |  | 
|  | 262 | while (work) { | 
|  | 263 | work  = work >> 1; | 
|  | 264 | shift++; | 
|  | 265 | } | 
|  | 266 | if (shift > 2) | 
|  | 267 | shift = shift - 2; | 
|  | 268 | nslot = 1 << shift; | 
|  | 269 | if (nslot > MAX_AVTAB_SIZE) | 
|  | 270 | nslot = MAX_AVTAB_SIZE; | 
|  | 271 | mask = nslot - 1; | 
|  | 272 |  | 
|  | 273 | h->htable = kcalloc(nslot, sizeof(*(h->htable)), GFP_KERNEL); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 274 | if (!h->htable) | 
|  | 275 | return -ENOMEM; | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 276 |  | 
|  | 277 | avtab_alloc_out: | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 278 | h->nel = 0; | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 279 | h->nslot = nslot; | 
|  | 280 | h->mask = mask; | 
| James Morris | 454d972 | 2008-02-26 20:42:02 +1100 | [diff] [blame] | 281 | printk(KERN_DEBUG "SELinux: %d avtab hash slots, %d rules.\n", | 
|  | 282 | h->nslot, nrules); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 283 | return 0; | 
|  | 284 | } | 
|  | 285 |  | 
|  | 286 | void avtab_hash_eval(struct avtab *h, char *tag) | 
|  | 287 | { | 
|  | 288 | int i, chain_len, slots_used, max_chain_len; | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 289 | unsigned long long chain2_len_sum; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 290 | struct avtab_node *cur; | 
|  | 291 |  | 
|  | 292 | slots_used = 0; | 
|  | 293 | max_chain_len = 0; | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 294 | chain2_len_sum = 0; | 
|  | 295 | for (i = 0; i < h->nslot; i++) { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 296 | cur = h->htable[i]; | 
|  | 297 | if (cur) { | 
|  | 298 | slots_used++; | 
|  | 299 | chain_len = 0; | 
|  | 300 | while (cur) { | 
|  | 301 | chain_len++; | 
|  | 302 | cur = cur->next; | 
|  | 303 | } | 
|  | 304 |  | 
|  | 305 | if (chain_len > max_chain_len) | 
|  | 306 | max_chain_len = chain_len; | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 307 | chain2_len_sum += chain_len * chain_len; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 308 | } | 
|  | 309 | } | 
|  | 310 |  | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 311 | printk(KERN_DEBUG "SELinux: %s:  %d entries and %d/%d buckets used, " | 
| Eric Paris | f526971 | 2008-05-14 11:27:45 -0400 | [diff] [blame] | 312 | "longest chain length %d sum of chain length^2 %llu\n", | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 313 | tag, h->nel, slots_used, h->nslot, max_chain_len, | 
|  | 314 | chain2_len_sum); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 315 | } | 
|  | 316 |  | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 317 | static uint16_t spec_order[] = { | 
|  | 318 | AVTAB_ALLOWED, | 
|  | 319 | AVTAB_AUDITDENY, | 
|  | 320 | AVTAB_AUDITALLOW, | 
|  | 321 | AVTAB_TRANSITION, | 
|  | 322 | AVTAB_CHANGE, | 
|  | 323 | AVTAB_MEMBER | 
|  | 324 | }; | 
|  | 325 |  | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 326 | int avtab_read_item(struct avtab *a, void *fp, struct policydb *pol, | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 327 | int (*insertf)(struct avtab *a, struct avtab_key *k, | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 328 | struct avtab_datum *d, void *p), | 
|  | 329 | void *p) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 330 | { | 
| Alexey Dobriyan | b5bf6c5 | 2005-09-03 15:55:17 -0700 | [diff] [blame] | 331 | __le16 buf16[4]; | 
|  | 332 | u16 enabled; | 
|  | 333 | __le32 buf32[7]; | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 334 | u32 items, items2, val, vers = pol->policyvers; | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 335 | struct avtab_key key; | 
|  | 336 | struct avtab_datum datum; | 
|  | 337 | int i, rc; | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 338 | unsigned set; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 339 |  | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 340 | memset(&key, 0, sizeof(struct avtab_key)); | 
|  | 341 | memset(&datum, 0, sizeof(struct avtab_datum)); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 342 |  | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 343 | if (vers < POLICYDB_VERSION_AVTAB) { | 
|  | 344 | rc = next_entry(buf32, fp, sizeof(u32)); | 
|  | 345 | if (rc < 0) { | 
| James Morris | 454d972 | 2008-02-26 20:42:02 +1100 | [diff] [blame] | 346 | printk(KERN_ERR "SELinux: avtab: truncated entry\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 347 | return -1; | 
|  | 348 | } | 
|  | 349 | items2 = le32_to_cpu(buf32[0]); | 
|  | 350 | if (items2 > ARRAY_SIZE(buf32)) { | 
| James Morris | 454d972 | 2008-02-26 20:42:02 +1100 | [diff] [blame] | 351 | printk(KERN_ERR "SELinux: avtab: entry overflow\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 352 | return -1; | 
|  | 353 |  | 
|  | 354 | } | 
|  | 355 | rc = next_entry(buf32, fp, sizeof(u32)*items2); | 
|  | 356 | if (rc < 0) { | 
| James Morris | 454d972 | 2008-02-26 20:42:02 +1100 | [diff] [blame] | 357 | printk(KERN_ERR "SELinux: avtab: truncated entry\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 358 | return -1; | 
|  | 359 | } | 
|  | 360 | items = 0; | 
|  | 361 |  | 
|  | 362 | val = le32_to_cpu(buf32[items++]); | 
|  | 363 | key.source_type = (u16)val; | 
|  | 364 | if (key.source_type != val) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 365 | printk(KERN_ERR "SELinux: avtab: truncated source type\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 366 | return -1; | 
|  | 367 | } | 
|  | 368 | val = le32_to_cpu(buf32[items++]); | 
|  | 369 | key.target_type = (u16)val; | 
|  | 370 | if (key.target_type != val) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 371 | printk(KERN_ERR "SELinux: avtab: truncated target type\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 372 | return -1; | 
|  | 373 | } | 
|  | 374 | val = le32_to_cpu(buf32[items++]); | 
|  | 375 | key.target_class = (u16)val; | 
|  | 376 | if (key.target_class != val) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 377 | printk(KERN_ERR "SELinux: avtab: truncated target class\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 378 | return -1; | 
|  | 379 | } | 
|  | 380 |  | 
|  | 381 | val = le32_to_cpu(buf32[items++]); | 
|  | 382 | enabled = (val & AVTAB_ENABLED_OLD) ? AVTAB_ENABLED : 0; | 
|  | 383 |  | 
|  | 384 | if (!(val & (AVTAB_AV | AVTAB_TYPE))) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 385 | printk(KERN_ERR "SELinux: avtab: null entry\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 386 | return -1; | 
|  | 387 | } | 
|  | 388 | if ((val & AVTAB_AV) && | 
|  | 389 | (val & AVTAB_TYPE)) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 390 | printk(KERN_ERR "SELinux: avtab: entry has both access vectors and types\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 391 | return -1; | 
|  | 392 | } | 
|  | 393 |  | 
| Tobias Klauser | 32725ad | 2006-01-06 00:11:23 -0800 | [diff] [blame] | 394 | for (i = 0; i < ARRAY_SIZE(spec_order); i++) { | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 395 | if (val & spec_order[i]) { | 
|  | 396 | key.specified = spec_order[i] | enabled; | 
|  | 397 | datum.data = le32_to_cpu(buf32[items++]); | 
|  | 398 | rc = insertf(a, &key, &datum, p); | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 399 | if (rc) | 
|  | 400 | return rc; | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 401 | } | 
|  | 402 | } | 
|  | 403 |  | 
|  | 404 | if (items != items2) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 405 | printk(KERN_ERR "SELinux: avtab: entry only had %d items, expected %d\n", items2, items); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 406 | return -1; | 
|  | 407 | } | 
|  | 408 | return 0; | 
|  | 409 | } | 
|  | 410 |  | 
|  | 411 | rc = next_entry(buf16, fp, sizeof(u16)*4); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 412 | if (rc < 0) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 413 | printk(KERN_ERR "SELinux: avtab: truncated entry\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 414 | return -1; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 415 | } | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 416 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 417 | items = 0; | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 418 | key.source_type = le16_to_cpu(buf16[items++]); | 
|  | 419 | key.target_type = le16_to_cpu(buf16[items++]); | 
|  | 420 | key.target_class = le16_to_cpu(buf16[items++]); | 
|  | 421 | key.specified = le16_to_cpu(buf16[items++]); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 422 |  | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 423 | if (!policydb_type_isvalid(pol, key.source_type) || | 
|  | 424 | !policydb_type_isvalid(pol, key.target_type) || | 
|  | 425 | !policydb_class_isvalid(pol, key.target_class)) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 426 | printk(KERN_ERR "SELinux: avtab: invalid type or class\n"); | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 427 | return -1; | 
|  | 428 | } | 
|  | 429 |  | 
|  | 430 | set = 0; | 
|  | 431 | for (i = 0; i < ARRAY_SIZE(spec_order); i++) { | 
|  | 432 | if (key.specified & spec_order[i]) | 
|  | 433 | set++; | 
|  | 434 | } | 
|  | 435 | if (!set || set > 1) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 436 | printk(KERN_ERR "SELinux:  avtab:  more than one specifier\n"); | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 437 | return -1; | 
|  | 438 | } | 
|  | 439 |  | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 440 | rc = next_entry(buf32, fp, sizeof(u32)); | 
|  | 441 | if (rc < 0) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 442 | printk(KERN_ERR "SELinux: avtab: truncated entry\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 443 | return -1; | 
|  | 444 | } | 
|  | 445 | datum.data = le32_to_cpu(*buf32); | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 446 | if ((key.specified & AVTAB_TYPE) && | 
|  | 447 | !policydb_type_isvalid(pol, datum.data)) { | 
| Eric Paris | 744ba35 | 2008-04-17 11:52:44 -0400 | [diff] [blame] | 448 | printk(KERN_ERR "SELinux: avtab: invalid type\n"); | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 449 | return -1; | 
|  | 450 | } | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 451 | return insertf(a, &key, &datum, p); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 452 | } | 
|  | 453 |  | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 454 | static int avtab_insertf(struct avtab *a, struct avtab_key *k, | 
|  | 455 | struct avtab_datum *d, void *p) | 
|  | 456 | { | 
|  | 457 | return avtab_insert(a, k, d); | 
|  | 458 | } | 
|  | 459 |  | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 460 | int avtab_read(struct avtab *a, void *fp, struct policydb *pol) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 461 | { | 
|  | 462 | int rc; | 
| Alexey Dobriyan | b5bf6c5 | 2005-09-03 15:55:17 -0700 | [diff] [blame] | 463 | __le32 buf[1]; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 464 | u32 nel, i; | 
|  | 465 |  | 
|  | 466 |  | 
|  | 467 | rc = next_entry(buf, fp, sizeof(u32)); | 
|  | 468 | if (rc < 0) { | 
| James Morris | 454d972 | 2008-02-26 20:42:02 +1100 | [diff] [blame] | 469 | printk(KERN_ERR "SELinux: avtab: truncated table\n"); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 470 | goto bad; | 
|  | 471 | } | 
|  | 472 | nel = le32_to_cpu(buf[0]); | 
|  | 473 | if (!nel) { | 
| James Morris | 454d972 | 2008-02-26 20:42:02 +1100 | [diff] [blame] | 474 | printk(KERN_ERR "SELinux: avtab: table is empty\n"); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 475 | rc = -EINVAL; | 
|  | 476 | goto bad; | 
|  | 477 | } | 
| Yuichi Nakamura | 3232c11 | 2007-08-24 11:55:11 +0900 | [diff] [blame] | 478 |  | 
|  | 479 | rc = avtab_alloc(a, nel); | 
|  | 480 | if (rc) | 
|  | 481 | goto bad; | 
|  | 482 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 483 | for (i = 0; i < nel; i++) { | 
| Stephen Smalley | 45e5421 | 2007-11-07 10:08:00 -0500 | [diff] [blame] | 484 | rc = avtab_read_item(a, fp, pol, avtab_insertf, NULL); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 485 | if (rc) { | 
|  | 486 | if (rc == -ENOMEM) | 
| James Morris | 454d972 | 2008-02-26 20:42:02 +1100 | [diff] [blame] | 487 | printk(KERN_ERR "SELinux: avtab: out of memory\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 488 | else if (rc == -EEXIST) | 
| James Morris | 454d972 | 2008-02-26 20:42:02 +1100 | [diff] [blame] | 489 | printk(KERN_ERR "SELinux: avtab: duplicate entry\n"); | 
| Stephen Smalley | 782ebb9 | 2005-09-03 15:55:16 -0700 | [diff] [blame] | 490 | else | 
|  | 491 | rc = -EINVAL; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 492 | goto bad; | 
|  | 493 | } | 
|  | 494 | } | 
|  | 495 |  | 
|  | 496 | rc = 0; | 
|  | 497 | out: | 
|  | 498 | return rc; | 
|  | 499 |  | 
|  | 500 | bad: | 
|  | 501 | avtab_destroy(a); | 
|  | 502 | goto out; | 
|  | 503 | } | 
|  | 504 |  | 
|  | 505 | void avtab_cache_init(void) | 
|  | 506 | { | 
|  | 507 | avtab_node_cachep = kmem_cache_create("avtab_node", | 
|  | 508 | sizeof(struct avtab_node), | 
| Paul Mundt | 20c2df8 | 2007-07-20 10:11:58 +0900 | [diff] [blame] | 509 | 0, SLAB_PANIC, NULL); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 510 | } | 
|  | 511 |  | 
|  | 512 | void avtab_cache_destroy(void) | 
|  | 513 | { | 
| Eric Paris | eb5df9a | 2008-04-18 17:38:28 -0400 | [diff] [blame] | 514 | kmem_cache_destroy(avtab_node_cachep); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 515 | } |