keyring.c 31.2 KB
Newer Older
1
/* Keyring handling
L
Linus Torvalds 已提交
2
 *
3
 * Copyright (C) 2004-2005, 2008 Red Hat, Inc. All Rights Reserved.
L
Linus Torvalds 已提交
4 5 6 7 8 9 10 11 12 13 14 15
 * Written by David Howells (dhowells@redhat.com)
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version
 * 2 of the License, or (at your option) any later version.
 */

#include <linux/module.h>
#include <linux/init.h>
#include <linux/sched.h>
#include <linux/slab.h>
16
#include <linux/security.h>
L
Linus Torvalds 已提交
17 18
#include <linux/seq_file.h>
#include <linux/err.h>
D
David Howells 已提交
19
#include <keys/keyring-type.h>
20
#include <linux/uaccess.h>
L
Linus Torvalds 已提交
21 22
#include "internal.h"

23 24 25 26 27
#define rcu_dereference_locked_keyring(keyring)				\
	(rcu_dereference_protected(					\
		(keyring)->payload.subscriptions,			\
		rwsem_is_locked((struct rw_semaphore *)&(keyring)->sem)))

28 29 30 31 32
#define rcu_deref_link_locked(klist, index, keyring)			\
	(rcu_dereference_protected(					\
		(klist)->keys[index],					\
		rwsem_is_locked((struct rw_semaphore *)&(keyring)->sem)))

33 34
#define KEY_LINK_FIXQUOTA 1UL

L
Linus Torvalds 已提交
35
/*
36 37
 * When plumbing the depths of the key tree, this sets a hard limit
 * set on how deep we're willing to go.
L
Linus Torvalds 已提交
38 39 40 41
 */
#define KEYRING_SEARCH_MAX_DEPTH 6

/*
42
 * We keep all named keyrings in a hash to speed looking them up.
L
Linus Torvalds 已提交
43 44 45 46 47 48 49 50 51 52 53
 */
#define KEYRING_NAME_HASH_SIZE	(1 << 5)

static struct list_head	keyring_name_hash[KEYRING_NAME_HASH_SIZE];
static DEFINE_RWLOCK(keyring_name_lock);

static inline unsigned keyring_hash(const char *desc)
{
	unsigned bucket = 0;

	for (; *desc; desc++)
54
		bucket += (unsigned char)*desc;
L
Linus Torvalds 已提交
55 56 57 58 59

	return bucket & (KEYRING_NAME_HASH_SIZE - 1);
}

/*
60 61 62
 * The keyring key type definition.  Keyrings are simply keys of this type and
 * can be treated as ordinary keys in addition to having their own special
 * operations.
L
Linus Torvalds 已提交
63 64 65 66
 */
static int keyring_instantiate(struct key *keyring,
			       const void *data, size_t datalen);
static int keyring_match(const struct key *keyring, const void *criterion);
67
static void keyring_revoke(struct key *keyring);
L
Linus Torvalds 已提交
68 69 70 71 72 73 74 75 76 77
static void keyring_destroy(struct key *keyring);
static void keyring_describe(const struct key *keyring, struct seq_file *m);
static long keyring_read(const struct key *keyring,
			 char __user *buffer, size_t buflen);

struct key_type key_type_keyring = {
	.name		= "keyring",
	.def_datalen	= sizeof(struct keyring_list),
	.instantiate	= keyring_instantiate,
	.match		= keyring_match,
78
	.revoke		= keyring_revoke,
L
Linus Torvalds 已提交
79 80 81 82
	.destroy	= keyring_destroy,
	.describe	= keyring_describe,
	.read		= keyring_read,
};
83 84
EXPORT_SYMBOL(key_type_keyring);

L
Linus Torvalds 已提交
85
/*
86 87
 * Semaphore to serialise link/link calls to prevent two link calls in parallel
 * introducing a cycle.
L
Linus Torvalds 已提交
88
 */
89
static DECLARE_RWSEM(keyring_serialise_link_sem);
L
Linus Torvalds 已提交
90 91

/*
92 93
 * Publish the name of a keyring so that it can be found by name (if it has
 * one).
L
Linus Torvalds 已提交
94
 */
95
static void keyring_publish_name(struct key *keyring)
L
Linus Torvalds 已提交
96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111
{
	int bucket;

	if (keyring->description) {
		bucket = keyring_hash(keyring->description);

		write_lock(&keyring_name_lock);

		if (!keyring_name_hash[bucket].next)
			INIT_LIST_HEAD(&keyring_name_hash[bucket]);

		list_add_tail(&keyring->type_data.link,
			      &keyring_name_hash[bucket]);

		write_unlock(&keyring_name_lock);
	}
112
}
L
Linus Torvalds 已提交
113 114

/*
115 116 117
 * Initialise a keyring.
 *
 * Returns 0 on success, -EINVAL if given any data.
L
Linus Torvalds 已提交
118 119 120 121 122 123 124 125 126 127 128 129 130 131
 */
static int keyring_instantiate(struct key *keyring,
			       const void *data, size_t datalen)
{
	int ret;

	ret = -EINVAL;
	if (datalen == 0) {
		/* make the keyring available by name if it has one */
		keyring_publish_name(keyring);
		ret = 0;
	}

	return ret;
132
}
L
Linus Torvalds 已提交
133 134

/*
135
 * Match keyrings on their name
L
Linus Torvalds 已提交
136 137 138 139 140
 */
static int keyring_match(const struct key *keyring, const void *description)
{
	return keyring->description &&
		strcmp(keyring->description, description) == 0;
141
}
L
Linus Torvalds 已提交
142 143

/*
144 145
 * Clean up a keyring when it is destroyed.  Unpublish its name if it had one
 * and dispose of its data.
146 147 148 149 150
 *
 * The garbage collector detects the final key_put(), removes the keyring from
 * the serial number tree and then does RCU synchronisation before coming here,
 * so we shouldn't need to worry about code poking around here with the RCU
 * readlock held by this time.
L
Linus Torvalds 已提交
151 152 153 154 155 156 157 158
 */
static void keyring_destroy(struct key *keyring)
{
	struct keyring_list *klist;
	int loop;

	if (keyring->description) {
		write_lock(&keyring_name_lock);
159 160 161 162 163

		if (keyring->type_data.link.next != NULL &&
		    !list_empty(&keyring->type_data.link))
			list_del(&keyring->type_data.link);

L
Linus Torvalds 已提交
164 165 166
		write_unlock(&keyring_name_lock);
	}

167
	klist = rcu_access_pointer(keyring->payload.subscriptions);
L
Linus Torvalds 已提交
168 169
	if (klist) {
		for (loop = klist->nkeys - 1; loop >= 0; loop--)
170
			key_put(rcu_access_pointer(klist->keys[loop]));
L
Linus Torvalds 已提交
171 172
		kfree(klist);
	}
173
}
L
Linus Torvalds 已提交
174 175

/*
176
 * Describe a keyring for /proc.
L
Linus Torvalds 已提交
177 178 179 180 181
 */
static void keyring_describe(const struct key *keyring, struct seq_file *m)
{
	struct keyring_list *klist;

182
	if (keyring->description)
L
Linus Torvalds 已提交
183
		seq_puts(m, keyring->description);
184
	else
L
Linus Torvalds 已提交
185 186
		seq_puts(m, "[anon]");

D
David Howells 已提交
187 188 189 190 191 192 193 194 195
	if (key_is_instantiated(keyring)) {
		rcu_read_lock();
		klist = rcu_dereference(keyring->payload.subscriptions);
		if (klist)
			seq_printf(m, ": %u/%u", klist->nkeys, klist->maxkeys);
		else
			seq_puts(m, ": empty");
		rcu_read_unlock();
	}
196
}
L
Linus Torvalds 已提交
197 198

/*
199 200 201
 * Read a list of key IDs from the keyring's contents in binary form
 *
 * The keyring's semaphore is read-locked by the caller.
L
Linus Torvalds 已提交
202 203 204 205 206 207 208 209 210 211
 */
static long keyring_read(const struct key *keyring,
			 char __user *buffer, size_t buflen)
{
	struct keyring_list *klist;
	struct key *key;
	size_t qty, tmp;
	int loop, ret;

	ret = 0;
212
	klist = rcu_dereference_locked_keyring(keyring);
L
Linus Torvalds 已提交
213 214 215 216 217 218 219 220 221 222 223 224 225
	if (klist) {
		/* calculate how much data we could return */
		qty = klist->nkeys * sizeof(key_serial_t);

		if (buffer && buflen > 0) {
			if (buflen > qty)
				buflen = qty;

			/* copy the IDs of the subscribed keys into the
			 * buffer */
			ret = -EFAULT;

			for (loop = 0; loop < klist->nkeys; loop++) {
226 227
				key = rcu_deref_link_locked(klist, loop,
							    keyring);
L
Linus Torvalds 已提交
228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247

				tmp = sizeof(key_serial_t);
				if (tmp > buflen)
					tmp = buflen;

				if (copy_to_user(buffer,
						 &key->serial,
						 tmp) != 0)
					goto error;

				buflen -= tmp;
				if (buflen == 0)
					break;
				buffer += tmp;
			}
		}

		ret = qty;
	}

248
error:
L
Linus Torvalds 已提交
249
	return ret;
250
}
L
Linus Torvalds 已提交
251 252

/*
253
 * Allocate a keyring and link into the destination keyring.
L
Linus Torvalds 已提交
254 255
 */
struct key *keyring_alloc(const char *description, uid_t uid, gid_t gid,
D
David Howells 已提交
256
			  const struct cred *cred, unsigned long flags,
257
			  struct key *dest)
L
Linus Torvalds 已提交
258 259 260 261 262
{
	struct key *keyring;
	int ret;

	keyring = key_alloc(&key_type_keyring, description,
D
David Howells 已提交
263
			    uid, gid, cred,
264
			    (KEY_POS_ALL & ~KEY_POS_SETATTR) | KEY_USR_ALL,
265
			    flags);
L
Linus Torvalds 已提交
266 267

	if (!IS_ERR(keyring)) {
268
		ret = key_instantiate_and_link(keyring, NULL, 0, dest, NULL);
L
Linus Torvalds 已提交
269 270 271 272 273 274 275
		if (ret < 0) {
			key_put(keyring);
			keyring = ERR_PTR(ret);
		}
	}

	return keyring;
276
}
L
Linus Torvalds 已提交
277

278 279 280 281 282 283 284
/**
 * keyring_search_aux - Search a keyring tree for a key matching some criteria
 * @keyring_ref: A pointer to the keyring with possession indicator.
 * @cred: The credentials to use for permissions checks.
 * @type: The type of key to search for.
 * @description: Parameter for @match.
 * @match: Function to rule on whether or not a key is the one required.
D
David Howells 已提交
285
 * @no_state_check: Don't check if a matching key is bad
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
 *
 * Search the supplied keyring tree for a key that matches the criteria given.
 * The root keyring and any linked keyrings must grant Search permission to the
 * caller to be searchable and keys can only be found if they too grant Search
 * to the caller. The possession flag on the root keyring pointer controls use
 * of the possessor bits in permissions checking of the entire tree.  In
 * addition, the LSM gets to forbid keyring searches and key matches.
 *
 * The search is performed as a breadth-then-depth search up to the prescribed
 * limit (KEYRING_SEARCH_MAX_DEPTH).
 *
 * Keys are matched to the type provided and are then filtered by the match
 * function, which is given the description to use in any way it sees fit.  The
 * match function may use any attributes of a key that it wishes to to
 * determine the match.  Normally the match function from the key type would be
 * used.
 *
 * RCU is used to prevent the keyring key lists from disappearing without the
 * need to take lots of locks.
 *
 * Returns a pointer to the found key and increments the key usage count if
 * successful; -EAGAIN if no matching keys were found, or if expired or revoked
 * keys were found; -ENOKEY if only negative keys were found; -ENOTDIR if the
 * specified keyring wasn't a keyring.
 *
 * In the case of a successful return, the possession attribute from
 * @keyring_ref is propagated to the returned key reference.
L
Linus Torvalds 已提交
313
 */
314
key_ref_t keyring_search_aux(key_ref_t keyring_ref,
D
David Howells 已提交
315
			     const struct cred *cred,
316 317
			     struct key_type *type,
			     const void *description,
D
David Howells 已提交
318 319
			     key_match_func_t match,
			     bool no_state_check)
L
Linus Torvalds 已提交
320 321
{
	struct {
322
		struct keyring_list *keylist;
L
Linus Torvalds 已提交
323 324 325 326 327
		int kix;
	} stack[KEYRING_SEARCH_MAX_DEPTH];

	struct keyring_list *keylist;
	struct timespec now;
328
	unsigned long possessed, kflags;
329 330
	struct key *keyring, *key;
	key_ref_t key_ref;
L
Linus Torvalds 已提交
331
	long err;
332
	int sp, nkeys, kix;
L
Linus Torvalds 已提交
333

334 335
	keyring = key_ref_to_ptr(keyring_ref);
	possessed = is_key_possessed(keyring_ref);
L
Linus Torvalds 已提交
336 337 338
	key_check(keyring);

	/* top keyring must have search permission to begin the search */
339
	err = key_task_permission(keyring_ref, cred, KEY_SEARCH);
340 341
	if (err < 0) {
		key_ref = ERR_PTR(err);
L
Linus Torvalds 已提交
342
		goto error;
343
	}
L
Linus Torvalds 已提交
344

345
	key_ref = ERR_PTR(-ENOTDIR);
L
Linus Torvalds 已提交
346 347 348
	if (keyring->type != &key_type_keyring)
		goto error;

349 350
	rcu_read_lock();

L
Linus Torvalds 已提交
351 352 353 354
	now = current_kernel_time();
	err = -EAGAIN;
	sp = 0;

355 356 357 358 359 360
	/* firstly we should check to see if this top-level keyring is what we
	 * are looking for */
	key_ref = ERR_PTR(-EAGAIN);
	kflags = keyring->flags;
	if (keyring->type == type && match(keyring, description)) {
		key = keyring;
D
David Howells 已提交
361 362
		if (no_state_check)
			goto found;
363 364 365 366 367 368 369

		/* check it isn't negative and hasn't expired or been
		 * revoked */
		if (kflags & (1 << KEY_FLAG_REVOKED))
			goto error_2;
		if (key->expiry && now.tv_sec >= key->expiry)
			goto error_2;
370
		key_ref = ERR_PTR(key->type_data.reject_error);
371 372 373 374 375 376 377 378 379 380 381 382
		if (kflags & (1 << KEY_FLAG_NEGATIVE))
			goto error_2;
		goto found;
	}

	/* otherwise, the top keyring must not be revoked, expired, or
	 * negatively instantiated if we are to search it */
	key_ref = ERR_PTR(-EAGAIN);
	if (kflags & ((1 << KEY_FLAG_REVOKED) | (1 << KEY_FLAG_NEGATIVE)) ||
	    (keyring->expiry && now.tv_sec >= keyring->expiry))
		goto error_2;

L
Linus Torvalds 已提交
383
	/* start processing a new keyring */
384
descend:
385
	if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
L
Linus Torvalds 已提交
386 387
		goto not_this_keyring;

388
	keylist = rcu_dereference(keyring->payload.subscriptions);
L
Linus Torvalds 已提交
389 390 391 392
	if (!keylist)
		goto not_this_keyring;

	/* iterate through the keys in this keyring first */
393 394 395
	nkeys = keylist->nkeys;
	smp_rmb();
	for (kix = 0; kix < nkeys; kix++) {
396
		key = rcu_dereference(keylist->keys[kix]);
397
		kflags = key->flags;
L
Linus Torvalds 已提交
398 399 400 401 402 403

		/* ignore keys not of this type */
		if (key->type != type)
			continue;

		/* skip revoked keys and expired keys */
D
David Howells 已提交
404 405 406
		if (!no_state_check) {
			if (kflags & (1 << KEY_FLAG_REVOKED))
				continue;
L
Linus Torvalds 已提交
407

D
David Howells 已提交
408 409 410
			if (key->expiry && now.tv_sec >= key->expiry)
				continue;
		}
L
Linus Torvalds 已提交
411 412 413 414 415 416

		/* keys that don't match */
		if (!match(key, description))
			continue;

		/* key must have search permissions */
417
		if (key_task_permission(make_key_ref(key, possessed),
D
David Howells 已提交
418
					cred, KEY_SEARCH) < 0)
L
Linus Torvalds 已提交
419 420
			continue;

D
David Howells 已提交
421 422 423
		if (no_state_check)
			goto found;

424 425
		/* we set a different error code if we pass a negative key */
		if (kflags & (1 << KEY_FLAG_NEGATIVE)) {
426
			err = key->type_data.reject_error;
L
Linus Torvalds 已提交
427 428 429 430 431 432 433 434
			continue;
		}

		goto found;
	}

	/* search through the keyrings nested in this one */
	kix = 0;
435
ascend:
436 437 438
	nkeys = keylist->nkeys;
	smp_rmb();
	for (; kix < nkeys; kix++) {
439
		key = rcu_dereference(keylist->keys[kix]);
L
Linus Torvalds 已提交
440
		if (key->type != &key_type_keyring)
441
			continue;
L
Linus Torvalds 已提交
442 443 444 445 446

		/* recursively search nested keyrings
		 * - only search keyrings for which we have search permission
		 */
		if (sp >= KEYRING_SEARCH_MAX_DEPTH)
447
			continue;
L
Linus Torvalds 已提交
448

449
		if (key_task_permission(make_key_ref(key, possessed),
D
David Howells 已提交
450
					cred, KEY_SEARCH) < 0)
451
			continue;
L
Linus Torvalds 已提交
452 453

		/* stack the current position */
454
		stack[sp].keylist = keylist;
L
Linus Torvalds 已提交
455 456 457 458 459 460 461 462 463 464
		stack[sp].kix = kix;
		sp++;

		/* begin again with the new keyring */
		keyring = key;
		goto descend;
	}

	/* the keyring we're looking at was disqualified or didn't contain a
	 * matching key */
465
not_this_keyring:
L
Linus Torvalds 已提交
466 467 468
	if (sp > 0) {
		/* resume the processing of a keyring higher up in the tree */
		sp--;
469
		keylist = stack[sp].keylist;
L
Linus Torvalds 已提交
470 471 472 473
		kix = stack[sp].kix + 1;
		goto ascend;
	}

474 475
	key_ref = ERR_PTR(err);
	goto error_2;
L
Linus Torvalds 已提交
476 477

	/* we found a viable match */
478
found:
L
Linus Torvalds 已提交
479 480
	atomic_inc(&key->usage);
	key_check(key);
481 482
	key_ref = make_key_ref(key, possessed);
error_2:
483
	rcu_read_unlock();
484 485
error:
	return key_ref;
486
}
L
Linus Torvalds 已提交
487

488 489 490 491 492 493 494 495
/**
 * keyring_search - Search the supplied keyring tree for a matching key
 * @keyring: The root of the keyring tree to be searched.
 * @type: The type of keyring we want to find.
 * @description: The name of the keyring we want to find.
 *
 * As keyring_search_aux() above, but using the current task's credentials and
 * type's default matching function.
L
Linus Torvalds 已提交
496
 */
497 498 499
key_ref_t keyring_search(key_ref_t keyring,
			 struct key_type *type,
			 const char *description)
L
Linus Torvalds 已提交
500
{
501 502 503
	if (!type->match)
		return ERR_PTR(-ENOKEY);

D
David Howells 已提交
504
	return keyring_search_aux(keyring, current->cred,
D
David Howells 已提交
505
				  type, description, type->match, false);
506
}
L
Linus Torvalds 已提交
507 508 509
EXPORT_SYMBOL(keyring_search);

/*
510 511 512 513 514 515 516 517 518 519 520 521 522
 * Search the given keyring only (no recursion).
 *
 * The caller must guarantee that the keyring is a keyring and that the
 * permission is granted to search the keyring as no check is made here.
 *
 * RCU is used to make it unnecessary to lock the keyring key list here.
 *
 * Returns a pointer to the found key with usage count incremented if
 * successful and returns -ENOKEY if not found.  Revoked keys and keys not
 * providing the requested permission are skipped over.
 *
 * If successful, the possession indicator is propagated from the keyring ref
 * to the returned key reference.
L
Linus Torvalds 已提交
523
 */
524 525 526 527
key_ref_t __keyring_search_one(key_ref_t keyring_ref,
			       const struct key_type *ktype,
			       const char *description,
			       key_perm_t perm)
L
Linus Torvalds 已提交
528 529
{
	struct keyring_list *klist;
530 531
	unsigned long possessed;
	struct key *keyring, *key;
532
	int nkeys, loop;
L
Linus Torvalds 已提交
533

534 535 536
	keyring = key_ref_to_ptr(keyring_ref);
	possessed = is_key_possessed(keyring_ref);

537 538 539
	rcu_read_lock();

	klist = rcu_dereference(keyring->payload.subscriptions);
L
Linus Torvalds 已提交
540
	if (klist) {
541 542 543
		nkeys = klist->nkeys;
		smp_rmb();
		for (loop = 0; loop < nkeys ; loop++) {
544
			key = rcu_dereference(klist->keys[loop]);
L
Linus Torvalds 已提交
545
			if (key->type == ktype &&
546 547
			    (!key->type->match ||
			     key->type->match(key, description)) &&
548
			    key_permission(make_key_ref(key, possessed),
549
					   perm) == 0 &&
550
			    !test_bit(KEY_FLAG_REVOKED, &key->flags)
L
Linus Torvalds 已提交
551 552 553 554 555
			    )
				goto found;
		}
	}

556 557
	rcu_read_unlock();
	return ERR_PTR(-ENOKEY);
L
Linus Torvalds 已提交
558

559
found:
L
Linus Torvalds 已提交
560
	atomic_inc(&key->usage);
561
	rcu_read_unlock();
562
	return make_key_ref(key, possessed);
563
}
L
Linus Torvalds 已提交
564 565

/*
566 567 568 569 570 571 572 573 574
 * Find a keyring with the specified name.
 *
 * All named keyrings in the current user namespace are searched, provided they
 * grant Search permission directly to the caller (unless this check is
 * skipped).  Keyrings whose usage points have reached zero or who have been
 * revoked are skipped.
 *
 * Returns a pointer to the keyring with the keyring's refcount having being
 * incremented on success.  -ENOKEY is returned if a key could not be found.
L
Linus Torvalds 已提交
575
 */
576
struct key *find_keyring_by_name(const char *name, bool skip_perm_check)
L
Linus Torvalds 已提交
577 578 579 580 581
{
	struct key *keyring;
	int bucket;

	if (!name)
582
		return ERR_PTR(-EINVAL);
L
Linus Torvalds 已提交
583 584 585 586 587 588 589 590 591 592 593 594

	bucket = keyring_hash(name);

	read_lock(&keyring_name_lock);

	if (keyring_name_hash[bucket].next) {
		/* search this hash bucket for a keyring with a matching name
		 * that's readable and that hasn't been revoked */
		list_for_each_entry(keyring,
				    &keyring_name_hash[bucket],
				    type_data.link
				    ) {
595 596 597
			if (keyring->user->user_ns != current_user_ns())
				continue;

598
			if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
L
Linus Torvalds 已提交
599 600 601 602 603
				continue;

			if (strcmp(keyring->description, name) != 0)
				continue;

604 605
			if (!skip_perm_check &&
			    key_permission(make_key_ref(keyring, 0),
606
					   KEY_SEARCH) < 0)
L
Linus Torvalds 已提交
607 608
				continue;

609 610 611 612 613 614
			/* we've got a match but we might end up racing with
			 * key_cleanup() if the keyring is currently 'dead'
			 * (ie. it has a zero usage count) */
			if (!atomic_inc_not_zero(&keyring->usage))
				continue;
			goto out;
L
Linus Torvalds 已提交
615 616 617 618
		}
	}

	keyring = ERR_PTR(-ENOKEY);
619 620
out:
	read_unlock(&keyring_name_lock);
L
Linus Torvalds 已提交
621
	return keyring;
622
}
L
Linus Torvalds 已提交
623 624

/*
625 626 627 628 629
 * See if a cycle will will be created by inserting acyclic tree B in acyclic
 * tree A at the topmost level (ie: as a direct child of A).
 *
 * Since we are adding B to A at the top level, checking for cycles should just
 * be a matter of seeing if node A is somewhere in tree B.
L
Linus Torvalds 已提交
630 631 632 633
 */
static int keyring_detect_cycle(struct key *A, struct key *B)
{
	struct {
634
		struct keyring_list *keylist;
L
Linus Torvalds 已提交
635 636 637 638 639
		int kix;
	} stack[KEYRING_SEARCH_MAX_DEPTH];

	struct keyring_list *keylist;
	struct key *subtree, *key;
640
	int sp, nkeys, kix, ret;
L
Linus Torvalds 已提交
641

642 643
	rcu_read_lock();

L
Linus Torvalds 已提交
644 645
	ret = -EDEADLK;
	if (A == B)
646
		goto cycle_detected;
L
Linus Torvalds 已提交
647 648 649 650 651

	subtree = B;
	sp = 0;

	/* start processing a new keyring */
652
descend:
653
	if (test_bit(KEY_FLAG_REVOKED, &subtree->flags))
L
Linus Torvalds 已提交
654 655
		goto not_this_keyring;

656
	keylist = rcu_dereference(subtree->payload.subscriptions);
L
Linus Torvalds 已提交
657 658 659 660
	if (!keylist)
		goto not_this_keyring;
	kix = 0;

661
ascend:
L
Linus Torvalds 已提交
662
	/* iterate through the remaining keys in this keyring */
663 664 665
	nkeys = keylist->nkeys;
	smp_rmb();
	for (; kix < nkeys; kix++) {
666
		key = rcu_dereference(keylist->keys[kix]);
L
Linus Torvalds 已提交
667 668 669 670 671 672 673 674 675 676

		if (key == A)
			goto cycle_detected;

		/* recursively check nested keyrings */
		if (key->type == &key_type_keyring) {
			if (sp >= KEYRING_SEARCH_MAX_DEPTH)
				goto too_deep;

			/* stack the current position */
677
			stack[sp].keylist = keylist;
L
Linus Torvalds 已提交
678 679 680 681 682 683 684 685 686 687 688
			stack[sp].kix = kix;
			sp++;

			/* begin again with the new keyring */
			subtree = key;
			goto descend;
		}
	}

	/* the keyring we're looking at was disqualified or didn't contain a
	 * matching key */
689
not_this_keyring:
L
Linus Torvalds 已提交
690 691 692
	if (sp > 0) {
		/* resume the checking of a keyring higher up in the tree */
		sp--;
693
		keylist = stack[sp].keylist;
L
Linus Torvalds 已提交
694 695 696 697 698 699
		kix = stack[sp].kix + 1;
		goto ascend;
	}

	ret = 0; /* no cycles detected */

700
error:
701
	rcu_read_unlock();
L
Linus Torvalds 已提交
702 703
	return ret;

704
too_deep:
L
Linus Torvalds 已提交
705
	ret = -ELOOP;
706 707
	goto error;

708
cycle_detected:
L
Linus Torvalds 已提交
709 710
	ret = -EDEADLK;
	goto error;
711
}
L
Linus Torvalds 已提交
712

713
/*
714
 * Dispose of a keyring list after the RCU grace period, freeing the unlinked
715 716 717 718 719 720 721
 * key
 */
static void keyring_unlink_rcu_disposal(struct rcu_head *rcu)
{
	struct keyring_list *klist =
		container_of(rcu, struct keyring_list, rcu);

722
	if (klist->delkey != USHRT_MAX)
723
		key_put(rcu_access_pointer(klist->keys[klist->delkey]));
724
	kfree(klist);
725
}
726

L
Linus Torvalds 已提交
727
/*
728
 * Preallocate memory so that a key can be linked into to a keyring.
L
Linus Torvalds 已提交
729
 */
730
int __key_link_begin(struct key *keyring, const struct key_type *type,
731
		     const char *description, unsigned long *_prealloc)
732
	__acquires(&keyring->sem)
L
Linus Torvalds 已提交
733 734
{
	struct keyring_list *klist, *nklist;
735
	unsigned long prealloc;
L
Linus Torvalds 已提交
736 737
	unsigned max;
	size_t size;
738
	int loop, ret;
L
Linus Torvalds 已提交
739

740
	kenter("%d,%s,%s,", key_serial(keyring), type->name, description);
L
Linus Torvalds 已提交
741 742

	if (keyring->type != &key_type_keyring)
743 744 745 746 747 748 749
		return -ENOTDIR;

	down_write(&keyring->sem);

	ret = -EKEYREVOKED;
	if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
		goto error_krsem;
L
Linus Torvalds 已提交
750

751 752 753
	/* serialise link/link calls to prevent parallel calls causing a cycle
	 * when linking two keyring in opposite orders */
	if (type == &key_type_keyring)
754 755
		down_write(&keyring_serialise_link_sem);

756
	klist = rcu_dereference_locked_keyring(keyring);
L
Linus Torvalds 已提交
757

758 759 760
	/* see if there's a matching key we can displace */
	if (klist && klist->nkeys > 0) {
		for (loop = klist->nkeys - 1; loop >= 0; loop--) {
761 762 763 764 765 766 767 768 769 770
			struct key *key = rcu_deref_link_locked(klist, loop,
								keyring);
			if (key->type == type &&
			    strcmp(key->description, description) == 0) {
				/* Found a match - we'll replace the link with
				 * one to the new key.  We record the slot
				 * position.
				 */
				klist->delkey = loop;
				prealloc = 0;
771 772 773 774 775
				goto done;
			}
		}
	}

L
Linus Torvalds 已提交
776 777 778 779
	/* check that we aren't going to overrun the user's quota */
	ret = key_payload_reserve(keyring,
				  keyring->datalen + KEYQUOTA_LINK_BYTES);
	if (ret < 0)
780
		goto error_sem;
L
Linus Torvalds 已提交
781 782

	if (klist && klist->nkeys < klist->maxkeys) {
783
		/* there's sufficient slack space to append directly */
784
		klist->delkey = klist->nkeys;
785
		prealloc = KEY_LINK_FIXQUOTA;
786
	} else {
L
Linus Torvalds 已提交
787 788 789 790 791 792
		/* grow the key list */
		max = 4;
		if (klist)
			max += klist->maxkeys;

		ret = -ENFILE;
793
		if (max > USHRT_MAX - 1)
794
			goto error_quota;
795
		size = sizeof(*klist) + sizeof(struct key *) * max;
L
Linus Torvalds 已提交
796
		if (size > PAGE_SIZE)
797
			goto error_quota;
L
Linus Torvalds 已提交
798 799 800 801

		ret = -ENOMEM;
		nklist = kmalloc(size, GFP_KERNEL);
		if (!nklist)
802
			goto error_quota;
L
Linus Torvalds 已提交
803

804
		nklist->maxkeys = max;
L
Linus Torvalds 已提交
805
		if (klist) {
806
			memcpy(nklist->keys, klist->keys,
L
Linus Torvalds 已提交
807
			       sizeof(struct key *) * klist->nkeys);
808 809
			nklist->delkey = klist->nkeys;
			nklist->nkeys = klist->nkeys + 1;
810
			klist->delkey = USHRT_MAX;
811 812 813
		} else {
			nklist->nkeys = 1;
			nklist->delkey = 0;
L
Linus Torvalds 已提交
814 815 816
		}

		/* add the key into the new space */
817 818
		RCU_INIT_POINTER(nklist->keys[nklist->delkey], NULL);
		prealloc = (unsigned long)nklist | KEY_LINK_FIXQUOTA;
L
Linus Torvalds 已提交
819 820
	}

821
done:
822
	*_prealloc = prealloc;
823 824
	kleave(" = 0");
	return 0;
L
Linus Torvalds 已提交
825

826
error_quota:
L
Linus Torvalds 已提交
827 828 829
	/* undo the quota changes */
	key_payload_reserve(keyring,
			    keyring->datalen - KEYQUOTA_LINK_BYTES);
830 831 832 833 834 835 836 837
error_sem:
	if (type == &key_type_keyring)
		up_write(&keyring_serialise_link_sem);
error_krsem:
	up_write(&keyring->sem);
	kleave(" = %d", ret);
	return ret;
}
L
Linus Torvalds 已提交
838

839
/*
840 841 842 843
 * Check already instantiated keys aren't going to be a problem.
 *
 * The caller must have called __key_link_begin(). Don't need to call this for
 * keys that were created since __key_link_begin() was called.
844 845 846 847 848 849 850 851 852 853 854
 */
int __key_link_check_live_key(struct key *keyring, struct key *key)
{
	if (key->type == &key_type_keyring)
		/* check that we aren't going to create a cycle by linking one
		 * keyring to another */
		return keyring_detect_cycle(keyring, key);
	return 0;
}

/*
855 856 857 858 859 860
 * Link a key into to a keyring.
 *
 * Must be called with __key_link_begin() having being called.  Discards any
 * already extant link to matching key if there is one, so that each keyring
 * holds at most one link to any given key of a particular type+description
 * combination.
861 862
 */
void __key_link(struct key *keyring, struct key *key,
863
		unsigned long *_prealloc)
864 865
{
	struct keyring_list *klist, *nklist;
866
	struct key *discard;
867

868 869
	nklist = (struct keyring_list *)(*_prealloc & ~KEY_LINK_FIXQUOTA);
	*_prealloc = 0;
870 871 872

	kenter("%d,%d,%p", keyring->serial, key->serial, nklist);

873
	klist = rcu_dereference_locked_keyring(keyring);
874 875 876 877 878 879

	atomic_inc(&key->usage);

	/* there's a matching key we can displace or an empty slot in a newly
	 * allocated list we can fill */
	if (nklist) {
880
		kdebug("reissue %hu/%hu/%hu",
881 882
		       nklist->delkey, nklist->nkeys, nklist->maxkeys);

883
		RCU_INIT_POINTER(nklist->keys[nklist->delkey], key);
884 885 886 887 888 889 890 891 892 893

		rcu_assign_pointer(keyring->payload.subscriptions, nklist);

		/* dispose of the old keyring list and, if there was one, the
		 * displaced key */
		if (klist) {
			kdebug("dispose %hu/%hu/%hu",
			       klist->delkey, klist->nkeys, klist->maxkeys);
			call_rcu(&klist->rcu, keyring_unlink_rcu_disposal);
		}
894 895 896 897 898 899 900 901 902 903 904
	} else if (klist->delkey < klist->nkeys) {
		kdebug("replace %hu/%hu/%hu",
		       klist->delkey, klist->nkeys, klist->maxkeys);

		discard = rcu_dereference_protected(
			klist->keys[klist->delkey],
			rwsem_is_locked(&keyring->sem));
		rcu_assign_pointer(klist->keys[klist->delkey], key);
		/* The garbage collector will take care of RCU
		 * synchronisation */
		key_put(discard);
905 906
	} else {
		/* there's sufficient slack space to append directly */
907 908 909 910
		kdebug("append %hu/%hu/%hu",
		       klist->delkey, klist->nkeys, klist->maxkeys);

		RCU_INIT_POINTER(klist->keys[klist->delkey], key);
911 912 913 914 915 916
		smp_wmb();
		klist->nkeys++;
	}
}

/*
917 918 919
 * Finish linking a key into to a keyring.
 *
 * Must be called with __key_link_begin() having being called.
920 921
 */
void __key_link_end(struct key *keyring, struct key_type *type,
922
		    unsigned long prealloc)
923 924 925 926
	__releases(&keyring->sem)
{
	BUG_ON(type == NULL);
	BUG_ON(type->name == NULL);
927
	kenter("%d,%s,%lx", keyring->serial, type->name, prealloc);
928 929 930 931 932

	if (type == &key_type_keyring)
		up_write(&keyring_serialise_link_sem);

	if (prealloc) {
933 934 935 936 937
		if (prealloc & KEY_LINK_FIXQUOTA)
			key_payload_reserve(keyring,
					    keyring->datalen -
					    KEYQUOTA_LINK_BYTES);
		kfree((struct keyring_list *)(prealloc & ~KEY_LINK_FIXQUOTA));
938 939 940
	}
	up_write(&keyring->sem);
}
L
Linus Torvalds 已提交
941

942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960
/**
 * key_link - Link a key to a keyring
 * @keyring: The keyring to make the link in.
 * @key: The key to link to.
 *
 * Make a link in a keyring to a key, such that the keyring holds a reference
 * on that key and the key can potentially be found by searching that keyring.
 *
 * This function will write-lock the keyring's semaphore and will consume some
 * of the user's key data quota to hold the link.
 *
 * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring,
 * -EKEYREVOKED if the keyring has been revoked, -ENFILE if the keyring is
 * full, -EDQUOT if there is insufficient key data quota remaining to add
 * another link or -ENOMEM if there's insufficient memory.
 *
 * It is assumed that the caller has checked that it is permitted for a link to
 * be made (the keyring should have Write permission and the key Link
 * permission).
L
Linus Torvalds 已提交
961 962 963
 */
int key_link(struct key *keyring, struct key *key)
{
964
	unsigned long prealloc;
L
Linus Torvalds 已提交
965 966 967 968 969
	int ret;

	key_check(keyring);
	key_check(key);

970 971 972 973 974 975 976
	ret = __key_link_begin(keyring, key->type, key->description, &prealloc);
	if (ret == 0) {
		ret = __key_link_check_live_key(keyring, key);
		if (ret == 0)
			__key_link(keyring, key, &prealloc);
		__key_link_end(keyring, key->type, prealloc);
	}
L
Linus Torvalds 已提交
977 978

	return ret;
979
}
L
Linus Torvalds 已提交
980 981
EXPORT_SYMBOL(key_link);

982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997
/**
 * key_unlink - Unlink the first link to a key from a keyring.
 * @keyring: The keyring to remove the link from.
 * @key: The key the link is to.
 *
 * Remove a link from a keyring to a key.
 *
 * This function will write-lock the keyring's semaphore.
 *
 * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring, -ENOENT if
 * the key isn't linked to by the keyring or -ENOMEM if there's insufficient
 * memory.
 *
 * It is assumed that the caller has checked that it is permitted for a link to
 * be removed (the keyring should have Write permission; no permissions are
 * required on the key).
L
Linus Torvalds 已提交
998 999 1000
 */
int key_unlink(struct key *keyring, struct key *key)
{
1001
	struct keyring_list *klist, *nklist;
L
Linus Torvalds 已提交
1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012
	int loop, ret;

	key_check(keyring);
	key_check(key);

	ret = -ENOTDIR;
	if (keyring->type != &key_type_keyring)
		goto error;

	down_write(&keyring->sem);

1013
	klist = rcu_dereference_locked_keyring(keyring);
L
Linus Torvalds 已提交
1014 1015 1016
	if (klist) {
		/* search the keyring for the key */
		for (loop = 0; loop < klist->nkeys; loop++)
1017
			if (rcu_access_pointer(klist->keys[loop]) == key)
L
Linus Torvalds 已提交
1018 1019 1020 1021 1022 1023 1024
				goto key_is_present;
	}

	up_write(&keyring->sem);
	ret = -ENOENT;
	goto error;

1025 1026
key_is_present:
	/* we need to copy the key list for RCU purposes */
1027 1028
	nklist = kmalloc(sizeof(*klist) +
			 sizeof(struct key *) * klist->maxkeys,
1029 1030 1031 1032 1033 1034 1035 1036 1037
			 GFP_KERNEL);
	if (!nklist)
		goto nomem;
	nklist->maxkeys = klist->maxkeys;
	nklist->nkeys = klist->nkeys - 1;

	if (loop > 0)
		memcpy(&nklist->keys[0],
		       &klist->keys[0],
1038
		       loop * sizeof(struct key *));
1039 1040 1041 1042

	if (loop < nklist->nkeys)
		memcpy(&nklist->keys[loop],
		       &klist->keys[loop + 1],
1043
		       (nklist->nkeys - loop) * sizeof(struct key *));
1044

L
Linus Torvalds 已提交
1045 1046 1047 1048
	/* adjust the user's quota */
	key_payload_reserve(keyring,
			    keyring->datalen - KEYQUOTA_LINK_BYTES);

1049
	rcu_assign_pointer(keyring->payload.subscriptions, nklist);
L
Linus Torvalds 已提交
1050

1051
	up_write(&keyring->sem);
L
Linus Torvalds 已提交
1052

1053 1054 1055
	/* schedule for later cleanup */
	klist->delkey = loop;
	call_rcu(&klist->rcu, keyring_unlink_rcu_disposal);
L
Linus Torvalds 已提交
1056 1057 1058

	ret = 0;

1059
error:
L
Linus Torvalds 已提交
1060
	return ret;
1061 1062 1063 1064
nomem:
	ret = -ENOMEM;
	up_write(&keyring->sem);
	goto error;
1065
}
L
Linus Torvalds 已提交
1066 1067
EXPORT_SYMBOL(key_unlink);

1068
/*
1069 1070
 * Dispose of a keyring list after the RCU grace period, releasing the keys it
 * links to.
1071 1072 1073 1074 1075 1076 1077 1078 1079
 */
static void keyring_clear_rcu_disposal(struct rcu_head *rcu)
{
	struct keyring_list *klist;
	int loop;

	klist = container_of(rcu, struct keyring_list, rcu);

	for (loop = klist->nkeys - 1; loop >= 0; loop--)
1080
		key_put(rcu_access_pointer(klist->keys[loop]));
1081 1082

	kfree(klist);
1083
}
1084

1085 1086 1087 1088 1089 1090 1091
/**
 * keyring_clear - Clear a keyring
 * @keyring: The keyring to clear.
 *
 * Clear the contents of the specified keyring.
 *
 * Returns 0 if successful or -ENOTDIR if the keyring isn't a keyring.
L
Linus Torvalds 已提交
1092 1093 1094 1095
 */
int keyring_clear(struct key *keyring)
{
	struct keyring_list *klist;
1096
	int ret;
L
Linus Torvalds 已提交
1097 1098 1099 1100 1101 1102

	ret = -ENOTDIR;
	if (keyring->type == &key_type_keyring) {
		/* detach the pointer block with the locks held */
		down_write(&keyring->sem);

1103
		klist = rcu_dereference_locked_keyring(keyring);
L
Linus Torvalds 已提交
1104 1105 1106 1107 1108
		if (klist) {
			/* adjust the quota */
			key_payload_reserve(keyring,
					    sizeof(struct keyring_list));

1109 1110
			rcu_assign_pointer(keyring->payload.subscriptions,
					   NULL);
L
Linus Torvalds 已提交
1111 1112 1113 1114 1115
		}

		up_write(&keyring->sem);

		/* free the keys after the locks have been dropped */
1116 1117
		if (klist)
			call_rcu(&klist->rcu, keyring_clear_rcu_disposal);
L
Linus Torvalds 已提交
1118 1119 1120 1121 1122

		ret = 0;
	}

	return ret;
1123
}
L
Linus Torvalds 已提交
1124
EXPORT_SYMBOL(keyring_clear);
1125 1126

/*
1127 1128 1129
 * Dispose of the links from a revoked keyring.
 *
 * This is called with the key sem write-locked.
1130 1131 1132
 */
static void keyring_revoke(struct key *keyring)
{
1133 1134 1135
	struct keyring_list *klist;

	klist = rcu_dereference_locked_keyring(keyring);
1136 1137 1138 1139 1140 1141 1142 1143

	/* adjust the quota */
	key_payload_reserve(keyring, 0);

	if (klist) {
		rcu_assign_pointer(keyring->payload.subscriptions, NULL);
		call_rcu(&klist->rcu, keyring_clear_rcu_disposal);
	}
1144
}
1145 1146

/*
1147
 * Determine whether a key is dead.
1148 1149 1150 1151 1152 1153 1154 1155
 */
static bool key_is_dead(struct key *key, time_t limit)
{
	return test_bit(KEY_FLAG_DEAD, &key->flags) ||
		(key->expiry > 0 && key->expiry <= limit);
}

/*
1156 1157 1158 1159 1160 1161
 * Collect garbage from the contents of a keyring, replacing the old list with
 * a new one with the pointers all shuffled down.
 *
 * Dead keys are classed as oned that are flagged as being dead or are revoked,
 * expired or negative keys that were revoked or expired before the specified
 * limit.
1162 1163 1164 1165 1166 1167 1168
 */
void keyring_gc(struct key *keyring, time_t limit)
{
	struct keyring_list *klist, *new;
	struct key *key;
	int loop, keep, max;

D
David Howells 已提交
1169
	kenter("{%x,%s}", key_serial(keyring), keyring->description);
1170 1171 1172

	down_write(&keyring->sem);

1173
	klist = rcu_dereference_locked_keyring(keyring);
1174
	if (!klist)
D
David Howells 已提交
1175
		goto no_klist;
1176 1177 1178 1179

	/* work out how many subscriptions we're keeping */
	keep = 0;
	for (loop = klist->nkeys - 1; loop >= 0; loop--)
1180 1181
		if (!key_is_dead(rcu_deref_link_locked(klist, loop, keyring),
				 limit))
1182 1183 1184 1185 1186 1187 1188 1189 1190 1191
			keep++;

	if (keep == klist->nkeys)
		goto just_return;

	/* allocate a new keyring payload */
	max = roundup(keep, 4);
	new = kmalloc(sizeof(struct keyring_list) + max * sizeof(struct key *),
		      GFP_KERNEL);
	if (!new)
D
David Howells 已提交
1192
		goto nomem;
1193 1194 1195 1196 1197 1198 1199 1200 1201
	new->maxkeys = max;
	new->nkeys = 0;
	new->delkey = 0;

	/* install the live keys
	 * - must take care as expired keys may be updated back to life
	 */
	keep = 0;
	for (loop = klist->nkeys - 1; loop >= 0; loop--) {
1202
		key = rcu_deref_link_locked(klist, loop, keyring);
1203 1204 1205
		if (!key_is_dead(key, limit)) {
			if (keep >= max)
				goto discard_new;
1206
			RCU_INIT_POINTER(new->keys[keep++], key_get(key));
1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231
		}
	}
	new->nkeys = keep;

	/* adjust the quota */
	key_payload_reserve(keyring,
			    sizeof(struct keyring_list) +
			    KEYQUOTA_LINK_BYTES * keep);

	if (keep == 0) {
		rcu_assign_pointer(keyring->payload.subscriptions, NULL);
		kfree(new);
	} else {
		rcu_assign_pointer(keyring->payload.subscriptions, new);
	}

	up_write(&keyring->sem);

	call_rcu(&klist->rcu, keyring_clear_rcu_disposal);
	kleave(" [yes]");
	return;

discard_new:
	new->nkeys = keep;
	keyring_clear_rcu_disposal(&new->rcu);
D
David Howells 已提交
1232 1233 1234 1235
	up_write(&keyring->sem);
	kleave(" [discard]");
	return;

1236 1237
just_return:
	up_write(&keyring->sem);
D
David Howells 已提交
1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248
	kleave(" [no dead]");
	return;

no_klist:
	up_write(&keyring->sem);
	kleave(" [no_klist]");
	return;

nomem:
	up_write(&keyring->sem);
	kleave(" [oom]");
1249
}