services.c 70.9 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4
/*
 * Implementation of the security services.
 *
 * Authors : Stephen Smalley, <sds@epoch.ncsc.mil>
5
 *	     James Morris <jmorris@redhat.com>
L
Linus Torvalds 已提交
6 7 8 9
 *
 * Updated: Trusted Computer Solutions, Inc. <dgoeddel@trustedcs.com>
 *
 *	Support for enhanced MLS infrastructure.
10
 *	Support for context based audit filters.
L
Linus Torvalds 已提交
11 12 13
 *
 * Updated: Frank Mayer <mayerf@tresys.com> and Karl MacMillan <kmacmillan@tresys.com>
 *
14
 *	Added conditional policy language extensions
L
Linus Torvalds 已提交
15
 *
V
Venkat Yekkirala 已提交
16 17 18
 * Updated: Hewlett-Packard <paul.moore@hp.com>
 *
 *      Added support for NetLabel
19
 *      Added support for the policy capability bitmap
V
Venkat Yekkirala 已提交
20
 *
21 22 23 24
 * Updated: Chad Sellers <csellers@tresys.com>
 *
 *  Added validation of kernel classes and permissions
 *
25 26 27 28 29
 * Updated: KaiGai Kohei <kaigai@ak.jp.nec.com>
 *
 *  Added support for bounds domain and audit messaged on masked permissions
 *
 * Copyright (C) 2008, 2009 NEC Corporation
30
 * Copyright (C) 2006, 2007 Hewlett-Packard Development Company, L.P.
31
 * Copyright (C) 2004-2006 Trusted Computer Solutions, Inc.
32
 * Copyright (C) 2003 - 2004, 2006 Tresys Technology, LLC
L
Linus Torvalds 已提交
33 34
 * Copyright (C) 2003 Red Hat, Inc., James Morris <jmorris@redhat.com>
 *	This program is free software; you can redistribute it and/or modify
35
 *	it under the terms of the GNU General Public License as published by
L
Linus Torvalds 已提交
36 37 38 39 40 41
 *	the Free Software Foundation, version 2.
 */
#include <linux/kernel.h>
#include <linux/slab.h>
#include <linux/string.h>
#include <linux/spinlock.h>
P
Paul Moore 已提交
42
#include <linux/rcupdate.h>
L
Linus Torvalds 已提交
43 44 45 46
#include <linux/errno.h>
#include <linux/in.h>
#include <linux/sched.h>
#include <linux/audit.h>
I
Ingo Molnar 已提交
47
#include <linux/mutex.h>
48
#include <linux/selinux.h>
V
Venkat Yekkirala 已提交
49
#include <net/netlabel.h>
I
Ingo Molnar 已提交
50

L
Linus Torvalds 已提交
51 52 53 54 55 56 57 58 59 60
#include "flask.h"
#include "avc.h"
#include "avc_ss.h"
#include "security.h"
#include "context.h"
#include "policydb.h"
#include "sidtab.h"
#include "services.h"
#include "conditional.h"
#include "mls.h"
V
Venkat Yekkirala 已提交
61
#include "objsec.h"
62
#include "netlabel.h"
63
#include "xfrm.h"
64
#include "ebitmap.h"
65
#include "audit.h"
L
Linus Torvalds 已提交
66 67 68

extern void selnl_notify_policyload(u32 seqno);

69
int selinux_policycap_netpeer;
E
Eric Paris 已提交
70
int selinux_policycap_openperm;
71

L
Linus Torvalds 已提交
72 73 74 75
static DEFINE_RWLOCK(policy_rwlock);

static struct sidtab sidtab;
struct policydb policydb;
76
int ss_initialized;
L
Linus Torvalds 已提交
77 78 79 80 81 82 83

/*
 * The largest sequence number that has been used when
 * providing an access decision to the access vector cache.
 * The sequence number only changes when a policy change
 * occurs.
 */
84
static u32 latest_granting;
L
Linus Torvalds 已提交
85 86 87 88 89

/* Forward declaration. */
static int context_struct_to_string(struct context *context, char **scontext,
				    u32 *scontext_len);

90 91 92 93 94
static int context_struct_compute_av(struct context *scontext,
				     struct context *tcontext,
				     u16 tclass,
				     u32 requested,
				     struct av_decision *avd);
95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241

struct selinux_mapping {
	u16 value; /* policy value */
	unsigned num_perms;
	u32 perms[sizeof(u32) * 8];
};

static struct selinux_mapping *current_mapping;
static u16 current_mapping_size;

static int selinux_set_mapping(struct policydb *pol,
			       struct security_class_mapping *map,
			       struct selinux_mapping **out_map_p,
			       u16 *out_map_size)
{
	struct selinux_mapping *out_map = NULL;
	size_t size = sizeof(struct selinux_mapping);
	u16 i, j;
	unsigned k;
	bool print_unknown_handle = false;

	/* Find number of classes in the input mapping */
	if (!map)
		return -EINVAL;
	i = 0;
	while (map[i].name)
		i++;

	/* Allocate space for the class records, plus one for class zero */
	out_map = kcalloc(++i, size, GFP_ATOMIC);
	if (!out_map)
		return -ENOMEM;

	/* Store the raw class and permission values */
	j = 0;
	while (map[j].name) {
		struct security_class_mapping *p_in = map + (j++);
		struct selinux_mapping *p_out = out_map + j;

		/* An empty class string skips ahead */
		if (!strcmp(p_in->name, "")) {
			p_out->num_perms = 0;
			continue;
		}

		p_out->value = string_to_security_class(pol, p_in->name);
		if (!p_out->value) {
			printk(KERN_INFO
			       "SELinux:  Class %s not defined in policy.\n",
			       p_in->name);
			if (pol->reject_unknown)
				goto err;
			p_out->num_perms = 0;
			print_unknown_handle = true;
			continue;
		}

		k = 0;
		while (p_in->perms && p_in->perms[k]) {
			/* An empty permission string skips ahead */
			if (!*p_in->perms[k]) {
				k++;
				continue;
			}
			p_out->perms[k] = string_to_av_perm(pol, p_out->value,
							    p_in->perms[k]);
			if (!p_out->perms[k]) {
				printk(KERN_INFO
				       "SELinux:  Permission %s in class %s not defined in policy.\n",
				       p_in->perms[k], p_in->name);
				if (pol->reject_unknown)
					goto err;
				print_unknown_handle = true;
			}

			k++;
		}
		p_out->num_perms = k;
	}

	if (print_unknown_handle)
		printk(KERN_INFO "SELinux: the above unknown classes and permissions will be %s\n",
		       pol->allow_unknown ? "allowed" : "denied");

	*out_map_p = out_map;
	*out_map_size = i;
	return 0;
err:
	kfree(out_map);
	return -EINVAL;
}

/*
 * Get real, policy values from mapped values
 */

static u16 unmap_class(u16 tclass)
{
	if (tclass < current_mapping_size)
		return current_mapping[tclass].value;

	return tclass;
}

static u32 unmap_perm(u16 tclass, u32 tperm)
{
	if (tclass < current_mapping_size) {
		unsigned i;
		u32 kperm = 0;

		for (i = 0; i < current_mapping[tclass].num_perms; i++)
			if (tperm & (1<<i)) {
				kperm |= current_mapping[tclass].perms[i];
				tperm &= ~(1<<i);
			}
		return kperm;
	}

	return tperm;
}

static void map_decision(u16 tclass, struct av_decision *avd,
			 int allow_unknown)
{
	if (tclass < current_mapping_size) {
		unsigned i, n = current_mapping[tclass].num_perms;
		u32 result;

		for (i = 0, result = 0; i < n; i++) {
			if (avd->allowed & current_mapping[tclass].perms[i])
				result |= 1<<i;
			if (allow_unknown && !current_mapping[tclass].perms[i])
				result |= 1<<i;
		}
		avd->allowed = result;

		for (i = 0, result = 0; i < n; i++)
			if (avd->auditallow & current_mapping[tclass].perms[i])
				result |= 1<<i;
		avd->auditallow = result;

		for (i = 0, result = 0; i < n; i++) {
			if (avd->auditdeny & current_mapping[tclass].perms[i])
				result |= 1<<i;
			if (!allow_unknown && !current_mapping[tclass].perms[i])
				result |= 1<<i;
		}
242 243 244 245 246 247 248
		/*
		 * In case the kernel has a bug and requests a permission
		 * between num_perms and the maximum permission number, we
		 * should audit that denial
		 */
		for (; i < (sizeof(u32)*8); i++)
			result |= 1<<i;
249 250 251 252 253
		avd->auditdeny = result;
	}
}


L
Linus Torvalds 已提交
254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320
/*
 * Return the boolean value of a constraint expression
 * when it is applied to the specified source and target
 * security contexts.
 *
 * xcontext is a special beast...  It is used by the validatetrans rules
 * only.  For these rules, scontext is the context before the transition,
 * tcontext is the context after the transition, and xcontext is the context
 * of the process performing the transition.  All other callers of
 * constraint_expr_eval should pass in NULL for xcontext.
 */
static int constraint_expr_eval(struct context *scontext,
				struct context *tcontext,
				struct context *xcontext,
				struct constraint_expr *cexpr)
{
	u32 val1, val2;
	struct context *c;
	struct role_datum *r1, *r2;
	struct mls_level *l1, *l2;
	struct constraint_expr *e;
	int s[CEXPR_MAXDEPTH];
	int sp = -1;

	for (e = cexpr; e; e = e->next) {
		switch (e->expr_type) {
		case CEXPR_NOT:
			BUG_ON(sp < 0);
			s[sp] = !s[sp];
			break;
		case CEXPR_AND:
			BUG_ON(sp < 1);
			sp--;
			s[sp] &= s[sp+1];
			break;
		case CEXPR_OR:
			BUG_ON(sp < 1);
			sp--;
			s[sp] |= s[sp+1];
			break;
		case CEXPR_ATTR:
			if (sp == (CEXPR_MAXDEPTH-1))
				return 0;
			switch (e->attr) {
			case CEXPR_USER:
				val1 = scontext->user;
				val2 = tcontext->user;
				break;
			case CEXPR_TYPE:
				val1 = scontext->type;
				val2 = tcontext->type;
				break;
			case CEXPR_ROLE:
				val1 = scontext->role;
				val2 = tcontext->role;
				r1 = policydb.role_val_to_struct[val1 - 1];
				r2 = policydb.role_val_to_struct[val2 - 1];
				switch (e->op) {
				case CEXPR_DOM:
					s[++sp] = ebitmap_get_bit(&r1->dominates,
								  val2 - 1);
					continue;
				case CEXPR_DOMBY:
					s[++sp] = ebitmap_get_bit(&r2->dominates,
								  val1 - 1);
					continue;
				case CEXPR_INCOMP:
321 322 323 324
					s[++sp] = (!ebitmap_get_bit(&r1->dominates,
								    val2 - 1) &&
						   !ebitmap_get_bit(&r2->dominates,
								    val1 - 1));
L
Linus Torvalds 已提交
325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438
					continue;
				default:
					break;
				}
				break;
			case CEXPR_L1L2:
				l1 = &(scontext->range.level[0]);
				l2 = &(tcontext->range.level[0]);
				goto mls_ops;
			case CEXPR_L1H2:
				l1 = &(scontext->range.level[0]);
				l2 = &(tcontext->range.level[1]);
				goto mls_ops;
			case CEXPR_H1L2:
				l1 = &(scontext->range.level[1]);
				l2 = &(tcontext->range.level[0]);
				goto mls_ops;
			case CEXPR_H1H2:
				l1 = &(scontext->range.level[1]);
				l2 = &(tcontext->range.level[1]);
				goto mls_ops;
			case CEXPR_L1H1:
				l1 = &(scontext->range.level[0]);
				l2 = &(scontext->range.level[1]);
				goto mls_ops;
			case CEXPR_L2H2:
				l1 = &(tcontext->range.level[0]);
				l2 = &(tcontext->range.level[1]);
				goto mls_ops;
mls_ops:
			switch (e->op) {
			case CEXPR_EQ:
				s[++sp] = mls_level_eq(l1, l2);
				continue;
			case CEXPR_NEQ:
				s[++sp] = !mls_level_eq(l1, l2);
				continue;
			case CEXPR_DOM:
				s[++sp] = mls_level_dom(l1, l2);
				continue;
			case CEXPR_DOMBY:
				s[++sp] = mls_level_dom(l2, l1);
				continue;
			case CEXPR_INCOMP:
				s[++sp] = mls_level_incomp(l2, l1);
				continue;
			default:
				BUG();
				return 0;
			}
			break;
			default:
				BUG();
				return 0;
			}

			switch (e->op) {
			case CEXPR_EQ:
				s[++sp] = (val1 == val2);
				break;
			case CEXPR_NEQ:
				s[++sp] = (val1 != val2);
				break;
			default:
				BUG();
				return 0;
			}
			break;
		case CEXPR_NAMES:
			if (sp == (CEXPR_MAXDEPTH-1))
				return 0;
			c = scontext;
			if (e->attr & CEXPR_TARGET)
				c = tcontext;
			else if (e->attr & CEXPR_XTARGET) {
				c = xcontext;
				if (!c) {
					BUG();
					return 0;
				}
			}
			if (e->attr & CEXPR_USER)
				val1 = c->user;
			else if (e->attr & CEXPR_ROLE)
				val1 = c->role;
			else if (e->attr & CEXPR_TYPE)
				val1 = c->type;
			else {
				BUG();
				return 0;
			}

			switch (e->op) {
			case CEXPR_EQ:
				s[++sp] = ebitmap_get_bit(&e->names, val1 - 1);
				break;
			case CEXPR_NEQ:
				s[++sp] = !ebitmap_get_bit(&e->names, val1 - 1);
				break;
			default:
				BUG();
				return 0;
			}
			break;
		default:
			BUG();
			return 0;
		}
	}

	BUG_ON(sp != 0);
	return s[0];
}

439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527
/*
 * security_dump_masked_av - dumps masked permissions during
 * security_compute_av due to RBAC, MLS/Constraint and Type bounds.
 */
static int dump_masked_av_helper(void *k, void *d, void *args)
{
	struct perm_datum *pdatum = d;
	char **permission_names = args;

	BUG_ON(pdatum->value < 1 || pdatum->value > 32);

	permission_names[pdatum->value - 1] = (char *)k;

	return 0;
}

static void security_dump_masked_av(struct context *scontext,
				    struct context *tcontext,
				    u16 tclass,
				    u32 permissions,
				    const char *reason)
{
	struct common_datum *common_dat;
	struct class_datum *tclass_dat;
	struct audit_buffer *ab;
	char *tclass_name;
	char *scontext_name = NULL;
	char *tcontext_name = NULL;
	char *permission_names[32];
	int index, length;
	bool need_comma = false;

	if (!permissions)
		return;

	tclass_name = policydb.p_class_val_to_name[tclass - 1];
	tclass_dat = policydb.class_val_to_struct[tclass - 1];
	common_dat = tclass_dat->comdatum;

	/* init permission_names */
	if (common_dat &&
	    hashtab_map(common_dat->permissions.table,
			dump_masked_av_helper, permission_names) < 0)
		goto out;

	if (hashtab_map(tclass_dat->permissions.table,
			dump_masked_av_helper, permission_names) < 0)
		goto out;

	/* get scontext/tcontext in text form */
	if (context_struct_to_string(scontext,
				     &scontext_name, &length) < 0)
		goto out;

	if (context_struct_to_string(tcontext,
				     &tcontext_name, &length) < 0)
		goto out;

	/* audit a message */
	ab = audit_log_start(current->audit_context,
			     GFP_ATOMIC, AUDIT_SELINUX_ERR);
	if (!ab)
		goto out;

	audit_log_format(ab, "op=security_compute_av reason=%s "
			 "scontext=%s tcontext=%s tclass=%s perms=",
			 reason, scontext_name, tcontext_name, tclass_name);

	for (index = 0; index < 32; index++) {
		u32 mask = (1 << index);

		if ((mask & permissions) == 0)
			continue;

		audit_log_format(ab, "%s%s",
				 need_comma ? "," : "",
				 permission_names[index]
				 ? permission_names[index] : "????");
		need_comma = true;
	}
	audit_log_end(ab);
out:
	/* release scontext/tcontext */
	kfree(tcontext_name);
	kfree(scontext_name);

	return;
}

528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599
/*
 * security_boundary_permission - drops violated permissions
 * on boundary constraint.
 */
static void type_attribute_bounds_av(struct context *scontext,
				     struct context *tcontext,
				     u16 tclass,
				     u32 requested,
				     struct av_decision *avd)
{
	struct context lo_scontext;
	struct context lo_tcontext;
	struct av_decision lo_avd;
	struct type_datum *source
		= policydb.type_val_to_struct[scontext->type - 1];
	struct type_datum *target
		= policydb.type_val_to_struct[tcontext->type - 1];
	u32 masked = 0;

	if (source->bounds) {
		memset(&lo_avd, 0, sizeof(lo_avd));

		memcpy(&lo_scontext, scontext, sizeof(lo_scontext));
		lo_scontext.type = source->bounds;

		context_struct_compute_av(&lo_scontext,
					  tcontext,
					  tclass,
					  requested,
					  &lo_avd);
		if ((lo_avd.allowed & avd->allowed) == avd->allowed)
			return;		/* no masked permission */
		masked = ~lo_avd.allowed & avd->allowed;
	}

	if (target->bounds) {
		memset(&lo_avd, 0, sizeof(lo_avd));

		memcpy(&lo_tcontext, tcontext, sizeof(lo_tcontext));
		lo_tcontext.type = target->bounds;

		context_struct_compute_av(scontext,
					  &lo_tcontext,
					  tclass,
					  requested,
					  &lo_avd);
		if ((lo_avd.allowed & avd->allowed) == avd->allowed)
			return;		/* no masked permission */
		masked = ~lo_avd.allowed & avd->allowed;
	}

	if (source->bounds && target->bounds) {
		memset(&lo_avd, 0, sizeof(lo_avd));
		/*
		 * lo_scontext and lo_tcontext are already
		 * set up.
		 */

		context_struct_compute_av(&lo_scontext,
					  &lo_tcontext,
					  tclass,
					  requested,
					  &lo_avd);
		if ((lo_avd.allowed & avd->allowed) == avd->allowed)
			return;		/* no masked permission */
		masked = ~lo_avd.allowed & avd->allowed;
	}

	if (masked) {
		/* mask violated permissions */
		avd->allowed &= ~masked;

600 601 602
		/* audit masked permissions */
		security_dump_masked_av(scontext, tcontext,
					tclass, masked, "bounds");
603 604 605
	}
}

L
Linus Torvalds 已提交
606 607 608 609 610 611 612 613 614 615 616 617 618
/*
 * Compute access vectors based on a context structure pair for
 * the permissions in a particular class.
 */
static int context_struct_compute_av(struct context *scontext,
				     struct context *tcontext,
				     u16 tclass,
				     u32 requested,
				     struct av_decision *avd)
{
	struct constraint_node *constraint;
	struct role_allow *ra;
	struct avtab_key avkey;
619
	struct avtab_node *node;
L
Linus Torvalds 已提交
620
	struct class_datum *tclass_datum;
621 622 623
	struct ebitmap *sattr, *tattr;
	struct ebitmap_node *snode, *tnode;
	unsigned int i, j;
L
Linus Torvalds 已提交
624 625 626 627 628 629 630 631

	/*
	 * Initialize the access vectors to the default values.
	 */
	avd->allowed = 0;
	avd->auditallow = 0;
	avd->auditdeny = 0xffffffff;
	avd->seqno = latest_granting;
632
	avd->flags = 0;
L
Linus Torvalds 已提交
633

634 635 636 637 638
	if (unlikely(!tclass || tclass > policydb.p_classes.nprim)) {
		if (printk_ratelimit())
			printk(KERN_WARNING "SELinux:  Invalid class %hu\n", tclass);
		return -EINVAL;
	}
639 640 641

	tclass_datum = policydb.class_val_to_struct[tclass - 1];

L
Linus Torvalds 已提交
642 643 644 645 646
	/*
	 * If a specific type enforcement rule was defined for
	 * this permission check, then use it.
	 */
	avkey.target_class = tclass;
647 648 649
	avkey.specified = AVTAB_AV;
	sattr = &policydb.type_attr_map[scontext->type - 1];
	tattr = &policydb.type_attr_map[tcontext->type - 1];
650 651
	ebitmap_for_each_positive_bit(sattr, snode, i) {
		ebitmap_for_each_positive_bit(tattr, tnode, j) {
652 653 654
			avkey.source_type = i + 1;
			avkey.target_type = j + 1;
			for (node = avtab_search_node(&policydb.te_avtab, &avkey);
655
			     node;
656 657 658 659 660 661 662 663
			     node = avtab_search_node_next(node, avkey.specified)) {
				if (node->key.specified == AVTAB_ALLOWED)
					avd->allowed |= node->datum.data;
				else if (node->key.specified == AVTAB_AUDITALLOW)
					avd->auditallow |= node->datum.data;
				else if (node->key.specified == AVTAB_AUDITDENY)
					avd->auditdeny &= node->datum.data;
			}
L
Linus Torvalds 已提交
664

665 666 667 668 669
			/* Check conditional av table for additional permissions */
			cond_compute_av(&policydb.te_cond_avtab, &avkey, avd);

		}
	}
L
Linus Torvalds 已提交
670 671 672 673 674 675 676 677 678 679

	/*
	 * Remove any permissions prohibited by a constraint (this includes
	 * the MLS policy).
	 */
	constraint = tclass_datum->constraints;
	while (constraint) {
		if ((constraint->permissions & (avd->allowed)) &&
		    !constraint_expr_eval(scontext, tcontext, NULL,
					  constraint->expr)) {
K
KaiGai Kohei 已提交
680
			avd->allowed &= ~(constraint->permissions);
L
Linus Torvalds 已提交
681 682 683 684 685 686 687 688 689
		}
		constraint = constraint->next;
	}

	/*
	 * If checking process transition permission and the
	 * role is changing, then check the (current_role, new_role)
	 * pair.
	 */
690 691
	if (tclass == policydb.process_class &&
	    (avd->allowed & policydb.process_trans_perms) &&
L
Linus Torvalds 已提交
692 693 694 695 696 697 698
	    scontext->role != tcontext->role) {
		for (ra = policydb.role_allow; ra; ra = ra->next) {
			if (scontext->role == ra->role &&
			    tcontext->role == ra->new_role)
				break;
		}
		if (!ra)
699
			avd->allowed &= ~policydb.process_trans_perms;
L
Linus Torvalds 已提交
700 701
	}

702 703 704 705 706 707 708 709
	/*
	 * If the given source and target types have boundary
	 * constraint, lazy checks have to mask any violated
	 * permission and notice it to userspace via audit.
	 */
	type_attribute_bounds_av(scontext, tcontext,
				 tclass, requested, avd);

L
Linus Torvalds 已提交
710 711 712 713
	return 0;
}

static int security_validtrans_handle_fail(struct context *ocontext,
714 715 716
					   struct context *ncontext,
					   struct context *tcontext,
					   u16 tclass)
L
Linus Torvalds 已提交
717 718 719 720 721 722 723 724 725 726
{
	char *o = NULL, *n = NULL, *t = NULL;
	u32 olen, nlen, tlen;

	if (context_struct_to_string(ocontext, &o, &olen) < 0)
		goto out;
	if (context_struct_to_string(ncontext, &n, &nlen) < 0)
		goto out;
	if (context_struct_to_string(tcontext, &t, &tlen) < 0)
		goto out;
727
	audit_log(current->audit_context, GFP_ATOMIC, AUDIT_SELINUX_ERR,
728 729 730
		  "security_validate_transition:  denied for"
		  " oldcontext=%s newcontext=%s taskcontext=%s tclass=%s",
		  o, n, t, policydb.p_class_val_to_name[tclass-1]);
L
Linus Torvalds 已提交
731 732 733 734 735 736 737 738 739 740 741
out:
	kfree(o);
	kfree(n);
	kfree(t);

	if (!selinux_enforcing)
		return 0;
	return -EPERM;
}

int security_validate_transition(u32 oldsid, u32 newsid, u32 tasksid,
742
				 u16 orig_tclass)
L
Linus Torvalds 已提交
743 744 745 746 747 748
{
	struct context *ocontext;
	struct context *ncontext;
	struct context *tcontext;
	struct class_datum *tclass_datum;
	struct constraint_node *constraint;
749
	u16 tclass;
L
Linus Torvalds 已提交
750 751 752 753 754
	int rc = 0;

	if (!ss_initialized)
		return 0;

J
James Morris 已提交
755
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
756

757 758
	tclass = unmap_class(orig_tclass);

L
Linus Torvalds 已提交
759
	if (!tclass || tclass > policydb.p_classes.nprim) {
E
Eric Paris 已提交
760 761
		printk(KERN_ERR "SELinux: %s:  unrecognized class %d\n",
			__func__, tclass);
L
Linus Torvalds 已提交
762 763 764 765 766 767 768
		rc = -EINVAL;
		goto out;
	}
	tclass_datum = policydb.class_val_to_struct[tclass - 1];

	ocontext = sidtab_search(&sidtab, oldsid);
	if (!ocontext) {
E
Eric Paris 已提交
769 770
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
			__func__, oldsid);
L
Linus Torvalds 已提交
771 772 773 774 775 776
		rc = -EINVAL;
		goto out;
	}

	ncontext = sidtab_search(&sidtab, newsid);
	if (!ncontext) {
E
Eric Paris 已提交
777 778
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
			__func__, newsid);
L
Linus Torvalds 已提交
779 780 781 782 783 784
		rc = -EINVAL;
		goto out;
	}

	tcontext = sidtab_search(&sidtab, tasksid);
	if (!tcontext) {
E
Eric Paris 已提交
785 786
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
			__func__, tasksid);
L
Linus Torvalds 已提交
787 788 789 790 791 792 793
		rc = -EINVAL;
		goto out;
	}

	constraint = tclass_datum->validatetrans;
	while (constraint) {
		if (!constraint_expr_eval(ocontext, ncontext, tcontext,
794
					  constraint->expr)) {
L
Linus Torvalds 已提交
795
			rc = security_validtrans_handle_fail(ocontext, ncontext,
796
							     tcontext, tclass);
L
Linus Torvalds 已提交
797 798 799 800 801 802
			goto out;
		}
		constraint = constraint->next;
	}

out:
J
James Morris 已提交
803
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
804 805 806
	return rc;
}

807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862
/*
 * security_bounded_transition - check whether the given
 * transition is directed to bounded, or not.
 * It returns 0, if @newsid is bounded by @oldsid.
 * Otherwise, it returns error code.
 *
 * @oldsid : current security identifier
 * @newsid : destinated security identifier
 */
int security_bounded_transition(u32 old_sid, u32 new_sid)
{
	struct context *old_context, *new_context;
	struct type_datum *type;
	int index;
	int rc = -EINVAL;

	read_lock(&policy_rwlock);

	old_context = sidtab_search(&sidtab, old_sid);
	if (!old_context) {
		printk(KERN_ERR "SELinux: %s: unrecognized SID %u\n",
		       __func__, old_sid);
		goto out;
	}

	new_context = sidtab_search(&sidtab, new_sid);
	if (!new_context) {
		printk(KERN_ERR "SELinux: %s: unrecognized SID %u\n",
		       __func__, new_sid);
		goto out;
	}

	/* type/domain unchaned */
	if (old_context->type == new_context->type) {
		rc = 0;
		goto out;
	}

	index = new_context->type;
	while (true) {
		type = policydb.type_val_to_struct[index - 1];
		BUG_ON(!type);

		/* not bounded anymore */
		if (!type->bounds) {
			rc = -EPERM;
			break;
		}

		/* @newsid is bounded by @oldsid */
		if (type->bounds == old_context->type) {
			rc = 0;
			break;
		}
		index = type->bounds;
	}
863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882

	if (rc) {
		char *old_name = NULL;
		char *new_name = NULL;
		int length;

		if (!context_struct_to_string(old_context,
					      &old_name, &length) &&
		    !context_struct_to_string(new_context,
					      &new_name, &length)) {
			audit_log(current->audit_context,
				  GFP_ATOMIC, AUDIT_SELINUX_ERR,
				  "op=security_bounded_transition "
				  "result=denied "
				  "oldcontext=%s newcontext=%s",
				  old_name, new_name);
		}
		kfree(new_name);
		kfree(old_name);
	}
883 884 885 886 887 888 889
out:
	read_unlock(&policy_rwlock);

	return rc;
}


890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921
static int security_compute_av_core(u32 ssid,
				    u32 tsid,
				    u16 tclass,
				    u32 requested,
				    struct av_decision *avd)
{
	struct context *scontext = NULL, *tcontext = NULL;
	int rc = 0;

	scontext = sidtab_search(&sidtab, ssid);
	if (!scontext) {
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
		       __func__, ssid);
		return -EINVAL;
	}
	tcontext = sidtab_search(&sidtab, tsid);
	if (!tcontext) {
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
		       __func__, tsid);
		return -EINVAL;
	}

	rc = context_struct_compute_av(scontext, tcontext, tclass,
				       requested, avd);

	/* permissive domain? */
	if (ebitmap_get_bit(&policydb.permissive_map, scontext->type))
		avd->flags |= AVD_FLAGS_PERMISSIVE;

	return rc;
}

L
Linus Torvalds 已提交
922 923 924 925 926 927 928 929 930 931 932 933 934 935 936
/**
 * security_compute_av - Compute access vector decisions.
 * @ssid: source security identifier
 * @tsid: target security identifier
 * @tclass: target security class
 * @requested: requested permissions
 * @avd: access vector decisions
 *
 * Compute a set of access vector decisions based on the
 * SID pair (@ssid, @tsid) for the permissions in @tclass.
 * Return -%EINVAL if any of the parameters are invalid or %0
 * if the access vector decisions were computed successfully.
 */
int security_compute_av(u32 ssid,
			u32 tsid,
937 938
			u16 orig_tclass,
			u32 orig_requested,
L
Linus Torvalds 已提交
939 940
			struct av_decision *avd)
{
941 942 943 944
	u16 tclass;
	u32 requested;
	int rc;

945 946
	read_lock(&policy_rwlock);

947 948 949 950 951 952 953 954
	if (!ss_initialized)
		goto allow;

	requested = unmap_perm(orig_tclass, orig_requested);
	tclass = unmap_class(orig_tclass);
	if (unlikely(orig_tclass && !tclass)) {
		if (policydb.allow_unknown)
			goto allow;
955 956
		rc = -EINVAL;
		goto out;
957 958 959
	}
	rc = security_compute_av_core(ssid, tsid, tclass, requested, avd);
	map_decision(orig_tclass, avd, policydb.allow_unknown);
960
out:
961 962 963 964 965 966 967 968
	read_unlock(&policy_rwlock);
	return rc;
allow:
	avd->allowed = 0xffffffff;
	avd->auditallow = 0;
	avd->auditdeny = 0xffffffff;
	avd->seqno = latest_granting;
	avd->flags = 0;
969 970
	rc = 0;
	goto out;
971 972 973 974 975 976 977 978 979
}

int security_compute_av_user(u32 ssid,
			     u32 tsid,
			     u16 tclass,
			     u32 requested,
			     struct av_decision *avd)
{
	int rc;
L
Linus Torvalds 已提交
980 981

	if (!ss_initialized) {
982
		avd->allowed = 0xffffffff;
L
Linus Torvalds 已提交
983 984 985 986 987 988
		avd->auditallow = 0;
		avd->auditdeny = 0xffffffff;
		avd->seqno = latest_granting;
		return 0;
	}

J
James Morris 已提交
989
	read_lock(&policy_rwlock);
990
	rc = security_compute_av_core(ssid, tsid, tclass, requested, avd);
J
James Morris 已提交
991
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008
	return rc;
}

/*
 * Write the security context string representation of
 * the context structure `context' into a dynamically
 * allocated string of the correct size.  Set `*scontext'
 * to point to this string and set `*scontext_len' to
 * the length of the string.
 */
static int context_struct_to_string(struct context *context, char **scontext, u32 *scontext_len)
{
	char *scontextp;

	*scontext = NULL;
	*scontext_len = 0;

1009 1010 1011 1012 1013 1014 1015 1016
	if (context->len) {
		*scontext_len = context->len;
		*scontext = kstrdup(context->str, GFP_ATOMIC);
		if (!(*scontext))
			return -ENOMEM;
		return 0;
	}

L
Linus Torvalds 已提交
1017 1018 1019 1020 1021 1022 1023 1024
	/* Compute the size of the context. */
	*scontext_len += strlen(policydb.p_user_val_to_name[context->user - 1]) + 1;
	*scontext_len += strlen(policydb.p_role_val_to_name[context->role - 1]) + 1;
	*scontext_len += strlen(policydb.p_type_val_to_name[context->type - 1]) + 1;
	*scontext_len += mls_compute_context_len(context);

	/* Allocate space for the context; caller must free this space. */
	scontextp = kmalloc(*scontext_len, GFP_ATOMIC);
1025
	if (!scontextp)
L
Linus Torvalds 已提交
1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036
		return -ENOMEM;
	*scontext = scontextp;

	/*
	 * Copy the user name, role name and type name into the context.
	 */
	sprintf(scontextp, "%s:%s:%s",
		policydb.p_user_val_to_name[context->user - 1],
		policydb.p_role_val_to_name[context->role - 1],
		policydb.p_type_val_to_name[context->type - 1]);
	scontextp += strlen(policydb.p_user_val_to_name[context->user - 1]) +
1037 1038
		     1 + strlen(policydb.p_role_val_to_name[context->role - 1]) +
		     1 + strlen(policydb.p_type_val_to_name[context->type - 1]);
L
Linus Torvalds 已提交
1039 1040 1041 1042 1043 1044 1045 1046 1047 1048

	mls_sid_to_context(context, &scontextp);

	*scontextp = 0;

	return 0;
}

#include "initial_sid_to_string.h"

1049 1050 1051 1052 1053 1054 1055
const char *security_get_initial_sid_context(u32 sid)
{
	if (unlikely(sid > SECINITSID_NUM))
		return NULL;
	return initial_sid_to_string[sid];
}

1056 1057
static int security_sid_to_context_core(u32 sid, char **scontext,
					u32 *scontext_len, int force)
L
Linus Torvalds 已提交
1058 1059 1060 1061
{
	struct context *context;
	int rc = 0;

1062 1063 1064
	*scontext = NULL;
	*scontext_len  = 0;

L
Linus Torvalds 已提交
1065 1066 1067 1068 1069
	if (!ss_initialized) {
		if (sid <= SECINITSID_NUM) {
			char *scontextp;

			*scontext_len = strlen(initial_sid_to_string[sid]) + 1;
1070
			scontextp = kmalloc(*scontext_len, GFP_ATOMIC);
1071 1072 1073 1074
			if (!scontextp) {
				rc = -ENOMEM;
				goto out;
			}
L
Linus Torvalds 已提交
1075 1076 1077 1078
			strcpy(scontextp, initial_sid_to_string[sid]);
			*scontext = scontextp;
			goto out;
		}
E
Eric Paris 已提交
1079 1080
		printk(KERN_ERR "SELinux: %s:  called before initial "
		       "load_policy on unknown SID %d\n", __func__, sid);
L
Linus Torvalds 已提交
1081 1082 1083
		rc = -EINVAL;
		goto out;
	}
J
James Morris 已提交
1084
	read_lock(&policy_rwlock);
1085 1086 1087 1088
	if (force)
		context = sidtab_search_force(&sidtab, sid);
	else
		context = sidtab_search(&sidtab, sid);
L
Linus Torvalds 已提交
1089
	if (!context) {
E
Eric Paris 已提交
1090 1091
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
			__func__, sid);
L
Linus Torvalds 已提交
1092 1093 1094 1095 1096
		rc = -EINVAL;
		goto out_unlock;
	}
	rc = context_struct_to_string(context, scontext, scontext_len);
out_unlock:
J
James Morris 已提交
1097
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
1098 1099 1100 1101 1102
out:
	return rc;

}

1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113
/**
 * security_sid_to_context - Obtain a context for a given SID.
 * @sid: security identifier, SID
 * @scontext: security context
 * @scontext_len: length in bytes
 *
 * Write the string representation of the context associated with @sid
 * into a dynamically allocated string of the correct size.  Set @scontext
 * to point to this string and set @scontext_len to the length of the string.
 */
int security_sid_to_context(u32 sid, char **scontext, u32 *scontext_len)
L
Linus Torvalds 已提交
1114
{
1115 1116 1117 1118 1119 1120 1121 1122
	return security_sid_to_context_core(sid, scontext, scontext_len, 0);
}

int security_sid_to_context_force(u32 sid, char **scontext, u32 *scontext_len)
{
	return security_sid_to_context_core(sid, scontext, scontext_len, 1);
}

1123 1124 1125
/*
 * Caveat:  Mutates scontext.
 */
1126 1127
static int string_to_context_struct(struct policydb *pol,
				    struct sidtab *sidtabp,
1128
				    char *scontext,
1129 1130
				    u32 scontext_len,
				    struct context *ctx,
1131
				    u32 def_sid)
1132
{
L
Linus Torvalds 已提交
1133 1134 1135 1136 1137 1138
	struct role_datum *role;
	struct type_datum *typdatum;
	struct user_datum *usrdatum;
	char *scontextp, *p, oldc;
	int rc = 0;

1139
	context_init(ctx);
L
Linus Torvalds 已提交
1140 1141 1142 1143

	/* Parse the security context. */

	rc = -EINVAL;
1144
	scontextp = (char *) scontext;
L
Linus Torvalds 已提交
1145 1146 1147 1148 1149 1150 1151

	/* Extract the user. */
	p = scontextp;
	while (*p && *p != ':')
		p++;

	if (*p == 0)
1152
		goto out;
L
Linus Torvalds 已提交
1153 1154 1155

	*p++ = 0;

1156
	usrdatum = hashtab_search(pol->p_users.table, scontextp);
L
Linus Torvalds 已提交
1157
	if (!usrdatum)
1158
		goto out;
L
Linus Torvalds 已提交
1159

1160
	ctx->user = usrdatum->value;
L
Linus Torvalds 已提交
1161 1162 1163 1164 1165 1166 1167

	/* Extract role. */
	scontextp = p;
	while (*p && *p != ':')
		p++;

	if (*p == 0)
1168
		goto out;
L
Linus Torvalds 已提交
1169 1170 1171

	*p++ = 0;

1172
	role = hashtab_search(pol->p_roles.table, scontextp);
L
Linus Torvalds 已提交
1173
	if (!role)
1174 1175
		goto out;
	ctx->role = role->value;
L
Linus Torvalds 已提交
1176 1177 1178 1179 1180 1181 1182 1183

	/* Extract type. */
	scontextp = p;
	while (*p && *p != ':')
		p++;
	oldc = *p;
	*p++ = 0;

1184
	typdatum = hashtab_search(pol->p_types.table, scontextp);
1185
	if (!typdatum || typdatum->attribute)
1186
		goto out;
L
Linus Torvalds 已提交
1187

1188
	ctx->type = typdatum->value;
L
Linus Torvalds 已提交
1189

1190
	rc = mls_context_to_sid(pol, oldc, &p, ctx, sidtabp, def_sid);
L
Linus Torvalds 已提交
1191
	if (rc)
1192
		goto out;
L
Linus Torvalds 已提交
1193

1194
	if ((p - scontext) < scontext_len) {
L
Linus Torvalds 已提交
1195
		rc = -EINVAL;
1196
		goto out;
L
Linus Torvalds 已提交
1197 1198 1199
	}

	/* Check the validity of the new context. */
1200
	if (!policydb_context_isvalid(pol, ctx)) {
L
Linus Torvalds 已提交
1201
		rc = -EINVAL;
1202
		goto out;
L
Linus Torvalds 已提交
1203
	}
1204 1205
	rc = 0;
out:
1206 1207
	if (rc)
		context_destroy(ctx);
1208 1209 1210 1211 1212 1213 1214
	return rc;
}

static int security_context_to_sid_core(const char *scontext, u32 scontext_len,
					u32 *sid, u32 def_sid, gfp_t gfp_flags,
					int force)
{
1215
	char *scontext2, *str = NULL;
1216 1217 1218 1219 1220 1221 1222 1223 1224
	struct context context;
	int rc = 0;

	if (!ss_initialized) {
		int i;

		for (i = 1; i < SECINITSID_NUM; i++) {
			if (!strcmp(initial_sid_to_string[i], scontext)) {
				*sid = i;
1225
				return 0;
1226 1227 1228
			}
		}
		*sid = SECINITSID_KERNEL;
1229
		return 0;
1230 1231 1232
	}
	*sid = SECSID_NULL;

1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248
	/* Copy the string so that we can modify the copy as we parse it. */
	scontext2 = kmalloc(scontext_len+1, gfp_flags);
	if (!scontext2)
		return -ENOMEM;
	memcpy(scontext2, scontext, scontext_len);
	scontext2[scontext_len] = 0;

	if (force) {
		/* Save another copy for storing in uninterpreted form */
		str = kstrdup(scontext2, gfp_flags);
		if (!str) {
			kfree(scontext2);
			return -ENOMEM;
		}
	}

J
James Morris 已提交
1249
	read_lock(&policy_rwlock);
1250
	rc = string_to_context_struct(&policydb, &sidtab,
1251 1252
				      scontext2, scontext_len,
				      &context, def_sid);
1253
	if (rc == -EINVAL && force) {
1254
		context.str = str;
1255
		context.len = scontext_len;
1256
		str = NULL;
1257 1258 1259
	} else if (rc)
		goto out;
	rc = sidtab_context_to_sid(&sidtab, &context, sid);
1260
	context_destroy(&context);
L
Linus Torvalds 已提交
1261
out:
J
James Morris 已提交
1262
	read_unlock(&policy_rwlock);
1263 1264
	kfree(scontext2);
	kfree(str);
L
Linus Torvalds 已提交
1265 1266 1267
	return rc;
}

1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278
/**
 * security_context_to_sid - Obtain a SID for a given security context.
 * @scontext: security context
 * @scontext_len: length in bytes
 * @sid: security identifier, SID
 *
 * Obtains a SID associated with the security context that
 * has the string representation specified by @scontext.
 * Returns -%EINVAL if the context is invalid, -%ENOMEM if insufficient
 * memory is available, or 0 on success.
 */
1279
int security_context_to_sid(const char *scontext, u32 scontext_len, u32 *sid)
1280 1281
{
	return security_context_to_sid_core(scontext, scontext_len,
1282
					    sid, SECSID_NULL, GFP_KERNEL, 0);
1283 1284 1285 1286 1287 1288 1289 1290 1291
}

/**
 * security_context_to_sid_default - Obtain a SID for a given security context,
 * falling back to specified default if needed.
 *
 * @scontext: security context
 * @scontext_len: length in bytes
 * @sid: security identifier, SID
G
Gabriel Craciunescu 已提交
1292
 * @def_sid: default SID to assign on error
1293 1294 1295 1296 1297 1298
 *
 * Obtains a SID associated with the security context that
 * has the string representation specified by @scontext.
 * The default SID is passed to the MLS layer to be used to allow
 * kernel labeling of the MLS field if the MLS field is not present
 * (for upgrading to MLS without full relabel).
1299
 * Implicitly forces adding of the context even if it cannot be mapped yet.
1300 1301 1302
 * Returns -%EINVAL if the context is invalid, -%ENOMEM if insufficient
 * memory is available, or 0 on success.
 */
1303 1304
int security_context_to_sid_default(const char *scontext, u32 scontext_len,
				    u32 *sid, u32 def_sid, gfp_t gfp_flags)
1305 1306
{
	return security_context_to_sid_core(scontext, scontext_len,
1307 1308 1309 1310 1311 1312 1313 1314
					    sid, def_sid, gfp_flags, 1);
}

int security_context_to_sid_force(const char *scontext, u32 scontext_len,
				  u32 *sid)
{
	return security_context_to_sid_core(scontext, scontext_len,
					    sid, SECSID_NULL, GFP_KERNEL, 1);
1315 1316
}

L
Linus Torvalds 已提交
1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331
static int compute_sid_handle_invalid_context(
	struct context *scontext,
	struct context *tcontext,
	u16 tclass,
	struct context *newcontext)
{
	char *s = NULL, *t = NULL, *n = NULL;
	u32 slen, tlen, nlen;

	if (context_struct_to_string(scontext, &s, &slen) < 0)
		goto out;
	if (context_struct_to_string(tcontext, &t, &tlen) < 0)
		goto out;
	if (context_struct_to_string(newcontext, &n, &nlen) < 0)
		goto out;
1332
	audit_log(current->audit_context, GFP_ATOMIC, AUDIT_SELINUX_ERR,
L
Linus Torvalds 已提交
1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348
		  "security_compute_sid:  invalid context %s"
		  " for scontext=%s"
		  " tcontext=%s"
		  " tclass=%s",
		  n, s, t, policydb.p_class_val_to_name[tclass-1]);
out:
	kfree(s);
	kfree(t);
	kfree(n);
	if (!selinux_enforcing)
		return 0;
	return -EACCES;
}

static int security_compute_sid(u32 ssid,
				u32 tsid,
1349
				u16 orig_tclass,
L
Linus Torvalds 已提交
1350
				u32 specified,
1351 1352
				u32 *out_sid,
				bool kern)
L
Linus Torvalds 已提交
1353 1354 1355 1356 1357 1358
{
	struct context *scontext = NULL, *tcontext = NULL, newcontext;
	struct role_trans *roletr = NULL;
	struct avtab_key avkey;
	struct avtab_datum *avdatum;
	struct avtab_node *node;
1359
	u16 tclass;
L
Linus Torvalds 已提交
1360 1361 1362
	int rc = 0;

	if (!ss_initialized) {
1363 1364
		switch (orig_tclass) {
		case SECCLASS_PROCESS: /* kernel value */
L
Linus Torvalds 已提交
1365 1366 1367 1368 1369 1370 1371 1372 1373
			*out_sid = ssid;
			break;
		default:
			*out_sid = tsid;
			break;
		}
		goto out;
	}

1374 1375
	context_init(&newcontext);

J
James Morris 已提交
1376
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
1377

1378 1379 1380 1381 1382
	if (kern)
		tclass = unmap_class(orig_tclass);
	else
		tclass = orig_tclass;

L
Linus Torvalds 已提交
1383 1384
	scontext = sidtab_search(&sidtab, ssid);
	if (!scontext) {
E
Eric Paris 已提交
1385 1386
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
		       __func__, ssid);
L
Linus Torvalds 已提交
1387 1388 1389 1390 1391
		rc = -EINVAL;
		goto out_unlock;
	}
	tcontext = sidtab_search(&sidtab, tsid);
	if (!tcontext) {
E
Eric Paris 已提交
1392 1393
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
		       __func__, tsid);
L
Linus Torvalds 已提交
1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411
		rc = -EINVAL;
		goto out_unlock;
	}

	/* Set the user identity. */
	switch (specified) {
	case AVTAB_TRANSITION:
	case AVTAB_CHANGE:
		/* Use the process user identity. */
		newcontext.user = scontext->user;
		break;
	case AVTAB_MEMBER:
		/* Use the related object owner. */
		newcontext.user = tcontext->user;
		break;
	}

	/* Set the role and type to default values. */
1412
	if (tclass == policydb.process_class) {
L
Linus Torvalds 已提交
1413 1414 1415
		/* Use the current role and type of process. */
		newcontext.role = scontext->role;
		newcontext.type = scontext->type;
1416
	} else {
L
Linus Torvalds 已提交
1417 1418 1419 1420 1421 1422 1423 1424 1425 1426
		/* Use the well-defined object role. */
		newcontext.role = OBJECT_R_VAL;
		/* Use the type of the related object. */
		newcontext.type = tcontext->type;
	}

	/* Look for a type transition/member/change rule. */
	avkey.source_type = scontext->type;
	avkey.target_type = tcontext->type;
	avkey.target_class = tclass;
1427 1428
	avkey.specified = specified;
	avdatum = avtab_search(&policydb.te_avtab, &avkey);
L
Linus Torvalds 已提交
1429 1430

	/* If no permanent rule, also check for enabled conditional rules */
1431
	if (!avdatum) {
1432
		node = avtab_search_node(&policydb.te_cond_avtab, &avkey);
1433
		for (; node; node = avtab_search_node_next(node, specified)) {
1434
			if (node->key.specified & AVTAB_ENABLED) {
L
Linus Torvalds 已提交
1435 1436 1437 1438 1439 1440
				avdatum = &node->datum;
				break;
			}
		}
	}

1441
	if (avdatum) {
L
Linus Torvalds 已提交
1442
		/* Use the type from the type transition/member/change rule. */
1443
		newcontext.type = avdatum->data;
L
Linus Torvalds 已提交
1444 1445 1446
	}

	/* Check for class-specific changes. */
1447
	if  (tclass == policydb.process_class) {
L
Linus Torvalds 已提交
1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479
		if (specified & AVTAB_TRANSITION) {
			/* Look for a role transition rule. */
			for (roletr = policydb.role_tr; roletr;
			     roletr = roletr->next) {
				if (roletr->role == scontext->role &&
				    roletr->type == tcontext->type) {
					/* Use the role transition rule. */
					newcontext.role = roletr->new_role;
					break;
				}
			}
		}
	}

	/* Set the MLS attributes.
	   This is done last because it may allocate memory. */
	rc = mls_compute_sid(scontext, tcontext, tclass, specified, &newcontext);
	if (rc)
		goto out_unlock;

	/* Check the validity of the context. */
	if (!policydb_context_isvalid(&policydb, &newcontext)) {
		rc = compute_sid_handle_invalid_context(scontext,
							tcontext,
							tclass,
							&newcontext);
		if (rc)
			goto out_unlock;
	}
	/* Obtain the sid for the context. */
	rc = sidtab_context_to_sid(&sidtab, &newcontext, out_sid);
out_unlock:
J
James Morris 已提交
1480
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503
	context_destroy(&newcontext);
out:
	return rc;
}

/**
 * security_transition_sid - Compute the SID for a new subject/object.
 * @ssid: source security identifier
 * @tsid: target security identifier
 * @tclass: target security class
 * @out_sid: security identifier for new subject/object
 *
 * Compute a SID to use for labeling a new subject or object in the
 * class @tclass based on a SID pair (@ssid, @tsid).
 * Return -%EINVAL if any of the parameters are invalid, -%ENOMEM
 * if insufficient memory is available, or %0 if the new SID was
 * computed successfully.
 */
int security_transition_sid(u32 ssid,
			    u32 tsid,
			    u16 tclass,
			    u32 *out_sid)
{
1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514
	return security_compute_sid(ssid, tsid, tclass, AVTAB_TRANSITION,
				    out_sid, true);
}

int security_transition_sid_user(u32 ssid,
				 u32 tsid,
				 u16 tclass,
				 u32 *out_sid)
{
	return security_compute_sid(ssid, tsid, tclass, AVTAB_TRANSITION,
				    out_sid, false);
L
Linus Torvalds 已提交
1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534
}

/**
 * security_member_sid - Compute the SID for member selection.
 * @ssid: source security identifier
 * @tsid: target security identifier
 * @tclass: target security class
 * @out_sid: security identifier for selected member
 *
 * Compute a SID to use when selecting a member of a polyinstantiated
 * object of class @tclass based on a SID pair (@ssid, @tsid).
 * Return -%EINVAL if any of the parameters are invalid, -%ENOMEM
 * if insufficient memory is available, or %0 if the SID was
 * computed successfully.
 */
int security_member_sid(u32 ssid,
			u32 tsid,
			u16 tclass,
			u32 *out_sid)
{
1535 1536
	return security_compute_sid(ssid, tsid, tclass, AVTAB_MEMBER, out_sid,
				    false);
L
Linus Torvalds 已提交
1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556
}

/**
 * security_change_sid - Compute the SID for object relabeling.
 * @ssid: source security identifier
 * @tsid: target security identifier
 * @tclass: target security class
 * @out_sid: security identifier for selected member
 *
 * Compute a SID to use for relabeling an object of class @tclass
 * based on a SID pair (@ssid, @tsid).
 * Return -%EINVAL if any of the parameters are invalid, -%ENOMEM
 * if insufficient memory is available, or %0 if the SID was
 * computed successfully.
 */
int security_change_sid(u32 ssid,
			u32 tsid,
			u16 tclass,
			u32 *out_sid)
{
1557 1558
	return security_compute_sid(ssid, tsid, tclass, AVTAB_CHANGE, out_sid,
				    false);
1559 1560
}

L
Linus Torvalds 已提交
1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580
/* Clone the SID into the new SID table. */
static int clone_sid(u32 sid,
		     struct context *context,
		     void *arg)
{
	struct sidtab *s = arg;

	return sidtab_insert(s, sid, context);
}

static inline int convert_context_handle_invalid_context(struct context *context)
{
	int rc = 0;

	if (selinux_enforcing) {
		rc = -EINVAL;
	} else {
		char *s;
		u32 len;

1581 1582 1583 1584 1585 1586
		if (!context_struct_to_string(context, &s, &len)) {
			printk(KERN_WARNING
		       "SELinux:  Context %s would be invalid if enforcing\n",
			       s);
			kfree(s);
		}
L
Linus Torvalds 已提交
1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617
	}
	return rc;
}

struct convert_context_args {
	struct policydb *oldp;
	struct policydb *newp;
};

/*
 * Convert the values in the security context
 * structure `c' from the values specified
 * in the policy `p->oldp' to the values specified
 * in the policy `p->newp'.  Verify that the
 * context is valid under the new policy.
 */
static int convert_context(u32 key,
			   struct context *c,
			   void *p)
{
	struct convert_context_args *args;
	struct context oldc;
	struct role_datum *role;
	struct type_datum *typdatum;
	struct user_datum *usrdatum;
	char *s;
	u32 len;
	int rc;

	args = p;

1618 1619
	if (c->str) {
		struct context ctx;
1620 1621 1622 1623 1624 1625 1626 1627
		s = kstrdup(c->str, GFP_KERNEL);
		if (!s) {
			rc = -ENOMEM;
			goto out;
		}
		rc = string_to_context_struct(args->newp, NULL, s,
					      c->len, &ctx, SECSID_NULL);
		kfree(s);
1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648
		if (!rc) {
			printk(KERN_INFO
		       "SELinux:  Context %s became valid (mapped).\n",
			       c->str);
			/* Replace string with mapped representation. */
			kfree(c->str);
			memcpy(c, &ctx, sizeof(*c));
			goto out;
		} else if (rc == -EINVAL) {
			/* Retain string representation for later mapping. */
			rc = 0;
			goto out;
		} else {
			/* Other error condition, e.g. ENOMEM. */
			printk(KERN_ERR
		       "SELinux:   Unable to map context %s, rc = %d.\n",
			       c->str, -rc);
			goto out;
		}
	}

L
Linus Torvalds 已提交
1649 1650 1651 1652 1653 1654 1655 1656
	rc = context_cpy(&oldc, c);
	if (rc)
		goto out;

	rc = -EINVAL;

	/* Convert the user. */
	usrdatum = hashtab_search(args->newp->p_users.table,
1657 1658
				  args->oldp->p_user_val_to_name[c->user - 1]);
	if (!usrdatum)
L
Linus Torvalds 已提交
1659 1660 1661 1662 1663
		goto bad;
	c->user = usrdatum->value;

	/* Convert the role. */
	role = hashtab_search(args->newp->p_roles.table,
1664 1665
			      args->oldp->p_role_val_to_name[c->role - 1]);
	if (!role)
L
Linus Torvalds 已提交
1666 1667 1668 1669 1670
		goto bad;
	c->role = role->value;

	/* Convert the type. */
	typdatum = hashtab_search(args->newp->p_types.table,
1671 1672
				  args->oldp->p_type_val_to_name[c->type - 1]);
	if (!typdatum)
L
Linus Torvalds 已提交
1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687
		goto bad;
	c->type = typdatum->value;

	rc = mls_convert_context(args->oldp, args->newp, c);
	if (rc)
		goto bad;

	/* Check the validity of the new context. */
	if (!policydb_context_isvalid(args->newp, c)) {
		rc = convert_context_handle_invalid_context(&oldc);
		if (rc)
			goto bad;
	}

	context_destroy(&oldc);
1688
	rc = 0;
L
Linus Torvalds 已提交
1689 1690 1691
out:
	return rc;
bad:
1692 1693 1694
	/* Map old representation to string and save it. */
	if (context_struct_to_string(&oldc, &s, &len))
		return -ENOMEM;
L
Linus Torvalds 已提交
1695
	context_destroy(&oldc);
1696 1697 1698 1699 1700 1701 1702
	context_destroy(c);
	c->str = s;
	c->len = len;
	printk(KERN_INFO
	       "SELinux:  Context %s became invalid (unmapped).\n",
	       c->str);
	rc = 0;
L
Linus Torvalds 已提交
1703 1704 1705
	goto out;
}

1706 1707 1708 1709
static void security_load_policycaps(void)
{
	selinux_policycap_netpeer = ebitmap_get_bit(&policydb.policycaps,
						  POLICYDB_CAPABILITY_NETPEER);
E
Eric Paris 已提交
1710 1711
	selinux_policycap_openperm = ebitmap_get_bit(&policydb.policycaps,
						  POLICYDB_CAPABILITY_OPENPERM);
1712 1713
}

L
Linus Torvalds 已提交
1714
extern void selinux_complete_init(void);
1715
static int security_preserve_bools(struct policydb *p);
L
Linus Torvalds 已提交
1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730

/**
 * security_load_policy - Load a security policy configuration.
 * @data: binary policy data
 * @len: length of data in bytes
 *
 * Load a new set of security policy configuration data,
 * validate it and convert the SID table as necessary.
 * This function will flush the access vector cache after
 * loading the new policy.
 */
int security_load_policy(void *data, size_t len)
{
	struct policydb oldpolicydb, newpolicydb;
	struct sidtab oldsidtab, newsidtab;
1731
	struct selinux_mapping *oldmap, *map = NULL;
L
Linus Torvalds 已提交
1732 1733
	struct convert_context_args args;
	u32 seqno;
1734
	u16 map_size;
L
Linus Torvalds 已提交
1735 1736 1737 1738 1739 1740 1741 1742 1743
	int rc = 0;
	struct policy_file file = { data, len }, *fp = &file;

	if (!ss_initialized) {
		avtab_cache_init();
		if (policydb_read(&policydb, fp)) {
			avtab_cache_destroy();
			return -EINVAL;
		}
1744 1745 1746
		if (selinux_set_mapping(&policydb, secclass_map,
					&current_mapping,
					&current_mapping_size)) {
L
Linus Torvalds 已提交
1747 1748 1749 1750
			policydb_destroy(&policydb);
			avtab_cache_destroy();
			return -EINVAL;
		}
1751
		if (policydb_load_isids(&policydb, &sidtab)) {
1752 1753 1754 1755
			policydb_destroy(&policydb);
			avtab_cache_destroy();
			return -EINVAL;
		}
1756
		security_load_policycaps();
L
Linus Torvalds 已提交
1757
		ss_initialized = 1;
1758
		seqno = ++latest_granting;
L
Linus Torvalds 已提交
1759
		selinux_complete_init();
1760 1761
		avc_ss_reset(seqno);
		selnl_notify_policyload(seqno);
V
Venkat Yekkirala 已提交
1762
		selinux_netlbl_cache_invalidate();
1763
		selinux_xfrm_notify_policyload();
L
Linus Torvalds 已提交
1764 1765 1766 1767 1768 1769 1770
		return 0;
	}

#if 0
	sidtab_hash_eval(&sidtab, "sids");
#endif

1771
	if (policydb_read(&newpolicydb, fp))
L
Linus Torvalds 已提交
1772 1773
		return -EINVAL;

1774 1775 1776 1777
	if (sidtab_init(&newsidtab)) {
		policydb_destroy(&newpolicydb);
		return -ENOMEM;
	}
L
Linus Torvalds 已提交
1778

1779 1780
	if (selinux_set_mapping(&newpolicydb, secclass_map,
				&map, &map_size))
1781 1782
		goto err;

1783 1784
	rc = security_preserve_bools(&newpolicydb);
	if (rc) {
J
James Morris 已提交
1785
		printk(KERN_ERR "SELinux:  unable to preserve booleans\n");
1786 1787 1788
		goto err;
	}

L
Linus Torvalds 已提交
1789 1790 1791 1792 1793 1794 1795
	/* Clone the SID table. */
	sidtab_shutdown(&sidtab);
	if (sidtab_map(&sidtab, clone_sid, &newsidtab)) {
		rc = -ENOMEM;
		goto err;
	}

1796 1797 1798 1799
	/*
	 * Convert the internal representations of contexts
	 * in the new SID table.
	 */
L
Linus Torvalds 已提交
1800 1801
	args.oldp = &policydb;
	args.newp = &newpolicydb;
1802 1803 1804
	rc = sidtab_map(&newsidtab, convert_context, &args);
	if (rc)
		goto err;
L
Linus Torvalds 已提交
1805 1806 1807 1808 1809 1810

	/* Save the old policydb and SID table to free later. */
	memcpy(&oldpolicydb, &policydb, sizeof policydb);
	sidtab_set(&oldsidtab, &sidtab);

	/* Install the new policydb and SID table. */
J
James Morris 已提交
1811
	write_lock_irq(&policy_rwlock);
L
Linus Torvalds 已提交
1812 1813
	memcpy(&policydb, &newpolicydb, sizeof policydb);
	sidtab_set(&sidtab, &newsidtab);
1814
	security_load_policycaps();
1815 1816 1817
	oldmap = current_mapping;
	current_mapping = map;
	current_mapping_size = map_size;
L
Linus Torvalds 已提交
1818
	seqno = ++latest_granting;
J
James Morris 已提交
1819
	write_unlock_irq(&policy_rwlock);
L
Linus Torvalds 已提交
1820 1821 1822 1823

	/* Free the old policydb and SID table. */
	policydb_destroy(&oldpolicydb);
	sidtab_destroy(&oldsidtab);
1824
	kfree(oldmap);
L
Linus Torvalds 已提交
1825 1826 1827

	avc_ss_reset(seqno);
	selnl_notify_policyload(seqno);
V
Venkat Yekkirala 已提交
1828
	selinux_netlbl_cache_invalidate();
1829
	selinux_xfrm_notify_policyload();
L
Linus Torvalds 已提交
1830 1831 1832 1833

	return 0;

err:
1834
	kfree(map);
L
Linus Torvalds 已提交
1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846
	sidtab_destroy(&newsidtab);
	policydb_destroy(&newpolicydb);
	return rc;

}

/**
 * security_port_sid - Obtain the SID for a port.
 * @protocol: protocol number
 * @port: port number
 * @out_sid: security identifier
 */
P
Paul Moore 已提交
1847
int security_port_sid(u8 protocol, u16 port, u32 *out_sid)
L
Linus Torvalds 已提交
1848 1849 1850 1851
{
	struct ocontext *c;
	int rc = 0;

J
James Morris 已提交
1852
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876

	c = policydb.ocontexts[OCON_PORT];
	while (c) {
		if (c->u.port.protocol == protocol &&
		    c->u.port.low_port <= port &&
		    c->u.port.high_port >= port)
			break;
		c = c->next;
	}

	if (c) {
		if (!c->sid[0]) {
			rc = sidtab_context_to_sid(&sidtab,
						   &c->context[0],
						   &c->sid[0]);
			if (rc)
				goto out;
		}
		*out_sid = c->sid[0];
	} else {
		*out_sid = SECINITSID_PORT;
	}

out:
J
James Morris 已提交
1877
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
1878 1879 1880 1881 1882 1883 1884 1885
	return rc;
}

/**
 * security_netif_sid - Obtain the SID for a network interface.
 * @name: interface name
 * @if_sid: interface SID
 */
1886
int security_netif_sid(char *name, u32 *if_sid)
L
Linus Torvalds 已提交
1887 1888 1889 1890
{
	int rc = 0;
	struct ocontext *c;

J
James Morris 已提交
1891
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913

	c = policydb.ocontexts[OCON_NETIF];
	while (c) {
		if (strcmp(name, c->u.name) == 0)
			break;
		c = c->next;
	}

	if (c) {
		if (!c->sid[0] || !c->sid[1]) {
			rc = sidtab_context_to_sid(&sidtab,
						  &c->context[0],
						  &c->sid[0]);
			if (rc)
				goto out;
			rc = sidtab_context_to_sid(&sidtab,
						   &c->context[1],
						   &c->sid[1]);
			if (rc)
				goto out;
		}
		*if_sid = c->sid[0];
1914
	} else
L
Linus Torvalds 已提交
1915 1916 1917
		*if_sid = SECINITSID_NETIF;

out:
J
James Morris 已提交
1918
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
1919 1920 1921 1922 1923 1924 1925
	return rc;
}

static int match_ipv6_addrmask(u32 *input, u32 *addr, u32 *mask)
{
	int i, fail = 0;

1926 1927
	for (i = 0; i < 4; i++)
		if (addr[i] != (input[i] & mask[i])) {
L
Linus Torvalds 已提交
1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949
			fail = 1;
			break;
		}

	return !fail;
}

/**
 * security_node_sid - Obtain the SID for a node (host).
 * @domain: communication domain aka address family
 * @addrp: address
 * @addrlen: address length in bytes
 * @out_sid: security identifier
 */
int security_node_sid(u16 domain,
		      void *addrp,
		      u32 addrlen,
		      u32 *out_sid)
{
	int rc = 0;
	struct ocontext *c;

J
James Morris 已提交
1950
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004

	switch (domain) {
	case AF_INET: {
		u32 addr;

		if (addrlen != sizeof(u32)) {
			rc = -EINVAL;
			goto out;
		}

		addr = *((u32 *)addrp);

		c = policydb.ocontexts[OCON_NODE];
		while (c) {
			if (c->u.node.addr == (addr & c->u.node.mask))
				break;
			c = c->next;
		}
		break;
	}

	case AF_INET6:
		if (addrlen != sizeof(u64) * 2) {
			rc = -EINVAL;
			goto out;
		}
		c = policydb.ocontexts[OCON_NODE6];
		while (c) {
			if (match_ipv6_addrmask(addrp, c->u.node6.addr,
						c->u.node6.mask))
				break;
			c = c->next;
		}
		break;

	default:
		*out_sid = SECINITSID_NODE;
		goto out;
	}

	if (c) {
		if (!c->sid[0]) {
			rc = sidtab_context_to_sid(&sidtab,
						   &c->context[0],
						   &c->sid[0]);
			if (rc)
				goto out;
		}
		*out_sid = c->sid[0];
	} else {
		*out_sid = SECINITSID_NODE;
	}

out:
J
James Morris 已提交
2005
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025
	return rc;
}

#define SIDS_NEL 25

/**
 * security_get_user_sids - Obtain reachable SIDs for a user.
 * @fromsid: starting SID
 * @username: username
 * @sids: array of reachable SIDs for user
 * @nel: number of elements in @sids
 *
 * Generate the set of SIDs for legal security contexts
 * for a given user that can be reached by @fromsid.
 * Set *@sids to point to a dynamically allocated
 * array containing the set of SIDs.  Set *@nel to the
 * number of elements in the array.
 */

int security_get_user_sids(u32 fromsid,
2026
			   char *username,
L
Linus Torvalds 已提交
2027 2028 2029 2030
			   u32 **sids,
			   u32 *nel)
{
	struct context *fromcon, usercon;
2031
	u32 *mysids = NULL, *mysids2, sid;
L
Linus Torvalds 已提交
2032 2033 2034
	u32 mynel = 0, maxnel = SIDS_NEL;
	struct user_datum *user;
	struct role_datum *role;
2035
	struct ebitmap_node *rnode, *tnode;
L
Linus Torvalds 已提交
2036 2037
	int rc = 0, i, j;

2038 2039 2040 2041
	*sids = NULL;
	*nel = 0;

	if (!ss_initialized)
L
Linus Torvalds 已提交
2042 2043
		goto out;

J
James Morris 已提交
2044
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
2045

2046 2047
	context_init(&usercon);

L
Linus Torvalds 已提交
2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060
	fromcon = sidtab_search(&sidtab, fromsid);
	if (!fromcon) {
		rc = -EINVAL;
		goto out_unlock;
	}

	user = hashtab_search(policydb.p_users.table, username);
	if (!user) {
		rc = -EINVAL;
		goto out_unlock;
	}
	usercon.user = user->value;

J
James Morris 已提交
2061
	mysids = kcalloc(maxnel, sizeof(*mysids), GFP_ATOMIC);
L
Linus Torvalds 已提交
2062 2063 2064 2065 2066
	if (!mysids) {
		rc = -ENOMEM;
		goto out_unlock;
	}

2067
	ebitmap_for_each_positive_bit(&user->roles, rnode, i) {
L
Linus Torvalds 已提交
2068 2069
		role = policydb.role_val_to_struct[i];
		usercon.role = i+1;
2070
		ebitmap_for_each_positive_bit(&role->types, tnode, j) {
L
Linus Torvalds 已提交
2071 2072 2073 2074 2075 2076
			usercon.type = j+1;

			if (mls_setup_user_range(fromcon, user, &usercon))
				continue;

			rc = sidtab_context_to_sid(&sidtab, &usercon, &sid);
2077
			if (rc)
L
Linus Torvalds 已提交
2078 2079 2080 2081 2082
				goto out_unlock;
			if (mynel < maxnel) {
				mysids[mynel++] = sid;
			} else {
				maxnel += SIDS_NEL;
J
James Morris 已提交
2083
				mysids2 = kcalloc(maxnel, sizeof(*mysids2), GFP_ATOMIC);
L
Linus Torvalds 已提交
2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096
				if (!mysids2) {
					rc = -ENOMEM;
					goto out_unlock;
				}
				memcpy(mysids2, mysids, mynel * sizeof(*mysids2));
				kfree(mysids);
				mysids = mysids2;
				mysids[mynel++] = sid;
			}
		}
	}

out_unlock:
J
James Morris 已提交
2097
	read_unlock(&policy_rwlock);
2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110
	if (rc || !mynel) {
		kfree(mysids);
		goto out;
	}

	mysids2 = kcalloc(mynel, sizeof(*mysids2), GFP_KERNEL);
	if (!mysids2) {
		rc = -ENOMEM;
		kfree(mysids);
		goto out;
	}
	for (i = 0, j = 0; i < mynel; i++) {
		rc = avc_has_perm_noaudit(fromsid, mysids[i],
2111
					  SECCLASS_PROCESS, /* kernel value */
2112 2113 2114 2115 2116 2117 2118 2119 2120 2121
					  PROCESS__TRANSITION, AVC_STRICT,
					  NULL);
		if (!rc)
			mysids2[j++] = mysids[i];
		cond_resched();
	}
	rc = 0;
	kfree(mysids);
	*sids = mysids2;
	*nel = j;
L
Linus Torvalds 已提交
2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137
out:
	return rc;
}

/**
 * security_genfs_sid - Obtain a SID for a file in a filesystem
 * @fstype: filesystem type
 * @path: path from root of mount
 * @sclass: file security class
 * @sid: SID for path
 *
 * Obtain a SID to use for a file in a filesystem that
 * cannot support xattr or use a fixed labeling behavior like
 * transition SIDs or task SIDs.
 */
int security_genfs_sid(const char *fstype,
2138
		       char *path,
2139
		       u16 orig_sclass,
L
Linus Torvalds 已提交
2140 2141 2142
		       u32 *sid)
{
	int len;
2143
	u16 sclass;
L
Linus Torvalds 已提交
2144 2145 2146 2147
	struct genfs *genfs;
	struct ocontext *c;
	int rc = 0, cmp = 0;

2148 2149 2150
	while (path[0] == '/' && path[1] == '/')
		path++;

J
James Morris 已提交
2151
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
2152

2153 2154
	sclass = unmap_class(orig_sclass);

L
Linus Torvalds 已提交
2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189
	for (genfs = policydb.genfs; genfs; genfs = genfs->next) {
		cmp = strcmp(fstype, genfs->fstype);
		if (cmp <= 0)
			break;
	}

	if (!genfs || cmp) {
		*sid = SECINITSID_UNLABELED;
		rc = -ENOENT;
		goto out;
	}

	for (c = genfs->head; c; c = c->next) {
		len = strlen(c->u.name);
		if ((!c->v.sclass || sclass == c->v.sclass) &&
		    (strncmp(c->u.name, path, len) == 0))
			break;
	}

	if (!c) {
		*sid = SECINITSID_UNLABELED;
		rc = -ENOENT;
		goto out;
	}

	if (!c->sid[0]) {
		rc = sidtab_context_to_sid(&sidtab,
					   &c->context[0],
					   &c->sid[0]);
		if (rc)
			goto out;
	}

	*sid = c->sid[0];
out:
J
James Morris 已提交
2190
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202
	return rc;
}

/**
 * security_fs_use - Determine how to handle labeling for a filesystem.
 * @fstype: filesystem type
 * @behavior: labeling behavior
 * @sid: SID for filesystem (superblock)
 */
int security_fs_use(
	const char *fstype,
	unsigned int *behavior,
2203
	u32 *sid)
L
Linus Torvalds 已提交
2204 2205 2206 2207
{
	int rc = 0;
	struct ocontext *c;

J
James Morris 已提交
2208
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227

	c = policydb.ocontexts[OCON_FSUSE];
	while (c) {
		if (strcmp(fstype, c->u.name) == 0)
			break;
		c = c->next;
	}

	if (c) {
		*behavior = c->v.behavior;
		if (!c->sid[0]) {
			rc = sidtab_context_to_sid(&sidtab,
						   &c->context[0],
						   &c->sid[0]);
			if (rc)
				goto out;
		}
		*sid = c->sid[0];
	} else {
2228 2229 2230 2231 2232 2233 2234
		rc = security_genfs_sid(fstype, "/", SECCLASS_DIR, sid);
		if (rc) {
			*behavior = SECURITY_FS_USE_NONE;
			rc = 0;
		} else {
			*behavior = SECURITY_FS_USE_GENFS;
		}
L
Linus Torvalds 已提交
2235 2236 2237
	}

out:
J
James Morris 已提交
2238
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
2239 2240 2241 2242 2243 2244 2245
	return rc;
}

int security_get_bools(int *len, char ***names, int **values)
{
	int i, rc = -ENOMEM;

J
James Morris 已提交
2246
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
2247 2248 2249 2250 2251 2252 2253 2254 2255
	*names = NULL;
	*values = NULL;

	*len = policydb.p_bools.nprim;
	if (!*len) {
		rc = 0;
		goto out;
	}

2256
       *names = kcalloc(*len, sizeof(char *), GFP_ATOMIC);
L
Linus Torvalds 已提交
2257 2258 2259
	if (!*names)
		goto err;

2260
       *values = kcalloc(*len, sizeof(int), GFP_ATOMIC);
L
Linus Torvalds 已提交
2261 2262 2263 2264 2265 2266 2267
	if (!*values)
		goto err;

	for (i = 0; i < *len; i++) {
		size_t name_len;
		(*values)[i] = policydb.bool_val_to_struct[i]->state;
		name_len = strlen(policydb.p_bool_val_to_name[i]) + 1;
2268
	       (*names)[i] = kmalloc(sizeof(char) * name_len, GFP_ATOMIC);
L
Linus Torvalds 已提交
2269 2270 2271 2272 2273 2274 2275
		if (!(*names)[i])
			goto err;
		strncpy((*names)[i], policydb.p_bool_val_to_name[i], name_len);
		(*names)[i][name_len - 1] = 0;
	}
	rc = 0;
out:
J
James Morris 已提交
2276
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
2277 2278 2279 2280
	return rc;
err:
	if (*names) {
		for (i = 0; i < *len; i++)
J
Jesper Juhl 已提交
2281
			kfree((*names)[i]);
L
Linus Torvalds 已提交
2282
	}
J
Jesper Juhl 已提交
2283
	kfree(*values);
L
Linus Torvalds 已提交
2284 2285 2286 2287 2288 2289 2290 2291 2292 2293
	goto out;
}


int security_set_bools(int len, int *values)
{
	int i, rc = 0;
	int lenp, seqno = 0;
	struct cond_node *cur;

J
James Morris 已提交
2294
	write_lock_irq(&policy_rwlock);
L
Linus Torvalds 已提交
2295 2296 2297 2298 2299 2300 2301 2302

	lenp = policydb.p_bools.nprim;
	if (len != lenp) {
		rc = -EFAULT;
		goto out;
	}

	for (i = 0; i < len; i++) {
S
Steve Grubb 已提交
2303 2304 2305
		if (!!values[i] != policydb.bool_val_to_struct[i]->state) {
			audit_log(current->audit_context, GFP_ATOMIC,
				AUDIT_MAC_CONFIG_CHANGE,
2306
				"bool=%s val=%d old_val=%d auid=%u ses=%u",
S
Steve Grubb 已提交
2307 2308 2309
				policydb.p_bool_val_to_name[i],
				!!values[i],
				policydb.bool_val_to_struct[i]->state,
2310 2311
				audit_get_loginuid(current),
				audit_get_sessionid(current));
S
Steve Grubb 已提交
2312
		}
2313
		if (values[i])
L
Linus Torvalds 已提交
2314
			policydb.bool_val_to_struct[i]->state = 1;
2315
		else
L
Linus Torvalds 已提交
2316 2317 2318
			policydb.bool_val_to_struct[i]->state = 0;
	}

2319
	for (cur = policydb.cond_list; cur; cur = cur->next) {
L
Linus Torvalds 已提交
2320 2321 2322 2323 2324 2325 2326 2327
		rc = evaluate_cond_node(&policydb, cur);
		if (rc)
			goto out;
	}

	seqno = ++latest_granting;

out:
J
James Morris 已提交
2328
	write_unlock_irq(&policy_rwlock);
L
Linus Torvalds 已提交
2329 2330 2331
	if (!rc) {
		avc_ss_reset(seqno);
		selnl_notify_policyload(seqno);
2332
		selinux_xfrm_notify_policyload();
L
Linus Torvalds 已提交
2333 2334 2335 2336 2337 2338 2339 2340 2341
	}
	return rc;
}

int security_get_bool_value(int bool)
{
	int rc = 0;
	int len;

J
James Morris 已提交
2342
	read_lock(&policy_rwlock);
L
Linus Torvalds 已提交
2343 2344 2345 2346 2347 2348 2349 2350 2351

	len = policydb.p_bools.nprim;
	if (bool >= len) {
		rc = -EFAULT;
		goto out;
	}

	rc = policydb.bool_val_to_struct[bool]->state;
out:
J
James Morris 已提交
2352
	read_unlock(&policy_rwlock);
L
Linus Torvalds 已提交
2353 2354
	return rc;
}
2355

2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370
static int security_preserve_bools(struct policydb *p)
{
	int rc, nbools = 0, *bvalues = NULL, i;
	char **bnames = NULL;
	struct cond_bool_datum *booldatum;
	struct cond_node *cur;

	rc = security_get_bools(&nbools, &bnames, &bvalues);
	if (rc)
		goto out;
	for (i = 0; i < nbools; i++) {
		booldatum = hashtab_search(p->p_bools.table, bnames[i]);
		if (booldatum)
			booldatum->state = bvalues[i];
	}
2371
	for (cur = p->cond_list; cur; cur = cur->next) {
2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386
		rc = evaluate_cond_node(p, cur);
		if (rc)
			goto out;
	}

out:
	if (bnames) {
		for (i = 0; i < nbools; i++)
			kfree(bnames[i]);
	}
	kfree(bnames);
	kfree(bvalues);
	return rc;
}

2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399
/*
 * security_sid_mls_copy() - computes a new sid based on the given
 * sid and the mls portion of mls_sid.
 */
int security_sid_mls_copy(u32 sid, u32 mls_sid, u32 *new_sid)
{
	struct context *context1;
	struct context *context2;
	struct context newcon;
	char *s;
	u32 len;
	int rc = 0;

2400
	if (!ss_initialized || !selinux_mls_enabled) {
2401 2402 2403 2404 2405 2406
		*new_sid = sid;
		goto out;
	}

	context_init(&newcon);

J
James Morris 已提交
2407
	read_lock(&policy_rwlock);
2408 2409
	context1 = sidtab_search(&sidtab, sid);
	if (!context1) {
E
Eric Paris 已提交
2410 2411
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
			__func__, sid);
2412 2413 2414 2415 2416 2417
		rc = -EINVAL;
		goto out_unlock;
	}

	context2 = sidtab_search(&sidtab, mls_sid);
	if (!context2) {
E
Eric Paris 已提交
2418 2419
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
			__func__, mls_sid);
2420 2421 2422 2423 2424 2425 2426
		rc = -EINVAL;
		goto out_unlock;
	}

	newcon.user = context1->user;
	newcon.role = context1->role;
	newcon.type = context1->type;
2427
	rc = mls_context_cpy(&newcon, context2);
2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448
	if (rc)
		goto out_unlock;

	/* Check the validity of the new context. */
	if (!policydb_context_isvalid(&policydb, &newcon)) {
		rc = convert_context_handle_invalid_context(&newcon);
		if (rc)
			goto bad;
	}

	rc = sidtab_context_to_sid(&sidtab, &newcon, new_sid);
	goto out_unlock;

bad:
	if (!context_struct_to_string(&newcon, &s, &len)) {
		audit_log(current->audit_context, GFP_ATOMIC, AUDIT_SELINUX_ERR,
			  "security_sid_mls_copy: invalid context %s", s);
		kfree(s);
	}

out_unlock:
J
James Morris 已提交
2449
	read_unlock(&policy_rwlock);
2450 2451 2452 2453 2454
	context_destroy(&newcon);
out:
	return rc;
}

2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505
/**
 * security_net_peersid_resolve - Compare and resolve two network peer SIDs
 * @nlbl_sid: NetLabel SID
 * @nlbl_type: NetLabel labeling protocol type
 * @xfrm_sid: XFRM SID
 *
 * Description:
 * Compare the @nlbl_sid and @xfrm_sid values and if the two SIDs can be
 * resolved into a single SID it is returned via @peer_sid and the function
 * returns zero.  Otherwise @peer_sid is set to SECSID_NULL and the function
 * returns a negative value.  A table summarizing the behavior is below:
 *
 *                                 | function return |      @sid
 *   ------------------------------+-----------------+-----------------
 *   no peer labels                |        0        |    SECSID_NULL
 *   single peer label             |        0        |    <peer_label>
 *   multiple, consistent labels   |        0        |    <peer_label>
 *   multiple, inconsistent labels |    -<errno>     |    SECSID_NULL
 *
 */
int security_net_peersid_resolve(u32 nlbl_sid, u32 nlbl_type,
				 u32 xfrm_sid,
				 u32 *peer_sid)
{
	int rc;
	struct context *nlbl_ctx;
	struct context *xfrm_ctx;

	/* handle the common (which also happens to be the set of easy) cases
	 * right away, these two if statements catch everything involving a
	 * single or absent peer SID/label */
	if (xfrm_sid == SECSID_NULL) {
		*peer_sid = nlbl_sid;
		return 0;
	}
	/* NOTE: an nlbl_type == NETLBL_NLTYPE_UNLABELED is a "fallback" label
	 * and is treated as if nlbl_sid == SECSID_NULL when a XFRM SID/label
	 * is present */
	if (nlbl_sid == SECSID_NULL || nlbl_type == NETLBL_NLTYPE_UNLABELED) {
		*peer_sid = xfrm_sid;
		return 0;
	}

	/* we don't need to check ss_initialized here since the only way both
	 * nlbl_sid and xfrm_sid are not equal to SECSID_NULL would be if the
	 * security server was initialized and ss_initialized was true */
	if (!selinux_mls_enabled) {
		*peer_sid = SECSID_NULL;
		return 0;
	}

J
James Morris 已提交
2506
	read_lock(&policy_rwlock);
2507 2508 2509

	nlbl_ctx = sidtab_search(&sidtab, nlbl_sid);
	if (!nlbl_ctx) {
E
Eric Paris 已提交
2510 2511
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
		       __func__, nlbl_sid);
2512 2513 2514 2515 2516
		rc = -EINVAL;
		goto out_slowpath;
	}
	xfrm_ctx = sidtab_search(&sidtab, xfrm_sid);
	if (!xfrm_ctx) {
E
Eric Paris 已提交
2517 2518
		printk(KERN_ERR "SELinux: %s:  unrecognized SID %d\n",
		       __func__, xfrm_sid);
2519 2520 2521 2522 2523 2524
		rc = -EINVAL;
		goto out_slowpath;
	}
	rc = (mls_context_cmp(nlbl_ctx, xfrm_ctx) ? 0 : -EACCES);

out_slowpath:
J
James Morris 已提交
2525
	read_unlock(&policy_rwlock);
2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537
	if (rc == 0)
		/* at present NetLabel SIDs/labels really only carry MLS
		 * information so if the MLS portion of the NetLabel SID
		 * matches the MLS portion of the labeled XFRM SID/label
		 * then pass along the XFRM SID as it is the most
		 * expressive */
		*peer_sid = xfrm_sid;
	else
		*peer_sid = SECSID_NULL;
	return rc;
}

2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554
static int get_classes_callback(void *k, void *d, void *args)
{
	struct class_datum *datum = d;
	char *name = k, **classes = args;
	int value = datum->value - 1;

	classes[value] = kstrdup(name, GFP_ATOMIC);
	if (!classes[value])
		return -ENOMEM;

	return 0;
}

int security_get_classes(char ***classes, int *nclasses)
{
	int rc = -ENOMEM;

J
James Morris 已提交
2555
	read_lock(&policy_rwlock);
2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571

	*nclasses = policydb.p_classes.nprim;
	*classes = kcalloc(*nclasses, sizeof(*classes), GFP_ATOMIC);
	if (!*classes)
		goto out;

	rc = hashtab_map(policydb.p_classes.table, get_classes_callback,
			*classes);
	if (rc < 0) {
		int i;
		for (i = 0; i < *nclasses; i++)
			kfree((*classes)[i]);
		kfree(*classes);
	}

out:
J
James Morris 已提交
2572
	read_unlock(&policy_rwlock);
2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593
	return rc;
}

static int get_permissions_callback(void *k, void *d, void *args)
{
	struct perm_datum *datum = d;
	char *name = k, **perms = args;
	int value = datum->value - 1;

	perms[value] = kstrdup(name, GFP_ATOMIC);
	if (!perms[value])
		return -ENOMEM;

	return 0;
}

int security_get_permissions(char *class, char ***perms, int *nperms)
{
	int rc = -ENOMEM, i;
	struct class_datum *match;

J
James Morris 已提交
2594
	read_lock(&policy_rwlock);
2595 2596 2597

	match = hashtab_search(policydb.p_classes.table, class);
	if (!match) {
E
Eric Paris 已提交
2598
		printk(KERN_ERR "SELinux: %s:  unrecognized class %s\n",
2599
			__func__, class);
2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621
		rc = -EINVAL;
		goto out;
	}

	*nperms = match->permissions.nprim;
	*perms = kcalloc(*nperms, sizeof(*perms), GFP_ATOMIC);
	if (!*perms)
		goto out;

	if (match->comdatum) {
		rc = hashtab_map(match->comdatum->permissions.table,
				get_permissions_callback, *perms);
		if (rc < 0)
			goto err;
	}

	rc = hashtab_map(match->permissions.table, get_permissions_callback,
			*perms);
	if (rc < 0)
		goto err;

out:
J
James Morris 已提交
2622
	read_unlock(&policy_rwlock);
2623 2624 2625
	return rc;

err:
J
James Morris 已提交
2626
	read_unlock(&policy_rwlock);
2627 2628 2629 2630 2631 2632
	for (i = 0; i < *nperms; i++)
		kfree((*perms)[i]);
	kfree(*perms);
	return rc;
}

2633 2634 2635 2636 2637 2638 2639 2640 2641 2642
int security_get_reject_unknown(void)
{
	return policydb.reject_unknown;
}

int security_get_allow_unknown(void)
{
	return policydb.allow_unknown;
}

2643 2644 2645 2646 2647 2648 2649 2650 2651 2652 2653 2654 2655 2656
/**
 * security_policycap_supported - Check for a specific policy capability
 * @req_cap: capability
 *
 * Description:
 * This function queries the currently loaded policy to see if it supports the
 * capability specified by @req_cap.  Returns true (1) if the capability is
 * supported, false (0) if it isn't supported.
 *
 */
int security_policycap_supported(unsigned int req_cap)
{
	int rc;

J
James Morris 已提交
2657
	read_lock(&policy_rwlock);
2658
	rc = ebitmap_get_bit(&policydb.policycaps, req_cap);
J
James Morris 已提交
2659
	read_unlock(&policy_rwlock);
2660 2661 2662 2663

	return rc;
}

2664 2665 2666 2667 2668
struct selinux_audit_rule {
	u32 au_seqno;
	struct context au_ctxt;
};

2669
void selinux_audit_rule_free(void *vrule)
2670
{
2671 2672
	struct selinux_audit_rule *rule = vrule;

2673 2674 2675 2676 2677 2678
	if (rule) {
		context_destroy(&rule->au_ctxt);
		kfree(rule);
	}
}

2679
int selinux_audit_rule_init(u32 field, u32 op, char *rulestr, void **vrule)
2680 2681 2682 2683 2684
{
	struct selinux_audit_rule *tmprule;
	struct role_datum *roledatum;
	struct type_datum *typedatum;
	struct user_datum *userdatum;
2685
	struct selinux_audit_rule **rule = (struct selinux_audit_rule **)vrule;
2686 2687 2688 2689 2690
	int rc = 0;

	*rule = NULL;

	if (!ss_initialized)
2691
		return -EOPNOTSUPP;
2692 2693

	switch (field) {
2694 2695 2696
	case AUDIT_SUBJ_USER:
	case AUDIT_SUBJ_ROLE:
	case AUDIT_SUBJ_TYPE:
2697 2698 2699
	case AUDIT_OBJ_USER:
	case AUDIT_OBJ_ROLE:
	case AUDIT_OBJ_TYPE:
2700
		/* only 'equals' and 'not equals' fit user, role, and type */
2701
		if (op != Audit_equal && op != Audit_not_equal)
2702 2703
			return -EINVAL;
		break;
2704 2705
	case AUDIT_SUBJ_SEN:
	case AUDIT_SUBJ_CLR:
2706 2707
	case AUDIT_OBJ_LEV_LOW:
	case AUDIT_OBJ_LEV_HIGH:
2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722
		/* we do not allow a range, indicated by the presense of '-' */
		if (strchr(rulestr, '-'))
			return -EINVAL;
		break;
	default:
		/* only the above fields are valid */
		return -EINVAL;
	}

	tmprule = kzalloc(sizeof(struct selinux_audit_rule), GFP_KERNEL);
	if (!tmprule)
		return -ENOMEM;

	context_init(&tmprule->au_ctxt);

J
James Morris 已提交
2723
	read_lock(&policy_rwlock);
2724 2725 2726 2727

	tmprule->au_seqno = latest_granting;

	switch (field) {
2728
	case AUDIT_SUBJ_USER:
2729
	case AUDIT_OBJ_USER:
2730 2731 2732 2733 2734 2735
		userdatum = hashtab_search(policydb.p_users.table, rulestr);
		if (!userdatum)
			rc = -EINVAL;
		else
			tmprule->au_ctxt.user = userdatum->value;
		break;
2736
	case AUDIT_SUBJ_ROLE:
2737
	case AUDIT_OBJ_ROLE:
2738 2739 2740 2741 2742 2743
		roledatum = hashtab_search(policydb.p_roles.table, rulestr);
		if (!roledatum)
			rc = -EINVAL;
		else
			tmprule->au_ctxt.role = roledatum->value;
		break;
2744
	case AUDIT_SUBJ_TYPE:
2745
	case AUDIT_OBJ_TYPE:
2746 2747 2748 2749 2750 2751
		typedatum = hashtab_search(policydb.p_types.table, rulestr);
		if (!typedatum)
			rc = -EINVAL;
		else
			tmprule->au_ctxt.type = typedatum->value;
		break;
2752 2753
	case AUDIT_SUBJ_SEN:
	case AUDIT_SUBJ_CLR:
2754 2755
	case AUDIT_OBJ_LEV_LOW:
	case AUDIT_OBJ_LEV_HIGH:
2756 2757 2758 2759
		rc = mls_from_string(rulestr, &tmprule->au_ctxt, GFP_ATOMIC);
		break;
	}

J
James Morris 已提交
2760
	read_unlock(&policy_rwlock);
2761 2762 2763 2764 2765 2766 2767 2768 2769 2770 2771

	if (rc) {
		selinux_audit_rule_free(tmprule);
		tmprule = NULL;
	}

	*rule = tmprule;

	return rc;
}

2772 2773 2774 2775 2776 2777 2778 2779 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796 2797
/* Check to see if the rule contains any selinux fields */
int selinux_audit_rule_known(struct audit_krule *rule)
{
	int i;

	for (i = 0; i < rule->field_count; i++) {
		struct audit_field *f = &rule->fields[i];
		switch (f->type) {
		case AUDIT_SUBJ_USER:
		case AUDIT_SUBJ_ROLE:
		case AUDIT_SUBJ_TYPE:
		case AUDIT_SUBJ_SEN:
		case AUDIT_SUBJ_CLR:
		case AUDIT_OBJ_USER:
		case AUDIT_OBJ_ROLE:
		case AUDIT_OBJ_TYPE:
		case AUDIT_OBJ_LEV_LOW:
		case AUDIT_OBJ_LEV_HIGH:
			return 1;
		}
	}

	return 0;
}

int selinux_audit_rule_match(u32 sid, u32 field, u32 op, void *vrule,
2798
			     struct audit_context *actx)
2799 2800 2801
{
	struct context *ctxt;
	struct mls_level *level;
2802
	struct selinux_audit_rule *rule = vrule;
2803 2804 2805 2806
	int match = 0;

	if (!rule) {
		audit_log(actx, GFP_ATOMIC, AUDIT_SELINUX_ERR,
2807
			  "selinux_audit_rule_match: missing rule\n");
2808 2809 2810
		return -ENOENT;
	}

J
James Morris 已提交
2811
	read_lock(&policy_rwlock);
2812 2813 2814

	if (rule->au_seqno < latest_granting) {
		audit_log(actx, GFP_ATOMIC, AUDIT_SELINUX_ERR,
2815
			  "selinux_audit_rule_match: stale rule\n");
2816 2817 2818 2819
		match = -ESTALE;
		goto out;
	}

2820
	ctxt = sidtab_search(&sidtab, sid);
2821 2822
	if (!ctxt) {
		audit_log(actx, GFP_ATOMIC, AUDIT_SELINUX_ERR,
2823 2824
			  "selinux_audit_rule_match: unrecognized SID %d\n",
			  sid);
2825 2826 2827 2828 2829 2830 2831
		match = -ENOENT;
		goto out;
	}

	/* a field/op pair that is not caught here will simply fall through
	   without a match */
	switch (field) {
2832
	case AUDIT_SUBJ_USER:
2833
	case AUDIT_OBJ_USER:
2834
		switch (op) {
2835
		case Audit_equal:
2836 2837
			match = (ctxt->user == rule->au_ctxt.user);
			break;
2838
		case Audit_not_equal:
2839 2840 2841 2842
			match = (ctxt->user != rule->au_ctxt.user);
			break;
		}
		break;
2843
	case AUDIT_SUBJ_ROLE:
2844
	case AUDIT_OBJ_ROLE:
2845
		switch (op) {
2846
		case Audit_equal:
2847 2848
			match = (ctxt->role == rule->au_ctxt.role);
			break;
2849
		case Audit_not_equal:
2850 2851 2852 2853
			match = (ctxt->role != rule->au_ctxt.role);
			break;
		}
		break;
2854
	case AUDIT_SUBJ_TYPE:
2855
	case AUDIT_OBJ_TYPE:
2856
		switch (op) {
2857
		case Audit_equal:
2858 2859
			match = (ctxt->type == rule->au_ctxt.type);
			break;
2860
		case Audit_not_equal:
2861 2862 2863 2864
			match = (ctxt->type != rule->au_ctxt.type);
			break;
		}
		break;
2865 2866
	case AUDIT_SUBJ_SEN:
	case AUDIT_SUBJ_CLR:
2867 2868 2869
	case AUDIT_OBJ_LEV_LOW:
	case AUDIT_OBJ_LEV_HIGH:
		level = ((field == AUDIT_SUBJ_SEN ||
2870 2871
			  field == AUDIT_OBJ_LEV_LOW) ?
			 &ctxt->range.level[0] : &ctxt->range.level[1]);
2872
		switch (op) {
2873
		case Audit_equal:
2874
			match = mls_level_eq(&rule->au_ctxt.range.level[0],
2875
					     level);
2876
			break;
2877
		case Audit_not_equal:
2878
			match = !mls_level_eq(&rule->au_ctxt.range.level[0],
2879
					      level);
2880
			break;
2881
		case Audit_lt:
2882
			match = (mls_level_dom(&rule->au_ctxt.range.level[0],
2883 2884 2885
					       level) &&
				 !mls_level_eq(&rule->au_ctxt.range.level[0],
					       level));
2886
			break;
2887
		case Audit_le:
2888
			match = mls_level_dom(&rule->au_ctxt.range.level[0],
2889
					      level);
2890
			break;
2891
		case Audit_gt:
2892
			match = (mls_level_dom(level,
2893 2894 2895
					      &rule->au_ctxt.range.level[0]) &&
				 !mls_level_eq(level,
					       &rule->au_ctxt.range.level[0]));
2896
			break;
2897
		case Audit_ge:
2898
			match = mls_level_dom(level,
2899
					      &rule->au_ctxt.range.level[0]);
2900 2901 2902 2903 2904
			break;
		}
	}

out:
J
James Morris 已提交
2905
	read_unlock(&policy_rwlock);
2906 2907 2908
	return match;
}

2909
static int (*aurule_callback)(void) = audit_update_lsm_rules;
2910 2911

static int aurule_avc_callback(u32 event, u32 ssid, u32 tsid,
2912
			       u16 class, u32 perms, u32 *retained)
2913 2914 2915 2916 2917 2918 2919 2920 2921 2922 2923 2924 2925
{
	int err = 0;

	if (event == AVC_CALLBACK_RESET && aurule_callback)
		err = aurule_callback();
	return err;
}

static int __init aurule_init(void)
{
	int err;

	err = avc_add_callback(aurule_avc_callback, AVC_CALLBACK_RESET,
2926
			       SECSID_NULL, SECSID_NULL, SECCLASS_NULL, 0);
2927 2928 2929 2930 2931 2932 2933
	if (err)
		panic("avc_add_callback() failed, error %d\n", err);

	return err;
}
__initcall(aurule_init);

V
Venkat Yekkirala 已提交
2934 2935
#ifdef CONFIG_NETLABEL
/**
2936 2937
 * security_netlbl_cache_add - Add an entry to the NetLabel cache
 * @secattr: the NetLabel packet security attributes
2938
 * @sid: the SELinux SID
V
Venkat Yekkirala 已提交
2939 2940 2941
 *
 * Description:
 * Attempt to cache the context in @ctx, which was derived from the packet in
2942 2943
 * @skb, in the NetLabel subsystem cache.  This function assumes @secattr has
 * already been initialized.
V
Venkat Yekkirala 已提交
2944 2945
 *
 */
2946
static void security_netlbl_cache_add(struct netlbl_lsm_secattr *secattr,
2947
				      u32 sid)
V
Venkat Yekkirala 已提交
2948
{
2949
	u32 *sid_cache;
V
Venkat Yekkirala 已提交
2950

2951 2952
	sid_cache = kmalloc(sizeof(*sid_cache), GFP_ATOMIC);
	if (sid_cache == NULL)
2953
		return;
2954 2955 2956
	secattr->cache = netlbl_secattr_cache_alloc(GFP_ATOMIC);
	if (secattr->cache == NULL) {
		kfree(sid_cache);
2957
		return;
2958
	}
V
Venkat Yekkirala 已提交
2959

2960 2961 2962
	*sid_cache = sid;
	secattr->cache->free = kfree;
	secattr->cache->data = sid_cache;
2963
	secattr->flags |= NETLBL_SECATTR_CACHE;
V
Venkat Yekkirala 已提交
2964 2965 2966
}

/**
2967
 * security_netlbl_secattr_to_sid - Convert a NetLabel secattr to a SELinux SID
V
Venkat Yekkirala 已提交
2968 2969 2970 2971
 * @secattr: the NetLabel packet security attributes
 * @sid: the SELinux SID
 *
 * Description:
2972
 * Convert the given NetLabel security attributes in @secattr into a
V
Venkat Yekkirala 已提交
2973
 * SELinux SID.  If the @secattr field does not contain a full SELinux
2974 2975 2976 2977 2978
 * SID/context then use SECINITSID_NETMSG as the foundation.  If possibile the
 * 'cache' field of @secattr is set and the CACHE flag is set; this is to
 * allow the @secattr to be used by NetLabel to cache the secattr to SID
 * conversion for future lookups.  Returns zero on success, negative values on
 * failure.
V
Venkat Yekkirala 已提交
2979 2980
 *
 */
2981 2982
int security_netlbl_secattr_to_sid(struct netlbl_lsm_secattr *secattr,
				   u32 *sid)
V
Venkat Yekkirala 已提交
2983 2984 2985 2986
{
	int rc = -EIDRM;
	struct context *ctx;
	struct context ctx_new;
2987 2988 2989 2990 2991

	if (!ss_initialized) {
		*sid = SECSID_NULL;
		return 0;
	}
V
Venkat Yekkirala 已提交
2992

J
James Morris 已提交
2993
	read_lock(&policy_rwlock);
V
Venkat Yekkirala 已提交
2994

2995
	if (secattr->flags & NETLBL_SECATTR_CACHE) {
2996 2997
		*sid = *(u32 *)secattr->cache->data;
		rc = 0;
2998 2999 3000
	} else if (secattr->flags & NETLBL_SECATTR_SECID) {
		*sid = secattr->attr.secid;
		rc = 0;
3001
	} else if (secattr->flags & NETLBL_SECATTR_MLS_LVL) {
3002
		ctx = sidtab_search(&sidtab, SECINITSID_NETMSG);
V
Venkat Yekkirala 已提交
3003 3004 3005
		if (ctx == NULL)
			goto netlbl_secattr_to_sid_return;

3006
		context_init(&ctx_new);
V
Venkat Yekkirala 已提交
3007 3008 3009
		ctx_new.user = ctx->user;
		ctx_new.role = ctx->role;
		ctx_new.type = ctx->type;
3010
		mls_import_netlbl_lvl(&ctx_new, secattr);
3011
		if (secattr->flags & NETLBL_SECATTR_MLS_CAT) {
3012
			if (ebitmap_netlbl_import(&ctx_new.range.level[0].cat,
3013
						  secattr->attr.mls.cat) != 0)
V
Venkat Yekkirala 已提交
3014
				goto netlbl_secattr_to_sid_return;
3015 3016 3017
			memcpy(&ctx_new.range.level[1].cat,
			       &ctx_new.range.level[0].cat,
			       sizeof(ctx_new.range.level[0].cat));
V
Venkat Yekkirala 已提交
3018 3019 3020 3021 3022 3023 3024 3025
		}
		if (mls_context_isvalid(&policydb, &ctx_new) != 1)
			goto netlbl_secattr_to_sid_return_cleanup;

		rc = sidtab_context_to_sid(&sidtab, &ctx_new, sid);
		if (rc != 0)
			goto netlbl_secattr_to_sid_return_cleanup;

3026
		security_netlbl_cache_add(secattr, *sid);
3027

V
Venkat Yekkirala 已提交
3028 3029
		ebitmap_destroy(&ctx_new.range.level[0].cat);
	} else {
3030
		*sid = SECSID_NULL;
V
Venkat Yekkirala 已提交
3031 3032 3033 3034
		rc = 0;
	}

netlbl_secattr_to_sid_return:
J
James Morris 已提交
3035
	read_unlock(&policy_rwlock);
V
Venkat Yekkirala 已提交
3036 3037 3038 3039 3040 3041 3042
	return rc;
netlbl_secattr_to_sid_return_cleanup:
	ebitmap_destroy(&ctx_new.range.level[0].cat);
	goto netlbl_secattr_to_sid_return;
}

/**
3043 3044 3045
 * security_netlbl_sid_to_secattr - Convert a SELinux SID to a NetLabel secattr
 * @sid: the SELinux SID
 * @secattr: the NetLabel packet security attributes
V
Venkat Yekkirala 已提交
3046 3047
 *
 * Description:
3048 3049
 * Convert the given SELinux SID in @sid into a NetLabel security attribute.
 * Returns zero on success, negative values on failure.
V
Venkat Yekkirala 已提交
3050 3051
 *
 */
3052
int security_netlbl_sid_to_secattr(u32 sid, struct netlbl_lsm_secattr *secattr)
V
Venkat Yekkirala 已提交
3053
{
3054
	int rc;
V
Venkat Yekkirala 已提交
3055 3056 3057 3058 3059
	struct context *ctx;

	if (!ss_initialized)
		return 0;

J
James Morris 已提交
3060
	read_lock(&policy_rwlock);
V
Venkat Yekkirala 已提交
3061
	ctx = sidtab_search(&sidtab, sid);
3062 3063
	if (ctx == NULL) {
		rc = -ENOENT;
3064
		goto netlbl_sid_to_secattr_failure;
3065
	}
3066 3067
	secattr->domain = kstrdup(policydb.p_type_val_to_name[ctx->type - 1],
				  GFP_ATOMIC);
3068 3069 3070 3071
	if (secattr->domain == NULL) {
		rc = -ENOMEM;
		goto netlbl_sid_to_secattr_failure;
	}
3072 3073
	secattr->attr.secid = sid;
	secattr->flags |= NETLBL_SECATTR_DOMAIN_CPY | NETLBL_SECATTR_SECID;
3074 3075
	mls_export_netlbl_lvl(ctx, secattr);
	rc = mls_export_netlbl_cat(ctx, secattr);
3076
	if (rc != 0)
3077
		goto netlbl_sid_to_secattr_failure;
J
James Morris 已提交
3078
	read_unlock(&policy_rwlock);
3079

3080
	return 0;
3081

3082
netlbl_sid_to_secattr_failure:
J
James Morris 已提交
3083
	read_unlock(&policy_rwlock);
3084 3085
	return rc;
}
V
Venkat Yekkirala 已提交
3086
#endif /* CONFIG_NETLABEL */