xref: /openbmc/linux/security/keys/keyring.c (revision a58946c158a040068e7c94dc1d58bbd273258068)
169664cf1SDavid Howells /* Keyring handling
21da177e4SLinus Torvalds  *
3b2a4df20SDavid Howells  * Copyright (C) 2004-2005, 2008, 2013 Red Hat, Inc. All Rights Reserved.
41da177e4SLinus Torvalds  * Written by David Howells (dhowells@redhat.com)
51da177e4SLinus Torvalds  *
61da177e4SLinus Torvalds  * This program is free software; you can redistribute it and/or
71da177e4SLinus Torvalds  * modify it under the terms of the GNU General Public License
81da177e4SLinus Torvalds  * as published by the Free Software Foundation; either version
91da177e4SLinus Torvalds  * 2 of the License, or (at your option) any later version.
101da177e4SLinus Torvalds  */
111da177e4SLinus Torvalds 
12876979c9SPaul Gortmaker #include <linux/export.h>
131da177e4SLinus Torvalds #include <linux/init.h>
141da177e4SLinus Torvalds #include <linux/sched.h>
151da177e4SLinus Torvalds #include <linux/slab.h>
1629db9190SDavid Howells #include <linux/security.h>
171da177e4SLinus Torvalds #include <linux/seq_file.h>
181da177e4SLinus Torvalds #include <linux/err.h>
19b206f281SDavid Howells #include <linux/user_namespace.h>
209b242610SDavid Howells #include <linux/nsproxy.h>
21e9e349b0SDavid Howells #include <keys/keyring-type.h>
22b2a4df20SDavid Howells #include <keys/user-type.h>
23b2a4df20SDavid Howells #include <linux/assoc_array_priv.h>
24512ea3bcSChihau Chau #include <linux/uaccess.h>
259b242610SDavid Howells #include <net/net_namespace.h>
261da177e4SLinus Torvalds #include "internal.h"
271da177e4SLinus Torvalds 
281da177e4SLinus Torvalds /*
29973c9f4fSDavid Howells  * When plumbing the depths of the key tree, this sets a hard limit
30973c9f4fSDavid Howells  * set on how deep we're willing to go.
311da177e4SLinus Torvalds  */
321da177e4SLinus Torvalds #define KEYRING_SEARCH_MAX_DEPTH 6
331da177e4SLinus Torvalds 
341da177e4SLinus Torvalds /*
35b2a4df20SDavid Howells  * We mark pointers we pass to the associative array with bit 1 set if
36b2a4df20SDavid Howells  * they're keyrings and clear otherwise.
37b2a4df20SDavid Howells  */
38b2a4df20SDavid Howells #define KEYRING_PTR_SUBTYPE	0x2UL
39b2a4df20SDavid Howells 
40b2a4df20SDavid Howells static inline bool keyring_ptr_is_keyring(const struct assoc_array_ptr *x)
41b2a4df20SDavid Howells {
42b2a4df20SDavid Howells 	return (unsigned long)x & KEYRING_PTR_SUBTYPE;
43b2a4df20SDavid Howells }
44b2a4df20SDavid Howells static inline struct key *keyring_ptr_to_key(const struct assoc_array_ptr *x)
45b2a4df20SDavid Howells {
46b2a4df20SDavid Howells 	void *object = assoc_array_ptr_to_leaf(x);
47b2a4df20SDavid Howells 	return (struct key *)((unsigned long)object & ~KEYRING_PTR_SUBTYPE);
48b2a4df20SDavid Howells }
49b2a4df20SDavid Howells static inline void *keyring_key_to_ptr(struct key *key)
50b2a4df20SDavid Howells {
51b2a4df20SDavid Howells 	if (key->type == &key_type_keyring)
52b2a4df20SDavid Howells 		return (void *)((unsigned long)key | KEYRING_PTR_SUBTYPE);
53b2a4df20SDavid Howells 	return key;
54b2a4df20SDavid Howells }
55b2a4df20SDavid Howells 
561da177e4SLinus Torvalds static DEFINE_RWLOCK(keyring_name_lock);
571da177e4SLinus Torvalds 
58b206f281SDavid Howells /*
59b206f281SDavid Howells  * Clean up the bits of user_namespace that belong to us.
60b206f281SDavid Howells  */
61b206f281SDavid Howells void key_free_user_ns(struct user_namespace *ns)
621da177e4SLinus Torvalds {
63b206f281SDavid Howells 	write_lock(&keyring_name_lock);
64b206f281SDavid Howells 	list_del_init(&ns->keyring_name_list);
65b206f281SDavid Howells 	write_unlock(&keyring_name_lock);
661da177e4SLinus Torvalds 
670f44e4d9SDavid Howells 	key_put(ns->user_keyring_register);
68b206f281SDavid Howells #ifdef CONFIG_PERSISTENT_KEYRINGS
69b206f281SDavid Howells 	key_put(ns->persistent_keyring_register);
70b206f281SDavid Howells #endif
711da177e4SLinus Torvalds }
721da177e4SLinus Torvalds 
731da177e4SLinus Torvalds /*
74973c9f4fSDavid Howells  * The keyring key type definition.  Keyrings are simply keys of this type and
75973c9f4fSDavid Howells  * can be treated as ordinary keys in addition to having their own special
76973c9f4fSDavid Howells  * operations.
771da177e4SLinus Torvalds  */
785d19e20bSDavid Howells static int keyring_preparse(struct key_preparsed_payload *prep);
795d19e20bSDavid Howells static void keyring_free_preparse(struct key_preparsed_payload *prep);
801da177e4SLinus Torvalds static int keyring_instantiate(struct key *keyring,
81cf7f601cSDavid Howells 			       struct key_preparsed_payload *prep);
8231204ed9SDavid Howells static void keyring_revoke(struct key *keyring);
831da177e4SLinus Torvalds static void keyring_destroy(struct key *keyring);
841da177e4SLinus Torvalds static void keyring_describe(const struct key *keyring, struct seq_file *m);
851da177e4SLinus Torvalds static long keyring_read(const struct key *keyring,
861da177e4SLinus Torvalds 			 char __user *buffer, size_t buflen);
871da177e4SLinus Torvalds 
881da177e4SLinus Torvalds struct key_type key_type_keyring = {
891da177e4SLinus Torvalds 	.name		= "keyring",
90b2a4df20SDavid Howells 	.def_datalen	= 0,
915d19e20bSDavid Howells 	.preparse	= keyring_preparse,
925d19e20bSDavid Howells 	.free_preparse	= keyring_free_preparse,
931da177e4SLinus Torvalds 	.instantiate	= keyring_instantiate,
9431204ed9SDavid Howells 	.revoke		= keyring_revoke,
951da177e4SLinus Torvalds 	.destroy	= keyring_destroy,
961da177e4SLinus Torvalds 	.describe	= keyring_describe,
971da177e4SLinus Torvalds 	.read		= keyring_read,
981da177e4SLinus Torvalds };
997318226eSDavid Howells EXPORT_SYMBOL(key_type_keyring);
1007318226eSDavid Howells 
1011da177e4SLinus Torvalds /*
102973c9f4fSDavid Howells  * Semaphore to serialise link/link calls to prevent two link calls in parallel
103973c9f4fSDavid Howells  * introducing a cycle.
1041da177e4SLinus Torvalds  */
1053be59f74SDavid Howells static DEFINE_MUTEX(keyring_serialise_link_lock);
1061da177e4SLinus Torvalds 
1071da177e4SLinus Torvalds /*
108973c9f4fSDavid Howells  * Publish the name of a keyring so that it can be found by name (if it has
109b206f281SDavid Howells  * one and it doesn't begin with a dot).
1101da177e4SLinus Torvalds  */
11169664cf1SDavid Howells static void keyring_publish_name(struct key *keyring)
1121da177e4SLinus Torvalds {
113b206f281SDavid Howells 	struct user_namespace *ns = current_user_ns();
1141da177e4SLinus Torvalds 
115b206f281SDavid Howells 	if (keyring->description &&
116b206f281SDavid Howells 	    keyring->description[0] &&
117b206f281SDavid Howells 	    keyring->description[0] != '.') {
1181da177e4SLinus Torvalds 		write_lock(&keyring_name_lock);
119b206f281SDavid Howells 		list_add_tail(&keyring->name_link, &ns->keyring_name_list);
1201da177e4SLinus Torvalds 		write_unlock(&keyring_name_lock);
1211da177e4SLinus Torvalds 	}
122a8b17ed0SDavid Howells }
1231da177e4SLinus Torvalds 
1241da177e4SLinus Torvalds /*
1255d19e20bSDavid Howells  * Preparse a keyring payload
1265d19e20bSDavid Howells  */
1275d19e20bSDavid Howells static int keyring_preparse(struct key_preparsed_payload *prep)
1285d19e20bSDavid Howells {
1295d19e20bSDavid Howells 	return prep->datalen != 0 ? -EINVAL : 0;
1305d19e20bSDavid Howells }
1315d19e20bSDavid Howells 
1325d19e20bSDavid Howells /*
1335d19e20bSDavid Howells  * Free a preparse of a user defined key payload
1345d19e20bSDavid Howells  */
1355d19e20bSDavid Howells static void keyring_free_preparse(struct key_preparsed_payload *prep)
1365d19e20bSDavid Howells {
1375d19e20bSDavid Howells }
1385d19e20bSDavid Howells 
1395d19e20bSDavid Howells /*
140973c9f4fSDavid Howells  * Initialise a keyring.
141973c9f4fSDavid Howells  *
142973c9f4fSDavid Howells  * Returns 0 on success, -EINVAL if given any data.
1431da177e4SLinus Torvalds  */
1441da177e4SLinus Torvalds static int keyring_instantiate(struct key *keyring,
145cf7f601cSDavid Howells 			       struct key_preparsed_payload *prep)
1461da177e4SLinus Torvalds {
147b2a4df20SDavid Howells 	assoc_array_init(&keyring->keys);
1481da177e4SLinus Torvalds 	/* make the keyring available by name if it has one */
1491da177e4SLinus Torvalds 	keyring_publish_name(keyring);
1505d19e20bSDavid Howells 	return 0;
151a8b17ed0SDavid Howells }
1521da177e4SLinus Torvalds 
1531da177e4SLinus Torvalds /*
154b2a4df20SDavid Howells  * Multiply 64-bits by 32-bits to 96-bits and fold back to 64-bit.  Ideally we'd
155b2a4df20SDavid Howells  * fold the carry back too, but that requires inline asm.
1561da177e4SLinus Torvalds  */
157b2a4df20SDavid Howells static u64 mult_64x32_and_fold(u64 x, u32 y)
1581da177e4SLinus Torvalds {
159b2a4df20SDavid Howells 	u64 hi = (u64)(u32)(x >> 32) * y;
160b2a4df20SDavid Howells 	u64 lo = (u64)(u32)(x) * y;
161b2a4df20SDavid Howells 	return lo + ((u64)(u32)hi << 32) + (u32)(hi >> 32);
162a8b17ed0SDavid Howells }
1631da177e4SLinus Torvalds 
1641da177e4SLinus Torvalds /*
165b2a4df20SDavid Howells  * Hash a key type and description.
166b2a4df20SDavid Howells  */
167355ef8e1SDavid Howells static void hash_key_type_and_desc(struct keyring_index_key *index_key)
168b2a4df20SDavid Howells {
169b2a4df20SDavid Howells 	const unsigned level_shift = ASSOC_ARRAY_LEVEL_STEP;
170d54e58b7SDavid Howells 	const unsigned long fan_mask = ASSOC_ARRAY_FAN_MASK;
171b2a4df20SDavid Howells 	const char *description = index_key->description;
172b2a4df20SDavid Howells 	unsigned long hash, type;
173b2a4df20SDavid Howells 	u32 piece;
174b2a4df20SDavid Howells 	u64 acc;
175b2a4df20SDavid Howells 	int n, desc_len = index_key->desc_len;
176b2a4df20SDavid Howells 
177b2a4df20SDavid Howells 	type = (unsigned long)index_key->type;
178b2a4df20SDavid Howells 	acc = mult_64x32_and_fold(type, desc_len + 13);
179b2a4df20SDavid Howells 	acc = mult_64x32_and_fold(acc, 9207);
1803b6e4de0SDavid Howells 	piece = (unsigned long)index_key->domain_tag;
1813b6e4de0SDavid Howells 	acc = mult_64x32_and_fold(acc, piece);
1823b6e4de0SDavid Howells 	acc = mult_64x32_and_fold(acc, 9207);
183f771fde8SDavid Howells 
184b2a4df20SDavid Howells 	for (;;) {
185b2a4df20SDavid Howells 		n = desc_len;
186b2a4df20SDavid Howells 		if (n <= 0)
187b2a4df20SDavid Howells 			break;
188b2a4df20SDavid Howells 		if (n > 4)
189b2a4df20SDavid Howells 			n = 4;
190b2a4df20SDavid Howells 		piece = 0;
191b2a4df20SDavid Howells 		memcpy(&piece, description, n);
192b2a4df20SDavid Howells 		description += n;
193b2a4df20SDavid Howells 		desc_len -= n;
194b2a4df20SDavid Howells 		acc = mult_64x32_and_fold(acc, piece);
195b2a4df20SDavid Howells 		acc = mult_64x32_and_fold(acc, 9207);
196b2a4df20SDavid Howells 	}
197b2a4df20SDavid Howells 
198b2a4df20SDavid Howells 	/* Fold the hash down to 32 bits if need be. */
199b2a4df20SDavid Howells 	hash = acc;
200b2a4df20SDavid Howells 	if (ASSOC_ARRAY_KEY_CHUNK_SIZE == 32)
201b2a4df20SDavid Howells 		hash ^= acc >> 32;
202b2a4df20SDavid Howells 
203b2a4df20SDavid Howells 	/* Squidge all the keyrings into a separate part of the tree to
204b2a4df20SDavid Howells 	 * ordinary keys by making sure the lowest level segment in the hash is
205b2a4df20SDavid Howells 	 * zero for keyrings and non-zero otherwise.
206b2a4df20SDavid Howells 	 */
207d54e58b7SDavid Howells 	if (index_key->type != &key_type_keyring && (hash & fan_mask) == 0)
208355ef8e1SDavid Howells 		hash |= (hash >> (ASSOC_ARRAY_KEY_CHUNK_SIZE - level_shift)) | 1;
209355ef8e1SDavid Howells 	else if (index_key->type == &key_type_keyring && (hash & fan_mask) != 0)
210355ef8e1SDavid Howells 		hash = (hash + (hash << level_shift)) & ~fan_mask;
211355ef8e1SDavid Howells 	index_key->hash = hash;
212355ef8e1SDavid Howells }
213355ef8e1SDavid Howells 
214355ef8e1SDavid Howells /*
215355ef8e1SDavid Howells  * Finalise an index key to include a part of the description actually in the
2163b6e4de0SDavid Howells  * index key, to set the domain tag and to calculate the hash.
217355ef8e1SDavid Howells  */
218355ef8e1SDavid Howells void key_set_index_key(struct keyring_index_key *index_key)
219355ef8e1SDavid Howells {
2203b6e4de0SDavid Howells 	static struct key_tag default_domain_tag = { .usage = REFCOUNT_INIT(1), };
221355ef8e1SDavid Howells 	size_t n = min_t(size_t, index_key->desc_len, sizeof(index_key->desc));
2223b6e4de0SDavid Howells 
223355ef8e1SDavid Howells 	memcpy(index_key->desc, index_key->description, n);
224355ef8e1SDavid Howells 
225*a58946c1SDavid Howells 	if (!index_key->domain_tag) {
2269b242610SDavid Howells 		if (index_key->type->flags & KEY_TYPE_NET_DOMAIN)
2279b242610SDavid Howells 			index_key->domain_tag = current->nsproxy->net_ns->key_domain;
2289b242610SDavid Howells 		else
2293b6e4de0SDavid Howells 			index_key->domain_tag = &default_domain_tag;
230*a58946c1SDavid Howells 	}
231*a58946c1SDavid Howells 
232355ef8e1SDavid Howells 	hash_key_type_and_desc(index_key);
233b2a4df20SDavid Howells }
234b2a4df20SDavid Howells 
2353b6e4de0SDavid Howells /**
2363b6e4de0SDavid Howells  * key_put_tag - Release a ref on a tag.
2373b6e4de0SDavid Howells  * @tag: The tag to release.
2383b6e4de0SDavid Howells  *
2393b6e4de0SDavid Howells  * This releases a reference the given tag and returns true if that ref was the
2403b6e4de0SDavid Howells  * last one.
2413b6e4de0SDavid Howells  */
2423b6e4de0SDavid Howells bool key_put_tag(struct key_tag *tag)
2433b6e4de0SDavid Howells {
2443b6e4de0SDavid Howells 	if (refcount_dec_and_test(&tag->usage)) {
2453b6e4de0SDavid Howells 		kfree_rcu(tag, rcu);
2463b6e4de0SDavid Howells 		return true;
2473b6e4de0SDavid Howells 	}
2483b6e4de0SDavid Howells 
2493b6e4de0SDavid Howells 	return false;
2503b6e4de0SDavid Howells }
2513b6e4de0SDavid Howells 
252218e6424SDavid Howells /**
253218e6424SDavid Howells  * key_remove_domain - Kill off a key domain and gc its keys
254218e6424SDavid Howells  * @domain_tag: The domain tag to release.
255218e6424SDavid Howells  *
256218e6424SDavid Howells  * This marks a domain tag as being dead and releases a ref on it.  If that
257218e6424SDavid Howells  * wasn't the last reference, the garbage collector is poked to try and delete
258218e6424SDavid Howells  * all keys that were in the domain.
259218e6424SDavid Howells  */
260218e6424SDavid Howells void key_remove_domain(struct key_tag *domain_tag)
261218e6424SDavid Howells {
262218e6424SDavid Howells 	domain_tag->removed = true;
263218e6424SDavid Howells 	if (!key_put_tag(domain_tag))
264218e6424SDavid Howells 		key_schedule_gc_links();
265218e6424SDavid Howells }
266218e6424SDavid Howells 
267b2a4df20SDavid Howells /*
268b2a4df20SDavid Howells  * Build the next index key chunk.
269b2a4df20SDavid Howells  *
270b2a4df20SDavid Howells  * We return it one word-sized chunk at a time.
271b2a4df20SDavid Howells  */
272b2a4df20SDavid Howells static unsigned long keyring_get_key_chunk(const void *data, int level)
273b2a4df20SDavid Howells {
274b2a4df20SDavid Howells 	const struct keyring_index_key *index_key = data;
275b2a4df20SDavid Howells 	unsigned long chunk = 0;
276f771fde8SDavid Howells 	const u8 *d;
277b2a4df20SDavid Howells 	int desc_len = index_key->desc_len, n = sizeof(chunk);
278b2a4df20SDavid Howells 
279b2a4df20SDavid Howells 	level /= ASSOC_ARRAY_KEY_CHUNK_SIZE;
280b2a4df20SDavid Howells 	switch (level) {
281b2a4df20SDavid Howells 	case 0:
282355ef8e1SDavid Howells 		return index_key->hash;
283b2a4df20SDavid Howells 	case 1:
284f771fde8SDavid Howells 		return index_key->x;
285b2a4df20SDavid Howells 	case 2:
286f771fde8SDavid Howells 		return (unsigned long)index_key->type;
2873b6e4de0SDavid Howells 	case 3:
2883b6e4de0SDavid Howells 		return (unsigned long)index_key->domain_tag;
289b2a4df20SDavid Howells 	default:
2903b6e4de0SDavid Howells 		level -= 4;
291f771fde8SDavid Howells 		if (desc_len <= sizeof(index_key->desc))
292b2a4df20SDavid Howells 			return 0;
293f771fde8SDavid Howells 
294f771fde8SDavid Howells 		d = index_key->description + sizeof(index_key->desc);
295f771fde8SDavid Howells 		d += level * sizeof(long);
296f771fde8SDavid Howells 		desc_len -= sizeof(index_key->desc);
297b2a4df20SDavid Howells 		if (desc_len > n)
298b2a4df20SDavid Howells 			desc_len = n;
299b2a4df20SDavid Howells 		do {
300b2a4df20SDavid Howells 			chunk <<= 8;
301f771fde8SDavid Howells 			chunk |= *d++;
302b2a4df20SDavid Howells 		} while (--desc_len > 0);
303b2a4df20SDavid Howells 		return chunk;
304b2a4df20SDavid Howells 	}
305b2a4df20SDavid Howells }
306b2a4df20SDavid Howells 
307b2a4df20SDavid Howells static unsigned long keyring_get_object_key_chunk(const void *object, int level)
308b2a4df20SDavid Howells {
309b2a4df20SDavid Howells 	const struct key *key = keyring_ptr_to_key(object);
310b2a4df20SDavid Howells 	return keyring_get_key_chunk(&key->index_key, level);
311b2a4df20SDavid Howells }
312b2a4df20SDavid Howells 
313b2a4df20SDavid Howells static bool keyring_compare_object(const void *object, const void *data)
314b2a4df20SDavid Howells {
315b2a4df20SDavid Howells 	const struct keyring_index_key *index_key = data;
316b2a4df20SDavid Howells 	const struct key *key = keyring_ptr_to_key(object);
317b2a4df20SDavid Howells 
318b2a4df20SDavid Howells 	return key->index_key.type == index_key->type &&
3193b6e4de0SDavid Howells 		key->index_key.domain_tag == index_key->domain_tag &&
320b2a4df20SDavid Howells 		key->index_key.desc_len == index_key->desc_len &&
321b2a4df20SDavid Howells 		memcmp(key->index_key.description, index_key->description,
322b2a4df20SDavid Howells 		       index_key->desc_len) == 0;
323b2a4df20SDavid Howells }
324b2a4df20SDavid Howells 
325b2a4df20SDavid Howells /*
326b2a4df20SDavid Howells  * Compare the index keys of a pair of objects and determine the bit position
327b2a4df20SDavid Howells  * at which they differ - if they differ.
328b2a4df20SDavid Howells  */
32923fd78d7SDavid Howells static int keyring_diff_objects(const void *object, const void *data)
330b2a4df20SDavid Howells {
33123fd78d7SDavid Howells 	const struct key *key_a = keyring_ptr_to_key(object);
332b2a4df20SDavid Howells 	const struct keyring_index_key *a = &key_a->index_key;
33323fd78d7SDavid Howells 	const struct keyring_index_key *b = data;
334b2a4df20SDavid Howells 	unsigned long seg_a, seg_b;
335b2a4df20SDavid Howells 	int level, i;
336b2a4df20SDavid Howells 
337b2a4df20SDavid Howells 	level = 0;
338355ef8e1SDavid Howells 	seg_a = a->hash;
339355ef8e1SDavid Howells 	seg_b = b->hash;
340b2a4df20SDavid Howells 	if ((seg_a ^ seg_b) != 0)
341b2a4df20SDavid Howells 		goto differ;
342f771fde8SDavid Howells 	level += ASSOC_ARRAY_KEY_CHUNK_SIZE / 8;
343b2a4df20SDavid Howells 
344b2a4df20SDavid Howells 	/* The number of bits contributed by the hash is controlled by a
345b2a4df20SDavid Howells 	 * constant in the assoc_array headers.  Everything else thereafter we
346b2a4df20SDavid Howells 	 * can deal with as being machine word-size dependent.
347b2a4df20SDavid Howells 	 */
348f771fde8SDavid Howells 	seg_a = a->x;
349f771fde8SDavid Howells 	seg_b = b->x;
350b2a4df20SDavid Howells 	if ((seg_a ^ seg_b) != 0)
351b2a4df20SDavid Howells 		goto differ;
352f771fde8SDavid Howells 	level += sizeof(unsigned long);
353b2a4df20SDavid Howells 
354b2a4df20SDavid Howells 	/* The next bit may not work on big endian */
355b2a4df20SDavid Howells 	seg_a = (unsigned long)a->type;
356b2a4df20SDavid Howells 	seg_b = (unsigned long)b->type;
357b2a4df20SDavid Howells 	if ((seg_a ^ seg_b) != 0)
358b2a4df20SDavid Howells 		goto differ;
359b2a4df20SDavid Howells 	level += sizeof(unsigned long);
360b2a4df20SDavid Howells 
3613b6e4de0SDavid Howells 	seg_a = (unsigned long)a->domain_tag;
3623b6e4de0SDavid Howells 	seg_b = (unsigned long)b->domain_tag;
3633b6e4de0SDavid Howells 	if ((seg_a ^ seg_b) != 0)
3643b6e4de0SDavid Howells 		goto differ;
3653b6e4de0SDavid Howells 	level += sizeof(unsigned long);
3663b6e4de0SDavid Howells 
367f771fde8SDavid Howells 	i = sizeof(a->desc);
368f771fde8SDavid Howells 	if (a->desc_len <= i)
369f771fde8SDavid Howells 		goto same;
370b2a4df20SDavid Howells 
371b2a4df20SDavid Howells 	for (; i < a->desc_len; i++) {
372b2a4df20SDavid Howells 		seg_a = *(unsigned char *)(a->description + i);
373b2a4df20SDavid Howells 		seg_b = *(unsigned char *)(b->description + i);
374b2a4df20SDavid Howells 		if ((seg_a ^ seg_b) != 0)
375b2a4df20SDavid Howells 			goto differ_plus_i;
376b2a4df20SDavid Howells 	}
377b2a4df20SDavid Howells 
378b2a4df20SDavid Howells same:
379b2a4df20SDavid Howells 	return -1;
380b2a4df20SDavid Howells 
381b2a4df20SDavid Howells differ_plus_i:
382b2a4df20SDavid Howells 	level += i;
383b2a4df20SDavid Howells differ:
384b2a4df20SDavid Howells 	i = level * 8 + __ffs(seg_a ^ seg_b);
385b2a4df20SDavid Howells 	return i;
386b2a4df20SDavid Howells }
387b2a4df20SDavid Howells 
388b2a4df20SDavid Howells /*
389b2a4df20SDavid Howells  * Free an object after stripping the keyring flag off of the pointer.
390b2a4df20SDavid Howells  */
391b2a4df20SDavid Howells static void keyring_free_object(void *object)
392b2a4df20SDavid Howells {
393b2a4df20SDavid Howells 	key_put(keyring_ptr_to_key(object));
394b2a4df20SDavid Howells }
395b2a4df20SDavid Howells 
396b2a4df20SDavid Howells /*
397b2a4df20SDavid Howells  * Operations for keyring management by the index-tree routines.
398b2a4df20SDavid Howells  */
399b2a4df20SDavid Howells static const struct assoc_array_ops keyring_assoc_array_ops = {
400b2a4df20SDavid Howells 	.get_key_chunk		= keyring_get_key_chunk,
401b2a4df20SDavid Howells 	.get_object_key_chunk	= keyring_get_object_key_chunk,
402b2a4df20SDavid Howells 	.compare_object		= keyring_compare_object,
403b2a4df20SDavid Howells 	.diff_objects		= keyring_diff_objects,
404b2a4df20SDavid Howells 	.free_object		= keyring_free_object,
405b2a4df20SDavid Howells };
406b2a4df20SDavid Howells 
407b2a4df20SDavid Howells /*
408973c9f4fSDavid Howells  * Clean up a keyring when it is destroyed.  Unpublish its name if it had one
409973c9f4fSDavid Howells  * and dispose of its data.
410233e4735SDavid Howells  *
411233e4735SDavid Howells  * The garbage collector detects the final key_put(), removes the keyring from
412233e4735SDavid Howells  * the serial number tree and then does RCU synchronisation before coming here,
413233e4735SDavid Howells  * so we shouldn't need to worry about code poking around here with the RCU
414233e4735SDavid Howells  * readlock held by this time.
4151da177e4SLinus Torvalds  */
4161da177e4SLinus Torvalds static void keyring_destroy(struct key *keyring)
4171da177e4SLinus Torvalds {
4181da177e4SLinus Torvalds 	if (keyring->description) {
4191da177e4SLinus Torvalds 		write_lock(&keyring_name_lock);
42094efe72fSDavid Howells 
421146aa8b1SDavid Howells 		if (keyring->name_link.next != NULL &&
422146aa8b1SDavid Howells 		    !list_empty(&keyring->name_link))
423146aa8b1SDavid Howells 			list_del(&keyring->name_link);
42494efe72fSDavid Howells 
4251da177e4SLinus Torvalds 		write_unlock(&keyring_name_lock);
4261da177e4SLinus Torvalds 	}
4271da177e4SLinus Torvalds 
4282b6aa412SMat Martineau 	if (keyring->restrict_link) {
4292b6aa412SMat Martineau 		struct key_restriction *keyres = keyring->restrict_link;
4302b6aa412SMat Martineau 
4312b6aa412SMat Martineau 		key_put(keyres->key);
4322b6aa412SMat Martineau 		kfree(keyres);
4332b6aa412SMat Martineau 	}
4342b6aa412SMat Martineau 
435b2a4df20SDavid Howells 	assoc_array_destroy(&keyring->keys, &keyring_assoc_array_ops);
436a8b17ed0SDavid Howells }
4371da177e4SLinus Torvalds 
4381da177e4SLinus Torvalds /*
439973c9f4fSDavid Howells  * Describe a keyring for /proc.
4401da177e4SLinus Torvalds  */
4411da177e4SLinus Torvalds static void keyring_describe(const struct key *keyring, struct seq_file *m)
4421da177e4SLinus Torvalds {
443c8563473Swzt.wzt@gmail.com 	if (keyring->description)
4441da177e4SLinus Torvalds 		seq_puts(m, keyring->description);
445c8563473Swzt.wzt@gmail.com 	else
4461da177e4SLinus Torvalds 		seq_puts(m, "[anon]");
4471da177e4SLinus Torvalds 
448363b02daSDavid Howells 	if (key_is_positive(keyring)) {
449b2a4df20SDavid Howells 		if (keyring->keys.nr_leaves_on_tree != 0)
450b2a4df20SDavid Howells 			seq_printf(m, ": %lu", keyring->keys.nr_leaves_on_tree);
4511da177e4SLinus Torvalds 		else
4521da177e4SLinus Torvalds 			seq_puts(m, ": empty");
453a8b17ed0SDavid Howells 	}
45478b7280cSDavid Howells }
4551da177e4SLinus Torvalds 
456b2a4df20SDavid Howells struct keyring_read_iterator_context {
457e645016aSEric Biggers 	size_t			buflen;
458b2a4df20SDavid Howells 	size_t			count;
459b2a4df20SDavid Howells 	key_serial_t __user	*buffer;
460b2a4df20SDavid Howells };
461b2a4df20SDavid Howells 
462b2a4df20SDavid Howells static int keyring_read_iterator(const void *object, void *data)
463b2a4df20SDavid Howells {
464b2a4df20SDavid Howells 	struct keyring_read_iterator_context *ctx = data;
465b2a4df20SDavid Howells 	const struct key *key = keyring_ptr_to_key(object);
466b2a4df20SDavid Howells 	int ret;
467b2a4df20SDavid Howells 
468b2a4df20SDavid Howells 	kenter("{%s,%d},,{%zu/%zu}",
469e645016aSEric Biggers 	       key->type->name, key->serial, ctx->count, ctx->buflen);
470b2a4df20SDavid Howells 
471e645016aSEric Biggers 	if (ctx->count >= ctx->buflen)
472b2a4df20SDavid Howells 		return 1;
473b2a4df20SDavid Howells 
474b2a4df20SDavid Howells 	ret = put_user(key->serial, ctx->buffer);
475b2a4df20SDavid Howells 	if (ret < 0)
476b2a4df20SDavid Howells 		return ret;
477b2a4df20SDavid Howells 	ctx->buffer++;
478b2a4df20SDavid Howells 	ctx->count += sizeof(key->serial);
479b2a4df20SDavid Howells 	return 0;
480b2a4df20SDavid Howells }
481b2a4df20SDavid Howells 
4821da177e4SLinus Torvalds /*
483973c9f4fSDavid Howells  * Read a list of key IDs from the keyring's contents in binary form
484973c9f4fSDavid Howells  *
485b2a4df20SDavid Howells  * The keyring's semaphore is read-locked by the caller.  This prevents someone
486b2a4df20SDavid Howells  * from modifying it under us - which could cause us to read key IDs multiple
487b2a4df20SDavid Howells  * times.
4881da177e4SLinus Torvalds  */
4891da177e4SLinus Torvalds static long keyring_read(const struct key *keyring,
4901da177e4SLinus Torvalds 			 char __user *buffer, size_t buflen)
4911da177e4SLinus Torvalds {
492b2a4df20SDavid Howells 	struct keyring_read_iterator_context ctx;
4933239b6f2SEric Biggers 	long ret;
4941da177e4SLinus Torvalds 
495b2a4df20SDavid Howells 	kenter("{%d},,%zu", key_serial(keyring), buflen);
4961da177e4SLinus Torvalds 
497b2a4df20SDavid Howells 	if (buflen & (sizeof(key_serial_t) - 1))
498b2a4df20SDavid Howells 		return -EINVAL;
4991da177e4SLinus Torvalds 
5003239b6f2SEric Biggers 	/* Copy as many key IDs as fit into the buffer */
5013239b6f2SEric Biggers 	if (buffer && buflen) {
502b2a4df20SDavid Howells 		ctx.buffer = (key_serial_t __user *)buffer;
503e645016aSEric Biggers 		ctx.buflen = buflen;
504b2a4df20SDavid Howells 		ctx.count = 0;
5053239b6f2SEric Biggers 		ret = assoc_array_iterate(&keyring->keys,
5063239b6f2SEric Biggers 					  keyring_read_iterator, &ctx);
507b2a4df20SDavid Howells 		if (ret < 0) {
5083239b6f2SEric Biggers 			kleave(" = %ld [iterate]", ret);
5091da177e4SLinus Torvalds 			return ret;
510a8b17ed0SDavid Howells 		}
5113239b6f2SEric Biggers 	}
5121da177e4SLinus Torvalds 
5133239b6f2SEric Biggers 	/* Return the size of the buffer needed */
5143239b6f2SEric Biggers 	ret = keyring->keys.nr_leaves_on_tree * sizeof(key_serial_t);
5153239b6f2SEric Biggers 	if (ret <= buflen)
5163239b6f2SEric Biggers 		kleave("= %ld [ok]", ret);
5173239b6f2SEric Biggers 	else
5183239b6f2SEric Biggers 		kleave("= %ld [buffer too small]", ret);
5193239b6f2SEric Biggers 	return ret;
520b2a4df20SDavid Howells }
521b2a4df20SDavid Howells 
5221da177e4SLinus Torvalds /*
523973c9f4fSDavid Howells  * Allocate a keyring and link into the destination keyring.
5241da177e4SLinus Torvalds  */
5259a56c2dbSEric W. Biederman struct key *keyring_alloc(const char *description, kuid_t uid, kgid_t gid,
52696b5c8feSDavid Howells 			  const struct cred *cred, key_perm_t perm,
5275ac7eaceSDavid Howells 			  unsigned long flags,
5282b6aa412SMat Martineau 			  struct key_restriction *restrict_link,
5295ac7eaceSDavid Howells 			  struct key *dest)
5301da177e4SLinus Torvalds {
5311da177e4SLinus Torvalds 	struct key *keyring;
5321da177e4SLinus Torvalds 	int ret;
5331da177e4SLinus Torvalds 
5341da177e4SLinus Torvalds 	keyring = key_alloc(&key_type_keyring, description,
5355ac7eaceSDavid Howells 			    uid, gid, cred, perm, flags, restrict_link);
5361da177e4SLinus Torvalds 	if (!IS_ERR(keyring)) {
5373e30148cSDavid Howells 		ret = key_instantiate_and_link(keyring, NULL, 0, dest, NULL);
5381da177e4SLinus Torvalds 		if (ret < 0) {
5391da177e4SLinus Torvalds 			key_put(keyring);
5401da177e4SLinus Torvalds 			keyring = ERR_PTR(ret);
5411da177e4SLinus Torvalds 		}
5421da177e4SLinus Torvalds 	}
5431da177e4SLinus Torvalds 
5441da177e4SLinus Torvalds 	return keyring;
545a8b17ed0SDavid Howells }
546f8aa23a5SDavid Howells EXPORT_SYMBOL(keyring_alloc);
5471da177e4SLinus Torvalds 
5485ac7eaceSDavid Howells /**
5495ac7eaceSDavid Howells  * restrict_link_reject - Give -EPERM to restrict link
5505ac7eaceSDavid Howells  * @keyring: The keyring being added to.
5515ac7eaceSDavid Howells  * @type: The type of key being added.
5525ac7eaceSDavid Howells  * @payload: The payload of the key intended to be added.
5539fd16537SDavid Howells  * @restriction_key: Keys providing additional data for evaluating restriction.
5545ac7eaceSDavid Howells  *
5555ac7eaceSDavid Howells  * Reject the addition of any links to a keyring.  It can be overridden by
5565ac7eaceSDavid Howells  * passing KEY_ALLOC_BYPASS_RESTRICTION to key_instantiate_and_link() when
5575ac7eaceSDavid Howells  * adding a key to a keyring.
5585ac7eaceSDavid Howells  *
5592b6aa412SMat Martineau  * This is meant to be stored in a key_restriction structure which is passed
5602b6aa412SMat Martineau  * in the restrict_link parameter to keyring_alloc().
5615ac7eaceSDavid Howells  */
5625ac7eaceSDavid Howells int restrict_link_reject(struct key *keyring,
5635ac7eaceSDavid Howells 			 const struct key_type *type,
564aaf66c88SMat Martineau 			 const union key_payload *payload,
565aaf66c88SMat Martineau 			 struct key *restriction_key)
5665ac7eaceSDavid Howells {
5675ac7eaceSDavid Howells 	return -EPERM;
5685ac7eaceSDavid Howells }
5695ac7eaceSDavid Howells 
570b2a4df20SDavid Howells /*
571c06cfb08SDavid Howells  * By default, we keys found by getting an exact match on their descriptions.
572c06cfb08SDavid Howells  */
5730c903ab6SDavid Howells bool key_default_cmp(const struct key *key,
574c06cfb08SDavid Howells 		     const struct key_match_data *match_data)
575c06cfb08SDavid Howells {
576c06cfb08SDavid Howells 	return strcmp(key->description, match_data->raw_data) == 0;
577c06cfb08SDavid Howells }
578c06cfb08SDavid Howells 
579c06cfb08SDavid Howells /*
580b2a4df20SDavid Howells  * Iteration function to consider each key found.
581b2a4df20SDavid Howells  */
582b2a4df20SDavid Howells static int keyring_search_iterator(const void *object, void *iterator_data)
583b2a4df20SDavid Howells {
584b2a4df20SDavid Howells 	struct keyring_search_context *ctx = iterator_data;
585b2a4df20SDavid Howells 	const struct key *key = keyring_ptr_to_key(object);
586363b02daSDavid Howells 	unsigned long kflags = READ_ONCE(key->flags);
587363b02daSDavid Howells 	short state = READ_ONCE(key->state);
588b2a4df20SDavid Howells 
589b2a4df20SDavid Howells 	kenter("{%d}", key->serial);
590b2a4df20SDavid Howells 
591b2a4df20SDavid Howells 	/* ignore keys not of this type */
592b2a4df20SDavid Howells 	if (key->type != ctx->index_key.type) {
593b2a4df20SDavid Howells 		kleave(" = 0 [!type]");
594b2a4df20SDavid Howells 		return 0;
595b2a4df20SDavid Howells 	}
596b2a4df20SDavid Howells 
597b2a4df20SDavid Howells 	/* skip invalidated, revoked and expired keys */
598b2a4df20SDavid Howells 	if (ctx->flags & KEYRING_SEARCH_DO_STATE_CHECK) {
599074d5898SBaolin Wang 		time64_t expiry = READ_ONCE(key->expiry);
6009d6c8711SEric Biggers 
601b2a4df20SDavid Howells 		if (kflags & ((1 << KEY_FLAG_INVALIDATED) |
602b2a4df20SDavid Howells 			      (1 << KEY_FLAG_REVOKED))) {
603b2a4df20SDavid Howells 			ctx->result = ERR_PTR(-EKEYREVOKED);
604b2a4df20SDavid Howells 			kleave(" = %d [invrev]", ctx->skipped_ret);
605b2a4df20SDavid Howells 			goto skipped;
606b2a4df20SDavid Howells 		}
607b2a4df20SDavid Howells 
608074d5898SBaolin Wang 		if (expiry && ctx->now >= expiry) {
6090b0a8415SDavid Howells 			if (!(ctx->flags & KEYRING_SEARCH_SKIP_EXPIRED))
610b2a4df20SDavid Howells 				ctx->result = ERR_PTR(-EKEYEXPIRED);
611b2a4df20SDavid Howells 			kleave(" = %d [expire]", ctx->skipped_ret);
612b2a4df20SDavid Howells 			goto skipped;
613b2a4df20SDavid Howells 		}
614b2a4df20SDavid Howells 	}
615b2a4df20SDavid Howells 
616b2a4df20SDavid Howells 	/* keys that don't match */
61746291959SDavid Howells 	if (!ctx->match_data.cmp(key, &ctx->match_data)) {
618b2a4df20SDavid Howells 		kleave(" = 0 [!match]");
619b2a4df20SDavid Howells 		return 0;
620b2a4df20SDavid Howells 	}
621b2a4df20SDavid Howells 
622b2a4df20SDavid Howells 	/* key must have search permissions */
623b2a4df20SDavid Howells 	if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM) &&
624b2a4df20SDavid Howells 	    key_task_permission(make_key_ref(key, ctx->possessed),
625f5895943SDavid Howells 				ctx->cred, KEY_NEED_SEARCH) < 0) {
626b2a4df20SDavid Howells 		ctx->result = ERR_PTR(-EACCES);
627b2a4df20SDavid Howells 		kleave(" = %d [!perm]", ctx->skipped_ret);
628b2a4df20SDavid Howells 		goto skipped;
629b2a4df20SDavid Howells 	}
630b2a4df20SDavid Howells 
631b2a4df20SDavid Howells 	if (ctx->flags & KEYRING_SEARCH_DO_STATE_CHECK) {
632b2a4df20SDavid Howells 		/* we set a different error code if we pass a negative key */
633363b02daSDavid Howells 		if (state < 0) {
634363b02daSDavid Howells 			ctx->result = ERR_PTR(state);
635b2a4df20SDavid Howells 			kleave(" = %d [neg]", ctx->skipped_ret);
636b2a4df20SDavid Howells 			goto skipped;
637b2a4df20SDavid Howells 		}
638b2a4df20SDavid Howells 	}
639b2a4df20SDavid Howells 
640b2a4df20SDavid Howells 	/* Found */
641b2a4df20SDavid Howells 	ctx->result = make_key_ref(key, ctx->possessed);
642b2a4df20SDavid Howells 	kleave(" = 1 [found]");
643b2a4df20SDavid Howells 	return 1;
644b2a4df20SDavid Howells 
645b2a4df20SDavid Howells skipped:
646b2a4df20SDavid Howells 	return ctx->skipped_ret;
647b2a4df20SDavid Howells }
648b2a4df20SDavid Howells 
649b2a4df20SDavid Howells /*
650b2a4df20SDavid Howells  * Search inside a keyring for a key.  We can search by walking to it
651b2a4df20SDavid Howells  * directly based on its index-key or we can iterate over the entire
652b2a4df20SDavid Howells  * tree looking for it, based on the match function.
653b2a4df20SDavid Howells  */
654b2a4df20SDavid Howells static int search_keyring(struct key *keyring, struct keyring_search_context *ctx)
655b2a4df20SDavid Howells {
65646291959SDavid Howells 	if (ctx->match_data.lookup_type == KEYRING_SEARCH_LOOKUP_DIRECT) {
657b2a4df20SDavid Howells 		const void *object;
658b2a4df20SDavid Howells 
659b2a4df20SDavid Howells 		object = assoc_array_find(&keyring->keys,
660b2a4df20SDavid Howells 					  &keyring_assoc_array_ops,
661b2a4df20SDavid Howells 					  &ctx->index_key);
662b2a4df20SDavid Howells 		return object ? ctx->iterator(object, ctx) : 0;
663b2a4df20SDavid Howells 	}
664b2a4df20SDavid Howells 	return assoc_array_iterate(&keyring->keys, ctx->iterator, ctx);
665b2a4df20SDavid Howells }
666b2a4df20SDavid Howells 
667b2a4df20SDavid Howells /*
668b2a4df20SDavid Howells  * Search a tree of keyrings that point to other keyrings up to the maximum
669b2a4df20SDavid Howells  * depth.
670b2a4df20SDavid Howells  */
671b2a4df20SDavid Howells static bool search_nested_keyrings(struct key *keyring,
672b2a4df20SDavid Howells 				   struct keyring_search_context *ctx)
673b2a4df20SDavid Howells {
674b2a4df20SDavid Howells 	struct {
675b2a4df20SDavid Howells 		struct key *keyring;
676b2a4df20SDavid Howells 		struct assoc_array_node *node;
677b2a4df20SDavid Howells 		int slot;
678b2a4df20SDavid Howells 	} stack[KEYRING_SEARCH_MAX_DEPTH];
679b2a4df20SDavid Howells 
680b2a4df20SDavid Howells 	struct assoc_array_shortcut *shortcut;
681b2a4df20SDavid Howells 	struct assoc_array_node *node;
682b2a4df20SDavid Howells 	struct assoc_array_ptr *ptr;
683b2a4df20SDavid Howells 	struct key *key;
684b2a4df20SDavid Howells 	int sp = 0, slot;
685b2a4df20SDavid Howells 
686b2a4df20SDavid Howells 	kenter("{%d},{%s,%s}",
687b2a4df20SDavid Howells 	       keyring->serial,
688b2a4df20SDavid Howells 	       ctx->index_key.type->name,
689b2a4df20SDavid Howells 	       ctx->index_key.description);
690b2a4df20SDavid Howells 
691054f6180SDavid Howells #define STATE_CHECKS (KEYRING_SEARCH_NO_STATE_CHECK | KEYRING_SEARCH_DO_STATE_CHECK)
692054f6180SDavid Howells 	BUG_ON((ctx->flags & STATE_CHECKS) == 0 ||
693054f6180SDavid Howells 	       (ctx->flags & STATE_CHECKS) == STATE_CHECKS);
694054f6180SDavid Howells 
695f771fde8SDavid Howells 	if (ctx->index_key.description)
696f771fde8SDavid Howells 		key_set_index_key(&ctx->index_key);
697f771fde8SDavid Howells 
698b2a4df20SDavid Howells 	/* Check to see if this top-level keyring is what we are looking for
699b2a4df20SDavid Howells 	 * and whether it is valid or not.
700b2a4df20SDavid Howells 	 */
70146291959SDavid Howells 	if (ctx->match_data.lookup_type == KEYRING_SEARCH_LOOKUP_ITERATE ||
702b2a4df20SDavid Howells 	    keyring_compare_object(keyring, &ctx->index_key)) {
703b2a4df20SDavid Howells 		ctx->skipped_ret = 2;
704b2a4df20SDavid Howells 		switch (ctx->iterator(keyring_key_to_ptr(keyring), ctx)) {
705b2a4df20SDavid Howells 		case 1:
706b2a4df20SDavid Howells 			goto found;
707b2a4df20SDavid Howells 		case 2:
708b2a4df20SDavid Howells 			return false;
709b2a4df20SDavid Howells 		default:
710b2a4df20SDavid Howells 			break;
711b2a4df20SDavid Howells 		}
712b2a4df20SDavid Howells 	}
713b2a4df20SDavid Howells 
714b2a4df20SDavid Howells 	ctx->skipped_ret = 0;
715b2a4df20SDavid Howells 
716b2a4df20SDavid Howells 	/* Start processing a new keyring */
717b2a4df20SDavid Howells descend_to_keyring:
718b2a4df20SDavid Howells 	kdebug("descend to %d", keyring->serial);
719b2a4df20SDavid Howells 	if (keyring->flags & ((1 << KEY_FLAG_INVALIDATED) |
720b2a4df20SDavid Howells 			      (1 << KEY_FLAG_REVOKED)))
721b2a4df20SDavid Howells 		goto not_this_keyring;
722b2a4df20SDavid Howells 
723b2a4df20SDavid Howells 	/* Search through the keys in this keyring before its searching its
724b2a4df20SDavid Howells 	 * subtrees.
725b2a4df20SDavid Howells 	 */
726b2a4df20SDavid Howells 	if (search_keyring(keyring, ctx))
727b2a4df20SDavid Howells 		goto found;
728b2a4df20SDavid Howells 
729b2a4df20SDavid Howells 	/* Then manually iterate through the keyrings nested in this one.
730b2a4df20SDavid Howells 	 *
731b2a4df20SDavid Howells 	 * Start from the root node of the index tree.  Because of the way the
732b2a4df20SDavid Howells 	 * hash function has been set up, keyrings cluster on the leftmost
733b2a4df20SDavid Howells 	 * branch of the root node (root slot 0) or in the root node itself.
734b2a4df20SDavid Howells 	 * Non-keyrings avoid the leftmost branch of the root entirely (root
735b2a4df20SDavid Howells 	 * slots 1-15).
736b2a4df20SDavid Howells 	 */
737dcf49dbcSDavid Howells 	if (!(ctx->flags & KEYRING_SEARCH_RECURSE))
738dcf49dbcSDavid Howells 		goto not_this_keyring;
739dcf49dbcSDavid Howells 
740381f20fcSDavidlohr Bueso 	ptr = READ_ONCE(keyring->keys.root);
741b2a4df20SDavid Howells 	if (!ptr)
742b2a4df20SDavid Howells 		goto not_this_keyring;
743b2a4df20SDavid Howells 
744b2a4df20SDavid Howells 	if (assoc_array_ptr_is_shortcut(ptr)) {
745b2a4df20SDavid Howells 		/* If the root is a shortcut, either the keyring only contains
746b2a4df20SDavid Howells 		 * keyring pointers (everything clusters behind root slot 0) or
747b2a4df20SDavid Howells 		 * doesn't contain any keyring pointers.
748b2a4df20SDavid Howells 		 */
749b2a4df20SDavid Howells 		shortcut = assoc_array_ptr_to_shortcut(ptr);
750b2a4df20SDavid Howells 		if ((shortcut->index_key[0] & ASSOC_ARRAY_FAN_MASK) != 0)
751b2a4df20SDavid Howells 			goto not_this_keyring;
752b2a4df20SDavid Howells 
753381f20fcSDavidlohr Bueso 		ptr = READ_ONCE(shortcut->next_node);
754b2a4df20SDavid Howells 		node = assoc_array_ptr_to_node(ptr);
755b2a4df20SDavid Howells 		goto begin_node;
756b2a4df20SDavid Howells 	}
757b2a4df20SDavid Howells 
758b2a4df20SDavid Howells 	node = assoc_array_ptr_to_node(ptr);
759b2a4df20SDavid Howells 	ptr = node->slots[0];
760b2a4df20SDavid Howells 	if (!assoc_array_ptr_is_meta(ptr))
761b2a4df20SDavid Howells 		goto begin_node;
762b2a4df20SDavid Howells 
763b2a4df20SDavid Howells descend_to_node:
764b2a4df20SDavid Howells 	/* Descend to a more distal node in this keyring's content tree and go
765b2a4df20SDavid Howells 	 * through that.
766b2a4df20SDavid Howells 	 */
767b2a4df20SDavid Howells 	kdebug("descend");
768b2a4df20SDavid Howells 	if (assoc_array_ptr_is_shortcut(ptr)) {
769b2a4df20SDavid Howells 		shortcut = assoc_array_ptr_to_shortcut(ptr);
770381f20fcSDavidlohr Bueso 		ptr = READ_ONCE(shortcut->next_node);
771b2a4df20SDavid Howells 		BUG_ON(!assoc_array_ptr_is_node(ptr));
772b2a4df20SDavid Howells 	}
7739c5e45dfSDavid Howells 	node = assoc_array_ptr_to_node(ptr);
774b2a4df20SDavid Howells 
775b2a4df20SDavid Howells begin_node:
776b2a4df20SDavid Howells 	kdebug("begin_node");
777b2a4df20SDavid Howells 	slot = 0;
778b2a4df20SDavid Howells ascend_to_node:
779b2a4df20SDavid Howells 	/* Go through the slots in a node */
780b2a4df20SDavid Howells 	for (; slot < ASSOC_ARRAY_FAN_OUT; slot++) {
781381f20fcSDavidlohr Bueso 		ptr = READ_ONCE(node->slots[slot]);
782b2a4df20SDavid Howells 
783b2a4df20SDavid Howells 		if (assoc_array_ptr_is_meta(ptr) && node->back_pointer)
784b2a4df20SDavid Howells 			goto descend_to_node;
785b2a4df20SDavid Howells 
786b2a4df20SDavid Howells 		if (!keyring_ptr_is_keyring(ptr))
787b2a4df20SDavid Howells 			continue;
788b2a4df20SDavid Howells 
789b2a4df20SDavid Howells 		key = keyring_ptr_to_key(ptr);
790b2a4df20SDavid Howells 
791b2a4df20SDavid Howells 		if (sp >= KEYRING_SEARCH_MAX_DEPTH) {
792b2a4df20SDavid Howells 			if (ctx->flags & KEYRING_SEARCH_DETECT_TOO_DEEP) {
793b2a4df20SDavid Howells 				ctx->result = ERR_PTR(-ELOOP);
794b2a4df20SDavid Howells 				return false;
795b2a4df20SDavid Howells 			}
796b2a4df20SDavid Howells 			goto not_this_keyring;
797b2a4df20SDavid Howells 		}
798b2a4df20SDavid Howells 
799b2a4df20SDavid Howells 		/* Search a nested keyring */
800b2a4df20SDavid Howells 		if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM) &&
801b2a4df20SDavid Howells 		    key_task_permission(make_key_ref(key, ctx->possessed),
802f5895943SDavid Howells 					ctx->cred, KEY_NEED_SEARCH) < 0)
803b2a4df20SDavid Howells 			continue;
804b2a4df20SDavid Howells 
805b2a4df20SDavid Howells 		/* stack the current position */
806b2a4df20SDavid Howells 		stack[sp].keyring = keyring;
807b2a4df20SDavid Howells 		stack[sp].node = node;
808b2a4df20SDavid Howells 		stack[sp].slot = slot;
809b2a4df20SDavid Howells 		sp++;
810b2a4df20SDavid Howells 
811b2a4df20SDavid Howells 		/* begin again with the new keyring */
812b2a4df20SDavid Howells 		keyring = key;
813b2a4df20SDavid Howells 		goto descend_to_keyring;
814b2a4df20SDavid Howells 	}
815b2a4df20SDavid Howells 
816b2a4df20SDavid Howells 	/* We've dealt with all the slots in the current node, so now we need
817b2a4df20SDavid Howells 	 * to ascend to the parent and continue processing there.
818b2a4df20SDavid Howells 	 */
819381f20fcSDavidlohr Bueso 	ptr = READ_ONCE(node->back_pointer);
820b2a4df20SDavid Howells 	slot = node->parent_slot;
821b2a4df20SDavid Howells 
822b2a4df20SDavid Howells 	if (ptr && assoc_array_ptr_is_shortcut(ptr)) {
823b2a4df20SDavid Howells 		shortcut = assoc_array_ptr_to_shortcut(ptr);
824381f20fcSDavidlohr Bueso 		ptr = READ_ONCE(shortcut->back_pointer);
825b2a4df20SDavid Howells 		slot = shortcut->parent_slot;
826b2a4df20SDavid Howells 	}
827b2a4df20SDavid Howells 	if (!ptr)
828b2a4df20SDavid Howells 		goto not_this_keyring;
829b2a4df20SDavid Howells 	node = assoc_array_ptr_to_node(ptr);
830b2a4df20SDavid Howells 	slot++;
831b2a4df20SDavid Howells 
832b2a4df20SDavid Howells 	/* If we've ascended to the root (zero backpointer), we must have just
833b2a4df20SDavid Howells 	 * finished processing the leftmost branch rather than the root slots -
834b2a4df20SDavid Howells 	 * so there can't be any more keyrings for us to find.
835b2a4df20SDavid Howells 	 */
836b2a4df20SDavid Howells 	if (node->back_pointer) {
837b2a4df20SDavid Howells 		kdebug("ascend %d", slot);
838b2a4df20SDavid Howells 		goto ascend_to_node;
839b2a4df20SDavid Howells 	}
840b2a4df20SDavid Howells 
841b2a4df20SDavid Howells 	/* The keyring we're looking at was disqualified or didn't contain a
842b2a4df20SDavid Howells 	 * matching key.
843b2a4df20SDavid Howells 	 */
844b2a4df20SDavid Howells not_this_keyring:
845b2a4df20SDavid Howells 	kdebug("not_this_keyring %d", sp);
846b2a4df20SDavid Howells 	if (sp <= 0) {
847b2a4df20SDavid Howells 		kleave(" = false");
848b2a4df20SDavid Howells 		return false;
849b2a4df20SDavid Howells 	}
850b2a4df20SDavid Howells 
851b2a4df20SDavid Howells 	/* Resume the processing of a keyring higher up in the tree */
852b2a4df20SDavid Howells 	sp--;
853b2a4df20SDavid Howells 	keyring = stack[sp].keyring;
854b2a4df20SDavid Howells 	node = stack[sp].node;
855b2a4df20SDavid Howells 	slot = stack[sp].slot + 1;
856b2a4df20SDavid Howells 	kdebug("ascend to %d [%d]", keyring->serial, slot);
857b2a4df20SDavid Howells 	goto ascend_to_node;
858b2a4df20SDavid Howells 
859b2a4df20SDavid Howells 	/* We found a viable match */
860b2a4df20SDavid Howells found:
861b2a4df20SDavid Howells 	key = key_ref_to_ptr(ctx->result);
862b2a4df20SDavid Howells 	key_check(key);
863b2a4df20SDavid Howells 	if (!(ctx->flags & KEYRING_SEARCH_NO_UPDATE_TIME)) {
864074d5898SBaolin Wang 		key->last_used_at = ctx->now;
865074d5898SBaolin Wang 		keyring->last_used_at = ctx->now;
866b2a4df20SDavid Howells 		while (sp > 0)
867074d5898SBaolin Wang 			stack[--sp].keyring->last_used_at = ctx->now;
868b2a4df20SDavid Howells 	}
869b2a4df20SDavid Howells 	kleave(" = true");
870b2a4df20SDavid Howells 	return true;
871b2a4df20SDavid Howells }
872b2a4df20SDavid Howells 
873973c9f4fSDavid Howells /**
874e59428f7SDavid Howells  * keyring_search_rcu - Search a keyring tree for a matching key under RCU
875973c9f4fSDavid Howells  * @keyring_ref: A pointer to the keyring with possession indicator.
8764bdf0bc3SDavid Howells  * @ctx: The keyring search context.
877973c9f4fSDavid Howells  *
878973c9f4fSDavid Howells  * Search the supplied keyring tree for a key that matches the criteria given.
879973c9f4fSDavid Howells  * The root keyring and any linked keyrings must grant Search permission to the
880973c9f4fSDavid Howells  * caller to be searchable and keys can only be found if they too grant Search
881973c9f4fSDavid Howells  * to the caller. The possession flag on the root keyring pointer controls use
882973c9f4fSDavid Howells  * of the possessor bits in permissions checking of the entire tree.  In
883973c9f4fSDavid Howells  * addition, the LSM gets to forbid keyring searches and key matches.
884973c9f4fSDavid Howells  *
885973c9f4fSDavid Howells  * The search is performed as a breadth-then-depth search up to the prescribed
886e59428f7SDavid Howells  * limit (KEYRING_SEARCH_MAX_DEPTH).  The caller must hold the RCU read lock to
887e59428f7SDavid Howells  * prevent keyrings from being destroyed or rearranged whilst they are being
888e59428f7SDavid Howells  * searched.
889973c9f4fSDavid Howells  *
890973c9f4fSDavid Howells  * Keys are matched to the type provided and are then filtered by the match
891973c9f4fSDavid Howells  * function, which is given the description to use in any way it sees fit.  The
892973c9f4fSDavid Howells  * match function may use any attributes of a key that it wishes to to
893973c9f4fSDavid Howells  * determine the match.  Normally the match function from the key type would be
894973c9f4fSDavid Howells  * used.
895973c9f4fSDavid Howells  *
896b2a4df20SDavid Howells  * RCU can be used to prevent the keyring key lists from disappearing without
897b2a4df20SDavid Howells  * the need to take lots of locks.
898973c9f4fSDavid Howells  *
899973c9f4fSDavid Howells  * Returns a pointer to the found key and increments the key usage count if
900973c9f4fSDavid Howells  * successful; -EAGAIN if no matching keys were found, or if expired or revoked
901973c9f4fSDavid Howells  * keys were found; -ENOKEY if only negative keys were found; -ENOTDIR if the
902973c9f4fSDavid Howells  * specified keyring wasn't a keyring.
903973c9f4fSDavid Howells  *
904973c9f4fSDavid Howells  * In the case of a successful return, the possession attribute from
905973c9f4fSDavid Howells  * @keyring_ref is propagated to the returned key reference.
9061da177e4SLinus Torvalds  */
907e59428f7SDavid Howells key_ref_t keyring_search_rcu(key_ref_t keyring_ref,
9084bdf0bc3SDavid Howells 			     struct keyring_search_context *ctx)
9091da177e4SLinus Torvalds {
91031d5a79dSDavid Howells 	struct key *keyring;
9111da177e4SLinus Torvalds 	long err;
912b2a4df20SDavid Howells 
913b2a4df20SDavid Howells 	ctx->iterator = keyring_search_iterator;
914b2a4df20SDavid Howells 	ctx->possessed = is_key_possessed(keyring_ref);
915b2a4df20SDavid Howells 	ctx->result = ERR_PTR(-EAGAIN);
9161da177e4SLinus Torvalds 
917664cceb0SDavid Howells 	keyring = key_ref_to_ptr(keyring_ref);
9181da177e4SLinus Torvalds 	key_check(keyring);
9191da177e4SLinus Torvalds 
9201da177e4SLinus Torvalds 	if (keyring->type != &key_type_keyring)
921b2a4df20SDavid Howells 		return ERR_PTR(-ENOTDIR);
922b2a4df20SDavid Howells 
923b2a4df20SDavid Howells 	if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM)) {
924f5895943SDavid Howells 		err = key_task_permission(keyring_ref, ctx->cred, KEY_NEED_SEARCH);
925b2a4df20SDavid Howells 		if (err < 0)
926b2a4df20SDavid Howells 			return ERR_PTR(err);
927b2a4df20SDavid Howells 	}
9281da177e4SLinus Torvalds 
929074d5898SBaolin Wang 	ctx->now = ktime_get_real_seconds();
930b2a4df20SDavid Howells 	if (search_nested_keyrings(keyring, ctx))
931b2a4df20SDavid Howells 		__key_get(key_ref_to_ptr(ctx->result));
932b2a4df20SDavid Howells 	return ctx->result;
933a8b17ed0SDavid Howells }
9341da177e4SLinus Torvalds 
935973c9f4fSDavid Howells /**
936973c9f4fSDavid Howells  * keyring_search - Search the supplied keyring tree for a matching key
937973c9f4fSDavid Howells  * @keyring: The root of the keyring tree to be searched.
938973c9f4fSDavid Howells  * @type: The type of keyring we want to find.
939973c9f4fSDavid Howells  * @description: The name of the keyring we want to find.
940dcf49dbcSDavid Howells  * @recurse: True to search the children of @keyring also
941973c9f4fSDavid Howells  *
942e59428f7SDavid Howells  * As keyring_search_rcu() above, but using the current task's credentials and
943b2a4df20SDavid Howells  * type's default matching function and preferred search method.
9441da177e4SLinus Torvalds  */
945664cceb0SDavid Howells key_ref_t keyring_search(key_ref_t keyring,
9461da177e4SLinus Torvalds 			 struct key_type *type,
947dcf49dbcSDavid Howells 			 const char *description,
948dcf49dbcSDavid Howells 			 bool recurse)
9491da177e4SLinus Torvalds {
9504bdf0bc3SDavid Howells 	struct keyring_search_context ctx = {
9514bdf0bc3SDavid Howells 		.index_key.type		= type,
9524bdf0bc3SDavid Howells 		.index_key.description	= description,
953ede0fa98SEric Biggers 		.index_key.desc_len	= strlen(description),
9544bdf0bc3SDavid Howells 		.cred			= current_cred(),
955c06cfb08SDavid Howells 		.match_data.cmp		= key_default_cmp,
95646291959SDavid Howells 		.match_data.raw_data	= description,
95746291959SDavid Howells 		.match_data.lookup_type	= KEYRING_SEARCH_LOOKUP_DIRECT,
95846291959SDavid Howells 		.flags			= KEYRING_SEARCH_DO_STATE_CHECK,
9594bdf0bc3SDavid Howells 	};
96046291959SDavid Howells 	key_ref_t key;
96146291959SDavid Howells 	int ret;
9624bdf0bc3SDavid Howells 
963dcf49dbcSDavid Howells 	if (recurse)
964dcf49dbcSDavid Howells 		ctx.flags |= KEYRING_SEARCH_RECURSE;
96546291959SDavid Howells 	if (type->match_preparse) {
96646291959SDavid Howells 		ret = type->match_preparse(&ctx.match_data);
96746291959SDavid Howells 		if (ret < 0)
96846291959SDavid Howells 			return ERR_PTR(ret);
96946291959SDavid Howells 	}
97046291959SDavid Howells 
971e59428f7SDavid Howells 	rcu_read_lock();
972e59428f7SDavid Howells 	key = keyring_search_rcu(keyring, &ctx);
973e59428f7SDavid Howells 	rcu_read_unlock();
97446291959SDavid Howells 
97546291959SDavid Howells 	if (type->match_free)
97646291959SDavid Howells 		type->match_free(&ctx.match_data);
97746291959SDavid Howells 	return key;
978a8b17ed0SDavid Howells }
9791da177e4SLinus Torvalds EXPORT_SYMBOL(keyring_search);
9801da177e4SLinus Torvalds 
9816563c91fSMat Martineau static struct key_restriction *keyring_restriction_alloc(
9826563c91fSMat Martineau 	key_restrict_link_func_t check)
9836563c91fSMat Martineau {
9846563c91fSMat Martineau 	struct key_restriction *keyres =
9856563c91fSMat Martineau 		kzalloc(sizeof(struct key_restriction), GFP_KERNEL);
9866563c91fSMat Martineau 
9876563c91fSMat Martineau 	if (!keyres)
9886563c91fSMat Martineau 		return ERR_PTR(-ENOMEM);
9896563c91fSMat Martineau 
9906563c91fSMat Martineau 	keyres->check = check;
9916563c91fSMat Martineau 
9926563c91fSMat Martineau 	return keyres;
9936563c91fSMat Martineau }
9946563c91fSMat Martineau 
9956563c91fSMat Martineau /*
9966563c91fSMat Martineau  * Semaphore to serialise restriction setup to prevent reference count
9976563c91fSMat Martineau  * cycles through restriction key pointers.
9986563c91fSMat Martineau  */
9996563c91fSMat Martineau static DECLARE_RWSEM(keyring_serialise_restrict_sem);
10006563c91fSMat Martineau 
10016563c91fSMat Martineau /*
10026563c91fSMat Martineau  * Check for restriction cycles that would prevent keyring garbage collection.
10036563c91fSMat Martineau  * keyring_serialise_restrict_sem must be held.
10046563c91fSMat Martineau  */
10056563c91fSMat Martineau static bool keyring_detect_restriction_cycle(const struct key *dest_keyring,
10066563c91fSMat Martineau 					     struct key_restriction *keyres)
10076563c91fSMat Martineau {
10086563c91fSMat Martineau 	while (keyres && keyres->key &&
10096563c91fSMat Martineau 	       keyres->key->type == &key_type_keyring) {
10106563c91fSMat Martineau 		if (keyres->key == dest_keyring)
10116563c91fSMat Martineau 			return true;
10126563c91fSMat Martineau 
10136563c91fSMat Martineau 		keyres = keyres->key->restrict_link;
10146563c91fSMat Martineau 	}
10156563c91fSMat Martineau 
10166563c91fSMat Martineau 	return false;
10176563c91fSMat Martineau }
10186563c91fSMat Martineau 
10196563c91fSMat Martineau /**
10206563c91fSMat Martineau  * keyring_restrict - Look up and apply a restriction to a keyring
10219fd16537SDavid Howells  * @keyring_ref: The keyring to be restricted
10229fd16537SDavid Howells  * @type: The key type that will provide the restriction checker.
10236563c91fSMat Martineau  * @restriction: The restriction options to apply to the keyring
10249fd16537SDavid Howells  *
10259fd16537SDavid Howells  * Look up a keyring and apply a restriction to it.  The restriction is managed
10269fd16537SDavid Howells  * by the specific key type, but can be configured by the options specified in
10279fd16537SDavid Howells  * the restriction string.
10286563c91fSMat Martineau  */
10296563c91fSMat Martineau int keyring_restrict(key_ref_t keyring_ref, const char *type,
10306563c91fSMat Martineau 		     const char *restriction)
10316563c91fSMat Martineau {
10326563c91fSMat Martineau 	struct key *keyring;
10336563c91fSMat Martineau 	struct key_type *restrict_type = NULL;
10346563c91fSMat Martineau 	struct key_restriction *restrict_link;
10356563c91fSMat Martineau 	int ret = 0;
10366563c91fSMat Martineau 
10376563c91fSMat Martineau 	keyring = key_ref_to_ptr(keyring_ref);
10386563c91fSMat Martineau 	key_check(keyring);
10396563c91fSMat Martineau 
10406563c91fSMat Martineau 	if (keyring->type != &key_type_keyring)
10416563c91fSMat Martineau 		return -ENOTDIR;
10426563c91fSMat Martineau 
10436563c91fSMat Martineau 	if (!type) {
10446563c91fSMat Martineau 		restrict_link = keyring_restriction_alloc(restrict_link_reject);
10456563c91fSMat Martineau 	} else {
10466563c91fSMat Martineau 		restrict_type = key_type_lookup(type);
10476563c91fSMat Martineau 
10486563c91fSMat Martineau 		if (IS_ERR(restrict_type))
10496563c91fSMat Martineau 			return PTR_ERR(restrict_type);
10506563c91fSMat Martineau 
10516563c91fSMat Martineau 		if (!restrict_type->lookup_restriction) {
10526563c91fSMat Martineau 			ret = -ENOENT;
10536563c91fSMat Martineau 			goto error;
10546563c91fSMat Martineau 		}
10556563c91fSMat Martineau 
10566563c91fSMat Martineau 		restrict_link = restrict_type->lookup_restriction(restriction);
10576563c91fSMat Martineau 	}
10586563c91fSMat Martineau 
10596563c91fSMat Martineau 	if (IS_ERR(restrict_link)) {
10606563c91fSMat Martineau 		ret = PTR_ERR(restrict_link);
10616563c91fSMat Martineau 		goto error;
10626563c91fSMat Martineau 	}
10636563c91fSMat Martineau 
10646563c91fSMat Martineau 	down_write(&keyring->sem);
10656563c91fSMat Martineau 	down_write(&keyring_serialise_restrict_sem);
10666563c91fSMat Martineau 
10676563c91fSMat Martineau 	if (keyring->restrict_link)
10686563c91fSMat Martineau 		ret = -EEXIST;
10696563c91fSMat Martineau 	else if (keyring_detect_restriction_cycle(keyring, restrict_link))
10706563c91fSMat Martineau 		ret = -EDEADLK;
10716563c91fSMat Martineau 	else
10726563c91fSMat Martineau 		keyring->restrict_link = restrict_link;
10736563c91fSMat Martineau 
10746563c91fSMat Martineau 	up_write(&keyring_serialise_restrict_sem);
10756563c91fSMat Martineau 	up_write(&keyring->sem);
10766563c91fSMat Martineau 
10776563c91fSMat Martineau 	if (ret < 0) {
10786563c91fSMat Martineau 		key_put(restrict_link->key);
10796563c91fSMat Martineau 		kfree(restrict_link);
10806563c91fSMat Martineau 	}
10816563c91fSMat Martineau 
10826563c91fSMat Martineau error:
10836563c91fSMat Martineau 	if (restrict_type)
10846563c91fSMat Martineau 		key_type_put(restrict_type);
10856563c91fSMat Martineau 
10866563c91fSMat Martineau 	return ret;
10876563c91fSMat Martineau }
10886563c91fSMat Martineau EXPORT_SYMBOL(keyring_restrict);
10896563c91fSMat Martineau 
10901da177e4SLinus Torvalds /*
1091b2a4df20SDavid Howells  * Search the given keyring for a key that might be updated.
1092973c9f4fSDavid Howells  *
1093973c9f4fSDavid Howells  * The caller must guarantee that the keyring is a keyring and that the
1094b2a4df20SDavid Howells  * permission is granted to modify the keyring as no check is made here.  The
1095b2a4df20SDavid Howells  * caller must also hold a lock on the keyring semaphore.
1096973c9f4fSDavid Howells  *
1097973c9f4fSDavid Howells  * Returns a pointer to the found key with usage count incremented if
1098b2a4df20SDavid Howells  * successful and returns NULL if not found.  Revoked and invalidated keys are
1099b2a4df20SDavid Howells  * skipped over.
1100973c9f4fSDavid Howells  *
1101973c9f4fSDavid Howells  * If successful, the possession indicator is propagated from the keyring ref
1102973c9f4fSDavid Howells  * to the returned key reference.
11031da177e4SLinus Torvalds  */
1104b2a4df20SDavid Howells key_ref_t find_key_to_update(key_ref_t keyring_ref,
1105e57e8669SDavid Howells 			     const struct keyring_index_key *index_key)
11061da177e4SLinus Torvalds {
1107664cceb0SDavid Howells 	struct key *keyring, *key;
1108b2a4df20SDavid Howells 	const void *object;
11091da177e4SLinus Torvalds 
1110664cceb0SDavid Howells 	keyring = key_ref_to_ptr(keyring_ref);
1111664cceb0SDavid Howells 
1112b2a4df20SDavid Howells 	kenter("{%d},{%s,%s}",
1113b2a4df20SDavid Howells 	       keyring->serial, index_key->type->name, index_key->description);
111476d8aeabSDavid Howells 
1115b2a4df20SDavid Howells 	object = assoc_array_find(&keyring->keys, &keyring_assoc_array_ops,
1116b2a4df20SDavid Howells 				  index_key);
1117b2a4df20SDavid Howells 
1118b2a4df20SDavid Howells 	if (object)
11191da177e4SLinus Torvalds 		goto found;
11201da177e4SLinus Torvalds 
1121b2a4df20SDavid Howells 	kleave(" = NULL");
1122b2a4df20SDavid Howells 	return NULL;
11231da177e4SLinus Torvalds 
11241da177e4SLinus Torvalds found:
1125b2a4df20SDavid Howells 	key = keyring_ptr_to_key(object);
1126b2a4df20SDavid Howells 	if (key->flags & ((1 << KEY_FLAG_INVALIDATED) |
1127b2a4df20SDavid Howells 			  (1 << KEY_FLAG_REVOKED))) {
1128b2a4df20SDavid Howells 		kleave(" = NULL [x]");
1129b2a4df20SDavid Howells 		return NULL;
1130b2a4df20SDavid Howells 	}
1131ccc3e6d9SDavid Howells 	__key_get(key);
1132b2a4df20SDavid Howells 	kleave(" = {%d}", key->serial);
1133b2a4df20SDavid Howells 	return make_key_ref(key, is_key_possessed(keyring_ref));
1134a8b17ed0SDavid Howells }
11351da177e4SLinus Torvalds 
11361da177e4SLinus Torvalds /*
1137973c9f4fSDavid Howells  * Find a keyring with the specified name.
1138973c9f4fSDavid Howells  *
1139237bbd29SEric Biggers  * Only keyrings that have nonzero refcount, are not revoked, and are owned by a
1140237bbd29SEric Biggers  * user in the current user namespace are considered.  If @uid_keyring is %true,
1141237bbd29SEric Biggers  * the keyring additionally must have been allocated as a user or user session
1142237bbd29SEric Biggers  * keyring; otherwise, it must grant Search permission directly to the caller.
1143973c9f4fSDavid Howells  *
1144973c9f4fSDavid Howells  * Returns a pointer to the keyring with the keyring's refcount having being
1145973c9f4fSDavid Howells  * incremented on success.  -ENOKEY is returned if a key could not be found.
11461da177e4SLinus Torvalds  */
1147237bbd29SEric Biggers struct key *find_keyring_by_name(const char *name, bool uid_keyring)
11481da177e4SLinus Torvalds {
1149b206f281SDavid Howells 	struct user_namespace *ns = current_user_ns();
11501da177e4SLinus Torvalds 	struct key *keyring;
11511da177e4SLinus Torvalds 
11521da177e4SLinus Torvalds 	if (!name)
1153cea7daa3SToshiyuki Okajima 		return ERR_PTR(-EINVAL);
11541da177e4SLinus Torvalds 
11551da177e4SLinus Torvalds 	read_lock(&keyring_name_lock);
11561da177e4SLinus Torvalds 
1157b206f281SDavid Howells 	/* Search this hash bucket for a keyring with a matching name that
1158b206f281SDavid Howells 	 * grants Search permission and that hasn't been revoked
1159b206f281SDavid Howells 	 */
1160b206f281SDavid Howells 	list_for_each_entry(keyring, &ns->keyring_name_list, name_link) {
1161b206f281SDavid Howells 		if (!kuid_has_mapping(ns, keyring->user->uid))
11622ea190d0SSerge E. Hallyn 			continue;
11632ea190d0SSerge E. Hallyn 
116476d8aeabSDavid Howells 		if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
11651da177e4SLinus Torvalds 			continue;
11661da177e4SLinus Torvalds 
11671da177e4SLinus Torvalds 		if (strcmp(keyring->description, name) != 0)
11681da177e4SLinus Torvalds 			continue;
11691da177e4SLinus Torvalds 
1170237bbd29SEric Biggers 		if (uid_keyring) {
1171237bbd29SEric Biggers 			if (!test_bit(KEY_FLAG_UID_KEYRING,
1172237bbd29SEric Biggers 				      &keyring->flags))
1173237bbd29SEric Biggers 				continue;
1174237bbd29SEric Biggers 		} else {
1175237bbd29SEric Biggers 			if (key_permission(make_key_ref(keyring, 0),
1176f5895943SDavid Howells 					   KEY_NEED_SEARCH) < 0)
11771da177e4SLinus Torvalds 				continue;
1178237bbd29SEric Biggers 		}
11791da177e4SLinus Torvalds 
1180cea7daa3SToshiyuki Okajima 		/* we've got a match but we might end up racing with
1181cea7daa3SToshiyuki Okajima 		 * key_cleanup() if the keyring is currently 'dead'
1182cea7daa3SToshiyuki Okajima 		 * (ie. it has a zero usage count) */
1183fff29291SElena Reshetova 		if (!refcount_inc_not_zero(&keyring->usage))
1184cea7daa3SToshiyuki Okajima 			continue;
1185074d5898SBaolin Wang 		keyring->last_used_at = ktime_get_real_seconds();
1186cea7daa3SToshiyuki Okajima 		goto out;
11871da177e4SLinus Torvalds 	}
11881da177e4SLinus Torvalds 
11891da177e4SLinus Torvalds 	keyring = ERR_PTR(-ENOKEY);
1190cea7daa3SToshiyuki Okajima out:
1191cea7daa3SToshiyuki Okajima 	read_unlock(&keyring_name_lock);
11921da177e4SLinus Torvalds 	return keyring;
1193a8b17ed0SDavid Howells }
11941da177e4SLinus Torvalds 
1195b2a4df20SDavid Howells static int keyring_detect_cycle_iterator(const void *object,
1196b2a4df20SDavid Howells 					 void *iterator_data)
1197b2a4df20SDavid Howells {
1198b2a4df20SDavid Howells 	struct keyring_search_context *ctx = iterator_data;
1199b2a4df20SDavid Howells 	const struct key *key = keyring_ptr_to_key(object);
1200b2a4df20SDavid Howells 
1201b2a4df20SDavid Howells 	kenter("{%d}", key->serial);
1202b2a4df20SDavid Howells 
1203979e0d74SDavid Howells 	/* We might get a keyring with matching index-key that is nonetheless a
1204979e0d74SDavid Howells 	 * different keyring. */
120546291959SDavid Howells 	if (key != ctx->match_data.raw_data)
1206979e0d74SDavid Howells 		return 0;
1207979e0d74SDavid Howells 
1208b2a4df20SDavid Howells 	ctx->result = ERR_PTR(-EDEADLK);
1209b2a4df20SDavid Howells 	return 1;
1210b2a4df20SDavid Howells }
1211b2a4df20SDavid Howells 
12121da177e4SLinus Torvalds /*
1213973c9f4fSDavid Howells  * See if a cycle will will be created by inserting acyclic tree B in acyclic
1214973c9f4fSDavid Howells  * tree A at the topmost level (ie: as a direct child of A).
1215973c9f4fSDavid Howells  *
1216973c9f4fSDavid Howells  * Since we are adding B to A at the top level, checking for cycles should just
1217973c9f4fSDavid Howells  * be a matter of seeing if node A is somewhere in tree B.
12181da177e4SLinus Torvalds  */
12191da177e4SLinus Torvalds static int keyring_detect_cycle(struct key *A, struct key *B)
12201da177e4SLinus Torvalds {
1221b2a4df20SDavid Howells 	struct keyring_search_context ctx = {
1222b2a4df20SDavid Howells 		.index_key		= A->index_key,
122346291959SDavid Howells 		.match_data.raw_data	= A,
122446291959SDavid Howells 		.match_data.lookup_type = KEYRING_SEARCH_LOOKUP_DIRECT,
1225b2a4df20SDavid Howells 		.iterator		= keyring_detect_cycle_iterator,
122646291959SDavid Howells 		.flags			= (KEYRING_SEARCH_NO_STATE_CHECK |
1227b2a4df20SDavid Howells 					   KEYRING_SEARCH_NO_UPDATE_TIME |
1228b2a4df20SDavid Howells 					   KEYRING_SEARCH_NO_CHECK_PERM |
1229dcf49dbcSDavid Howells 					   KEYRING_SEARCH_DETECT_TOO_DEEP |
1230dcf49dbcSDavid Howells 					   KEYRING_SEARCH_RECURSE),
1231b2a4df20SDavid Howells 	};
12321da177e4SLinus Torvalds 
123376d8aeabSDavid Howells 	rcu_read_lock();
1234b2a4df20SDavid Howells 	search_nested_keyrings(B, &ctx);
123576d8aeabSDavid Howells 	rcu_read_unlock();
1236b2a4df20SDavid Howells 	return PTR_ERR(ctx.result) == -EAGAIN ? 0 : PTR_ERR(ctx.result);
1237f70e2e06SDavid Howells }
1238cab8eb59SDavid Howells 
1239cab8eb59SDavid Howells /*
1240df593ee2SDavid Howells  * Lock keyring for link.
1241df593ee2SDavid Howells  */
1242df593ee2SDavid Howells int __key_link_lock(struct key *keyring,
1243df593ee2SDavid Howells 		    const struct keyring_index_key *index_key)
1244df593ee2SDavid Howells 	__acquires(&keyring->sem)
1245df593ee2SDavid Howells 	__acquires(&keyring_serialise_link_lock)
1246df593ee2SDavid Howells {
1247df593ee2SDavid Howells 	if (keyring->type != &key_type_keyring)
1248df593ee2SDavid Howells 		return -ENOTDIR;
1249df593ee2SDavid Howells 
1250df593ee2SDavid Howells 	down_write(&keyring->sem);
1251df593ee2SDavid Howells 
1252df593ee2SDavid Howells 	/* Serialise link/link calls to prevent parallel calls causing a cycle
1253df593ee2SDavid Howells 	 * when linking two keyring in opposite orders.
1254df593ee2SDavid Howells 	 */
1255df593ee2SDavid Howells 	if (index_key->type == &key_type_keyring)
1256df593ee2SDavid Howells 		mutex_lock(&keyring_serialise_link_lock);
1257df593ee2SDavid Howells 
1258df593ee2SDavid Howells 	return 0;
1259df593ee2SDavid Howells }
1260df593ee2SDavid Howells 
1261df593ee2SDavid Howells /*
1262ed0ac5c7SDavid Howells  * Lock keyrings for move (link/unlink combination).
1263ed0ac5c7SDavid Howells  */
1264ed0ac5c7SDavid Howells int __key_move_lock(struct key *l_keyring, struct key *u_keyring,
1265ed0ac5c7SDavid Howells 		    const struct keyring_index_key *index_key)
1266ed0ac5c7SDavid Howells 	__acquires(&l_keyring->sem)
1267ed0ac5c7SDavid Howells 	__acquires(&u_keyring->sem)
1268ed0ac5c7SDavid Howells 	__acquires(&keyring_serialise_link_lock)
1269ed0ac5c7SDavid Howells {
1270ed0ac5c7SDavid Howells 	if (l_keyring->type != &key_type_keyring ||
1271ed0ac5c7SDavid Howells 	    u_keyring->type != &key_type_keyring)
1272ed0ac5c7SDavid Howells 		return -ENOTDIR;
1273ed0ac5c7SDavid Howells 
1274ed0ac5c7SDavid Howells 	/* We have to be very careful here to take the keyring locks in the
1275ed0ac5c7SDavid Howells 	 * right order, lest we open ourselves to deadlocking against another
1276ed0ac5c7SDavid Howells 	 * move operation.
1277ed0ac5c7SDavid Howells 	 */
1278ed0ac5c7SDavid Howells 	if (l_keyring < u_keyring) {
1279ed0ac5c7SDavid Howells 		down_write(&l_keyring->sem);
1280ed0ac5c7SDavid Howells 		down_write_nested(&u_keyring->sem, 1);
1281ed0ac5c7SDavid Howells 	} else {
1282ed0ac5c7SDavid Howells 		down_write(&u_keyring->sem);
1283ed0ac5c7SDavid Howells 		down_write_nested(&l_keyring->sem, 1);
1284ed0ac5c7SDavid Howells 	}
1285ed0ac5c7SDavid Howells 
1286ed0ac5c7SDavid Howells 	/* Serialise link/link calls to prevent parallel calls causing a cycle
1287ed0ac5c7SDavid Howells 	 * when linking two keyring in opposite orders.
1288ed0ac5c7SDavid Howells 	 */
1289ed0ac5c7SDavid Howells 	if (index_key->type == &key_type_keyring)
1290ed0ac5c7SDavid Howells 		mutex_lock(&keyring_serialise_link_lock);
1291ed0ac5c7SDavid Howells 
1292ed0ac5c7SDavid Howells 	return 0;
1293ed0ac5c7SDavid Howells }
1294ed0ac5c7SDavid Howells 
1295ed0ac5c7SDavid Howells /*
1296973c9f4fSDavid Howells  * Preallocate memory so that a key can be linked into to a keyring.
12971da177e4SLinus Torvalds  */
1298b2a4df20SDavid Howells int __key_link_begin(struct key *keyring,
1299b2a4df20SDavid Howells 		     const struct keyring_index_key *index_key,
1300b2a4df20SDavid Howells 		     struct assoc_array_edit **_edit)
13011da177e4SLinus Torvalds {
1302b2a4df20SDavid Howells 	struct assoc_array_edit *edit;
1303b2a4df20SDavid Howells 	int ret;
13041da177e4SLinus Torvalds 
130516feef43SDavid Howells 	kenter("%d,%s,%s,",
1306b2a4df20SDavid Howells 	       keyring->serial, index_key->type->name, index_key->description);
1307b2a4df20SDavid Howells 
1308b2a4df20SDavid Howells 	BUG_ON(index_key->desc_len == 0);
1309df593ee2SDavid Howells 	BUG_ON(*_edit != NULL);
1310f70e2e06SDavid Howells 
1311df593ee2SDavid Howells 	*_edit = NULL;
1312f70e2e06SDavid Howells 
13131da177e4SLinus Torvalds 	ret = -EKEYREVOKED;
131476d8aeabSDavid Howells 	if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
1315df593ee2SDavid Howells 		goto error;
13161da177e4SLinus Torvalds 
1317b2a4df20SDavid Howells 	/* Create an edit script that will insert/replace the key in the
1318b2a4df20SDavid Howells 	 * keyring tree.
1319b2a4df20SDavid Howells 	 */
1320b2a4df20SDavid Howells 	edit = assoc_array_insert(&keyring->keys,
1321b2a4df20SDavid Howells 				  &keyring_assoc_array_ops,
1322b2a4df20SDavid Howells 				  index_key,
1323b2a4df20SDavid Howells 				  NULL);
1324b2a4df20SDavid Howells 	if (IS_ERR(edit)) {
1325b2a4df20SDavid Howells 		ret = PTR_ERR(edit);
1326df593ee2SDavid Howells 		goto error;
1327034faeb9SDavid Howells 	}
1328034faeb9SDavid Howells 
1329034faeb9SDavid Howells 	/* If we're not replacing a link in-place then we're going to need some
1330034faeb9SDavid Howells 	 * extra quota.
1331034faeb9SDavid Howells 	 */
1332034faeb9SDavid Howells 	if (!edit->dead_leaf) {
1333034faeb9SDavid Howells 		ret = key_payload_reserve(keyring,
1334034faeb9SDavid Howells 					  keyring->datalen + KEYQUOTA_LINK_BYTES);
1335034faeb9SDavid Howells 		if (ret < 0)
1336034faeb9SDavid Howells 			goto error_cancel;
13371da177e4SLinus Torvalds 	}
13381da177e4SLinus Torvalds 
1339b2a4df20SDavid Howells 	*_edit = edit;
1340f70e2e06SDavid Howells 	kleave(" = 0");
1341f70e2e06SDavid Howells 	return 0;
13421da177e4SLinus Torvalds 
1343034faeb9SDavid Howells error_cancel:
1344034faeb9SDavid Howells 	assoc_array_cancel_edit(edit);
1345df593ee2SDavid Howells error:
1346f70e2e06SDavid Howells 	kleave(" = %d", ret);
1347f70e2e06SDavid Howells 	return ret;
1348f70e2e06SDavid Howells }
13491da177e4SLinus Torvalds 
1350f70e2e06SDavid Howells /*
1351973c9f4fSDavid Howells  * Check already instantiated keys aren't going to be a problem.
1352973c9f4fSDavid Howells  *
1353973c9f4fSDavid Howells  * The caller must have called __key_link_begin(). Don't need to call this for
1354973c9f4fSDavid Howells  * keys that were created since __key_link_begin() was called.
1355f70e2e06SDavid Howells  */
1356f70e2e06SDavid Howells int __key_link_check_live_key(struct key *keyring, struct key *key)
1357f70e2e06SDavid Howells {
1358f70e2e06SDavid Howells 	if (key->type == &key_type_keyring)
1359f70e2e06SDavid Howells 		/* check that we aren't going to create a cycle by linking one
1360f70e2e06SDavid Howells 		 * keyring to another */
1361f70e2e06SDavid Howells 		return keyring_detect_cycle(keyring, key);
1362f70e2e06SDavid Howells 	return 0;
1363f70e2e06SDavid Howells }
13641da177e4SLinus Torvalds 
1365f70e2e06SDavid Howells /*
1366973c9f4fSDavid Howells  * Link a key into to a keyring.
1367973c9f4fSDavid Howells  *
1368973c9f4fSDavid Howells  * Must be called with __key_link_begin() having being called.  Discards any
1369973c9f4fSDavid Howells  * already extant link to matching key if there is one, so that each keyring
1370973c9f4fSDavid Howells  * holds at most one link to any given key of a particular type+description
1371973c9f4fSDavid Howells  * combination.
1372f70e2e06SDavid Howells  */
1373b2a4df20SDavid Howells void __key_link(struct key *key, struct assoc_array_edit **_edit)
1374f70e2e06SDavid Howells {
1375ccc3e6d9SDavid Howells 	__key_get(key);
1376b2a4df20SDavid Howells 	assoc_array_insert_set_object(*_edit, keyring_key_to_ptr(key));
1377b2a4df20SDavid Howells 	assoc_array_apply_edit(*_edit);
1378b2a4df20SDavid Howells 	*_edit = NULL;
1379f70e2e06SDavid Howells }
1380f70e2e06SDavid Howells 
1381f70e2e06SDavid Howells /*
1382973c9f4fSDavid Howells  * Finish linking a key into to a keyring.
1383973c9f4fSDavid Howells  *
1384973c9f4fSDavid Howells  * Must be called with __key_link_begin() having being called.
1385f70e2e06SDavid Howells  */
138616feef43SDavid Howells void __key_link_end(struct key *keyring,
138716feef43SDavid Howells 		    const struct keyring_index_key *index_key,
1388b2a4df20SDavid Howells 		    struct assoc_array_edit *edit)
1389f70e2e06SDavid Howells 	__releases(&keyring->sem)
13903be59f74SDavid Howells 	__releases(&keyring_serialise_link_lock)
1391f70e2e06SDavid Howells {
139216feef43SDavid Howells 	BUG_ON(index_key->type == NULL);
1393b2a4df20SDavid Howells 	kenter("%d,%s,", keyring->serial, index_key->type->name);
1394f70e2e06SDavid Howells 
1395ca4da5ddSColin Ian King 	if (edit) {
1396ca4da5ddSColin Ian King 		if (!edit->dead_leaf) {
1397f70e2e06SDavid Howells 			key_payload_reserve(keyring,
1398b2a4df20SDavid Howells 				keyring->datalen - KEYQUOTA_LINK_BYTES);
1399ca4da5ddSColin Ian King 		}
1400b2a4df20SDavid Howells 		assoc_array_cancel_edit(edit);
1401f70e2e06SDavid Howells 	}
1402f70e2e06SDavid Howells 	up_write(&keyring->sem);
1403df593ee2SDavid Howells 
1404df593ee2SDavid Howells 	if (index_key->type == &key_type_keyring)
1405df593ee2SDavid Howells 		mutex_unlock(&keyring_serialise_link_lock);
1406f70e2e06SDavid Howells }
1407f70e2e06SDavid Howells 
14085ac7eaceSDavid Howells /*
14095ac7eaceSDavid Howells  * Check addition of keys to restricted keyrings.
14105ac7eaceSDavid Howells  */
14115ac7eaceSDavid Howells static int __key_link_check_restriction(struct key *keyring, struct key *key)
14125ac7eaceSDavid Howells {
14132b6aa412SMat Martineau 	if (!keyring->restrict_link || !keyring->restrict_link->check)
14145ac7eaceSDavid Howells 		return 0;
14152b6aa412SMat Martineau 	return keyring->restrict_link->check(keyring, key->type, &key->payload,
14162b6aa412SMat Martineau 					     keyring->restrict_link->key);
14175ac7eaceSDavid Howells }
14185ac7eaceSDavid Howells 
1419973c9f4fSDavid Howells /**
1420973c9f4fSDavid Howells  * key_link - Link a key to a keyring
1421973c9f4fSDavid Howells  * @keyring: The keyring to make the link in.
1422973c9f4fSDavid Howells  * @key: The key to link to.
1423973c9f4fSDavid Howells  *
1424973c9f4fSDavid Howells  * Make a link in a keyring to a key, such that the keyring holds a reference
1425973c9f4fSDavid Howells  * on that key and the key can potentially be found by searching that keyring.
1426973c9f4fSDavid Howells  *
1427973c9f4fSDavid Howells  * This function will write-lock the keyring's semaphore and will consume some
1428973c9f4fSDavid Howells  * of the user's key data quota to hold the link.
1429973c9f4fSDavid Howells  *
1430973c9f4fSDavid Howells  * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring,
1431973c9f4fSDavid Howells  * -EKEYREVOKED if the keyring has been revoked, -ENFILE if the keyring is
1432973c9f4fSDavid Howells  * full, -EDQUOT if there is insufficient key data quota remaining to add
1433973c9f4fSDavid Howells  * another link or -ENOMEM if there's insufficient memory.
1434973c9f4fSDavid Howells  *
1435973c9f4fSDavid Howells  * It is assumed that the caller has checked that it is permitted for a link to
1436973c9f4fSDavid Howells  * be made (the keyring should have Write permission and the key Link
1437973c9f4fSDavid Howells  * permission).
14381da177e4SLinus Torvalds  */
14391da177e4SLinus Torvalds int key_link(struct key *keyring, struct key *key)
14401da177e4SLinus Torvalds {
1441df593ee2SDavid Howells 	struct assoc_array_edit *edit = NULL;
14421da177e4SLinus Torvalds 	int ret;
14431da177e4SLinus Torvalds 
1444fff29291SElena Reshetova 	kenter("{%d,%d}", keyring->serial, refcount_read(&keyring->usage));
1445b2a4df20SDavid Howells 
14461da177e4SLinus Torvalds 	key_check(keyring);
14471da177e4SLinus Torvalds 	key_check(key);
14481da177e4SLinus Torvalds 
1449df593ee2SDavid Howells 	ret = __key_link_lock(keyring, &key->index_key);
1450df593ee2SDavid Howells 	if (ret < 0)
1451df593ee2SDavid Howells 		goto error;
1452df593ee2SDavid Howells 
1453b2a4df20SDavid Howells 	ret = __key_link_begin(keyring, &key->index_key, &edit);
1454df593ee2SDavid Howells 	if (ret < 0)
1455df593ee2SDavid Howells 		goto error_end;
1456df593ee2SDavid Howells 
1457fff29291SElena Reshetova 	kdebug("begun {%d,%d}", keyring->serial, refcount_read(&keyring->usage));
14585ac7eaceSDavid Howells 	ret = __key_link_check_restriction(keyring, key);
14595ac7eaceSDavid Howells 	if (ret == 0)
1460f70e2e06SDavid Howells 		ret = __key_link_check_live_key(keyring, key);
1461f70e2e06SDavid Howells 	if (ret == 0)
1462b2a4df20SDavid Howells 		__key_link(key, &edit);
14631da177e4SLinus Torvalds 
1464df593ee2SDavid Howells error_end:
1465df593ee2SDavid Howells 	__key_link_end(keyring, &key->index_key, edit);
1466df593ee2SDavid Howells error:
1467fff29291SElena Reshetova 	kleave(" = %d {%d,%d}", ret, keyring->serial, refcount_read(&keyring->usage));
14681da177e4SLinus Torvalds 	return ret;
1469f70e2e06SDavid Howells }
14701da177e4SLinus Torvalds EXPORT_SYMBOL(key_link);
14711da177e4SLinus Torvalds 
1472eb0f68cbSDavid Howells /*
1473eb0f68cbSDavid Howells  * Lock a keyring for unlink.
1474eb0f68cbSDavid Howells  */
1475eb0f68cbSDavid Howells static int __key_unlink_lock(struct key *keyring)
1476eb0f68cbSDavid Howells 	__acquires(&keyring->sem)
1477eb0f68cbSDavid Howells {
1478eb0f68cbSDavid Howells 	if (keyring->type != &key_type_keyring)
1479eb0f68cbSDavid Howells 		return -ENOTDIR;
1480eb0f68cbSDavid Howells 
1481eb0f68cbSDavid Howells 	down_write(&keyring->sem);
1482eb0f68cbSDavid Howells 	return 0;
1483eb0f68cbSDavid Howells }
1484eb0f68cbSDavid Howells 
1485eb0f68cbSDavid Howells /*
1486eb0f68cbSDavid Howells  * Begin the process of unlinking a key from a keyring.
1487eb0f68cbSDavid Howells  */
1488eb0f68cbSDavid Howells static int __key_unlink_begin(struct key *keyring, struct key *key,
1489eb0f68cbSDavid Howells 			      struct assoc_array_edit **_edit)
1490eb0f68cbSDavid Howells {
1491eb0f68cbSDavid Howells 	struct assoc_array_edit *edit;
1492eb0f68cbSDavid Howells 
1493eb0f68cbSDavid Howells 	BUG_ON(*_edit != NULL);
1494eb0f68cbSDavid Howells 
1495eb0f68cbSDavid Howells 	edit = assoc_array_delete(&keyring->keys, &keyring_assoc_array_ops,
1496eb0f68cbSDavid Howells 				  &key->index_key);
1497eb0f68cbSDavid Howells 	if (IS_ERR(edit))
1498eb0f68cbSDavid Howells 		return PTR_ERR(edit);
1499eb0f68cbSDavid Howells 
1500eb0f68cbSDavid Howells 	if (!edit)
1501eb0f68cbSDavid Howells 		return -ENOENT;
1502eb0f68cbSDavid Howells 
1503eb0f68cbSDavid Howells 	*_edit = edit;
1504eb0f68cbSDavid Howells 	return 0;
1505eb0f68cbSDavid Howells }
1506eb0f68cbSDavid Howells 
1507eb0f68cbSDavid Howells /*
1508eb0f68cbSDavid Howells  * Apply an unlink change.
1509eb0f68cbSDavid Howells  */
1510eb0f68cbSDavid Howells static void __key_unlink(struct key *keyring, struct key *key,
1511eb0f68cbSDavid Howells 			 struct assoc_array_edit **_edit)
1512eb0f68cbSDavid Howells {
1513eb0f68cbSDavid Howells 	assoc_array_apply_edit(*_edit);
1514eb0f68cbSDavid Howells 	*_edit = NULL;
1515eb0f68cbSDavid Howells 	key_payload_reserve(keyring, keyring->datalen - KEYQUOTA_LINK_BYTES);
1516eb0f68cbSDavid Howells }
1517eb0f68cbSDavid Howells 
1518eb0f68cbSDavid Howells /*
1519eb0f68cbSDavid Howells  * Finish unlinking a key from to a keyring.
1520eb0f68cbSDavid Howells  */
1521eb0f68cbSDavid Howells static void __key_unlink_end(struct key *keyring,
1522eb0f68cbSDavid Howells 			     struct key *key,
1523eb0f68cbSDavid Howells 			     struct assoc_array_edit *edit)
1524eb0f68cbSDavid Howells 	__releases(&keyring->sem)
1525eb0f68cbSDavid Howells {
1526eb0f68cbSDavid Howells 	if (edit)
1527eb0f68cbSDavid Howells 		assoc_array_cancel_edit(edit);
1528eb0f68cbSDavid Howells 	up_write(&keyring->sem);
1529eb0f68cbSDavid Howells }
1530eb0f68cbSDavid Howells 
1531973c9f4fSDavid Howells /**
1532973c9f4fSDavid Howells  * key_unlink - Unlink the first link to a key from a keyring.
1533973c9f4fSDavid Howells  * @keyring: The keyring to remove the link from.
1534973c9f4fSDavid Howells  * @key: The key the link is to.
1535973c9f4fSDavid Howells  *
1536973c9f4fSDavid Howells  * Remove a link from a keyring to a key.
1537973c9f4fSDavid Howells  *
1538973c9f4fSDavid Howells  * This function will write-lock the keyring's semaphore.
1539973c9f4fSDavid Howells  *
1540973c9f4fSDavid Howells  * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring, -ENOENT if
1541973c9f4fSDavid Howells  * the key isn't linked to by the keyring or -ENOMEM if there's insufficient
1542973c9f4fSDavid Howells  * memory.
1543973c9f4fSDavid Howells  *
1544973c9f4fSDavid Howells  * It is assumed that the caller has checked that it is permitted for a link to
1545973c9f4fSDavid Howells  * be removed (the keyring should have Write permission; no permissions are
1546973c9f4fSDavid Howells  * required on the key).
15471da177e4SLinus Torvalds  */
15481da177e4SLinus Torvalds int key_unlink(struct key *keyring, struct key *key)
15491da177e4SLinus Torvalds {
1550eb0f68cbSDavid Howells 	struct assoc_array_edit *edit = NULL;
1551b2a4df20SDavid Howells 	int ret;
15521da177e4SLinus Torvalds 
15531da177e4SLinus Torvalds 	key_check(keyring);
15541da177e4SLinus Torvalds 	key_check(key);
15551da177e4SLinus Torvalds 
1556eb0f68cbSDavid Howells 	ret = __key_unlink_lock(keyring);
1557eb0f68cbSDavid Howells 	if (ret < 0)
1558eb0f68cbSDavid Howells 		return ret;
15591da177e4SLinus Torvalds 
1560eb0f68cbSDavid Howells 	ret = __key_unlink_begin(keyring, key, &edit);
1561eb0f68cbSDavid Howells 	if (ret == 0)
1562eb0f68cbSDavid Howells 		__key_unlink(keyring, key, &edit);
1563eb0f68cbSDavid Howells 	__key_unlink_end(keyring, key, edit);
1564b2a4df20SDavid Howells 	return ret;
1565a8b17ed0SDavid Howells }
15661da177e4SLinus Torvalds EXPORT_SYMBOL(key_unlink);
15671da177e4SLinus Torvalds 
1568973c9f4fSDavid Howells /**
1569ed0ac5c7SDavid Howells  * key_move - Move a key from one keyring to another
1570ed0ac5c7SDavid Howells  * @key: The key to move
1571ed0ac5c7SDavid Howells  * @from_keyring: The keyring to remove the link from.
1572ed0ac5c7SDavid Howells  * @to_keyring: The keyring to make the link in.
1573ed0ac5c7SDavid Howells  * @flags: Qualifying flags, such as KEYCTL_MOVE_EXCL.
1574ed0ac5c7SDavid Howells  *
1575ed0ac5c7SDavid Howells  * Make a link in @to_keyring to a key, such that the keyring holds a reference
1576ed0ac5c7SDavid Howells  * on that key and the key can potentially be found by searching that keyring
1577ed0ac5c7SDavid Howells  * whilst simultaneously removing a link to the key from @from_keyring.
1578ed0ac5c7SDavid Howells  *
1579ed0ac5c7SDavid Howells  * This function will write-lock both keyring's semaphores and will consume
1580ed0ac5c7SDavid Howells  * some of the user's key data quota to hold the link on @to_keyring.
1581ed0ac5c7SDavid Howells  *
1582ed0ac5c7SDavid Howells  * Returns 0 if successful, -ENOTDIR if either keyring isn't a keyring,
1583ed0ac5c7SDavid Howells  * -EKEYREVOKED if either keyring has been revoked, -ENFILE if the second
1584ed0ac5c7SDavid Howells  * keyring is full, -EDQUOT if there is insufficient key data quota remaining
1585ed0ac5c7SDavid Howells  * to add another link or -ENOMEM if there's insufficient memory.  If
1586ed0ac5c7SDavid Howells  * KEYCTL_MOVE_EXCL is set, then -EEXIST will be returned if there's already a
1587ed0ac5c7SDavid Howells  * matching key in @to_keyring.
1588ed0ac5c7SDavid Howells  *
1589ed0ac5c7SDavid Howells  * It is assumed that the caller has checked that it is permitted for a link to
1590ed0ac5c7SDavid Howells  * be made (the keyring should have Write permission and the key Link
1591ed0ac5c7SDavid Howells  * permission).
1592ed0ac5c7SDavid Howells  */
1593ed0ac5c7SDavid Howells int key_move(struct key *key,
1594ed0ac5c7SDavid Howells 	     struct key *from_keyring,
1595ed0ac5c7SDavid Howells 	     struct key *to_keyring,
1596ed0ac5c7SDavid Howells 	     unsigned int flags)
1597ed0ac5c7SDavid Howells {
1598ed0ac5c7SDavid Howells 	struct assoc_array_edit *from_edit = NULL, *to_edit = NULL;
1599ed0ac5c7SDavid Howells 	int ret;
1600ed0ac5c7SDavid Howells 
1601ed0ac5c7SDavid Howells 	kenter("%d,%d,%d", key->serial, from_keyring->serial, to_keyring->serial);
1602ed0ac5c7SDavid Howells 
1603ed0ac5c7SDavid Howells 	if (from_keyring == to_keyring)
1604ed0ac5c7SDavid Howells 		return 0;
1605ed0ac5c7SDavid Howells 
1606ed0ac5c7SDavid Howells 	key_check(key);
1607ed0ac5c7SDavid Howells 	key_check(from_keyring);
1608ed0ac5c7SDavid Howells 	key_check(to_keyring);
1609ed0ac5c7SDavid Howells 
1610ed0ac5c7SDavid Howells 	ret = __key_move_lock(from_keyring, to_keyring, &key->index_key);
1611ed0ac5c7SDavid Howells 	if (ret < 0)
1612ed0ac5c7SDavid Howells 		goto out;
1613ed0ac5c7SDavid Howells 	ret = __key_unlink_begin(from_keyring, key, &from_edit);
1614ed0ac5c7SDavid Howells 	if (ret < 0)
1615ed0ac5c7SDavid Howells 		goto error;
1616ed0ac5c7SDavid Howells 	ret = __key_link_begin(to_keyring, &key->index_key, &to_edit);
1617ed0ac5c7SDavid Howells 	if (ret < 0)
1618ed0ac5c7SDavid Howells 		goto error;
1619ed0ac5c7SDavid Howells 
1620ed0ac5c7SDavid Howells 	ret = -EEXIST;
1621ed0ac5c7SDavid Howells 	if (to_edit->dead_leaf && (flags & KEYCTL_MOVE_EXCL))
1622ed0ac5c7SDavid Howells 		goto error;
1623ed0ac5c7SDavid Howells 
1624ed0ac5c7SDavid Howells 	ret = __key_link_check_restriction(to_keyring, key);
1625ed0ac5c7SDavid Howells 	if (ret < 0)
1626ed0ac5c7SDavid Howells 		goto error;
1627ed0ac5c7SDavid Howells 	ret = __key_link_check_live_key(to_keyring, key);
1628ed0ac5c7SDavid Howells 	if (ret < 0)
1629ed0ac5c7SDavid Howells 		goto error;
1630ed0ac5c7SDavid Howells 
1631ed0ac5c7SDavid Howells 	__key_unlink(from_keyring, key, &from_edit);
1632ed0ac5c7SDavid Howells 	__key_link(key, &to_edit);
1633ed0ac5c7SDavid Howells error:
1634ed0ac5c7SDavid Howells 	__key_link_end(to_keyring, &key->index_key, to_edit);
1635ed0ac5c7SDavid Howells 	__key_unlink_end(from_keyring, key, from_edit);
1636ed0ac5c7SDavid Howells out:
1637ed0ac5c7SDavid Howells 	kleave(" = %d", ret);
1638ed0ac5c7SDavid Howells 	return ret;
1639ed0ac5c7SDavid Howells }
1640ed0ac5c7SDavid Howells EXPORT_SYMBOL(key_move);
1641ed0ac5c7SDavid Howells 
1642ed0ac5c7SDavid Howells /**
1643973c9f4fSDavid Howells  * keyring_clear - Clear a keyring
1644973c9f4fSDavid Howells  * @keyring: The keyring to clear.
1645973c9f4fSDavid Howells  *
1646973c9f4fSDavid Howells  * Clear the contents of the specified keyring.
1647973c9f4fSDavid Howells  *
1648973c9f4fSDavid Howells  * Returns 0 if successful or -ENOTDIR if the keyring isn't a keyring.
16491da177e4SLinus Torvalds  */
16501da177e4SLinus Torvalds int keyring_clear(struct key *keyring)
16511da177e4SLinus Torvalds {
1652b2a4df20SDavid Howells 	struct assoc_array_edit *edit;
165376d8aeabSDavid Howells 	int ret;
16541da177e4SLinus Torvalds 
1655b2a4df20SDavid Howells 	if (keyring->type != &key_type_keyring)
1656b2a4df20SDavid Howells 		return -ENOTDIR;
1657b2a4df20SDavid Howells 
16581da177e4SLinus Torvalds 	down_write(&keyring->sem);
16591da177e4SLinus Torvalds 
1660b2a4df20SDavid Howells 	edit = assoc_array_clear(&keyring->keys, &keyring_assoc_array_ops);
1661b2a4df20SDavid Howells 	if (IS_ERR(edit)) {
1662b2a4df20SDavid Howells 		ret = PTR_ERR(edit);
1663b2a4df20SDavid Howells 	} else {
1664b2a4df20SDavid Howells 		if (edit)
1665b2a4df20SDavid Howells 			assoc_array_apply_edit(edit);
1666b2a4df20SDavid Howells 		key_payload_reserve(keyring, 0);
16671da177e4SLinus Torvalds 		ret = 0;
16681da177e4SLinus Torvalds 	}
16691da177e4SLinus Torvalds 
1670b2a4df20SDavid Howells 	up_write(&keyring->sem);
16711da177e4SLinus Torvalds 	return ret;
1672a8b17ed0SDavid Howells }
16731da177e4SLinus Torvalds EXPORT_SYMBOL(keyring_clear);
167431204ed9SDavid Howells 
167531204ed9SDavid Howells /*
1676973c9f4fSDavid Howells  * Dispose of the links from a revoked keyring.
1677973c9f4fSDavid Howells  *
1678973c9f4fSDavid Howells  * This is called with the key sem write-locked.
167931204ed9SDavid Howells  */
168031204ed9SDavid Howells static void keyring_revoke(struct key *keyring)
168131204ed9SDavid Howells {
1682b2a4df20SDavid Howells 	struct assoc_array_edit *edit;
1683f0641cbaSDavid Howells 
1684b2a4df20SDavid Howells 	edit = assoc_array_clear(&keyring->keys, &keyring_assoc_array_ops);
1685b2a4df20SDavid Howells 	if (!IS_ERR(edit)) {
1686b2a4df20SDavid Howells 		if (edit)
1687b2a4df20SDavid Howells 			assoc_array_apply_edit(edit);
168831204ed9SDavid Howells 		key_payload_reserve(keyring, 0);
168931204ed9SDavid Howells 	}
1690a8b17ed0SDavid Howells }
16915d135440SDavid Howells 
169262fe3182SDavid Howells static bool keyring_gc_select_iterator(void *object, void *iterator_data)
1693b2a4df20SDavid Howells {
1694b2a4df20SDavid Howells 	struct key *key = keyring_ptr_to_key(object);
1695074d5898SBaolin Wang 	time64_t *limit = iterator_data;
1696b2a4df20SDavid Howells 
1697b2a4df20SDavid Howells 	if (key_is_dead(key, *limit))
1698b2a4df20SDavid Howells 		return false;
1699b2a4df20SDavid Howells 	key_get(key);
1700b2a4df20SDavid Howells 	return true;
1701b2a4df20SDavid Howells }
1702b2a4df20SDavid Howells 
170362fe3182SDavid Howells static int keyring_gc_check_iterator(const void *object, void *iterator_data)
170462fe3182SDavid Howells {
170562fe3182SDavid Howells 	const struct key *key = keyring_ptr_to_key(object);
1706074d5898SBaolin Wang 	time64_t *limit = iterator_data;
170762fe3182SDavid Howells 
170862fe3182SDavid Howells 	key_check(key);
170962fe3182SDavid Howells 	return key_is_dead(key, *limit);
171062fe3182SDavid Howells }
171162fe3182SDavid Howells 
17125d135440SDavid Howells /*
171362fe3182SDavid Howells  * Garbage collect pointers from a keyring.
1714973c9f4fSDavid Howells  *
171562fe3182SDavid Howells  * Not called with any locks held.  The keyring's key struct will not be
171662fe3182SDavid Howells  * deallocated under us as only our caller may deallocate it.
17175d135440SDavid Howells  */
1718074d5898SBaolin Wang void keyring_gc(struct key *keyring, time64_t limit)
17195d135440SDavid Howells {
172062fe3182SDavid Howells 	int result;
17215d135440SDavid Howells 
172262fe3182SDavid Howells 	kenter("%x{%s}", keyring->serial, keyring->description ?: "");
172362fe3182SDavid Howells 
172462fe3182SDavid Howells 	if (keyring->flags & ((1 << KEY_FLAG_INVALIDATED) |
172562fe3182SDavid Howells 			      (1 << KEY_FLAG_REVOKED)))
172662fe3182SDavid Howells 		goto dont_gc;
172762fe3182SDavid Howells 
172862fe3182SDavid Howells 	/* scan the keyring looking for dead keys */
172962fe3182SDavid Howells 	rcu_read_lock();
173062fe3182SDavid Howells 	result = assoc_array_iterate(&keyring->keys,
173162fe3182SDavid Howells 				     keyring_gc_check_iterator, &limit);
173262fe3182SDavid Howells 	rcu_read_unlock();
173362fe3182SDavid Howells 	if (result == true)
173462fe3182SDavid Howells 		goto do_gc;
173562fe3182SDavid Howells 
173662fe3182SDavid Howells dont_gc:
173762fe3182SDavid Howells 	kleave(" [no gc]");
173862fe3182SDavid Howells 	return;
173962fe3182SDavid Howells 
174062fe3182SDavid Howells do_gc:
17415d135440SDavid Howells 	down_write(&keyring->sem);
1742b2a4df20SDavid Howells 	assoc_array_gc(&keyring->keys, &keyring_assoc_array_ops,
174362fe3182SDavid Howells 		       keyring_gc_select_iterator, &limit);
17445d135440SDavid Howells 	up_write(&keyring->sem);
174562fe3182SDavid Howells 	kleave(" [gc]");
17465d135440SDavid Howells }
17472b6aa412SMat Martineau 
17482b6aa412SMat Martineau /*
17492b6aa412SMat Martineau  * Garbage collect restriction pointers from a keyring.
17502b6aa412SMat Martineau  *
17512b6aa412SMat Martineau  * Keyring restrictions are associated with a key type, and must be cleaned
17522b6aa412SMat Martineau  * up if the key type is unregistered. The restriction is altered to always
17532b6aa412SMat Martineau  * reject additional keys so a keyring cannot be opened up by unregistering
17542b6aa412SMat Martineau  * a key type.
17552b6aa412SMat Martineau  *
17562b6aa412SMat Martineau  * Not called with any keyring locks held. The keyring's key struct will not
17572b6aa412SMat Martineau  * be deallocated under us as only our caller may deallocate it.
17582b6aa412SMat Martineau  *
17592b6aa412SMat Martineau  * The caller is required to hold key_types_sem and dead_type->sem. This is
17602b6aa412SMat Martineau  * fulfilled by key_gc_keytype() holding the locks on behalf of
17612b6aa412SMat Martineau  * key_garbage_collector(), which it invokes on a workqueue.
17622b6aa412SMat Martineau  */
17632b6aa412SMat Martineau void keyring_restriction_gc(struct key *keyring, struct key_type *dead_type)
17642b6aa412SMat Martineau {
17652b6aa412SMat Martineau 	struct key_restriction *keyres;
17662b6aa412SMat Martineau 
17672b6aa412SMat Martineau 	kenter("%x{%s}", keyring->serial, keyring->description ?: "");
17682b6aa412SMat Martineau 
17692b6aa412SMat Martineau 	/*
17702b6aa412SMat Martineau 	 * keyring->restrict_link is only assigned at key allocation time
17712b6aa412SMat Martineau 	 * or with the key type locked, so the only values that could be
17722b6aa412SMat Martineau 	 * concurrently assigned to keyring->restrict_link are for key
17732b6aa412SMat Martineau 	 * types other than dead_type. Given this, it's ok to check
17742b6aa412SMat Martineau 	 * the key type before acquiring keyring->sem.
17752b6aa412SMat Martineau 	 */
17762b6aa412SMat Martineau 	if (!dead_type || !keyring->restrict_link ||
17772b6aa412SMat Martineau 	    keyring->restrict_link->keytype != dead_type) {
17782b6aa412SMat Martineau 		kleave(" [no restriction gc]");
17792b6aa412SMat Martineau 		return;
17802b6aa412SMat Martineau 	}
17812b6aa412SMat Martineau 
17822b6aa412SMat Martineau 	/* Lock the keyring to ensure that a link is not in progress */
17832b6aa412SMat Martineau 	down_write(&keyring->sem);
17842b6aa412SMat Martineau 
17852b6aa412SMat Martineau 	keyres = keyring->restrict_link;
17862b6aa412SMat Martineau 
17872b6aa412SMat Martineau 	keyres->check = restrict_link_reject;
17882b6aa412SMat Martineau 
17892b6aa412SMat Martineau 	key_put(keyres->key);
17902b6aa412SMat Martineau 	keyres->key = NULL;
17912b6aa412SMat Martineau 	keyres->keytype = NULL;
17922b6aa412SMat Martineau 
17932b6aa412SMat Martineau 	up_write(&keyring->sem);
17942b6aa412SMat Martineau 
17952b6aa412SMat Martineau 	kleave(" [restriction gc]");
17962b6aa412SMat Martineau }
1797