blob: 7551af1f78994aea7203a3aa76bf2df8521c9706 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
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 *
9 * Added conditional policy language extensions
10 *
11 * Copyright (C) 2003 Tresys Technology, LLC
12 * This program is free software; you can redistribute it and/or modify
13 * it under the terms of the GNU General Public License as published by
14 * the Free Software Foundation, version 2.
Yuichi Nakamura3232c112007-08-24 11:55:11 +090015 *
16 * Updated: Yuichi Nakamura <ynakam@hitachisoft.jp>
17 * Tuned number of hash slots for avtab to reduce memory usage
Linus Torvalds1da177e2005-04-16 15:20:36 -070018 */
19
20#include <linux/kernel.h>
21#include <linux/slab.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070022#include <linux/errno.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070023#include "avtab.h"
24#include "policydb.h"
25
Christoph Lametere18b8902006-12-06 20:33:20 -080026static struct kmem_cache *avtab_node_cachep;
Linus Torvalds1da177e2005-04-16 15:20:36 -070027
Yuichi Nakamura3232c112007-08-24 11:55:11 +090028static 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 Torvalds1da177e2005-04-16 15:20:36 -070034static struct avtab_node*
35avtab_insert_node(struct avtab *h, int hvalue,
36 struct avtab_node * prev, struct avtab_node * cur,
37 struct avtab_key *key, struct avtab_datum *datum)
38{
39 struct avtab_node * newnode;
Robert P. J. Dayc3762222007-02-10 01:45:03 -080040 newnode = kmem_cache_zalloc(avtab_node_cachep, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -070041 if (newnode == NULL)
42 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -070043 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
57static 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 Smalley782ebb92005-09-03 15:55:16 -070061 u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
Linus Torvalds1da177e2005-04-16 15:20:36 -070062
Yuichi Nakamura3232c112007-08-24 11:55:11 +090063 if (!h || !h->htable)
Linus Torvalds1da177e2005-04-16 15:20:36 -070064 return -EINVAL;
65
Yuichi Nakamura3232c112007-08-24 11:55:11 +090066 hvalue = avtab_hash(key, h->mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -070067 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 Smalley782ebb92005-09-03 15:55:16 -070073 (specified & cur->key.specified))
Linus Torvalds1da177e2005-04-16 15:20:36 -070074 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);
87 if(!newnode)
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 */
97struct avtab_node *
98avtab_insert_nonunique(struct avtab * h, struct avtab_key * key, struct avtab_datum * datum)
99{
100 int hvalue;
101 struct avtab_node *prev, *cur, *newnode;
Stephen Smalley782ebb92005-09-03 15:55:16 -0700102 u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900104 if (!h || !h->htable)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700105 return NULL;
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900106 hvalue = avtab_hash(key, h->mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700107 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 Smalley782ebb92005-09-03 15:55:16 -0700113 (specified & cur->key.specified))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114 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 }
125 newnode = avtab_insert_node(h, hvalue, prev, cur, key, datum);
126
127 return newnode;
128}
129
Stephen Smalley782ebb92005-09-03 15:55:16 -0700130struct avtab_datum *avtab_search(struct avtab *h, struct avtab_key *key)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700131{
132 int hvalue;
133 struct avtab_node *cur;
Stephen Smalley782ebb92005-09-03 15:55:16 -0700134 u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900136 if (!h || !h->htable)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700137 return NULL;
138
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900139 hvalue = avtab_hash(key, h->mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700140 for (cur = h->htable[hvalue]; cur; cur = cur->next) {
141 if (key->source_type == cur->key.source_type &&
142 key->target_type == cur->key.target_type &&
143 key->target_class == cur->key.target_class &&
Stephen Smalley782ebb92005-09-03 15:55:16 -0700144 (specified & cur->key.specified))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700145 return &cur->datum;
146
147 if (key->source_type < cur->key.source_type)
148 break;
149 if (key->source_type == cur->key.source_type &&
150 key->target_type < cur->key.target_type)
151 break;
152 if (key->source_type == cur->key.source_type &&
153 key->target_type == cur->key.target_type &&
154 key->target_class < cur->key.target_class)
155 break;
156 }
157
158 return NULL;
159}
160
161/* This search function returns a node pointer, and can be used in
162 * conjunction with avtab_search_next_node()
163 */
164struct avtab_node*
Stephen Smalley782ebb92005-09-03 15:55:16 -0700165avtab_search_node(struct avtab *h, struct avtab_key *key)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700166{
167 int hvalue;
168 struct avtab_node *cur;
Stephen Smalley782ebb92005-09-03 15:55:16 -0700169 u16 specified = key->specified & ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700170
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900171 if (!h || !h->htable)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700172 return NULL;
173
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900174 hvalue = avtab_hash(key, h->mask);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700175 for (cur = h->htable[hvalue]; cur; cur = cur->next) {
176 if (key->source_type == cur->key.source_type &&
177 key->target_type == cur->key.target_type &&
178 key->target_class == cur->key.target_class &&
Stephen Smalley782ebb92005-09-03 15:55:16 -0700179 (specified & cur->key.specified))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700180 return cur;
181
182 if (key->source_type < cur->key.source_type)
183 break;
184 if (key->source_type == cur->key.source_type &&
185 key->target_type < cur->key.target_type)
186 break;
187 if (key->source_type == cur->key.source_type &&
188 key->target_type == cur->key.target_type &&
189 key->target_class < cur->key.target_class)
190 break;
191 }
192 return NULL;
193}
194
195struct avtab_node*
196avtab_search_node_next(struct avtab_node *node, int specified)
197{
198 struct avtab_node *cur;
199
200 if (!node)
201 return NULL;
202
Stephen Smalley782ebb92005-09-03 15:55:16 -0700203 specified &= ~(AVTAB_ENABLED|AVTAB_ENABLED_OLD);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700204 for (cur = node->next; cur; cur = cur->next) {
205 if (node->key.source_type == cur->key.source_type &&
206 node->key.target_type == cur->key.target_type &&
207 node->key.target_class == cur->key.target_class &&
Stephen Smalley782ebb92005-09-03 15:55:16 -0700208 (specified & cur->key.specified))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700209 return cur;
210
211 if (node->key.source_type < cur->key.source_type)
212 break;
213 if (node->key.source_type == cur->key.source_type &&
214 node->key.target_type < cur->key.target_type)
215 break;
216 if (node->key.source_type == cur->key.source_type &&
217 node->key.target_type == cur->key.target_type &&
218 node->key.target_class < cur->key.target_class)
219 break;
220 }
221 return NULL;
222}
223
224void avtab_destroy(struct avtab *h)
225{
226 int i;
227 struct avtab_node *cur, *temp;
228
229 if (!h || !h->htable)
230 return;
231
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900232 for (i = 0; i < h->nslot; i++) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700233 cur = h->htable[i];
234 while (cur != NULL) {
235 temp = cur;
236 cur = cur->next;
237 kmem_cache_free(avtab_node_cachep, temp);
238 }
239 h->htable[i] = NULL;
240 }
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900241 kfree(h->htable);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700242 h->htable = NULL;
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900243 h->nslot = 0;
244 h->mask = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245}
246
Linus Torvalds1da177e2005-04-16 15:20:36 -0700247int avtab_init(struct avtab *h)
248{
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900249 h->htable = NULL;
250 h->nel = 0;
251 return 0;
252}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700253
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900254int avtab_alloc(struct avtab *h, u32 nrules)
255{
256 u16 mask = 0;
257 u32 shift = 0;
258 u32 work = nrules;
259 u32 nslot = 0;
260
261 if (nrules == 0)
262 goto avtab_alloc_out;
263
264 while (work) {
265 work = work >> 1;
266 shift++;
267 }
268 if (shift > 2)
269 shift = shift - 2;
270 nslot = 1 << shift;
271 if (nslot > MAX_AVTAB_SIZE)
272 nslot = MAX_AVTAB_SIZE;
273 mask = nslot - 1;
274
275 h->htable = kcalloc(nslot, sizeof(*(h->htable)), GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700276 if (!h->htable)
277 return -ENOMEM;
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900278
279 avtab_alloc_out:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700280 h->nel = 0;
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900281 h->nslot = nslot;
282 h->mask = mask;
283 printk(KERN_DEBUG "SELinux:%d avtab hash slots allocated."
284 "Num of rules:%d\n", h->nslot, nrules);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700285 return 0;
286}
287
288void avtab_hash_eval(struct avtab *h, char *tag)
289{
290 int i, chain_len, slots_used, max_chain_len;
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900291 unsigned long long chain2_len_sum;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700292 struct avtab_node *cur;
293
294 slots_used = 0;
295 max_chain_len = 0;
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900296 chain2_len_sum = 0;
297 for (i = 0; i < h->nslot; i++) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700298 cur = h->htable[i];
299 if (cur) {
300 slots_used++;
301 chain_len = 0;
302 while (cur) {
303 chain_len++;
304 cur = cur->next;
305 }
306
307 if (chain_len > max_chain_len)
308 max_chain_len = chain_len;
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900309 chain2_len_sum += chain_len * chain_len;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310 }
311 }
312
Eric Parisfadcdb42007-02-22 18:11:31 -0500313 printk(KERN_DEBUG "%s: %d entries and %d/%d buckets used, longest "
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900314 "chain length %d sum of chain length^2 %Lu\n",
315 tag, h->nel, slots_used, h->nslot, max_chain_len,
316 chain2_len_sum);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317}
318
Stephen Smalley782ebb92005-09-03 15:55:16 -0700319static uint16_t spec_order[] = {
320 AVTAB_ALLOWED,
321 AVTAB_AUDITDENY,
322 AVTAB_AUDITALLOW,
323 AVTAB_TRANSITION,
324 AVTAB_CHANGE,
325 AVTAB_MEMBER
326};
327
328int avtab_read_item(void *fp, u32 vers, struct avtab *a,
329 int (*insertf)(struct avtab *a, struct avtab_key *k,
330 struct avtab_datum *d, void *p),
331 void *p)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700332{
Alexey Dobriyanb5bf6c52005-09-03 15:55:17 -0700333 __le16 buf16[4];
334 u16 enabled;
335 __le32 buf32[7];
336 u32 items, items2, val;
Stephen Smalley782ebb92005-09-03 15:55:16 -0700337 struct avtab_key key;
338 struct avtab_datum datum;
339 int i, rc;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340
Stephen Smalley782ebb92005-09-03 15:55:16 -0700341 memset(&key, 0, sizeof(struct avtab_key));
342 memset(&datum, 0, sizeof(struct avtab_datum));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700343
Stephen Smalley782ebb92005-09-03 15:55:16 -0700344 if (vers < POLICYDB_VERSION_AVTAB) {
345 rc = next_entry(buf32, fp, sizeof(u32));
346 if (rc < 0) {
347 printk(KERN_ERR "security: avtab: truncated entry\n");
348 return -1;
349 }
350 items2 = le32_to_cpu(buf32[0]);
351 if (items2 > ARRAY_SIZE(buf32)) {
352 printk(KERN_ERR "security: avtab: entry overflow\n");
353 return -1;
354
355 }
356 rc = next_entry(buf32, fp, sizeof(u32)*items2);
357 if (rc < 0) {
358 printk(KERN_ERR "security: avtab: truncated entry\n");
359 return -1;
360 }
361 items = 0;
362
363 val = le32_to_cpu(buf32[items++]);
364 key.source_type = (u16)val;
365 if (key.source_type != val) {
366 printk("security: avtab: truncated source type\n");
367 return -1;
368 }
369 val = le32_to_cpu(buf32[items++]);
370 key.target_type = (u16)val;
371 if (key.target_type != val) {
372 printk("security: avtab: truncated target type\n");
373 return -1;
374 }
375 val = le32_to_cpu(buf32[items++]);
376 key.target_class = (u16)val;
377 if (key.target_class != val) {
378 printk("security: avtab: truncated target class\n");
379 return -1;
380 }
381
382 val = le32_to_cpu(buf32[items++]);
383 enabled = (val & AVTAB_ENABLED_OLD) ? AVTAB_ENABLED : 0;
384
385 if (!(val & (AVTAB_AV | AVTAB_TYPE))) {
386 printk("security: avtab: null entry\n");
387 return -1;
388 }
389 if ((val & AVTAB_AV) &&
390 (val & AVTAB_TYPE)) {
391 printk("security: avtab: entry has both access vectors and types\n");
392 return -1;
393 }
394
Tobias Klauser32725ad2006-01-06 00:11:23 -0800395 for (i = 0; i < ARRAY_SIZE(spec_order); i++) {
Stephen Smalley782ebb92005-09-03 15:55:16 -0700396 if (val & spec_order[i]) {
397 key.specified = spec_order[i] | enabled;
398 datum.data = le32_to_cpu(buf32[items++]);
399 rc = insertf(a, &key, &datum, p);
400 if (rc) return rc;
401 }
402 }
403
404 if (items != items2) {
405 printk("security: avtab: entry only had %d items, expected %d\n", items2, items);
406 return -1;
407 }
408 return 0;
409 }
410
411 rc = next_entry(buf16, fp, sizeof(u16)*4);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700412 if (rc < 0) {
Stephen Smalley782ebb92005-09-03 15:55:16 -0700413 printk("security: avtab: truncated entry\n");
414 return -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700415 }
Stephen Smalley782ebb92005-09-03 15:55:16 -0700416
Linus Torvalds1da177e2005-04-16 15:20:36 -0700417 items = 0;
Stephen Smalley782ebb92005-09-03 15:55:16 -0700418 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 Torvalds1da177e2005-04-16 15:20:36 -0700422
Stephen Smalley782ebb92005-09-03 15:55:16 -0700423 rc = next_entry(buf32, fp, sizeof(u32));
424 if (rc < 0) {
425 printk("security: avtab: truncated entry\n");
426 return -1;
427 }
428 datum.data = le32_to_cpu(*buf32);
429 return insertf(a, &key, &datum, p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700430}
431
Stephen Smalley782ebb92005-09-03 15:55:16 -0700432static int avtab_insertf(struct avtab *a, struct avtab_key *k,
433 struct avtab_datum *d, void *p)
434{
435 return avtab_insert(a, k, d);
436}
437
438int avtab_read(struct avtab *a, void *fp, u32 vers)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700439{
440 int rc;
Alexey Dobriyanb5bf6c52005-09-03 15:55:17 -0700441 __le32 buf[1];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700442 u32 nel, i;
443
444
445 rc = next_entry(buf, fp, sizeof(u32));
446 if (rc < 0) {
447 printk(KERN_ERR "security: avtab: truncated table\n");
448 goto bad;
449 }
450 nel = le32_to_cpu(buf[0]);
451 if (!nel) {
452 printk(KERN_ERR "security: avtab: table is empty\n");
453 rc = -EINVAL;
454 goto bad;
455 }
Yuichi Nakamura3232c112007-08-24 11:55:11 +0900456
457 rc = avtab_alloc(a, nel);
458 if (rc)
459 goto bad;
460
Linus Torvalds1da177e2005-04-16 15:20:36 -0700461 for (i = 0; i < nel; i++) {
Stephen Smalley782ebb92005-09-03 15:55:16 -0700462 rc = avtab_read_item(fp,vers, a, avtab_insertf, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700463 if (rc) {
464 if (rc == -ENOMEM)
465 printk(KERN_ERR "security: avtab: out of memory\n");
Stephen Smalley782ebb92005-09-03 15:55:16 -0700466 else if (rc == -EEXIST)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700467 printk(KERN_ERR "security: avtab: duplicate entry\n");
Stephen Smalley782ebb92005-09-03 15:55:16 -0700468 else
469 rc = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700470 goto bad;
471 }
472 }
473
474 rc = 0;
475out:
476 return rc;
477
478bad:
479 avtab_destroy(a);
480 goto out;
481}
482
483void avtab_cache_init(void)
484{
485 avtab_node_cachep = kmem_cache_create("avtab_node",
486 sizeof(struct avtab_node),
Paul Mundt20c2df82007-07-20 10:11:58 +0900487 0, SLAB_PANIC, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488}
489
490void avtab_cache_destroy(void)
491{
492 kmem_cache_destroy (avtab_node_cachep);
493}