blob: 5e6a907607530e2097ab5a4eba4f19b4d8426f2a [file] [log] [blame]
Thomas Gleixner2874c5f2019-05-27 08:55:01 +02001// SPDX-License-Identifier: GPL-2.0-or-later
David Howells69664cf2008-04-29 01:01:31 -07002/* Keyring handling
Linus Torvalds1da177e2005-04-16 15:20:36 -07003 *
David Howellsb2a4df22013-09-24 10:35:18 +01004 * Copyright (C) 2004-2005, 2008, 2013 Red Hat, Inc. All Rights Reserved.
Linus Torvalds1da177e2005-04-16 15:20:36 -07005 * Written by David Howells (dhowells@redhat.com)
Linus Torvalds1da177e2005-04-16 15:20:36 -07006 */
7
Paul Gortmaker876979c2018-12-09 15:36:29 -05008#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -07009#include <linux/init.h>
10#include <linux/sched.h>
11#include <linux/slab.h>
David Howells29db9192005-10-30 15:02:44 -080012#include <linux/security.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <linux/seq_file.h>
14#include <linux/err.h>
David Howellsb206f282019-06-26 21:02:32 +010015#include <linux/user_namespace.h>
David Howells9b242612019-06-26 21:02:33 +010016#include <linux/nsproxy.h>
David Howellse9e349b2008-11-14 10:39:13 +110017#include <keys/keyring-type.h>
David Howellsb2a4df22013-09-24 10:35:18 +010018#include <keys/user-type.h>
19#include <linux/assoc_array_priv.h>
Chihau Chau512ea3b2010-03-08 20:11:34 -030020#include <linux/uaccess.h>
David Howells9b242612019-06-26 21:02:33 +010021#include <net/net_namespace.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070022#include "internal.h"
23
24/*
David Howells973c9f42011-01-20 16:38:33 +000025 * When plumbing the depths of the key tree, this sets a hard limit
26 * set on how deep we're willing to go.
Linus Torvalds1da177e2005-04-16 15:20:36 -070027 */
28#define KEYRING_SEARCH_MAX_DEPTH 6
29
30/*
David Howellsb2a4df22013-09-24 10:35:18 +010031 * We mark pointers we pass to the associative array with bit 1 set if
32 * they're keyrings and clear otherwise.
33 */
34#define KEYRING_PTR_SUBTYPE 0x2UL
35
36static inline bool keyring_ptr_is_keyring(const struct assoc_array_ptr *x)
37{
38 return (unsigned long)x & KEYRING_PTR_SUBTYPE;
39}
40static inline struct key *keyring_ptr_to_key(const struct assoc_array_ptr *x)
41{
42 void *object = assoc_array_ptr_to_leaf(x);
43 return (struct key *)((unsigned long)object & ~KEYRING_PTR_SUBTYPE);
44}
45static inline void *keyring_key_to_ptr(struct key *key)
46{
47 if (key->type == &key_type_keyring)
48 return (void *)((unsigned long)key | KEYRING_PTR_SUBTYPE);
49 return key;
50}
51
Linus Torvalds1da177e2005-04-16 15:20:36 -070052static DEFINE_RWLOCK(keyring_name_lock);
53
David Howellsb206f282019-06-26 21:02:32 +010054/*
55 * Clean up the bits of user_namespace that belong to us.
56 */
57void key_free_user_ns(struct user_namespace *ns)
Linus Torvalds1da177e2005-04-16 15:20:36 -070058{
David Howellsb206f282019-06-26 21:02:32 +010059 write_lock(&keyring_name_lock);
60 list_del_init(&ns->keyring_name_list);
61 write_unlock(&keyring_name_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -070062
David Howells0f44e4d2019-06-26 21:02:32 +010063 key_put(ns->user_keyring_register);
David Howellsb206f282019-06-26 21:02:32 +010064#ifdef CONFIG_PERSISTENT_KEYRINGS
65 key_put(ns->persistent_keyring_register);
66#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070067}
68
69/*
David Howells973c9f42011-01-20 16:38:33 +000070 * The keyring key type definition. Keyrings are simply keys of this type and
71 * can be treated as ordinary keys in addition to having their own special
72 * operations.
Linus Torvalds1da177e2005-04-16 15:20:36 -070073 */
David Howells5d19e202014-07-18 18:56:36 +010074static int keyring_preparse(struct key_preparsed_payload *prep);
75static void keyring_free_preparse(struct key_preparsed_payload *prep);
Linus Torvalds1da177e2005-04-16 15:20:36 -070076static int keyring_instantiate(struct key *keyring,
David Howellscf7f6012012-09-13 13:06:29 +010077 struct key_preparsed_payload *prep);
David Howells31204ed2006-06-26 00:24:51 -070078static void keyring_revoke(struct key *keyring);
Linus Torvalds1da177e2005-04-16 15:20:36 -070079static void keyring_destroy(struct key *keyring);
80static void keyring_describe(const struct key *keyring, struct seq_file *m);
81static long keyring_read(const struct key *keyring,
82 char __user *buffer, size_t buflen);
83
84struct key_type key_type_keyring = {
85 .name = "keyring",
David Howellsb2a4df22013-09-24 10:35:18 +010086 .def_datalen = 0,
David Howells5d19e202014-07-18 18:56:36 +010087 .preparse = keyring_preparse,
88 .free_preparse = keyring_free_preparse,
Linus Torvalds1da177e2005-04-16 15:20:36 -070089 .instantiate = keyring_instantiate,
David Howells31204ed2006-06-26 00:24:51 -070090 .revoke = keyring_revoke,
Linus Torvalds1da177e2005-04-16 15:20:36 -070091 .destroy = keyring_destroy,
92 .describe = keyring_describe,
93 .read = keyring_read,
94};
David Howells73182262007-04-26 15:46:23 -070095EXPORT_SYMBOL(key_type_keyring);
96
Linus Torvalds1da177e2005-04-16 15:20:36 -070097/*
David Howells973c9f42011-01-20 16:38:33 +000098 * Semaphore to serialise link/link calls to prevent two link calls in parallel
99 * introducing a cycle.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100 */
David Howells3be59f72019-05-30 11:40:24 +0100101static DEFINE_MUTEX(keyring_serialise_link_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700102
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103/*
David Howells973c9f42011-01-20 16:38:33 +0000104 * Publish the name of a keyring so that it can be found by name (if it has
David Howellsb206f282019-06-26 21:02:32 +0100105 * one and it doesn't begin with a dot).
Linus Torvalds1da177e2005-04-16 15:20:36 -0700106 */
David Howells69664cf2008-04-29 01:01:31 -0700107static void keyring_publish_name(struct key *keyring)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700108{
David Howellsb206f282019-06-26 21:02:32 +0100109 struct user_namespace *ns = current_user_ns();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700110
David Howellsb206f282019-06-26 21:02:32 +0100111 if (keyring->description &&
112 keyring->description[0] &&
113 keyring->description[0] != '.') {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114 write_lock(&keyring_name_lock);
David Howellsb206f282019-06-26 21:02:32 +0100115 list_add_tail(&keyring->name_link, &ns->keyring_name_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116 write_unlock(&keyring_name_lock);
117 }
David Howellsa8b17ed2011-01-20 16:38:27 +0000118}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120/*
David Howells5d19e202014-07-18 18:56:36 +0100121 * Preparse a keyring payload
122 */
123static int keyring_preparse(struct key_preparsed_payload *prep)
124{
125 return prep->datalen != 0 ? -EINVAL : 0;
126}
127
128/*
129 * Free a preparse of a user defined key payload
130 */
131static void keyring_free_preparse(struct key_preparsed_payload *prep)
132{
133}
134
135/*
David Howells973c9f42011-01-20 16:38:33 +0000136 * Initialise a keyring.
137 *
138 * Returns 0 on success, -EINVAL if given any data.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700139 */
140static int keyring_instantiate(struct key *keyring,
David Howellscf7f6012012-09-13 13:06:29 +0100141 struct key_preparsed_payload *prep)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700142{
David Howells5d19e202014-07-18 18:56:36 +0100143 assoc_array_init(&keyring->keys);
144 /* make the keyring available by name if it has one */
145 keyring_publish_name(keyring);
146 return 0;
David Howellsa8b17ed2011-01-20 16:38:27 +0000147}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700148
Linus Torvalds1da177e2005-04-16 15:20:36 -0700149/*
David Howellsb2a4df22013-09-24 10:35:18 +0100150 * Multiply 64-bits by 32-bits to 96-bits and fold back to 64-bit. Ideally we'd
151 * fold the carry back too, but that requires inline asm.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700152 */
David Howellsb2a4df22013-09-24 10:35:18 +0100153static u64 mult_64x32_and_fold(u64 x, u32 y)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700154{
David Howellsb2a4df22013-09-24 10:35:18 +0100155 u64 hi = (u64)(u32)(x >> 32) * y;
156 u64 lo = (u64)(u32)(x) * y;
157 return lo + ((u64)(u32)hi << 32) + (u32)(hi >> 32);
David Howellsa8b17ed2011-01-20 16:38:27 +0000158}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700159
Linus Torvalds1da177e2005-04-16 15:20:36 -0700160/*
David Howellsb2a4df22013-09-24 10:35:18 +0100161 * Hash a key type and description.
162 */
David Howells355ef8e2019-06-26 21:02:32 +0100163static void hash_key_type_and_desc(struct keyring_index_key *index_key)
David Howellsb2a4df22013-09-24 10:35:18 +0100164{
165 const unsigned level_shift = ASSOC_ARRAY_LEVEL_STEP;
David Howellsd54e58b2013-12-02 11:24:18 +0000166 const unsigned long fan_mask = ASSOC_ARRAY_FAN_MASK;
David Howellsb2a4df22013-09-24 10:35:18 +0100167 const char *description = index_key->description;
168 unsigned long hash, type;
169 u32 piece;
170 u64 acc;
171 int n, desc_len = index_key->desc_len;
172
173 type = (unsigned long)index_key->type;
David Howellsb2a4df22013-09-24 10:35:18 +0100174 acc = mult_64x32_and_fold(type, desc_len + 13);
175 acc = mult_64x32_and_fold(acc, 9207);
David Howells3b6e4de2019-06-26 21:02:32 +0100176 piece = (unsigned long)index_key->domain_tag;
177 acc = mult_64x32_and_fold(acc, piece);
178 acc = mult_64x32_and_fold(acc, 9207);
David Howellsf771fde2019-06-26 21:02:31 +0100179
David Howellsb2a4df22013-09-24 10:35:18 +0100180 for (;;) {
181 n = desc_len;
182 if (n <= 0)
183 break;
184 if (n > 4)
185 n = 4;
186 piece = 0;
187 memcpy(&piece, description, n);
188 description += n;
189 desc_len -= n;
190 acc = mult_64x32_and_fold(acc, piece);
191 acc = mult_64x32_and_fold(acc, 9207);
192 }
193
194 /* Fold the hash down to 32 bits if need be. */
195 hash = acc;
196 if (ASSOC_ARRAY_KEY_CHUNK_SIZE == 32)
197 hash ^= acc >> 32;
198
199 /* Squidge all the keyrings into a separate part of the tree to
200 * ordinary keys by making sure the lowest level segment in the hash is
201 * zero for keyrings and non-zero otherwise.
202 */
David Howellsd54e58b2013-12-02 11:24:18 +0000203 if (index_key->type != &key_type_keyring && (hash & fan_mask) == 0)
David Howells355ef8e2019-06-26 21:02:32 +0100204 hash |= (hash >> (ASSOC_ARRAY_KEY_CHUNK_SIZE - level_shift)) | 1;
205 else if (index_key->type == &key_type_keyring && (hash & fan_mask) != 0)
206 hash = (hash + (hash << level_shift)) & ~fan_mask;
207 index_key->hash = hash;
208}
209
210/*
211 * Finalise an index key to include a part of the description actually in the
David Howells3b6e4de2019-06-26 21:02:32 +0100212 * index key, to set the domain tag and to calculate the hash.
David Howells355ef8e2019-06-26 21:02:32 +0100213 */
214void key_set_index_key(struct keyring_index_key *index_key)
215{
David Howells3b6e4de2019-06-26 21:02:32 +0100216 static struct key_tag default_domain_tag = { .usage = REFCOUNT_INIT(1), };
David Howells355ef8e2019-06-26 21:02:32 +0100217 size_t n = min_t(size_t, index_key->desc_len, sizeof(index_key->desc));
David Howells3b6e4de2019-06-26 21:02:32 +0100218
David Howells355ef8e2019-06-26 21:02:32 +0100219 memcpy(index_key->desc, index_key->description, n);
220
David Howellsa58946c2019-06-26 21:02:33 +0100221 if (!index_key->domain_tag) {
222 if (index_key->type->flags & KEY_TYPE_NET_DOMAIN)
223 index_key->domain_tag = current->nsproxy->net_ns->key_domain;
224 else
225 index_key->domain_tag = &default_domain_tag;
226 }
227
David Howells355ef8e2019-06-26 21:02:32 +0100228 hash_key_type_and_desc(index_key);
David Howellsb2a4df22013-09-24 10:35:18 +0100229}
230
David Howells3b6e4de2019-06-26 21:02:32 +0100231/**
232 * key_put_tag - Release a ref on a tag.
233 * @tag: The tag to release.
234 *
235 * This releases a reference the given tag and returns true if that ref was the
236 * last one.
237 */
238bool key_put_tag(struct key_tag *tag)
239{
240 if (refcount_dec_and_test(&tag->usage)) {
241 kfree_rcu(tag, rcu);
242 return true;
243 }
244
245 return false;
246}
247
David Howells218e6422019-06-26 21:02:32 +0100248/**
249 * key_remove_domain - Kill off a key domain and gc its keys
250 * @domain_tag: The domain tag to release.
251 *
252 * This marks a domain tag as being dead and releases a ref on it. If that
253 * wasn't the last reference, the garbage collector is poked to try and delete
254 * all keys that were in the domain.
255 */
256void key_remove_domain(struct key_tag *domain_tag)
257{
258 domain_tag->removed = true;
259 if (!key_put_tag(domain_tag))
260 key_schedule_gc_links();
David Howellsb2a4df22013-09-24 10:35:18 +0100261}
262
263/*
264 * Build the next index key chunk.
265 *
David Howellsb2a4df22013-09-24 10:35:18 +0100266 * We return it one word-sized chunk at a time.
267 */
268static unsigned long keyring_get_key_chunk(const void *data, int level)
269{
270 const struct keyring_index_key *index_key = data;
271 unsigned long chunk = 0;
David Howellsf771fde2019-06-26 21:02:31 +0100272 const u8 *d;
David Howellsb2a4df22013-09-24 10:35:18 +0100273 int desc_len = index_key->desc_len, n = sizeof(chunk);
274
275 level /= ASSOC_ARRAY_KEY_CHUNK_SIZE;
276 switch (level) {
277 case 0:
David Howells355ef8e2019-06-26 21:02:32 +0100278 return index_key->hash;
David Howellsb2a4df22013-09-24 10:35:18 +0100279 case 1:
David Howellsf771fde2019-06-26 21:02:31 +0100280 return index_key->x;
David Howellsb2a4df22013-09-24 10:35:18 +0100281 case 2:
David Howellsf771fde2019-06-26 21:02:31 +0100282 return (unsigned long)index_key->type;
David Howells3b6e4de2019-06-26 21:02:32 +0100283 case 3:
284 return (unsigned long)index_key->domain_tag;
David Howellsb2a4df22013-09-24 10:35:18 +0100285 default:
David Howells3b6e4de2019-06-26 21:02:32 +0100286 level -= 4;
David Howellsf771fde2019-06-26 21:02:31 +0100287 if (desc_len <= sizeof(index_key->desc))
David Howellsb2a4df22013-09-24 10:35:18 +0100288 return 0;
David Howellsf771fde2019-06-26 21:02:31 +0100289
290 d = index_key->description + sizeof(index_key->desc);
291 d += level * sizeof(long);
292 desc_len -= sizeof(index_key->desc);
David Howellsb2a4df22013-09-24 10:35:18 +0100293 if (desc_len > n)
294 desc_len = n;
David Howellsb2a4df22013-09-24 10:35:18 +0100295 do {
296 chunk <<= 8;
David Howellsf771fde2019-06-26 21:02:31 +0100297 chunk |= *d++;
David Howellsb2a4df22013-09-24 10:35:18 +0100298 } while (--desc_len > 0);
David Howellsb2a4df22013-09-24 10:35:18 +0100299 return chunk;
300 }
301}
302
303static unsigned long keyring_get_object_key_chunk(const void *object, int level)
304{
305 const struct key *key = keyring_ptr_to_key(object);
306 return keyring_get_key_chunk(&key->index_key, level);
307}
308
309static bool keyring_compare_object(const void *object, const void *data)
310{
311 const struct keyring_index_key *index_key = data;
312 const struct key *key = keyring_ptr_to_key(object);
313
314 return key->index_key.type == index_key->type &&
David Howells3b6e4de2019-06-26 21:02:32 +0100315 key->index_key.domain_tag == index_key->domain_tag &&
David Howellsb2a4df22013-09-24 10:35:18 +0100316 key->index_key.desc_len == index_key->desc_len &&
317 memcmp(key->index_key.description, index_key->description,
318 index_key->desc_len) == 0;
319}
320
321/*
322 * Compare the index keys of a pair of objects and determine the bit position
323 * at which they differ - if they differ.
324 */
David Howells23fd78d2013-12-02 11:24:18 +0000325static int keyring_diff_objects(const void *object, const void *data)
David Howellsb2a4df22013-09-24 10:35:18 +0100326{
David Howells23fd78d2013-12-02 11:24:18 +0000327 const struct key *key_a = keyring_ptr_to_key(object);
David Howellsb2a4df22013-09-24 10:35:18 +0100328 const struct keyring_index_key *a = &key_a->index_key;
David Howells23fd78d2013-12-02 11:24:18 +0000329 const struct keyring_index_key *b = data;
David Howellsb2a4df22013-09-24 10:35:18 +0100330 unsigned long seg_a, seg_b;
331 int level, i;
332
333 level = 0;
David Howells355ef8e2019-06-26 21:02:32 +0100334 seg_a = a->hash;
335 seg_b = b->hash;
David Howellsb2a4df22013-09-24 10:35:18 +0100336 if ((seg_a ^ seg_b) != 0)
337 goto differ;
David Howellsf771fde2019-06-26 21:02:31 +0100338 level += ASSOC_ARRAY_KEY_CHUNK_SIZE / 8;
David Howellsb2a4df22013-09-24 10:35:18 +0100339
340 /* The number of bits contributed by the hash is controlled by a
341 * constant in the assoc_array headers. Everything else thereafter we
342 * can deal with as being machine word-size dependent.
343 */
David Howellsf771fde2019-06-26 21:02:31 +0100344 seg_a = a->x;
345 seg_b = b->x;
David Howellsb2a4df22013-09-24 10:35:18 +0100346 if ((seg_a ^ seg_b) != 0)
347 goto differ;
David Howellsf771fde2019-06-26 21:02:31 +0100348 level += sizeof(unsigned long);
David Howellsb2a4df22013-09-24 10:35:18 +0100349
350 /* The next bit may not work on big endian */
David Howellsb2a4df22013-09-24 10:35:18 +0100351 seg_a = (unsigned long)a->type;
352 seg_b = (unsigned long)b->type;
353 if ((seg_a ^ seg_b) != 0)
354 goto differ;
David Howellsb2a4df22013-09-24 10:35:18 +0100355 level += sizeof(unsigned long);
David Howellsb2a4df22013-09-24 10:35:18 +0100356
David Howells3b6e4de2019-06-26 21:02:32 +0100357 seg_a = (unsigned long)a->domain_tag;
358 seg_b = (unsigned long)b->domain_tag;
359 if ((seg_a ^ seg_b) != 0)
360 goto differ;
361 level += sizeof(unsigned long);
362
David Howellsf771fde2019-06-26 21:02:31 +0100363 i = sizeof(a->desc);
364 if (a->desc_len <= i)
365 goto same;
David Howellsb2a4df22013-09-24 10:35:18 +0100366
367 for (; i < a->desc_len; i++) {
368 seg_a = *(unsigned char *)(a->description + i);
369 seg_b = *(unsigned char *)(b->description + i);
370 if ((seg_a ^ seg_b) != 0)
371 goto differ_plus_i;
372 }
373
374same:
375 return -1;
376
377differ_plus_i:
378 level += i;
379differ:
380 i = level * 8 + __ffs(seg_a ^ seg_b);
381 return i;
382}
383
384/*
385 * Free an object after stripping the keyring flag off of the pointer.
386 */
387static void keyring_free_object(void *object)
388{
389 key_put(keyring_ptr_to_key(object));
390}
391
392/*
393 * Operations for keyring management by the index-tree routines.
394 */
395static const struct assoc_array_ops keyring_assoc_array_ops = {
396 .get_key_chunk = keyring_get_key_chunk,
397 .get_object_key_chunk = keyring_get_object_key_chunk,
398 .compare_object = keyring_compare_object,
399 .diff_objects = keyring_diff_objects,
400 .free_object = keyring_free_object,
401};
402
403/*
David Howells973c9f42011-01-20 16:38:33 +0000404 * Clean up a keyring when it is destroyed. Unpublish its name if it had one
405 * and dispose of its data.
David Howells233e4732012-05-11 10:56:56 +0100406 *
407 * The garbage collector detects the final key_put(), removes the keyring from
408 * the serial number tree and then does RCU synchronisation before coming here,
409 * so we shouldn't need to worry about code poking around here with the RCU
410 * readlock held by this time.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700411 */
412static void keyring_destroy(struct key *keyring)
413{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700414 if (keyring->description) {
415 write_lock(&keyring_name_lock);
David Howells94efe722005-08-04 13:07:07 -0700416
David Howells146aa8b2015-10-21 14:04:48 +0100417 if (keyring->name_link.next != NULL &&
418 !list_empty(&keyring->name_link))
419 list_del(&keyring->name_link);
David Howells94efe722005-08-04 13:07:07 -0700420
Linus Torvalds1da177e2005-04-16 15:20:36 -0700421 write_unlock(&keyring_name_lock);
422 }
423
Mat Martineau2b6aa412016-08-31 16:05:43 -0700424 if (keyring->restrict_link) {
425 struct key_restriction *keyres = keyring->restrict_link;
426
427 key_put(keyres->key);
428 kfree(keyres);
429 }
430
David Howellsb2a4df22013-09-24 10:35:18 +0100431 assoc_array_destroy(&keyring->keys, &keyring_assoc_array_ops);
David Howellsa8b17ed2011-01-20 16:38:27 +0000432}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700433
Linus Torvalds1da177e2005-04-16 15:20:36 -0700434/*
David Howells973c9f42011-01-20 16:38:33 +0000435 * Describe a keyring for /proc.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700436 */
437static void keyring_describe(const struct key *keyring, struct seq_file *m)
438{
wzt.wzt@gmail.comc8563472010-03-04 21:26:23 +0800439 if (keyring->description)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700440 seq_puts(m, keyring->description);
wzt.wzt@gmail.comc8563472010-03-04 21:26:23 +0800441 else
Linus Torvalds1da177e2005-04-16 15:20:36 -0700442 seq_puts(m, "[anon]");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700443
David Howells363b02d2017-10-04 16:43:25 +0100444 if (key_is_positive(keyring)) {
David Howellsb2a4df22013-09-24 10:35:18 +0100445 if (keyring->keys.nr_leaves_on_tree != 0)
446 seq_printf(m, ": %lu", keyring->keys.nr_leaves_on_tree);
David Howells78b72802011-03-11 17:57:23 +0000447 else
448 seq_puts(m, ": empty");
David Howells78b72802011-03-11 17:57:23 +0000449 }
David Howellsa8b17ed2011-01-20 16:38:27 +0000450}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700451
David Howellsb2a4df22013-09-24 10:35:18 +0100452struct keyring_read_iterator_context {
Eric Biggerse6450162017-09-18 11:36:45 -0700453 size_t buflen;
David Howellsb2a4df22013-09-24 10:35:18 +0100454 size_t count;
Jann Horn796e46f2020-11-24 00:54:00 +0100455 key_serial_t *buffer;
David Howellsb2a4df22013-09-24 10:35:18 +0100456};
457
458static int keyring_read_iterator(const void *object, void *data)
459{
460 struct keyring_read_iterator_context *ctx = data;
461 const struct key *key = keyring_ptr_to_key(object);
David Howellsb2a4df22013-09-24 10:35:18 +0100462
463 kenter("{%s,%d},,{%zu/%zu}",
Eric Biggerse6450162017-09-18 11:36:45 -0700464 key->type->name, key->serial, ctx->count, ctx->buflen);
David Howellsb2a4df22013-09-24 10:35:18 +0100465
Eric Biggerse6450162017-09-18 11:36:45 -0700466 if (ctx->count >= ctx->buflen)
David Howellsb2a4df22013-09-24 10:35:18 +0100467 return 1;
468
Waiman Longd3ec10a2020-03-21 21:11:24 -0400469 *ctx->buffer++ = key->serial;
David Howellsb2a4df22013-09-24 10:35:18 +0100470 ctx->count += sizeof(key->serial);
471 return 0;
472}
473
Linus Torvalds1da177e2005-04-16 15:20:36 -0700474/*
David Howells973c9f42011-01-20 16:38:33 +0000475 * Read a list of key IDs from the keyring's contents in binary form
476 *
David Howellsb2a4df22013-09-24 10:35:18 +0100477 * The keyring's semaphore is read-locked by the caller. This prevents someone
478 * from modifying it under us - which could cause us to read key IDs multiple
479 * times.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480 */
481static long keyring_read(const struct key *keyring,
Jann Horn796e46f2020-11-24 00:54:00 +0100482 char *buffer, size_t buflen)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700483{
David Howellsb2a4df22013-09-24 10:35:18 +0100484 struct keyring_read_iterator_context ctx;
Eric Biggers3239b6f2017-11-02 00:47:03 +0000485 long ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700486
David Howellsb2a4df22013-09-24 10:35:18 +0100487 kenter("{%d},,%zu", key_serial(keyring), buflen);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488
David Howellsb2a4df22013-09-24 10:35:18 +0100489 if (buflen & (sizeof(key_serial_t) - 1))
490 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491
Eric Biggers3239b6f2017-11-02 00:47:03 +0000492 /* Copy as many key IDs as fit into the buffer */
493 if (buffer && buflen) {
Jann Horn796e46f2020-11-24 00:54:00 +0100494 ctx.buffer = (key_serial_t *)buffer;
Eric Biggers3239b6f2017-11-02 00:47:03 +0000495 ctx.buflen = buflen;
496 ctx.count = 0;
497 ret = assoc_array_iterate(&keyring->keys,
498 keyring_read_iterator, &ctx);
499 if (ret < 0) {
500 kleave(" = %ld [iterate]", ret);
501 return ret;
502 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700503 }
504
Eric Biggers3239b6f2017-11-02 00:47:03 +0000505 /* Return the size of the buffer needed */
506 ret = keyring->keys.nr_leaves_on_tree * sizeof(key_serial_t);
507 if (ret <= buflen)
508 kleave("= %ld [ok]", ret);
509 else
510 kleave("= %ld [buffer too small]", ret);
511 return ret;
David Howellsa8b17ed2011-01-20 16:38:27 +0000512}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700513
Linus Torvalds028db3e2019-07-10 18:43:43 -0700514/*
515 * Allocate a keyring and link into the destination keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700516 */
Eric W. Biederman9a56c2d2012-02-08 07:53:04 -0800517struct key *keyring_alloc(const char *description, kuid_t uid, kgid_t gid,
Linus Torvalds028db3e2019-07-10 18:43:43 -0700518 const struct cred *cred, key_perm_t perm,
David Howells5ac7eac2016-04-06 16:14:24 +0100519 unsigned long flags,
Mat Martineau2b6aa412016-08-31 16:05:43 -0700520 struct key_restriction *restrict_link,
David Howells5ac7eac2016-04-06 16:14:24 +0100521 struct key *dest)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700522{
523 struct key *keyring;
524 int ret;
525
526 keyring = key_alloc(&key_type_keyring, description,
Linus Torvalds028db3e2019-07-10 18:43:43 -0700527 uid, gid, cred, perm, flags, restrict_link);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700528 if (!IS_ERR(keyring)) {
David Howells3e301482005-06-23 22:00:56 -0700529 ret = key_instantiate_and_link(keyring, NULL, 0, dest, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700530 if (ret < 0) {
531 key_put(keyring);
532 keyring = ERR_PTR(ret);
533 }
534 }
535
536 return keyring;
David Howellsa8b17ed2011-01-20 16:38:27 +0000537}
David Howellsf8aa23a2012-10-02 19:24:56 +0100538EXPORT_SYMBOL(keyring_alloc);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700539
David Howells5ac7eac2016-04-06 16:14:24 +0100540/**
David Howells5ac7eac2016-04-06 16:14:24 +0100541 * restrict_link_reject - Give -EPERM to restrict link
542 * @keyring: The keyring being added to.
543 * @type: The type of key being added.
David Howells5ac7eac2016-04-06 16:14:24 +0100544 * @payload: The payload of the key intended to be added.
David Howells9fd16532019-05-22 13:30:56 +0100545 * @restriction_key: Keys providing additional data for evaluating restriction.
David Howells5ac7eac2016-04-06 16:14:24 +0100546 *
547 * Reject the addition of any links to a keyring. It can be overridden by
548 * passing KEY_ALLOC_BYPASS_RESTRICTION to key_instantiate_and_link() when
549 * adding a key to a keyring.
550 *
Mat Martineau2b6aa412016-08-31 16:05:43 -0700551 * This is meant to be stored in a key_restriction structure which is passed
552 * in the restrict_link parameter to keyring_alloc().
David Howells5ac7eac2016-04-06 16:14:24 +0100553 */
554int restrict_link_reject(struct key *keyring,
555 const struct key_type *type,
Mat Martineauaaf66c82016-08-30 11:33:13 -0700556 const union key_payload *payload,
557 struct key *restriction_key)
David Howells5ac7eac2016-04-06 16:14:24 +0100558{
559 return -EPERM;
560}
561
David Howellsb2a4df22013-09-24 10:35:18 +0100562/*
David Howellsc06cfb02014-09-16 17:36:06 +0100563 * By default, we keys found by getting an exact match on their descriptions.
564 */
David Howells0c903ab2014-09-16 17:36:08 +0100565bool key_default_cmp(const struct key *key,
566 const struct key_match_data *match_data)
David Howellsc06cfb02014-09-16 17:36:06 +0100567{
568 return strcmp(key->description, match_data->raw_data) == 0;
569}
570
571/*
David Howellsb2a4df22013-09-24 10:35:18 +0100572 * Iteration function to consider each key found.
573 */
574static int keyring_search_iterator(const void *object, void *iterator_data)
575{
576 struct keyring_search_context *ctx = iterator_data;
577 const struct key *key = keyring_ptr_to_key(object);
David Howells363b02d2017-10-04 16:43:25 +0100578 unsigned long kflags = READ_ONCE(key->flags);
579 short state = READ_ONCE(key->state);
David Howellsb2a4df22013-09-24 10:35:18 +0100580
581 kenter("{%d}", key->serial);
582
583 /* ignore keys not of this type */
584 if (key->type != ctx->index_key.type) {
585 kleave(" = 0 [!type]");
586 return 0;
587 }
588
589 /* skip invalidated, revoked and expired keys */
590 if (ctx->flags & KEYRING_SEARCH_DO_STATE_CHECK) {
Baolin Wang074d5892017-11-15 16:38:45 +0000591 time64_t expiry = READ_ONCE(key->expiry);
Eric Biggers9d6c8712017-09-27 12:50:45 -0700592
David Howellsb2a4df22013-09-24 10:35:18 +0100593 if (kflags & ((1 << KEY_FLAG_INVALIDATED) |
594 (1 << KEY_FLAG_REVOKED))) {
595 ctx->result = ERR_PTR(-EKEYREVOKED);
596 kleave(" = %d [invrev]", ctx->skipped_ret);
597 goto skipped;
598 }
599
Baolin Wang074d5892017-11-15 16:38:45 +0000600 if (expiry && ctx->now >= expiry) {
David Howells0b0a8412014-12-01 22:52:53 +0000601 if (!(ctx->flags & KEYRING_SEARCH_SKIP_EXPIRED))
602 ctx->result = ERR_PTR(-EKEYEXPIRED);
David Howellsb2a4df22013-09-24 10:35:18 +0100603 kleave(" = %d [expire]", ctx->skipped_ret);
604 goto skipped;
605 }
606 }
607
608 /* keys that don't match */
David Howells46291952014-09-16 17:36:02 +0100609 if (!ctx->match_data.cmp(key, &ctx->match_data)) {
David Howellsb2a4df22013-09-24 10:35:18 +0100610 kleave(" = 0 [!match]");
611 return 0;
612 }
613
614 /* key must have search permissions */
615 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM) &&
616 key_task_permission(make_key_ref(key, ctx->possessed),
David Howellsf5895942014-03-14 17:44:49 +0000617 ctx->cred, KEY_NEED_SEARCH) < 0) {
David Howellsb2a4df22013-09-24 10:35:18 +0100618 ctx->result = ERR_PTR(-EACCES);
619 kleave(" = %d [!perm]", ctx->skipped_ret);
620 goto skipped;
621 }
622
623 if (ctx->flags & KEYRING_SEARCH_DO_STATE_CHECK) {
624 /* we set a different error code if we pass a negative key */
David Howells363b02d2017-10-04 16:43:25 +0100625 if (state < 0) {
626 ctx->result = ERR_PTR(state);
David Howellsb2a4df22013-09-24 10:35:18 +0100627 kleave(" = %d [neg]", ctx->skipped_ret);
628 goto skipped;
629 }
630 }
631
632 /* Found */
633 ctx->result = make_key_ref(key, ctx->possessed);
634 kleave(" = 1 [found]");
635 return 1;
636
637skipped:
638 return ctx->skipped_ret;
639}
640
641/*
642 * Search inside a keyring for a key. We can search by walking to it
643 * directly based on its index-key or we can iterate over the entire
644 * tree looking for it, based on the match function.
645 */
646static int search_keyring(struct key *keyring, struct keyring_search_context *ctx)
647{
David Howells46291952014-09-16 17:36:02 +0100648 if (ctx->match_data.lookup_type == KEYRING_SEARCH_LOOKUP_DIRECT) {
David Howellsb2a4df22013-09-24 10:35:18 +0100649 const void *object;
650
651 object = assoc_array_find(&keyring->keys,
652 &keyring_assoc_array_ops,
653 &ctx->index_key);
654 return object ? ctx->iterator(object, ctx) : 0;
655 }
656 return assoc_array_iterate(&keyring->keys, ctx->iterator, ctx);
657}
658
659/*
660 * Search a tree of keyrings that point to other keyrings up to the maximum
661 * depth.
662 */
663static bool search_nested_keyrings(struct key *keyring,
664 struct keyring_search_context *ctx)
665{
666 struct {
667 struct key *keyring;
668 struct assoc_array_node *node;
669 int slot;
670 } stack[KEYRING_SEARCH_MAX_DEPTH];
671
672 struct assoc_array_shortcut *shortcut;
673 struct assoc_array_node *node;
674 struct assoc_array_ptr *ptr;
675 struct key *key;
676 int sp = 0, slot;
677
678 kenter("{%d},{%s,%s}",
679 keyring->serial,
680 ctx->index_key.type->name,
681 ctx->index_key.description);
682
David Howells054f6182014-12-01 22:52:50 +0000683#define STATE_CHECKS (KEYRING_SEARCH_NO_STATE_CHECK | KEYRING_SEARCH_DO_STATE_CHECK)
684 BUG_ON((ctx->flags & STATE_CHECKS) == 0 ||
685 (ctx->flags & STATE_CHECKS) == STATE_CHECKS);
686
David Howellsf771fde2019-06-26 21:02:31 +0100687 if (ctx->index_key.description)
688 key_set_index_key(&ctx->index_key);
689
David Howellsb2a4df22013-09-24 10:35:18 +0100690 /* Check to see if this top-level keyring is what we are looking for
691 * and whether it is valid or not.
692 */
David Howells46291952014-09-16 17:36:02 +0100693 if (ctx->match_data.lookup_type == KEYRING_SEARCH_LOOKUP_ITERATE ||
David Howellsb2a4df22013-09-24 10:35:18 +0100694 keyring_compare_object(keyring, &ctx->index_key)) {
695 ctx->skipped_ret = 2;
David Howellsb2a4df22013-09-24 10:35:18 +0100696 switch (ctx->iterator(keyring_key_to_ptr(keyring), ctx)) {
697 case 1:
698 goto found;
699 case 2:
700 return false;
701 default:
702 break;
703 }
704 }
705
706 ctx->skipped_ret = 0;
David Howellsb2a4df22013-09-24 10:35:18 +0100707
708 /* Start processing a new keyring */
709descend_to_keyring:
710 kdebug("descend to %d", keyring->serial);
711 if (keyring->flags & ((1 << KEY_FLAG_INVALIDATED) |
712 (1 << KEY_FLAG_REVOKED)))
713 goto not_this_keyring;
714
715 /* Search through the keys in this keyring before its searching its
716 * subtrees.
717 */
718 if (search_keyring(keyring, ctx))
719 goto found;
720
721 /* Then manually iterate through the keyrings nested in this one.
722 *
723 * Start from the root node of the index tree. Because of the way the
724 * hash function has been set up, keyrings cluster on the leftmost
725 * branch of the root node (root slot 0) or in the root node itself.
726 * Non-keyrings avoid the leftmost branch of the root entirely (root
727 * slots 1-15).
728 */
David Howellsdcf49db2019-06-26 21:02:32 +0100729 if (!(ctx->flags & KEYRING_SEARCH_RECURSE))
730 goto not_this_keyring;
731
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100732 ptr = READ_ONCE(keyring->keys.root);
David Howellsb2a4df22013-09-24 10:35:18 +0100733 if (!ptr)
734 goto not_this_keyring;
735
736 if (assoc_array_ptr_is_shortcut(ptr)) {
737 /* If the root is a shortcut, either the keyring only contains
738 * keyring pointers (everything clusters behind root slot 0) or
739 * doesn't contain any keyring pointers.
740 */
741 shortcut = assoc_array_ptr_to_shortcut(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100742 if ((shortcut->index_key[0] & ASSOC_ARRAY_FAN_MASK) != 0)
743 goto not_this_keyring;
744
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100745 ptr = READ_ONCE(shortcut->next_node);
David Howellsb2a4df22013-09-24 10:35:18 +0100746 node = assoc_array_ptr_to_node(ptr);
747 goto begin_node;
748 }
749
750 node = assoc_array_ptr_to_node(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100751 ptr = node->slots[0];
752 if (!assoc_array_ptr_is_meta(ptr))
753 goto begin_node;
754
755descend_to_node:
756 /* Descend to a more distal node in this keyring's content tree and go
757 * through that.
758 */
759 kdebug("descend");
760 if (assoc_array_ptr_is_shortcut(ptr)) {
761 shortcut = assoc_array_ptr_to_shortcut(ptr);
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100762 ptr = READ_ONCE(shortcut->next_node);
David Howellsb2a4df22013-09-24 10:35:18 +0100763 BUG_ON(!assoc_array_ptr_is_node(ptr));
David Howellsb2a4df22013-09-24 10:35:18 +0100764 }
David Howells9c5e45d2013-12-02 11:24:19 +0000765 node = assoc_array_ptr_to_node(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100766
767begin_node:
768 kdebug("begin_node");
David Howellsb2a4df22013-09-24 10:35:18 +0100769 slot = 0;
770ascend_to_node:
771 /* Go through the slots in a node */
772 for (; slot < ASSOC_ARRAY_FAN_OUT; slot++) {
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100773 ptr = READ_ONCE(node->slots[slot]);
David Howellsb2a4df22013-09-24 10:35:18 +0100774
775 if (assoc_array_ptr_is_meta(ptr) && node->back_pointer)
776 goto descend_to_node;
777
778 if (!keyring_ptr_is_keyring(ptr))
779 continue;
780
781 key = keyring_ptr_to_key(ptr);
782
783 if (sp >= KEYRING_SEARCH_MAX_DEPTH) {
784 if (ctx->flags & KEYRING_SEARCH_DETECT_TOO_DEEP) {
785 ctx->result = ERR_PTR(-ELOOP);
786 return false;
787 }
788 goto not_this_keyring;
789 }
790
791 /* Search a nested keyring */
792 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM) &&
793 key_task_permission(make_key_ref(key, ctx->possessed),
David Howellsf5895942014-03-14 17:44:49 +0000794 ctx->cred, KEY_NEED_SEARCH) < 0)
David Howellsb2a4df22013-09-24 10:35:18 +0100795 continue;
796
797 /* stack the current position */
798 stack[sp].keyring = keyring;
799 stack[sp].node = node;
800 stack[sp].slot = slot;
801 sp++;
802
803 /* begin again with the new keyring */
804 keyring = key;
805 goto descend_to_keyring;
806 }
807
808 /* We've dealt with all the slots in the current node, so now we need
809 * to ascend to the parent and continue processing there.
810 */
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100811 ptr = READ_ONCE(node->back_pointer);
David Howellsb2a4df22013-09-24 10:35:18 +0100812 slot = node->parent_slot;
813
814 if (ptr && assoc_array_ptr_is_shortcut(ptr)) {
815 shortcut = assoc_array_ptr_to_shortcut(ptr);
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100816 ptr = READ_ONCE(shortcut->back_pointer);
David Howellsb2a4df22013-09-24 10:35:18 +0100817 slot = shortcut->parent_slot;
818 }
819 if (!ptr)
820 goto not_this_keyring;
821 node = assoc_array_ptr_to_node(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100822 slot++;
823
824 /* If we've ascended to the root (zero backpointer), we must have just
825 * finished processing the leftmost branch rather than the root slots -
826 * so there can't be any more keyrings for us to find.
827 */
828 if (node->back_pointer) {
829 kdebug("ascend %d", slot);
830 goto ascend_to_node;
831 }
832
833 /* The keyring we're looking at was disqualified or didn't contain a
834 * matching key.
835 */
836not_this_keyring:
837 kdebug("not_this_keyring %d", sp);
838 if (sp <= 0) {
839 kleave(" = false");
840 return false;
841 }
842
843 /* Resume the processing of a keyring higher up in the tree */
844 sp--;
845 keyring = stack[sp].keyring;
846 node = stack[sp].node;
847 slot = stack[sp].slot + 1;
848 kdebug("ascend to %d [%d]", keyring->serial, slot);
849 goto ascend_to_node;
850
851 /* We found a viable match */
852found:
853 key = key_ref_to_ptr(ctx->result);
854 key_check(key);
855 if (!(ctx->flags & KEYRING_SEARCH_NO_UPDATE_TIME)) {
Baolin Wang074d5892017-11-15 16:38:45 +0000856 key->last_used_at = ctx->now;
857 keyring->last_used_at = ctx->now;
David Howellsb2a4df22013-09-24 10:35:18 +0100858 while (sp > 0)
Baolin Wang074d5892017-11-15 16:38:45 +0000859 stack[--sp].keyring->last_used_at = ctx->now;
David Howellsb2a4df22013-09-24 10:35:18 +0100860 }
861 kleave(" = true");
862 return true;
863}
864
David Howells973c9f42011-01-20 16:38:33 +0000865/**
David Howellse59428f2019-06-19 16:10:15 +0100866 * keyring_search_rcu - Search a keyring tree for a matching key under RCU
David Howells973c9f42011-01-20 16:38:33 +0000867 * @keyring_ref: A pointer to the keyring with possession indicator.
David Howells4bdf0bc2013-09-24 10:35:15 +0100868 * @ctx: The keyring search context.
David Howells973c9f42011-01-20 16:38:33 +0000869 *
870 * Search the supplied keyring tree for a key that matches the criteria given.
871 * The root keyring and any linked keyrings must grant Search permission to the
872 * caller to be searchable and keys can only be found if they too grant Search
873 * to the caller. The possession flag on the root keyring pointer controls use
874 * of the possessor bits in permissions checking of the entire tree. In
875 * addition, the LSM gets to forbid keyring searches and key matches.
876 *
877 * The search is performed as a breadth-then-depth search up to the prescribed
David Howellse59428f2019-06-19 16:10:15 +0100878 * limit (KEYRING_SEARCH_MAX_DEPTH). The caller must hold the RCU read lock to
879 * prevent keyrings from being destroyed or rearranged whilst they are being
880 * searched.
David Howells973c9f42011-01-20 16:38:33 +0000881 *
882 * Keys are matched to the type provided and are then filtered by the match
883 * function, which is given the description to use in any way it sees fit. The
Randy Dunlap328c95d2020-08-07 09:51:23 -0700884 * match function may use any attributes of a key that it wishes to
David Howells973c9f42011-01-20 16:38:33 +0000885 * determine the match. Normally the match function from the key type would be
886 * used.
887 *
David Howellsb2a4df22013-09-24 10:35:18 +0100888 * RCU can be used to prevent the keyring key lists from disappearing without
889 * the need to take lots of locks.
David Howells973c9f42011-01-20 16:38:33 +0000890 *
891 * Returns a pointer to the found key and increments the key usage count if
892 * successful; -EAGAIN if no matching keys were found, or if expired or revoked
893 * keys were found; -ENOKEY if only negative keys were found; -ENOTDIR if the
894 * specified keyring wasn't a keyring.
895 *
896 * In the case of a successful return, the possession attribute from
897 * @keyring_ref is propagated to the returned key reference.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700898 */
David Howellse59428f2019-06-19 16:10:15 +0100899key_ref_t keyring_search_rcu(key_ref_t keyring_ref,
David Howells4bdf0bc2013-09-24 10:35:15 +0100900 struct keyring_search_context *ctx)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901{
David Howellsb2a4df22013-09-24 10:35:18 +0100902 struct key *keyring;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700903 long err;
David Howellsb2a4df22013-09-24 10:35:18 +0100904
905 ctx->iterator = keyring_search_iterator;
906 ctx->possessed = is_key_possessed(keyring_ref);
907 ctx->result = ERR_PTR(-EAGAIN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700908
David Howells664cceb2005-09-28 17:03:15 +0100909 keyring = key_ref_to_ptr(keyring_ref);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910 key_check(keyring);
911
Linus Torvalds1da177e2005-04-16 15:20:36 -0700912 if (keyring->type != &key_type_keyring)
David Howellsb2a4df22013-09-24 10:35:18 +0100913 return ERR_PTR(-ENOTDIR);
914
915 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM)) {
David Howellsf5895942014-03-14 17:44:49 +0000916 err = key_task_permission(keyring_ref, ctx->cred, KEY_NEED_SEARCH);
David Howellsb2a4df22013-09-24 10:35:18 +0100917 if (err < 0)
918 return ERR_PTR(err);
919 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700920
Baolin Wang074d5892017-11-15 16:38:45 +0000921 ctx->now = ktime_get_real_seconds();
David Howellsb2a4df22013-09-24 10:35:18 +0100922 if (search_nested_keyrings(keyring, ctx))
923 __key_get(key_ref_to_ptr(ctx->result));
David Howellsb2a4df22013-09-24 10:35:18 +0100924 return ctx->result;
David Howellsa8b17ed2011-01-20 16:38:27 +0000925}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700926
David Howells973c9f42011-01-20 16:38:33 +0000927/**
928 * keyring_search - Search the supplied keyring tree for a matching key
929 * @keyring: The root of the keyring tree to be searched.
930 * @type: The type of keyring we want to find.
931 * @description: The name of the keyring we want to find.
David Howellsdcf49db2019-06-26 21:02:32 +0100932 * @recurse: True to search the children of @keyring also
David Howells973c9f42011-01-20 16:38:33 +0000933 *
David Howellse59428f2019-06-19 16:10:15 +0100934 * As keyring_search_rcu() above, but using the current task's credentials and
David Howellsb2a4df22013-09-24 10:35:18 +0100935 * type's default matching function and preferred search method.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700936 */
David Howells664cceb2005-09-28 17:03:15 +0100937key_ref_t keyring_search(key_ref_t keyring,
938 struct key_type *type,
David Howellsdcf49db2019-06-26 21:02:32 +0100939 const char *description,
940 bool recurse)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700941{
David Howells4bdf0bc2013-09-24 10:35:15 +0100942 struct keyring_search_context ctx = {
943 .index_key.type = type,
944 .index_key.description = description,
Eric Biggersede0fa982019-02-22 15:36:18 +0000945 .index_key.desc_len = strlen(description),
David Howells4bdf0bc2013-09-24 10:35:15 +0100946 .cred = current_cred(),
David Howellsc06cfb02014-09-16 17:36:06 +0100947 .match_data.cmp = key_default_cmp,
David Howells46291952014-09-16 17:36:02 +0100948 .match_data.raw_data = description,
949 .match_data.lookup_type = KEYRING_SEARCH_LOOKUP_DIRECT,
950 .flags = KEYRING_SEARCH_DO_STATE_CHECK,
David Howells4bdf0bc2013-09-24 10:35:15 +0100951 };
David Howells46291952014-09-16 17:36:02 +0100952 key_ref_t key;
953 int ret;
David Howells4bdf0bc2013-09-24 10:35:15 +0100954
David Howellsdcf49db2019-06-26 21:02:32 +0100955 if (recurse)
956 ctx.flags |= KEYRING_SEARCH_RECURSE;
David Howells46291952014-09-16 17:36:02 +0100957 if (type->match_preparse) {
958 ret = type->match_preparse(&ctx.match_data);
959 if (ret < 0)
960 return ERR_PTR(ret);
961 }
962
David Howellse59428f2019-06-19 16:10:15 +0100963 rcu_read_lock();
964 key = keyring_search_rcu(keyring, &ctx);
965 rcu_read_unlock();
David Howells46291952014-09-16 17:36:02 +0100966
967 if (type->match_free)
968 type->match_free(&ctx.match_data);
969 return key;
David Howellsa8b17ed2011-01-20 16:38:27 +0000970}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700971EXPORT_SYMBOL(keyring_search);
972
Mat Martineau6563c912017-03-01 16:44:09 -0800973static struct key_restriction *keyring_restriction_alloc(
974 key_restrict_link_func_t check)
975{
976 struct key_restriction *keyres =
977 kzalloc(sizeof(struct key_restriction), GFP_KERNEL);
978
979 if (!keyres)
980 return ERR_PTR(-ENOMEM);
981
982 keyres->check = check;
983
984 return keyres;
985}
986
987/*
988 * Semaphore to serialise restriction setup to prevent reference count
989 * cycles through restriction key pointers.
990 */
991static DECLARE_RWSEM(keyring_serialise_restrict_sem);
992
993/*
994 * Check for restriction cycles that would prevent keyring garbage collection.
995 * keyring_serialise_restrict_sem must be held.
996 */
997static bool keyring_detect_restriction_cycle(const struct key *dest_keyring,
998 struct key_restriction *keyres)
999{
1000 while (keyres && keyres->key &&
1001 keyres->key->type == &key_type_keyring) {
1002 if (keyres->key == dest_keyring)
1003 return true;
1004
1005 keyres = keyres->key->restrict_link;
1006 }
1007
1008 return false;
1009}
1010
1011/**
1012 * keyring_restrict - Look up and apply a restriction to a keyring
David Howells9fd16532019-05-22 13:30:56 +01001013 * @keyring_ref: The keyring to be restricted
1014 * @type: The key type that will provide the restriction checker.
Mat Martineau6563c912017-03-01 16:44:09 -08001015 * @restriction: The restriction options to apply to the keyring
David Howells9fd16532019-05-22 13:30:56 +01001016 *
1017 * Look up a keyring and apply a restriction to it. The restriction is managed
1018 * by the specific key type, but can be configured by the options specified in
1019 * the restriction string.
Mat Martineau6563c912017-03-01 16:44:09 -08001020 */
1021int keyring_restrict(key_ref_t keyring_ref, const char *type,
1022 const char *restriction)
1023{
1024 struct key *keyring;
1025 struct key_type *restrict_type = NULL;
1026 struct key_restriction *restrict_link;
1027 int ret = 0;
1028
1029 keyring = key_ref_to_ptr(keyring_ref);
1030 key_check(keyring);
1031
1032 if (keyring->type != &key_type_keyring)
1033 return -ENOTDIR;
1034
1035 if (!type) {
1036 restrict_link = keyring_restriction_alloc(restrict_link_reject);
1037 } else {
1038 restrict_type = key_type_lookup(type);
1039
1040 if (IS_ERR(restrict_type))
1041 return PTR_ERR(restrict_type);
1042
1043 if (!restrict_type->lookup_restriction) {
1044 ret = -ENOENT;
1045 goto error;
1046 }
1047
1048 restrict_link = restrict_type->lookup_restriction(restriction);
1049 }
1050
1051 if (IS_ERR(restrict_link)) {
1052 ret = PTR_ERR(restrict_link);
1053 goto error;
1054 }
1055
1056 down_write(&keyring->sem);
1057 down_write(&keyring_serialise_restrict_sem);
1058
David Howellsf7e47672020-01-14 17:07:11 +00001059 if (keyring->restrict_link) {
Mat Martineau6563c912017-03-01 16:44:09 -08001060 ret = -EEXIST;
David Howellsf7e47672020-01-14 17:07:11 +00001061 } else if (keyring_detect_restriction_cycle(keyring, restrict_link)) {
Mat Martineau6563c912017-03-01 16:44:09 -08001062 ret = -EDEADLK;
David Howellsf7e47672020-01-14 17:07:11 +00001063 } else {
Mat Martineau6563c912017-03-01 16:44:09 -08001064 keyring->restrict_link = restrict_link;
David Howellsf7e47672020-01-14 17:07:11 +00001065 notify_key(keyring, NOTIFY_KEY_SETATTR, 0);
1066 }
Mat Martineau6563c912017-03-01 16:44:09 -08001067
1068 up_write(&keyring_serialise_restrict_sem);
1069 up_write(&keyring->sem);
1070
1071 if (ret < 0) {
1072 key_put(restrict_link->key);
1073 kfree(restrict_link);
1074 }
1075
1076error:
1077 if (restrict_type)
1078 key_type_put(restrict_type);
1079
1080 return ret;
1081}
1082EXPORT_SYMBOL(keyring_restrict);
1083
Linus Torvalds1da177e2005-04-16 15:20:36 -07001084/*
David Howellsb2a4df22013-09-24 10:35:18 +01001085 * Search the given keyring for a key that might be updated.
David Howells973c9f42011-01-20 16:38:33 +00001086 *
1087 * The caller must guarantee that the keyring is a keyring and that the
David Howellsb2a4df22013-09-24 10:35:18 +01001088 * permission is granted to modify the keyring as no check is made here. The
1089 * caller must also hold a lock on the keyring semaphore.
David Howells973c9f42011-01-20 16:38:33 +00001090 *
1091 * Returns a pointer to the found key with usage count incremented if
David Howellsb2a4df22013-09-24 10:35:18 +01001092 * successful and returns NULL if not found. Revoked and invalidated keys are
1093 * skipped over.
David Howells973c9f42011-01-20 16:38:33 +00001094 *
1095 * If successful, the possession indicator is propagated from the keyring ref
1096 * to the returned key reference.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001097 */
David Howellsb2a4df22013-09-24 10:35:18 +01001098key_ref_t find_key_to_update(key_ref_t keyring_ref,
1099 const struct keyring_index_key *index_key)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001100{
David Howells664cceb2005-09-28 17:03:15 +01001101 struct key *keyring, *key;
David Howellsb2a4df22013-09-24 10:35:18 +01001102 const void *object;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001103
David Howells664cceb2005-09-28 17:03:15 +01001104 keyring = key_ref_to_ptr(keyring_ref);
David Howells664cceb2005-09-28 17:03:15 +01001105
David Howellsb2a4df22013-09-24 10:35:18 +01001106 kenter("{%d},{%s,%s}",
1107 keyring->serial, index_key->type->name, index_key->description);
David Howells76d8aea2005-06-23 22:00:49 -07001108
David Howellsb2a4df22013-09-24 10:35:18 +01001109 object = assoc_array_find(&keyring->keys, &keyring_assoc_array_ops,
1110 index_key);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001111
David Howellsb2a4df22013-09-24 10:35:18 +01001112 if (object)
1113 goto found;
1114
1115 kleave(" = NULL");
1116 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001117
Justin P. Mattockc5b60b52010-04-21 00:02:11 -07001118found:
David Howellsb2a4df22013-09-24 10:35:18 +01001119 key = keyring_ptr_to_key(object);
1120 if (key->flags & ((1 << KEY_FLAG_INVALIDATED) |
1121 (1 << KEY_FLAG_REVOKED))) {
1122 kleave(" = NULL [x]");
1123 return NULL;
1124 }
David Howellsccc3e6d2013-09-24 10:35:16 +01001125 __key_get(key);
David Howellsb2a4df22013-09-24 10:35:18 +01001126 kleave(" = {%d}", key->serial);
1127 return make_key_ref(key, is_key_possessed(keyring_ref));
David Howellsa8b17ed2011-01-20 16:38:27 +00001128}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001129
Linus Torvalds1da177e2005-04-16 15:20:36 -07001130/*
David Howells973c9f42011-01-20 16:38:33 +00001131 * Find a keyring with the specified name.
1132 *
Linus Torvalds028db3e2019-07-10 18:43:43 -07001133 * Only keyrings that have nonzero refcount, are not revoked, and are owned by a
1134 * user in the current user namespace are considered. If @uid_keyring is %true,
1135 * the keyring additionally must have been allocated as a user or user session
1136 * keyring; otherwise, it must grant Search permission directly to the caller.
David Howells973c9f42011-01-20 16:38:33 +00001137 *
1138 * Returns a pointer to the keyring with the keyring's refcount having being
1139 * incremented on success. -ENOKEY is returned if a key could not be found.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001140 */
Eric Biggers237bbd22017-09-18 11:37:03 -07001141struct key *find_keyring_by_name(const char *name, bool uid_keyring)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001142{
David Howellsb206f282019-06-26 21:02:32 +01001143 struct user_namespace *ns = current_user_ns();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001144 struct key *keyring;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001145
Linus Torvalds1da177e2005-04-16 15:20:36 -07001146 if (!name)
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001147 return ERR_PTR(-EINVAL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001148
Linus Torvalds1da177e2005-04-16 15:20:36 -07001149 read_lock(&keyring_name_lock);
1150
David Howellsb206f282019-06-26 21:02:32 +01001151 /* Search this hash bucket for a keyring with a matching name that
1152 * grants Search permission and that hasn't been revoked
1153 */
1154 list_for_each_entry(keyring, &ns->keyring_name_list, name_link) {
1155 if (!kuid_has_mapping(ns, keyring->user->uid))
1156 continue;
Serge E. Hallyn2ea190d2009-02-26 18:27:55 -06001157
David Howellsb206f282019-06-26 21:02:32 +01001158 if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
1159 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001160
David Howellsb206f282019-06-26 21:02:32 +01001161 if (strcmp(keyring->description, name) != 0)
1162 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001163
David Howellsb206f282019-06-26 21:02:32 +01001164 if (uid_keyring) {
1165 if (!test_bit(KEY_FLAG_UID_KEYRING,
1166 &keyring->flags))
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001167 continue;
David Howellsb206f282019-06-26 21:02:32 +01001168 } else {
1169 if (key_permission(make_key_ref(keyring, 0),
Linus Torvalds028db3e2019-07-10 18:43:43 -07001170 KEY_NEED_SEARCH) < 0)
David Howellsb206f282019-06-26 21:02:32 +01001171 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001172 }
David Howellsb206f282019-06-26 21:02:32 +01001173
1174 /* we've got a match but we might end up racing with
1175 * key_cleanup() if the keyring is currently 'dead'
1176 * (ie. it has a zero usage count) */
1177 if (!refcount_inc_not_zero(&keyring->usage))
1178 continue;
1179 keyring->last_used_at = ktime_get_real_seconds();
1180 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001181 }
1182
Linus Torvalds1da177e2005-04-16 15:20:36 -07001183 keyring = ERR_PTR(-ENOKEY);
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001184out:
1185 read_unlock(&keyring_name_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001186 return keyring;
David Howellsa8b17ed2011-01-20 16:38:27 +00001187}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001188
David Howellsb2a4df22013-09-24 10:35:18 +01001189static int keyring_detect_cycle_iterator(const void *object,
1190 void *iterator_data)
1191{
1192 struct keyring_search_context *ctx = iterator_data;
1193 const struct key *key = keyring_ptr_to_key(object);
1194
1195 kenter("{%d}", key->serial);
1196
David Howells979e0d72014-03-09 08:21:58 +00001197 /* We might get a keyring with matching index-key that is nonetheless a
1198 * different keyring. */
David Howells46291952014-09-16 17:36:02 +01001199 if (key != ctx->match_data.raw_data)
David Howells979e0d72014-03-09 08:21:58 +00001200 return 0;
1201
David Howellsb2a4df22013-09-24 10:35:18 +01001202 ctx->result = ERR_PTR(-EDEADLK);
1203 return 1;
1204}
1205
Linus Torvalds1da177e2005-04-16 15:20:36 -07001206/*
Randy Dunlap328c95d2020-08-07 09:51:23 -07001207 * See if a cycle will be created by inserting acyclic tree B in acyclic
David Howells973c9f42011-01-20 16:38:33 +00001208 * tree A at the topmost level (ie: as a direct child of A).
1209 *
1210 * Since we are adding B to A at the top level, checking for cycles should just
1211 * be a matter of seeing if node A is somewhere in tree B.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001212 */
1213static int keyring_detect_cycle(struct key *A, struct key *B)
1214{
David Howellsb2a4df22013-09-24 10:35:18 +01001215 struct keyring_search_context ctx = {
David Howells46291952014-09-16 17:36:02 +01001216 .index_key = A->index_key,
1217 .match_data.raw_data = A,
1218 .match_data.lookup_type = KEYRING_SEARCH_LOOKUP_DIRECT,
1219 .iterator = keyring_detect_cycle_iterator,
1220 .flags = (KEYRING_SEARCH_NO_STATE_CHECK |
1221 KEYRING_SEARCH_NO_UPDATE_TIME |
1222 KEYRING_SEARCH_NO_CHECK_PERM |
David Howellsdcf49db2019-06-26 21:02:32 +01001223 KEYRING_SEARCH_DETECT_TOO_DEEP |
1224 KEYRING_SEARCH_RECURSE),
David Howellsb2a4df22013-09-24 10:35:18 +01001225 };
Linus Torvalds1da177e2005-04-16 15:20:36 -07001226
David Howells76d8aea2005-06-23 22:00:49 -07001227 rcu_read_lock();
David Howellsb2a4df22013-09-24 10:35:18 +01001228 search_nested_keyrings(B, &ctx);
David Howells76d8aea2005-06-23 22:00:49 -07001229 rcu_read_unlock();
David Howellsb2a4df22013-09-24 10:35:18 +01001230 return PTR_ERR(ctx.result) == -EAGAIN ? 0 : PTR_ERR(ctx.result);
David Howellsf70e2e02010-04-30 14:32:39 +01001231}
David Howellscab8eb52006-01-08 01:02:45 -08001232
David Howellscab8eb52006-01-08 01:02:45 -08001233/*
David Howellsdf593ee2019-05-30 11:37:39 +01001234 * Lock keyring for link.
1235 */
1236int __key_link_lock(struct key *keyring,
1237 const struct keyring_index_key *index_key)
1238 __acquires(&keyring->sem)
1239 __acquires(&keyring_serialise_link_lock)
1240{
1241 if (keyring->type != &key_type_keyring)
1242 return -ENOTDIR;
1243
1244 down_write(&keyring->sem);
1245
1246 /* Serialise link/link calls to prevent parallel calls causing a cycle
1247 * when linking two keyring in opposite orders.
1248 */
1249 if (index_key->type == &key_type_keyring)
1250 mutex_lock(&keyring_serialise_link_lock);
1251
1252 return 0;
1253}
1254
1255/*
David Howellsed0ac5c2019-05-20 21:51:50 +01001256 * Lock keyrings for move (link/unlink combination).
1257 */
1258int __key_move_lock(struct key *l_keyring, struct key *u_keyring,
1259 const struct keyring_index_key *index_key)
1260 __acquires(&l_keyring->sem)
1261 __acquires(&u_keyring->sem)
1262 __acquires(&keyring_serialise_link_lock)
1263{
1264 if (l_keyring->type != &key_type_keyring ||
1265 u_keyring->type != &key_type_keyring)
1266 return -ENOTDIR;
1267
1268 /* We have to be very careful here to take the keyring locks in the
1269 * right order, lest we open ourselves to deadlocking against another
1270 * move operation.
1271 */
1272 if (l_keyring < u_keyring) {
1273 down_write(&l_keyring->sem);
1274 down_write_nested(&u_keyring->sem, 1);
1275 } else {
1276 down_write(&u_keyring->sem);
1277 down_write_nested(&l_keyring->sem, 1);
1278 }
1279
1280 /* Serialise link/link calls to prevent parallel calls causing a cycle
1281 * when linking two keyring in opposite orders.
1282 */
1283 if (index_key->type == &key_type_keyring)
1284 mutex_lock(&keyring_serialise_link_lock);
1285
1286 return 0;
1287}
1288
1289/*
David Howells973c9f42011-01-20 16:38:33 +00001290 * Preallocate memory so that a key can be linked into to a keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001291 */
David Howellsb2a4df22013-09-24 10:35:18 +01001292int __key_link_begin(struct key *keyring,
1293 const struct keyring_index_key *index_key,
1294 struct assoc_array_edit **_edit)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001295{
David Howellsb2a4df22013-09-24 10:35:18 +01001296 struct assoc_array_edit *edit;
1297 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001298
David Howells16feef42013-09-24 10:35:15 +01001299 kenter("%d,%s,%s,",
David Howellsb2a4df22013-09-24 10:35:18 +01001300 keyring->serial, index_key->type->name, index_key->description);
1301
1302 BUG_ON(index_key->desc_len == 0);
David Howellsdf593ee2019-05-30 11:37:39 +01001303 BUG_ON(*_edit != NULL);
David Howellsf70e2e02010-04-30 14:32:39 +01001304
David Howellsdf593ee2019-05-30 11:37:39 +01001305 *_edit = NULL;
David Howellsf70e2e02010-04-30 14:32:39 +01001306
Linus Torvalds1da177e2005-04-16 15:20:36 -07001307 ret = -EKEYREVOKED;
David Howells76d8aea2005-06-23 22:00:49 -07001308 if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
David Howellsdf593ee2019-05-30 11:37:39 +01001309 goto error;
David Howells553d6032010-04-30 14:32:28 +01001310
David Howellsb2a4df22013-09-24 10:35:18 +01001311 /* Create an edit script that will insert/replace the key in the
1312 * keyring tree.
1313 */
1314 edit = assoc_array_insert(&keyring->keys,
1315 &keyring_assoc_array_ops,
1316 index_key,
1317 NULL);
1318 if (IS_ERR(edit)) {
1319 ret = PTR_ERR(edit);
David Howellsdf593ee2019-05-30 11:37:39 +01001320 goto error;
David Howells034faeb2013-10-30 11:15:24 +00001321 }
1322
1323 /* If we're not replacing a link in-place then we're going to need some
1324 * extra quota.
1325 */
1326 if (!edit->dead_leaf) {
1327 ret = key_payload_reserve(keyring,
1328 keyring->datalen + KEYQUOTA_LINK_BYTES);
1329 if (ret < 0)
1330 goto error_cancel;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001331 }
1332
David Howellsb2a4df22013-09-24 10:35:18 +01001333 *_edit = edit;
David Howellsf70e2e02010-04-30 14:32:39 +01001334 kleave(" = 0");
1335 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001336
David Howells034faeb2013-10-30 11:15:24 +00001337error_cancel:
1338 assoc_array_cancel_edit(edit);
David Howellsdf593ee2019-05-30 11:37:39 +01001339error:
David Howellsf70e2e02010-04-30 14:32:39 +01001340 kleave(" = %d", ret);
1341 return ret;
1342}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001343
David Howellsf70e2e02010-04-30 14:32:39 +01001344/*
David Howells973c9f42011-01-20 16:38:33 +00001345 * Check already instantiated keys aren't going to be a problem.
1346 *
1347 * The caller must have called __key_link_begin(). Don't need to call this for
1348 * keys that were created since __key_link_begin() was called.
David Howellsf70e2e02010-04-30 14:32:39 +01001349 */
1350int __key_link_check_live_key(struct key *keyring, struct key *key)
1351{
1352 if (key->type == &key_type_keyring)
1353 /* check that we aren't going to create a cycle by linking one
1354 * keyring to another */
1355 return keyring_detect_cycle(keyring, key);
1356 return 0;
1357}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001358
David Howellsf70e2e02010-04-30 14:32:39 +01001359/*
David Howells973c9f42011-01-20 16:38:33 +00001360 * Link a key into to a keyring.
1361 *
1362 * Must be called with __key_link_begin() having being called. Discards any
1363 * already extant link to matching key if there is one, so that each keyring
1364 * holds at most one link to any given key of a particular type+description
1365 * combination.
David Howellsf70e2e02010-04-30 14:32:39 +01001366 */
David Howellsf7e47672020-01-14 17:07:11 +00001367void __key_link(struct key *keyring, struct key *key,
1368 struct assoc_array_edit **_edit)
David Howellsf70e2e02010-04-30 14:32:39 +01001369{
David Howellsccc3e6d2013-09-24 10:35:16 +01001370 __key_get(key);
David Howellsb2a4df22013-09-24 10:35:18 +01001371 assoc_array_insert_set_object(*_edit, keyring_key_to_ptr(key));
1372 assoc_array_apply_edit(*_edit);
1373 *_edit = NULL;
David Howellsf7e47672020-01-14 17:07:11 +00001374 notify_key(keyring, NOTIFY_KEY_LINKED, key_serial(key));
David Howellsf70e2e02010-04-30 14:32:39 +01001375}
1376
1377/*
David Howells973c9f42011-01-20 16:38:33 +00001378 * Finish linking a key into to a keyring.
1379 *
1380 * Must be called with __key_link_begin() having being called.
David Howellsf70e2e02010-04-30 14:32:39 +01001381 */
David Howells16feef42013-09-24 10:35:15 +01001382void __key_link_end(struct key *keyring,
1383 const struct keyring_index_key *index_key,
David Howellsb2a4df22013-09-24 10:35:18 +01001384 struct assoc_array_edit *edit)
David Howellsf70e2e02010-04-30 14:32:39 +01001385 __releases(&keyring->sem)
David Howells3be59f72019-05-30 11:40:24 +01001386 __releases(&keyring_serialise_link_lock)
David Howellsf70e2e02010-04-30 14:32:39 +01001387{
David Howells16feef42013-09-24 10:35:15 +01001388 BUG_ON(index_key->type == NULL);
David Howellsb2a4df22013-09-24 10:35:18 +01001389 kenter("%d,%s,", keyring->serial, index_key->type->name);
David Howellsf70e2e02010-04-30 14:32:39 +01001390
Colin Ian Kingca4da5d2015-07-27 15:23:43 +01001391 if (edit) {
1392 if (!edit->dead_leaf) {
1393 key_payload_reserve(keyring,
1394 keyring->datalen - KEYQUOTA_LINK_BYTES);
1395 }
David Howellsb2a4df22013-09-24 10:35:18 +01001396 assoc_array_cancel_edit(edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001397 }
1398 up_write(&keyring->sem);
David Howellsdf593ee2019-05-30 11:37:39 +01001399
1400 if (index_key->type == &key_type_keyring)
1401 mutex_unlock(&keyring_serialise_link_lock);
David Howellsf70e2e02010-04-30 14:32:39 +01001402}
1403
David Howells5ac7eac2016-04-06 16:14:24 +01001404/*
1405 * Check addition of keys to restricted keyrings.
1406 */
1407static int __key_link_check_restriction(struct key *keyring, struct key *key)
1408{
Mat Martineau2b6aa412016-08-31 16:05:43 -07001409 if (!keyring->restrict_link || !keyring->restrict_link->check)
David Howells5ac7eac2016-04-06 16:14:24 +01001410 return 0;
Mat Martineau2b6aa412016-08-31 16:05:43 -07001411 return keyring->restrict_link->check(keyring, key->type, &key->payload,
1412 keyring->restrict_link->key);
David Howells5ac7eac2016-04-06 16:14:24 +01001413}
1414
David Howells973c9f42011-01-20 16:38:33 +00001415/**
1416 * key_link - Link a key to a keyring
1417 * @keyring: The keyring to make the link in.
1418 * @key: The key to link to.
1419 *
1420 * Make a link in a keyring to a key, such that the keyring holds a reference
1421 * on that key and the key can potentially be found by searching that keyring.
1422 *
1423 * This function will write-lock the keyring's semaphore and will consume some
1424 * of the user's key data quota to hold the link.
1425 *
1426 * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring,
1427 * -EKEYREVOKED if the keyring has been revoked, -ENFILE if the keyring is
1428 * full, -EDQUOT if there is insufficient key data quota remaining to add
1429 * another link or -ENOMEM if there's insufficient memory.
1430 *
1431 * It is assumed that the caller has checked that it is permitted for a link to
1432 * be made (the keyring should have Write permission and the key Link
1433 * permission).
Linus Torvalds1da177e2005-04-16 15:20:36 -07001434 */
1435int key_link(struct key *keyring, struct key *key)
1436{
David Howellsdf593ee2019-05-30 11:37:39 +01001437 struct assoc_array_edit *edit = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001438 int ret;
1439
Elena Reshetovafff29292017-03-31 15:20:48 +03001440 kenter("{%d,%d}", keyring->serial, refcount_read(&keyring->usage));
David Howellsb2a4df22013-09-24 10:35:18 +01001441
Linus Torvalds1da177e2005-04-16 15:20:36 -07001442 key_check(keyring);
1443 key_check(key);
1444
David Howellsdf593ee2019-05-30 11:37:39 +01001445 ret = __key_link_lock(keyring, &key->index_key);
1446 if (ret < 0)
1447 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001448
David Howellsdf593ee2019-05-30 11:37:39 +01001449 ret = __key_link_begin(keyring, &key->index_key, &edit);
1450 if (ret < 0)
1451 goto error_end;
1452
1453 kdebug("begun {%d,%d}", keyring->serial, refcount_read(&keyring->usage));
1454 ret = __key_link_check_restriction(keyring, key);
1455 if (ret == 0)
1456 ret = __key_link_check_live_key(keyring, key);
1457 if (ret == 0)
David Howellsf7e47672020-01-14 17:07:11 +00001458 __key_link(keyring, key, &edit);
David Howellsdf593ee2019-05-30 11:37:39 +01001459
1460error_end:
1461 __key_link_end(keyring, &key->index_key, edit);
1462error:
Elena Reshetovafff29292017-03-31 15:20:48 +03001463 kleave(" = %d {%d,%d}", ret, keyring->serial, refcount_read(&keyring->usage));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001464 return ret;
David Howellsf70e2e02010-04-30 14:32:39 +01001465}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001466EXPORT_SYMBOL(key_link);
1467
David Howellseb0f68c2019-05-30 14:19:20 +01001468/*
1469 * Lock a keyring for unlink.
1470 */
1471static int __key_unlink_lock(struct key *keyring)
1472 __acquires(&keyring->sem)
1473{
1474 if (keyring->type != &key_type_keyring)
1475 return -ENOTDIR;
1476
1477 down_write(&keyring->sem);
1478 return 0;
1479}
1480
1481/*
1482 * Begin the process of unlinking a key from a keyring.
1483 */
1484static int __key_unlink_begin(struct key *keyring, struct key *key,
1485 struct assoc_array_edit **_edit)
1486{
1487 struct assoc_array_edit *edit;
1488
1489 BUG_ON(*_edit != NULL);
David Howellsf7e47672020-01-14 17:07:11 +00001490
David Howellseb0f68c2019-05-30 14:19:20 +01001491 edit = assoc_array_delete(&keyring->keys, &keyring_assoc_array_ops,
1492 &key->index_key);
1493 if (IS_ERR(edit))
1494 return PTR_ERR(edit);
1495
1496 if (!edit)
1497 return -ENOENT;
1498
1499 *_edit = edit;
1500 return 0;
1501}
1502
1503/*
1504 * Apply an unlink change.
1505 */
1506static void __key_unlink(struct key *keyring, struct key *key,
1507 struct assoc_array_edit **_edit)
1508{
1509 assoc_array_apply_edit(*_edit);
David Howellsf7e47672020-01-14 17:07:11 +00001510 notify_key(keyring, NOTIFY_KEY_UNLINKED, key_serial(key));
David Howellseb0f68c2019-05-30 14:19:20 +01001511 *_edit = NULL;
1512 key_payload_reserve(keyring, keyring->datalen - KEYQUOTA_LINK_BYTES);
1513}
1514
1515/*
1516 * Finish unlinking a key from to a keyring.
1517 */
1518static void __key_unlink_end(struct key *keyring,
1519 struct key *key,
1520 struct assoc_array_edit *edit)
1521 __releases(&keyring->sem)
1522{
1523 if (edit)
1524 assoc_array_cancel_edit(edit);
1525 up_write(&keyring->sem);
1526}
1527
David Howells973c9f42011-01-20 16:38:33 +00001528/**
1529 * key_unlink - Unlink the first link to a key from a keyring.
1530 * @keyring: The keyring to remove the link from.
1531 * @key: The key the link is to.
1532 *
1533 * Remove a link from a keyring to a key.
1534 *
1535 * This function will write-lock the keyring's semaphore.
1536 *
1537 * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring, -ENOENT if
1538 * the key isn't linked to by the keyring or -ENOMEM if there's insufficient
1539 * memory.
1540 *
1541 * It is assumed that the caller has checked that it is permitted for a link to
1542 * be removed (the keyring should have Write permission; no permissions are
1543 * required on the key).
Linus Torvalds1da177e2005-04-16 15:20:36 -07001544 */
1545int key_unlink(struct key *keyring, struct key *key)
1546{
David Howellseb0f68c2019-05-30 14:19:20 +01001547 struct assoc_array_edit *edit = NULL;
David Howellsb2a4df22013-09-24 10:35:18 +01001548 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001549
1550 key_check(keyring);
1551 key_check(key);
1552
David Howellseb0f68c2019-05-30 14:19:20 +01001553 ret = __key_unlink_lock(keyring);
1554 if (ret < 0)
1555 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001556
David Howellseb0f68c2019-05-30 14:19:20 +01001557 ret = __key_unlink_begin(keyring, key, &edit);
1558 if (ret == 0)
1559 __key_unlink(keyring, key, &edit);
1560 __key_unlink_end(keyring, key, edit);
David Howellsb2a4df22013-09-24 10:35:18 +01001561 return ret;
David Howellsa8b17ed2011-01-20 16:38:27 +00001562}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001563EXPORT_SYMBOL(key_unlink);
1564
David Howells973c9f42011-01-20 16:38:33 +00001565/**
David Howellsed0ac5c2019-05-20 21:51:50 +01001566 * key_move - Move a key from one keyring to another
1567 * @key: The key to move
1568 * @from_keyring: The keyring to remove the link from.
1569 * @to_keyring: The keyring to make the link in.
1570 * @flags: Qualifying flags, such as KEYCTL_MOVE_EXCL.
1571 *
1572 * Make a link in @to_keyring to a key, such that the keyring holds a reference
1573 * on that key and the key can potentially be found by searching that keyring
1574 * whilst simultaneously removing a link to the key from @from_keyring.
1575 *
1576 * This function will write-lock both keyring's semaphores and will consume
1577 * some of the user's key data quota to hold the link on @to_keyring.
1578 *
1579 * Returns 0 if successful, -ENOTDIR if either keyring isn't a keyring,
1580 * -EKEYREVOKED if either keyring has been revoked, -ENFILE if the second
1581 * keyring is full, -EDQUOT if there is insufficient key data quota remaining
1582 * to add another link or -ENOMEM if there's insufficient memory. If
1583 * KEYCTL_MOVE_EXCL is set, then -EEXIST will be returned if there's already a
1584 * matching key in @to_keyring.
1585 *
1586 * It is assumed that the caller has checked that it is permitted for a link to
1587 * be made (the keyring should have Write permission and the key Link
1588 * permission).
1589 */
1590int key_move(struct key *key,
1591 struct key *from_keyring,
1592 struct key *to_keyring,
1593 unsigned int flags)
1594{
1595 struct assoc_array_edit *from_edit = NULL, *to_edit = NULL;
1596 int ret;
1597
1598 kenter("%d,%d,%d", key->serial, from_keyring->serial, to_keyring->serial);
1599
1600 if (from_keyring == to_keyring)
1601 return 0;
1602
1603 key_check(key);
1604 key_check(from_keyring);
1605 key_check(to_keyring);
1606
1607 ret = __key_move_lock(from_keyring, to_keyring, &key->index_key);
1608 if (ret < 0)
1609 goto out;
1610 ret = __key_unlink_begin(from_keyring, key, &from_edit);
1611 if (ret < 0)
1612 goto error;
1613 ret = __key_link_begin(to_keyring, &key->index_key, &to_edit);
1614 if (ret < 0)
1615 goto error;
1616
1617 ret = -EEXIST;
1618 if (to_edit->dead_leaf && (flags & KEYCTL_MOVE_EXCL))
1619 goto error;
1620
1621 ret = __key_link_check_restriction(to_keyring, key);
1622 if (ret < 0)
1623 goto error;
1624 ret = __key_link_check_live_key(to_keyring, key);
1625 if (ret < 0)
1626 goto error;
1627
1628 __key_unlink(from_keyring, key, &from_edit);
David Howellsf7e47672020-01-14 17:07:11 +00001629 __key_link(to_keyring, key, &to_edit);
David Howellsed0ac5c2019-05-20 21:51:50 +01001630error:
1631 __key_link_end(to_keyring, &key->index_key, to_edit);
1632 __key_unlink_end(from_keyring, key, from_edit);
1633out:
1634 kleave(" = %d", ret);
1635 return ret;
1636}
1637EXPORT_SYMBOL(key_move);
1638
1639/**
David Howells973c9f42011-01-20 16:38:33 +00001640 * keyring_clear - Clear a keyring
1641 * @keyring: The keyring to clear.
1642 *
1643 * Clear the contents of the specified keyring.
1644 *
1645 * Returns 0 if successful or -ENOTDIR if the keyring isn't a keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001646 */
1647int keyring_clear(struct key *keyring)
1648{
David Howellsb2a4df22013-09-24 10:35:18 +01001649 struct assoc_array_edit *edit;
David Howells76d8aea2005-06-23 22:00:49 -07001650 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001651
David Howellsb2a4df22013-09-24 10:35:18 +01001652 if (keyring->type != &key_type_keyring)
1653 return -ENOTDIR;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001654
David Howellsb2a4df22013-09-24 10:35:18 +01001655 down_write(&keyring->sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001656
David Howellsb2a4df22013-09-24 10:35:18 +01001657 edit = assoc_array_clear(&keyring->keys, &keyring_assoc_array_ops);
1658 if (IS_ERR(edit)) {
1659 ret = PTR_ERR(edit);
1660 } else {
1661 if (edit)
1662 assoc_array_apply_edit(edit);
David Howellsf7e47672020-01-14 17:07:11 +00001663 notify_key(keyring, NOTIFY_KEY_CLEARED, 0);
David Howellsb2a4df22013-09-24 10:35:18 +01001664 key_payload_reserve(keyring, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001665 ret = 0;
1666 }
1667
David Howellsb2a4df22013-09-24 10:35:18 +01001668 up_write(&keyring->sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001669 return ret;
David Howellsa8b17ed2011-01-20 16:38:27 +00001670}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001671EXPORT_SYMBOL(keyring_clear);
David Howells31204ed2006-06-26 00:24:51 -07001672
David Howells31204ed2006-06-26 00:24:51 -07001673/*
David Howells973c9f42011-01-20 16:38:33 +00001674 * Dispose of the links from a revoked keyring.
1675 *
1676 * This is called with the key sem write-locked.
David Howells31204ed2006-06-26 00:24:51 -07001677 */
1678static void keyring_revoke(struct key *keyring)
1679{
David Howellsb2a4df22013-09-24 10:35:18 +01001680 struct assoc_array_edit *edit;
David Howellsf0641cb2010-04-30 14:32:18 +01001681
David Howellsb2a4df22013-09-24 10:35:18 +01001682 edit = assoc_array_clear(&keyring->keys, &keyring_assoc_array_ops);
1683 if (!IS_ERR(edit)) {
1684 if (edit)
1685 assoc_array_apply_edit(edit);
1686 key_payload_reserve(keyring, 0);
David Howells31204ed2006-06-26 00:24:51 -07001687 }
David Howellsa8b17ed2011-01-20 16:38:27 +00001688}
David Howells5d135442009-09-02 09:14:00 +01001689
David Howells62fe3182013-11-14 13:02:31 +00001690static bool keyring_gc_select_iterator(void *object, void *iterator_data)
David Howellsb2a4df22013-09-24 10:35:18 +01001691{
1692 struct key *key = keyring_ptr_to_key(object);
Baolin Wang074d5892017-11-15 16:38:45 +00001693 time64_t *limit = iterator_data;
David Howellsb2a4df22013-09-24 10:35:18 +01001694
1695 if (key_is_dead(key, *limit))
1696 return false;
1697 key_get(key);
1698 return true;
1699}
1700
David Howells62fe3182013-11-14 13:02:31 +00001701static int keyring_gc_check_iterator(const void *object, void *iterator_data)
1702{
1703 const struct key *key = keyring_ptr_to_key(object);
Baolin Wang074d5892017-11-15 16:38:45 +00001704 time64_t *limit = iterator_data;
David Howells62fe3182013-11-14 13:02:31 +00001705
1706 key_check(key);
1707 return key_is_dead(key, *limit);
1708}
1709
David Howells5d135442009-09-02 09:14:00 +01001710/*
David Howells62fe3182013-11-14 13:02:31 +00001711 * Garbage collect pointers from a keyring.
David Howells973c9f42011-01-20 16:38:33 +00001712 *
David Howells62fe3182013-11-14 13:02:31 +00001713 * Not called with any locks held. The keyring's key struct will not be
1714 * deallocated under us as only our caller may deallocate it.
David Howells5d135442009-09-02 09:14:00 +01001715 */
Baolin Wang074d5892017-11-15 16:38:45 +00001716void keyring_gc(struct key *keyring, time64_t limit)
David Howells5d135442009-09-02 09:14:00 +01001717{
David Howells62fe3182013-11-14 13:02:31 +00001718 int result;
David Howells5d135442009-09-02 09:14:00 +01001719
David Howells62fe3182013-11-14 13:02:31 +00001720 kenter("%x{%s}", keyring->serial, keyring->description ?: "");
1721
1722 if (keyring->flags & ((1 << KEY_FLAG_INVALIDATED) |
1723 (1 << KEY_FLAG_REVOKED)))
1724 goto dont_gc;
1725
1726 /* scan the keyring looking for dead keys */
1727 rcu_read_lock();
1728 result = assoc_array_iterate(&keyring->keys,
1729 keyring_gc_check_iterator, &limit);
1730 rcu_read_unlock();
1731 if (result == true)
1732 goto do_gc;
1733
1734dont_gc:
1735 kleave(" [no gc]");
1736 return;
1737
1738do_gc:
David Howells5d135442009-09-02 09:14:00 +01001739 down_write(&keyring->sem);
David Howellsb2a4df22013-09-24 10:35:18 +01001740 assoc_array_gc(&keyring->keys, &keyring_assoc_array_ops,
David Howells62fe3182013-11-14 13:02:31 +00001741 keyring_gc_select_iterator, &limit);
David Howells5d135442009-09-02 09:14:00 +01001742 up_write(&keyring->sem);
David Howells62fe3182013-11-14 13:02:31 +00001743 kleave(" [gc]");
David Howells5d135442009-09-02 09:14:00 +01001744}
Mat Martineau2b6aa412016-08-31 16:05:43 -07001745
1746/*
1747 * Garbage collect restriction pointers from a keyring.
1748 *
1749 * Keyring restrictions are associated with a key type, and must be cleaned
1750 * up if the key type is unregistered. The restriction is altered to always
1751 * reject additional keys so a keyring cannot be opened up by unregistering
1752 * a key type.
1753 *
1754 * Not called with any keyring locks held. The keyring's key struct will not
1755 * be deallocated under us as only our caller may deallocate it.
1756 *
1757 * The caller is required to hold key_types_sem and dead_type->sem. This is
1758 * fulfilled by key_gc_keytype() holding the locks on behalf of
1759 * key_garbage_collector(), which it invokes on a workqueue.
1760 */
1761void keyring_restriction_gc(struct key *keyring, struct key_type *dead_type)
1762{
1763 struct key_restriction *keyres;
1764
1765 kenter("%x{%s}", keyring->serial, keyring->description ?: "");
1766
1767 /*
1768 * keyring->restrict_link is only assigned at key allocation time
1769 * or with the key type locked, so the only values that could be
1770 * concurrently assigned to keyring->restrict_link are for key
1771 * types other than dead_type. Given this, it's ok to check
1772 * the key type before acquiring keyring->sem.
1773 */
1774 if (!dead_type || !keyring->restrict_link ||
1775 keyring->restrict_link->keytype != dead_type) {
1776 kleave(" [no restriction gc]");
1777 return;
1778 }
1779
1780 /* Lock the keyring to ensure that a link is not in progress */
1781 down_write(&keyring->sem);
1782
1783 keyres = keyring->restrict_link;
1784
1785 keyres->check = restrict_link_reject;
1786
1787 key_put(keyres->key);
1788 keyres->key = NULL;
1789 keyres->keytype = NULL;
1790
1791 up_write(&keyring->sem);
1792
1793 kleave(" [restriction gc]");
1794}