domain.c 24.5 KB
Newer Older
K
Kentaro Takeda 已提交
1 2 3
/*
 * security/tomoyo/domain.c
 *
T
Tetsuo Handa 已提交
4
 * Copyright (C) 2005-2011  NTT DATA CORPORATION
K
Kentaro Takeda 已提交
5 6 7 8
 */

#include "common.h"
#include <linux/binfmts.h>
9
#include <linux/slab.h>
K
Kentaro Takeda 已提交
10 11 12 13 14 15

/* Variables definitions.*/

/* The initial domain. */
struct tomoyo_domain_info tomoyo_kernel_domain;

16 17 18 19 20
/**
 * tomoyo_update_policy - Update an entry for exception policy.
 *
 * @new_entry:       Pointer to "struct tomoyo_acl_info".
 * @size:            Size of @new_entry in bytes.
21
 * @param:           Pointer to "struct tomoyo_acl_param".
22 23 24 25 26 27 28
 * @check_duplicate: Callback function to find duplicated entry.
 *
 * Returns 0 on success, negative value otherwise.
 *
 * Caller holds tomoyo_read_lock().
 */
int tomoyo_update_policy(struct tomoyo_acl_head *new_entry, const int size,
29
			 struct tomoyo_acl_param *param,
30 31 32 33 34
			 bool (*check_duplicate) (const struct tomoyo_acl_head
						  *,
						  const struct tomoyo_acl_head
						  *))
{
35
	int error = param->is_delete ? -ENOENT : -ENOMEM;
36
	struct tomoyo_acl_head *entry;
37
	struct list_head *list = param->list;
38 39 40 41 42 43

	if (mutex_lock_interruptible(&tomoyo_policy_lock))
		return -ENOMEM;
	list_for_each_entry_rcu(entry, list, list) {
		if (!check_duplicate(entry, new_entry))
			continue;
44
		entry->is_deleted = param->is_delete;
45 46 47
		error = 0;
		break;
	}
48
	if (error && !param->is_delete) {
49 50 51 52 53 54 55 56 57 58
		entry = tomoyo_commit_ok(new_entry, size);
		if (entry) {
			list_add_tail_rcu(&entry->list, list);
			error = 0;
		}
	}
	mutex_unlock(&tomoyo_policy_lock);
	return error;
}

T
Tetsuo Handa 已提交
59 60 61 62 63 64 65 66 67 68 69
/**
 * tomoyo_same_acl_head - Check for duplicated "struct tomoyo_acl_info" entry.
 *
 * @a: Pointer to "struct tomoyo_acl_info".
 * @b: Pointer to "struct tomoyo_acl_info".
 *
 * Returns true if @a == @b, false otherwise.
 */
static inline bool tomoyo_same_acl_head(const struct tomoyo_acl_info *a,
					const struct tomoyo_acl_info *b)
{
70
	return a->type == b->type && a->cond == b->cond;
T
Tetsuo Handa 已提交
71 72
}

73 74 75 76 77
/**
 * tomoyo_update_domain - Update an entry for domain policy.
 *
 * @new_entry:       Pointer to "struct tomoyo_acl_info".
 * @size:            Size of @new_entry in bytes.
78
 * @param:           Pointer to "struct tomoyo_acl_param".
79 80 81 82 83 84 85 86
 * @check_duplicate: Callback function to find duplicated entry.
 * @merge_duplicate: Callback function to merge duplicated entry.
 *
 * Returns 0 on success, negative value otherwise.
 *
 * Caller holds tomoyo_read_lock().
 */
int tomoyo_update_domain(struct tomoyo_acl_info *new_entry, const int size,
87
			 struct tomoyo_acl_param *param,
88 89 90 91 92 93 94 95
			 bool (*check_duplicate) (const struct tomoyo_acl_info
						  *,
						  const struct tomoyo_acl_info
						  *),
			 bool (*merge_duplicate) (struct tomoyo_acl_info *,
						  struct tomoyo_acl_info *,
						  const bool))
{
96
	const bool is_delete = param->is_delete;
97 98
	int error = is_delete ? -ENOENT : -ENOMEM;
	struct tomoyo_acl_info *entry;
99
	struct list_head * const list = param->list;
100

101 102 103 104
	if (param->data[0]) {
		new_entry->cond = tomoyo_get_condition(param);
		if (!new_entry->cond)
			return -EINVAL;
105 106 107 108 109 110 111 112 113
		/*
		 * Domain transition preference is allowed for only
		 * "file execute" entries.
		 */
		if (new_entry->cond->transit &&
		    !(new_entry->type == TOMOYO_TYPE_PATH_ACL &&
		      container_of(new_entry, struct tomoyo_path_acl, head)
		      ->perm == 1 << TOMOYO_TYPE_EXECUTE))
			goto out;
114
	}
115
	if (mutex_lock_interruptible(&tomoyo_policy_lock))
116
		goto out;
117
	list_for_each_entry_rcu(entry, list, list) {
T
Tetsuo Handa 已提交
118 119
		if (!tomoyo_same_acl_head(entry, new_entry) ||
		    !check_duplicate(entry, new_entry))
120 121 122 123 124 125 126 127 128 129 130 131
			continue;
		if (merge_duplicate)
			entry->is_deleted = merge_duplicate(entry, new_entry,
							    is_delete);
		else
			entry->is_deleted = is_delete;
		error = 0;
		break;
	}
	if (error && !is_delete) {
		entry = tomoyo_commit_ok(new_entry, size);
		if (entry) {
132
			list_add_tail_rcu(&entry->list, list);
133 134 135 136
			error = 0;
		}
	}
	mutex_unlock(&tomoyo_policy_lock);
137 138
out:
	tomoyo_put_condition(new_entry->cond);
139 140 141
	return error;
}

T
Tetsuo Handa 已提交
142 143 144 145 146 147 148 149 150 151
/**
 * tomoyo_check_acl - Do permission check.
 *
 * @r:           Pointer to "struct tomoyo_request_info".
 * @check_entry: Callback function to check type specific parameters.
 *
 * Returns 0 on success, negative value otherwise.
 *
 * Caller holds tomoyo_read_lock().
 */
152
void tomoyo_check_acl(struct tomoyo_request_info *r,
153
		      bool (*check_entry) (struct tomoyo_request_info *,
154 155 156 157
					   const struct tomoyo_acl_info *))
{
	const struct tomoyo_domain_info *domain = r->domain;
	struct tomoyo_acl_info *ptr;
T
Tetsuo Handa 已提交
158 159
	bool retried = false;
	const struct list_head *list = &domain->acl_info_list;
160

T
Tetsuo Handa 已提交
161 162
retry:
	list_for_each_entry_rcu(ptr, list, list) {
163 164
		if (ptr->is_deleted || ptr->type != r->param_type)
			continue;
165 166 167 168
		if (!check_entry(r, ptr))
			continue;
		if (!tomoyo_condition(r, ptr->cond))
			continue;
169
		r->matched_acl = ptr;
170 171
		r->granted = true;
		return;
172
	}
T
Tetsuo Handa 已提交
173 174
	if (!retried) {
		retried = true;
175
		list = &domain->ns->acl_group[domain->group];
T
Tetsuo Handa 已提交
176 177
		goto retry;
	}
178 179 180
	r->granted = false;
}

181
/* The list for "struct tomoyo_domain_info". */
K
Kentaro Takeda 已提交
182 183 184
LIST_HEAD(tomoyo_domain_list);

/**
T
Tetsuo Handa 已提交
185
 * tomoyo_last_word - Get last component of a domainname.
K
Kentaro Takeda 已提交
186
 *
187
 * @name: Domainname to check.
K
Kentaro Takeda 已提交
188
 *
T
Tetsuo Handa 已提交
189
 * Returns the last word of @domainname.
K
Kentaro Takeda 已提交
190
 */
T
Tetsuo Handa 已提交
191
static const char *tomoyo_last_word(const char *name)
K
Kentaro Takeda 已提交
192
{
T
Tetsuo Handa 已提交
193 194 195 196
	const char *cp = strrchr(name, ' ');
	if (cp)
		return cp + 1;
	return name;
K
Kentaro Takeda 已提交
197 198
}

199 200 201 202 203 204 205 206
/**
 * tomoyo_same_transition_control - Check for duplicated "struct tomoyo_transition_control" entry.
 *
 * @a: Pointer to "struct tomoyo_acl_head".
 * @b: Pointer to "struct tomoyo_acl_head".
 *
 * Returns true if @a == @b, false otherwise.
 */
T
Tetsuo Handa 已提交
207 208
static bool tomoyo_same_transition_control(const struct tomoyo_acl_head *a,
					   const struct tomoyo_acl_head *b)
209
{
210 211 212 213 214 215 216
	const struct tomoyo_transition_control *p1 = container_of(a,
								  typeof(*p1),
								  head);
	const struct tomoyo_transition_control *p2 = container_of(b,
								  typeof(*p2),
								  head);
	return p1->type == p2->type && p1->is_last_name == p2->is_last_name
217 218 219 220
		&& p1->domainname == p2->domainname
		&& p1->program == p2->program;
}

K
Kentaro Takeda 已提交
221
/**
222
 * tomoyo_write_transition_control - Write "struct tomoyo_transition_control" list.
K
Kentaro Takeda 已提交
223
 *
224 225
 * @param: Pointer to "struct tomoyo_acl_param".
 * @type:  Type of this entry.
K
Kentaro Takeda 已提交
226 227 228
 *
 * Returns 0 on success, negative value otherwise.
 */
229 230
int tomoyo_write_transition_control(struct tomoyo_acl_param *param,
				    const u8 type)
K
Kentaro Takeda 已提交
231
{
232
	struct tomoyo_transition_control e = { .type = type };
233 234 235 236 237 238 239 240 241 242 243
	int error = param->is_delete ? -ENOENT : -ENOMEM;
	char *program = param->data;
	char *domainname = strstr(program, " from ");
	if (domainname) {
		*domainname = '\0';
		domainname += 6;
	} else if (type == TOMOYO_TRANSITION_CONTROL_NO_KEEP ||
		   type == TOMOYO_TRANSITION_CONTROL_KEEP) {
		domainname = program;
		program = NULL;
	}
T
Tetsuo Handa 已提交
244
	if (program && strcmp(program, "any")) {
245 246 247 248 249 250
		if (!tomoyo_correct_path(program))
			return -EINVAL;
		e.program = tomoyo_get_name(program);
		if (!e.program)
			goto out;
	}
T
Tetsuo Handa 已提交
251
	if (domainname && strcmp(domainname, "any")) {
252 253 254
		if (!tomoyo_correct_domain(domainname)) {
			if (!tomoyo_correct_path(domainname))
				goto out;
255
			e.is_last_name = true;
256
		}
257 258
		e.domainname = tomoyo_get_name(domainname);
		if (!e.domainname)
259
			goto out;
K
Kentaro Takeda 已提交
260
	}
261
	param->list = &param->ns->policy_list[TOMOYO_ID_TRANSITION_CONTROL];
262
	error = tomoyo_update_policy(&e.head, sizeof(e), param,
T
Tetsuo Handa 已提交
263
				     tomoyo_same_transition_control);
264
out:
265 266
	tomoyo_put_name(e.domainname);
	tomoyo_put_name(e.program);
K
Kentaro Takeda 已提交
267 268 269 270
	return error;
}

/**
271
 * tomoyo_scan_transition - Try to find specific domain transition type.
K
Kentaro Takeda 已提交
272
 *
273 274 275 276 277
 * @list:       Pointer to "struct list_head".
 * @domainname: The name of current domain.
 * @program:    The name of requested program.
 * @last_name:  The last component of @domainname.
 * @type:       One of values in "enum tomoyo_transition_type".
K
Kentaro Takeda 已提交
278
 *
279
 * Returns true if found one, false otherwise.
280 281
 *
 * Caller holds tomoyo_read_lock().
K
Kentaro Takeda 已提交
282
 */
283 284 285 286
static inline bool tomoyo_scan_transition
(const struct list_head *list, const struct tomoyo_path_info *domainname,
 const struct tomoyo_path_info *program, const char *last_name,
 const enum tomoyo_transition_type type)
K
Kentaro Takeda 已提交
287
{
288
	const struct tomoyo_transition_control *ptr;
289 290 291 292 293 294 295 296
	list_for_each_entry_rcu(ptr, list, head.list) {
		if (ptr->head.is_deleted || ptr->type != type)
			continue;
		if (ptr->domainname) {
			if (!ptr->is_last_name) {
				if (ptr->domainname != domainname)
					continue;
			} else {
297
				/*
298 299
				 * Use direct strcmp() since this is
				 * unlikely used.
300
				 */
301 302
				if (strcmp(ptr->domainname->name, last_name))
					continue;
303
			}
K
Kentaro Takeda 已提交
304
		}
305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 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
		if (ptr->program && tomoyo_pathcmp(ptr->program, program))
			continue;
		return true;
	}
	return false;
}

/**
 * tomoyo_transition_type - Get domain transition type.
 *
 * @ns:         Pointer to "struct tomoyo_policy_namespace".
 * @domainname: The name of current domain.
 * @program:    The name of requested program.
 *
 * Returns TOMOYO_TRANSITION_CONTROL_TRANSIT if executing @program causes
 * domain transition across namespaces, TOMOYO_TRANSITION_CONTROL_INITIALIZE if
 * executing @program reinitializes domain transition within that namespace,
 * TOMOYO_TRANSITION_CONTROL_KEEP if executing @program stays at @domainname ,
 * others otherwise.
 *
 * Caller holds tomoyo_read_lock().
 */
static enum tomoyo_transition_type tomoyo_transition_type
(const struct tomoyo_policy_namespace *ns,
 const struct tomoyo_path_info *domainname,
 const struct tomoyo_path_info *program)
{
	const char *last_name = tomoyo_last_word(domainname->name);
	enum tomoyo_transition_type type = TOMOYO_TRANSITION_CONTROL_NO_RESET;
	while (type < TOMOYO_MAX_TRANSITION_TYPE) {
		const struct list_head * const list =
			&ns->policy_list[TOMOYO_ID_TRANSITION_CONTROL];
		if (!tomoyo_scan_transition(list, domainname, program,
					    last_name, type)) {
			type++;
			continue;
		}
		if (type != TOMOYO_TRANSITION_CONTROL_NO_RESET &&
		    type != TOMOYO_TRANSITION_CONTROL_NO_INITIALIZE)
			break;
		/*
		 * Do not check for reset_domain if no_reset_domain matched.
		 * Do not check for initialize_domain if no_initialize_domain
		 * matched.
		 */
		type++;
		type++;
K
Kentaro Takeda 已提交
352
	}
353
	return type;
K
Kentaro Takeda 已提交
354 355
}

356 357 358 359 360 361 362 363
/**
 * tomoyo_same_aggregator - Check for duplicated "struct tomoyo_aggregator" entry.
 *
 * @a: Pointer to "struct tomoyo_acl_head".
 * @b: Pointer to "struct tomoyo_acl_head".
 *
 * Returns true if @a == @b, false otherwise.
 */
T
Tetsuo Handa 已提交
364 365
static bool tomoyo_same_aggregator(const struct tomoyo_acl_head *a,
				   const struct tomoyo_acl_head *b)
366
{
367 368 369 370
	const struct tomoyo_aggregator *p1 = container_of(a, typeof(*p1),
							  head);
	const struct tomoyo_aggregator *p2 = container_of(b, typeof(*p2),
							  head);
371 372 373 374
	return p1->original_name == p2->original_name &&
		p1->aggregated_name == p2->aggregated_name;
}

375
/**
376
 * tomoyo_write_aggregator - Write "struct tomoyo_aggregator" list.
377
 *
378
 * @param: Pointer to "struct tomoyo_acl_param".
379 380 381 382 383
 *
 * Returns 0 on success, negative value otherwise.
 *
 * Caller holds tomoyo_read_lock().
 */
384
int tomoyo_write_aggregator(struct tomoyo_acl_param *param)
385
{
T
Tetsuo Handa 已提交
386
	struct tomoyo_aggregator e = { };
387 388 389 390
	int error = param->is_delete ? -ENOENT : -ENOMEM;
	const char *original_name = tomoyo_read_token(param);
	const char *aggregated_name = tomoyo_read_token(param);
	if (!tomoyo_correct_word(original_name) ||
T
Tetsuo Handa 已提交
391
	    !tomoyo_correct_path(aggregated_name))
392 393 394 395 396 397
		return -EINVAL;
	e.original_name = tomoyo_get_name(original_name);
	e.aggregated_name = tomoyo_get_name(aggregated_name);
	if (!e.original_name || !e.aggregated_name ||
	    e.aggregated_name->is_patterned) /* No patterns allowed. */
		goto out;
398
	param->list = &param->ns->policy_list[TOMOYO_ID_AGGREGATOR];
399
	error = tomoyo_update_policy(&e.head, sizeof(e), param,
T
Tetsuo Handa 已提交
400
				     tomoyo_same_aggregator);
401
out:
402 403 404 405 406
	tomoyo_put_name(e.original_name);
	tomoyo_put_name(e.aggregated_name);
	return error;
}

K
Kentaro Takeda 已提交
407
/**
408
 * tomoyo_find_namespace - Find specified namespace.
K
Kentaro Takeda 已提交
409
 *
410 411
 * @name: Name of namespace to find.
 * @len:  Length of @name.
K
Kentaro Takeda 已提交
412
 *
413 414
 * Returns pointer to "struct tomoyo_policy_namespace" if found,
 * NULL otherwise.
415 416
 *
 * Caller holds tomoyo_read_lock().
K
Kentaro Takeda 已提交
417
 */
418 419
static struct tomoyo_policy_namespace *tomoyo_find_namespace
(const char *name, const unsigned int len)
K
Kentaro Takeda 已提交
420
{
421 422 423 424 425 426 427 428 429
	struct tomoyo_policy_namespace *ns;
	list_for_each_entry(ns, &tomoyo_namespace_list, namespace_list) {
		if (strncmp(name, ns->name, len) ||
		    (name[len] && name[len] != ' '))
			continue;
		return ns;
	}
	return NULL;
}
K
Kentaro Takeda 已提交
430

431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452
/**
 * tomoyo_assign_namespace - Create a new namespace.
 *
 * @domainname: Name of namespace to create.
 *
 * Returns pointer to "struct tomoyo_policy_namespace" on success,
 * NULL otherwise.
 *
 * Caller holds tomoyo_read_lock().
 */
struct tomoyo_policy_namespace *tomoyo_assign_namespace(const char *domainname)
{
	struct tomoyo_policy_namespace *ptr;
	struct tomoyo_policy_namespace *entry;
	const char *cp = domainname;
	unsigned int len = 0;
	while (*cp && *cp++ != ' ')
		len++;
	ptr = tomoyo_find_namespace(domainname, len);
	if (ptr)
		return ptr;
	if (len >= TOMOYO_EXEC_TMPSIZE - 10 || !tomoyo_domain_def(domainname))
453
		return NULL;
454 455
	entry = kzalloc(sizeof(*entry) + len + 1, GFP_NOFS);
	if (!entry)
456
		return NULL;
457 458
	if (mutex_lock_interruptible(&tomoyo_policy_lock))
		goto out;
459 460 461 462 463 464 465 466
	ptr = tomoyo_find_namespace(domainname, len);
	if (!ptr && tomoyo_memory_ok(entry)) {
		char *name = (char *) (entry + 1);
		ptr = entry;
		memmove(name, domainname, len);
		name[len] = '\0';
		entry->name = name;
		tomoyo_init_policy_namespace(entry);
467
		entry = NULL;
K
Kentaro Takeda 已提交
468
	}
469
	mutex_unlock(&tomoyo_policy_lock);
470
out:
471
	kfree(entry);
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 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
	return ptr;
}

/**
 * tomoyo_namespace_jump - Check for namespace jump.
 *
 * @domainname: Name of domain.
 *
 * Returns true if namespace differs, false otherwise.
 */
static bool tomoyo_namespace_jump(const char *domainname)
{
	const char *namespace = tomoyo_current_namespace()->name;
	const int len = strlen(namespace);
	return strncmp(domainname, namespace, len) ||
		(domainname[len] && domainname[len] != ' ');
}

/**
 * tomoyo_assign_domain - Create a domain or a namespace.
 *
 * @domainname: The name of domain.
 * @transit:    True if transit to domain found or created.
 *
 * Returns pointer to "struct tomoyo_domain_info" on success, NULL otherwise.
 *
 * Caller holds tomoyo_read_lock().
 */
struct tomoyo_domain_info *tomoyo_assign_domain(const char *domainname,
						const bool transit)
{
	struct tomoyo_domain_info e = { };
	struct tomoyo_domain_info *entry = tomoyo_find_domain(domainname);
	bool created = false;
	if (entry) {
		if (transit) {
			/*
			 * Since namespace is created at runtime, profiles may
			 * not be created by the moment the process transits to
			 * that domain. Do not perform domain transition if
			 * profile for that domain is not yet created.
			 */
			if (!entry->ns->profile_ptr[entry->profile])
				return NULL;
		}
		return entry;
	}
	/* Requested domain does not exist. */
	/* Don't create requested domain if domainname is invalid. */
	if (strlen(domainname) >= TOMOYO_EXEC_TMPSIZE - 10 ||
	    !tomoyo_correct_domain(domainname))
		return NULL;
	/*
	 * Since definition of profiles and acl_groups may differ across
	 * namespaces, do not inherit "use_profile" and "use_group" settings
	 * by automatically creating requested domain upon domain transition.
	 */
	if (transit && tomoyo_namespace_jump(domainname))
		return NULL;
	e.ns = tomoyo_assign_namespace(domainname);
	if (!e.ns)
		return NULL;
	/*
	 * "use_profile" and "use_group" settings for automatically created
	 * domains are inherited from current domain. These are 0 for manually
	 * created domains.
	 */
	if (transit) {
		const struct tomoyo_domain_info *domain = tomoyo_domain();
		e.profile = domain->profile;
		e.group = domain->group;
	}
	e.domainname = tomoyo_get_name(domainname);
	if (!e.domainname)
		return NULL;
	if (mutex_lock_interruptible(&tomoyo_policy_lock))
		goto out;
	entry = tomoyo_find_domain(domainname);
	if (!entry) {
		entry = tomoyo_commit_ok(&e, sizeof(e));
		if (entry) {
			INIT_LIST_HEAD(&entry->acl_info_list);
			list_add_tail_rcu(&entry->list, &tomoyo_domain_list);
			created = true;
		}
	}
	mutex_unlock(&tomoyo_policy_lock);
out:
	tomoyo_put_name(e.domainname);
	if (entry && transit) {
		if (created) {
			struct tomoyo_request_info r;
			tomoyo_init_request_info(&r, entry,
						 TOMOYO_MAC_FILE_EXECUTE);
			r.granted = false;
			tomoyo_write_log(&r, "use_profile %u\n",
					 entry->profile);
			tomoyo_write_log(&r, "use_group %u\n", entry->group);
		}
	}
	return entry;
K
Kentaro Takeda 已提交
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 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660
/**
 * tomoyo_environ - Check permission for environment variable names.
 *
 * @ee: Pointer to "struct tomoyo_execve".
 *
 * Returns 0 on success, negative value otherwise.
 */
static int tomoyo_environ(struct tomoyo_execve *ee)
{
	struct tomoyo_request_info *r = &ee->r;
	struct linux_binprm *bprm = ee->bprm;
	/* env_page.data is allocated by tomoyo_dump_page(). */
	struct tomoyo_page_dump env_page = { };
	char *arg_ptr; /* Size is TOMOYO_EXEC_TMPSIZE bytes */
	int arg_len = 0;
	unsigned long pos = bprm->p;
	int offset = pos % PAGE_SIZE;
	int argv_count = bprm->argc;
	int envp_count = bprm->envc;
	int error = -ENOMEM;

	ee->r.type = TOMOYO_MAC_ENVIRON;
	ee->r.profile = r->domain->profile;
	ee->r.mode = tomoyo_get_mode(r->domain->ns, ee->r.profile,
				     TOMOYO_MAC_ENVIRON);
	if (!r->mode || !envp_count)
		return 0;
	arg_ptr = kzalloc(TOMOYO_EXEC_TMPSIZE, GFP_NOFS);
	if (!arg_ptr)
		goto out;
	while (error == -ENOMEM) {
		if (!tomoyo_dump_page(bprm, pos, &env_page))
			goto out;
		pos += PAGE_SIZE - offset;
		/* Read. */
		while (argv_count && offset < PAGE_SIZE) {
			if (!env_page.data[offset++])
				argv_count--;
		}
		if (argv_count) {
			offset = 0;
			continue;
		}
		while (offset < PAGE_SIZE) {
			const unsigned char c = env_page.data[offset++];

			if (c && arg_len < TOMOYO_EXEC_TMPSIZE - 10) {
				if (c == '=') {
					arg_ptr[arg_len++] = '\0';
				} else if (c == '\\') {
					arg_ptr[arg_len++] = '\\';
					arg_ptr[arg_len++] = '\\';
				} else if (c > ' ' && c < 127) {
					arg_ptr[arg_len++] = c;
				} else {
					arg_ptr[arg_len++] = '\\';
					arg_ptr[arg_len++] = (c >> 6) + '0';
					arg_ptr[arg_len++]
						= ((c >> 3) & 7) + '0';
					arg_ptr[arg_len++] = (c & 7) + '0';
				}
			} else {
				arg_ptr[arg_len] = '\0';
			}
			if (c)
				continue;
			if (tomoyo_env_perm(r, arg_ptr)) {
				error = -EPERM;
				break;
			}
			if (!--envp_count) {
				error = 0;
				break;
			}
			arg_len = 0;
		}
		offset = 0;
	}
out:
	if (r->mode != TOMOYO_CONFIG_ENFORCING)
		error = 0;
	kfree(env_page.data);
	kfree(arg_ptr);
	return error;
}

K
Kentaro Takeda 已提交
661 662 663
/**
 * tomoyo_find_next_domain - Find a domain.
 *
664
 * @bprm: Pointer to "struct linux_binprm".
K
Kentaro Takeda 已提交
665 666
 *
 * Returns 0 on success, negative value otherwise.
667 668
 *
 * Caller holds tomoyo_read_lock().
K
Kentaro Takeda 已提交
669
 */
670
int tomoyo_find_next_domain(struct linux_binprm *bprm)
K
Kentaro Takeda 已提交
671 672 673 674 675
{
	struct tomoyo_domain_info *old_domain = tomoyo_domain();
	struct tomoyo_domain_info *domain = NULL;
	const char *original_name = bprm->filename;
	int retval = -ENOMEM;
676
	bool reject_on_transition_failure = false;
677 678
	const struct tomoyo_path_info *candidate;
	struct tomoyo_path_info exename;
T
Tetsuo Handa 已提交
679
	struct tomoyo_execve *ee = kzalloc(sizeof(*ee), GFP_NOFS);
680

T
Tetsuo Handa 已提交
681 682 683 684 685 686 687 688 689 690 691 692 693
	if (!ee)
		return -ENOMEM;
	ee->tmp = kzalloc(TOMOYO_EXEC_TMPSIZE, GFP_NOFS);
	if (!ee->tmp) {
		kfree(ee);
		return -ENOMEM;
	}
	/* ee->dump->data is allocated by tomoyo_dump_page(). */
	tomoyo_init_request_info(&ee->r, NULL, TOMOYO_MAC_FILE_EXECUTE);
	ee->r.ee = ee;
	ee->bprm = bprm;
	ee->r.obj = &ee->obj;
	ee->obj.path1 = bprm->file->f_path;
T
Tetsuo Handa 已提交
694
	/* Get symlink's pathname of program. */
K
Kentaro Takeda 已提交
695
	retval = -ENOENT;
696 697
	exename.name = tomoyo_realpath_nofollow(original_name);
	if (!exename.name)
K
Kentaro Takeda 已提交
698
		goto out;
699 700
	tomoyo_fill_path_info(&exename);
retry:
701 702
	/* Check 'aggregator' directive. */
	{
T
Tetsuo Handa 已提交
703
		struct tomoyo_aggregator *ptr;
704 705 706
		struct list_head *list =
			&old_domain->ns->policy_list[TOMOYO_ID_AGGREGATOR];
		/* Check 'aggregator' directive. */
707
		candidate = &exename;
708
		list_for_each_entry_rcu(ptr, list, head.list) {
709
			if (ptr->head.is_deleted ||
710
			    !tomoyo_path_matches_pattern(&exename,
711 712
							 ptr->original_name))
				continue;
713
			candidate = ptr->aggregated_name;
714 715 716 717
			break;
		}
	}

K
Kentaro Takeda 已提交
718
	/* Check execute permission. */
719
	retval = tomoyo_execute_permission(&ee->r, candidate);
720 721
	if (retval == TOMOYO_RETRY_REQUEST)
		goto retry;
K
Kentaro Takeda 已提交
722 723
	if (retval < 0)
		goto out;
724 725 726 727 728 729
	/*
	 * To be able to specify domainnames with wildcards, use the
	 * pathname specified in the policy (which may contain
	 * wildcard) rather than the pathname passed to execve()
	 * (which never contains wildcard).
	 */
730 731
	if (ee->r.param.path.matched_path)
		candidate = ee->r.param.path.matched_path;
K
Kentaro Takeda 已提交
732

733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767
	/*
	 * Check for domain transition preference if "file execute" matched.
	 * If preference is given, make do_execve() fail if domain transition
	 * has failed, for domain transition preference should be used with
	 * destination domain defined.
	 */
	if (ee->transition) {
		const char *domainname = ee->transition->name;
		reject_on_transition_failure = true;
		if (!strcmp(domainname, "keep"))
			goto force_keep_domain;
		if (!strcmp(domainname, "child"))
			goto force_child_domain;
		if (!strcmp(domainname, "reset"))
			goto force_reset_domain;
		if (!strcmp(domainname, "initialize"))
			goto force_initialize_domain;
		if (!strcmp(domainname, "parent")) {
			char *cp;
			strncpy(ee->tmp, old_domain->domainname->name,
				TOMOYO_EXEC_TMPSIZE - 1);
			cp = strrchr(ee->tmp, ' ');
			if (cp)
				*cp = '\0';
		} else if (*domainname == '<')
			strncpy(ee->tmp, domainname, TOMOYO_EXEC_TMPSIZE - 1);
		else
			snprintf(ee->tmp, TOMOYO_EXEC_TMPSIZE - 1, "%s %s",
				 old_domain->domainname->name, domainname);
		goto force_jump_domain;
	}
	/*
	 * No domain transition preference specified.
	 * Calculate domain to transit to.
	 */
768
	switch (tomoyo_transition_type(old_domain->ns, old_domain->domainname,
769
				       candidate)) {
770
	case TOMOYO_TRANSITION_CONTROL_RESET:
771
force_reset_domain:
772
		/* Transit to the root of specified namespace. */
773 774
		snprintf(ee->tmp, TOMOYO_EXEC_TMPSIZE - 1, "<%s>",
			 candidate->name);
775 776 777 778 779 780
		/*
		 * Make do_execve() fail if domain transition across namespaces
		 * has failed.
		 */
		reject_on_transition_failure = true;
		break;
781
	case TOMOYO_TRANSITION_CONTROL_INITIALIZE:
782
force_initialize_domain:
783
		/* Transit to the child of current namespace's root. */
T
Tetsuo Handa 已提交
784
		snprintf(ee->tmp, TOMOYO_EXEC_TMPSIZE - 1, "%s %s",
785
			 old_domain->ns->name, candidate->name);
786 787
		break;
	case TOMOYO_TRANSITION_CONTROL_KEEP:
788
force_keep_domain:
K
Kentaro Takeda 已提交
789 790
		/* Keep current domain. */
		domain = old_domain;
791 792 793 794 795 796 797 798 799 800 801
		break;
	default:
		if (old_domain == &tomoyo_kernel_domain &&
		    !tomoyo_policy_loaded) {
			/*
			 * Needn't to transit from kernel domain before
			 * starting /sbin/init. But transit from kernel domain
			 * if executing initializers because they might start
			 * before /sbin/init.
			 */
			domain = old_domain;
802
			break;
803
		}
804
force_child_domain:
805 806 807
		/* Normal domain transition. */
		snprintf(ee->tmp, TOMOYO_EXEC_TMPSIZE - 1, "%s %s",
			 old_domain->domainname->name, candidate->name);
808
		break;
K
Kentaro Takeda 已提交
809
	}
810
force_jump_domain:
T
Tetsuo Handa 已提交
811
	if (!domain)
T
Tetsuo Handa 已提交
812
		domain = tomoyo_assign_domain(ee->tmp, true);
K
Kentaro Takeda 已提交
813
	if (domain)
814 815
		retval = 0;
	else if (reject_on_transition_failure) {
T
Tetsuo Handa 已提交
816 817
		printk(KERN_WARNING "ERROR: Domain '%s' not ready.\n",
		       ee->tmp);
818
		retval = -ENOMEM;
T
Tetsuo Handa 已提交
819
	} else if (ee->r.mode == TOMOYO_CONFIG_ENFORCING)
820 821 822
		retval = -ENOMEM;
	else {
		retval = 0;
T
Tetsuo Handa 已提交
823 824
		if (!old_domain->flags[TOMOYO_DIF_TRANSITION_FAILED]) {
			old_domain->flags[TOMOYO_DIF_TRANSITION_FAILED] = true;
T
Tetsuo Handa 已提交
825 826
			ee->r.granted = false;
			tomoyo_write_log(&ee->r, "%s", tomoyo_dif
T
Tetsuo Handa 已提交
827
					 [TOMOYO_DIF_TRANSITION_FAILED]);
828
			printk(KERN_WARNING
T
Tetsuo Handa 已提交
829
			       "ERROR: Domain '%s' not defined.\n", ee->tmp);
830 831
		}
	}
K
Kentaro Takeda 已提交
832
 out:
833 834
	if (!domain)
		domain = old_domain;
835 836
	/* Update reference count on "struct tomoyo_domain_info". */
	atomic_inc(&domain->users);
837
	bprm->cred->security = domain;
838
	kfree(exename.name);
839 840 841 842
	if (!retval) {
		ee->r.domain = domain;
		retval = tomoyo_environ(ee);
	}
T
Tetsuo Handa 已提交
843 844 845
	kfree(ee->tmp);
	kfree(ee->dump.data);
	kfree(ee);
K
Kentaro Takeda 已提交
846 847
	return retval;
}
848 849 850 851 852 853 854 855 856 857 858 859 860 861

/**
 * tomoyo_dump_page - Dump a page to buffer.
 *
 * @bprm: Pointer to "struct linux_binprm".
 * @pos:  Location to dump.
 * @dump: Poiner to "struct tomoyo_page_dump".
 *
 * Returns true on success, false otherwise.
 */
bool tomoyo_dump_page(struct linux_binprm *bprm, unsigned long pos,
		      struct tomoyo_page_dump *dump)
{
	struct page *page;
862 863

	/* dump->data is released by tomoyo_find_next_domain(). */
864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883
	if (!dump->data) {
		dump->data = kzalloc(PAGE_SIZE, GFP_NOFS);
		if (!dump->data)
			return false;
	}
	/* Same with get_arg_page(bprm, pos, 0) in fs/exec.c */
#ifdef CONFIG_MMU
	if (get_user_pages(current, bprm->mm, pos, 1, 0, 1, &page, NULL) <= 0)
		return false;
#else
	page = bprm->page[pos / PAGE_SIZE];
#endif
	if (page != dump->page) {
		const unsigned int offset = pos % PAGE_SIZE;
		/*
		 * Maybe kmap()/kunmap() should be used here.
		 * But remove_arg_zero() uses kmap_atomic()/kunmap_atomic().
		 * So do I.
		 */
		char *kaddr = kmap_atomic(page, KM_USER0);
884

885 886 887 888 889 890 891 892 893 894 895
		dump->page = page;
		memcpy(dump->data + offset, kaddr + offset,
		       PAGE_SIZE - offset);
		kunmap_atomic(kaddr, KM_USER0);
	}
	/* Same with put_arg_page(page) in fs/exec.c */
#ifdef CONFIG_MMU
	put_page(page);
#endif
	return true;
}