blob: ca6694ba1773f9c721765d1e9c37f0994f6c7faa [file] [log] [blame]
David Howells69664cf2008-04-29 01:01:31 -07001/* Keyring handling
Linus Torvalds1da177e2005-04-16 15:20:36 -07002 *
David Howellsb2a4df22013-09-24 10:35:18 +01003 * Copyright (C) 2004-2005, 2008, 2013 Red Hat, Inc. All Rights Reserved.
Linus Torvalds1da177e2005-04-16 15:20:36 -07004 * Written by David Howells (dhowells@redhat.com)
5 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version
9 * 2 of the License, or (at your option) any later version.
10 */
11
Paul Gortmaker876979c2018-12-09 15:36:29 -050012#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <linux/init.h>
14#include <linux/sched.h>
15#include <linux/slab.h>
David Howells29db9192005-10-30 15:02:44 -080016#include <linux/security.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/seq_file.h>
18#include <linux/err.h>
David Howellse9e349b2008-11-14 10:39:13 +110019#include <keys/keyring-type.h>
David Howellsb2a4df22013-09-24 10:35:18 +010020#include <keys/user-type.h>
21#include <linux/assoc_array_priv.h>
Chihau Chau512ea3b2010-03-08 20:11:34 -030022#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070023#include "internal.h"
24
25/*
David Howells973c9f42011-01-20 16:38:33 +000026 * When plumbing the depths of the key tree, this sets a hard limit
27 * set on how deep we're willing to go.
Linus Torvalds1da177e2005-04-16 15:20:36 -070028 */
29#define KEYRING_SEARCH_MAX_DEPTH 6
30
31/*
David Howells973c9f42011-01-20 16:38:33 +000032 * We keep all named keyrings in a hash to speed looking them up.
Linus Torvalds1da177e2005-04-16 15:20:36 -070033 */
34#define KEYRING_NAME_HASH_SIZE (1 << 5)
35
David Howellsb2a4df22013-09-24 10:35:18 +010036/*
37 * We mark pointers we pass to the associative array with bit 1 set if
38 * they're keyrings and clear otherwise.
39 */
40#define KEYRING_PTR_SUBTYPE 0x2UL
41
42static inline bool keyring_ptr_is_keyring(const struct assoc_array_ptr *x)
43{
44 return (unsigned long)x & KEYRING_PTR_SUBTYPE;
45}
46static inline struct key *keyring_ptr_to_key(const struct assoc_array_ptr *x)
47{
48 void *object = assoc_array_ptr_to_leaf(x);
49 return (struct key *)((unsigned long)object & ~KEYRING_PTR_SUBTYPE);
50}
51static inline void *keyring_key_to_ptr(struct key *key)
52{
53 if (key->type == &key_type_keyring)
54 return (void *)((unsigned long)key | KEYRING_PTR_SUBTYPE);
55 return key;
56}
57
Linus Torvalds1da177e2005-04-16 15:20:36 -070058static struct list_head keyring_name_hash[KEYRING_NAME_HASH_SIZE];
59static DEFINE_RWLOCK(keyring_name_lock);
60
61static inline unsigned keyring_hash(const char *desc)
62{
63 unsigned bucket = 0;
64
65 for (; *desc; desc++)
Justin P. Mattockc5b60b52010-04-21 00:02:11 -070066 bucket += (unsigned char)*desc;
Linus Torvalds1da177e2005-04-16 15:20:36 -070067
68 return bucket & (KEYRING_NAME_HASH_SIZE - 1);
69}
70
71/*
David Howells973c9f42011-01-20 16:38:33 +000072 * The keyring key type definition. Keyrings are simply keys of this type and
73 * can be treated as ordinary keys in addition to having their own special
74 * operations.
Linus Torvalds1da177e2005-04-16 15:20:36 -070075 */
David Howells5d19e20b2014-07-18 18:56:36 +010076static int keyring_preparse(struct key_preparsed_payload *prep);
77static void keyring_free_preparse(struct key_preparsed_payload *prep);
Linus Torvalds1da177e2005-04-16 15:20:36 -070078static int keyring_instantiate(struct key *keyring,
David Howellscf7f6012012-09-13 13:06:29 +010079 struct key_preparsed_payload *prep);
David Howells31204ed2006-06-26 00:24:51 -070080static void keyring_revoke(struct key *keyring);
Linus Torvalds1da177e2005-04-16 15:20:36 -070081static void keyring_destroy(struct key *keyring);
82static void keyring_describe(const struct key *keyring, struct seq_file *m);
83static long keyring_read(const struct key *keyring,
84 char __user *buffer, size_t buflen);
85
86struct key_type key_type_keyring = {
87 .name = "keyring",
David Howellsb2a4df22013-09-24 10:35:18 +010088 .def_datalen = 0,
David Howells5d19e20b2014-07-18 18:56:36 +010089 .preparse = keyring_preparse,
90 .free_preparse = keyring_free_preparse,
Linus Torvalds1da177e2005-04-16 15:20:36 -070091 .instantiate = keyring_instantiate,
David Howells31204ed2006-06-26 00:24:51 -070092 .revoke = keyring_revoke,
Linus Torvalds1da177e2005-04-16 15:20:36 -070093 .destroy = keyring_destroy,
94 .describe = keyring_describe,
95 .read = keyring_read,
96};
David Howells73182262007-04-26 15:46:23 -070097EXPORT_SYMBOL(key_type_keyring);
98
Linus Torvalds1da177e2005-04-16 15:20:36 -070099/*
David Howells973c9f42011-01-20 16:38:33 +0000100 * Semaphore to serialise link/link calls to prevent two link calls in parallel
101 * introducing a cycle.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700102 */
David Howells3be59f72019-05-30 11:40:24 +0100103static DEFINE_MUTEX(keyring_serialise_link_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700104
Linus Torvalds1da177e2005-04-16 15:20:36 -0700105/*
David Howells973c9f42011-01-20 16:38:33 +0000106 * Publish the name of a keyring so that it can be found by name (if it has
107 * one).
Linus Torvalds1da177e2005-04-16 15:20:36 -0700108 */
David Howells69664cf2008-04-29 01:01:31 -0700109static void keyring_publish_name(struct key *keyring)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700110{
111 int bucket;
112
113 if (keyring->description) {
114 bucket = keyring_hash(keyring->description);
115
116 write_lock(&keyring_name_lock);
117
118 if (!keyring_name_hash[bucket].next)
119 INIT_LIST_HEAD(&keyring_name_hash[bucket]);
120
David Howells146aa8b2015-10-21 14:04:48 +0100121 list_add_tail(&keyring->name_link,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122 &keyring_name_hash[bucket]);
123
124 write_unlock(&keyring_name_lock);
125 }
David Howellsa8b17ed2011-01-20 16:38:27 +0000126}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700127
Linus Torvalds1da177e2005-04-16 15:20:36 -0700128/*
David Howells5d19e20b2014-07-18 18:56:36 +0100129 * Preparse a keyring payload
130 */
131static int keyring_preparse(struct key_preparsed_payload *prep)
132{
133 return prep->datalen != 0 ? -EINVAL : 0;
134}
135
136/*
137 * Free a preparse of a user defined key payload
138 */
139static void keyring_free_preparse(struct key_preparsed_payload *prep)
140{
141}
142
143/*
David Howells973c9f42011-01-20 16:38:33 +0000144 * Initialise a keyring.
145 *
146 * Returns 0 on success, -EINVAL if given any data.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147 */
148static int keyring_instantiate(struct key *keyring,
David Howellscf7f6012012-09-13 13:06:29 +0100149 struct key_preparsed_payload *prep)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700150{
David Howells5d19e20b2014-07-18 18:56:36 +0100151 assoc_array_init(&keyring->keys);
152 /* make the keyring available by name if it has one */
153 keyring_publish_name(keyring);
154 return 0;
David Howellsa8b17ed2011-01-20 16:38:27 +0000155}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700156
Linus Torvalds1da177e2005-04-16 15:20:36 -0700157/*
David Howellsb2a4df22013-09-24 10:35:18 +0100158 * Multiply 64-bits by 32-bits to 96-bits and fold back to 64-bit. Ideally we'd
159 * fold the carry back too, but that requires inline asm.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700160 */
David Howellsb2a4df22013-09-24 10:35:18 +0100161static u64 mult_64x32_and_fold(u64 x, u32 y)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700162{
David Howellsb2a4df22013-09-24 10:35:18 +0100163 u64 hi = (u64)(u32)(x >> 32) * y;
164 u64 lo = (u64)(u32)(x) * y;
165 return lo + ((u64)(u32)hi << 32) + (u32)(hi >> 32);
David Howellsa8b17ed2011-01-20 16:38:27 +0000166}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700167
Linus Torvalds1da177e2005-04-16 15:20:36 -0700168/*
David Howellsb2a4df22013-09-24 10:35:18 +0100169 * Hash a key type and description.
170 */
171static unsigned long hash_key_type_and_desc(const struct keyring_index_key *index_key)
172{
173 const unsigned level_shift = ASSOC_ARRAY_LEVEL_STEP;
David Howellsd54e58b2013-12-02 11:24:18 +0000174 const unsigned long fan_mask = ASSOC_ARRAY_FAN_MASK;
David Howellsb2a4df22013-09-24 10:35:18 +0100175 const char *description = index_key->description;
176 unsigned long hash, type;
177 u32 piece;
178 u64 acc;
179 int n, desc_len = index_key->desc_len;
180
181 type = (unsigned long)index_key->type;
182
183 acc = mult_64x32_and_fold(type, desc_len + 13);
184 acc = mult_64x32_and_fold(acc, 9207);
185 for (;;) {
186 n = desc_len;
187 if (n <= 0)
188 break;
189 if (n > 4)
190 n = 4;
191 piece = 0;
192 memcpy(&piece, description, n);
193 description += n;
194 desc_len -= n;
195 acc = mult_64x32_and_fold(acc, piece);
196 acc = mult_64x32_and_fold(acc, 9207);
197 }
198
199 /* Fold the hash down to 32 bits if need be. */
200 hash = acc;
201 if (ASSOC_ARRAY_KEY_CHUNK_SIZE == 32)
202 hash ^= acc >> 32;
203
204 /* Squidge all the keyrings into a separate part of the tree to
205 * ordinary keys by making sure the lowest level segment in the hash is
206 * zero for keyrings and non-zero otherwise.
207 */
David Howellsd54e58b2013-12-02 11:24:18 +0000208 if (index_key->type != &key_type_keyring && (hash & fan_mask) == 0)
David Howellsb2a4df22013-09-24 10:35:18 +0100209 return hash | (hash >> (ASSOC_ARRAY_KEY_CHUNK_SIZE - level_shift)) | 1;
David Howellsd54e58b2013-12-02 11:24:18 +0000210 if (index_key->type == &key_type_keyring && (hash & fan_mask) != 0)
211 return (hash + (hash << level_shift)) & ~fan_mask;
David Howellsb2a4df22013-09-24 10:35:18 +0100212 return hash;
213}
214
215/*
216 * Build the next index key chunk.
217 *
218 * On 32-bit systems the index key is laid out as:
219 *
220 * 0 4 5 9...
221 * hash desclen typeptr desc[]
222 *
223 * On 64-bit systems:
224 *
225 * 0 8 9 17...
226 * hash desclen typeptr desc[]
227 *
228 * We return it one word-sized chunk at a time.
229 */
230static unsigned long keyring_get_key_chunk(const void *data, int level)
231{
232 const struct keyring_index_key *index_key = data;
233 unsigned long chunk = 0;
234 long offset = 0;
235 int desc_len = index_key->desc_len, n = sizeof(chunk);
236
237 level /= ASSOC_ARRAY_KEY_CHUNK_SIZE;
238 switch (level) {
239 case 0:
240 return hash_key_type_and_desc(index_key);
241 case 1:
242 return ((unsigned long)index_key->type << 8) | desc_len;
243 case 2:
244 if (desc_len == 0)
245 return (u8)((unsigned long)index_key->type >>
246 (ASSOC_ARRAY_KEY_CHUNK_SIZE - 8));
247 n--;
248 offset = 1;
Mathieu Malaterre5b732622019-01-14 21:17:23 +0100249 /* fall through */
David Howellsb2a4df22013-09-24 10:35:18 +0100250 default:
251 offset += sizeof(chunk) - 1;
252 offset += (level - 3) * sizeof(chunk);
253 if (offset >= desc_len)
254 return 0;
255 desc_len -= offset;
256 if (desc_len > n)
257 desc_len = n;
258 offset += desc_len;
259 do {
260 chunk <<= 8;
261 chunk |= ((u8*)index_key->description)[--offset];
262 } while (--desc_len > 0);
263
264 if (level == 2) {
265 chunk <<= 8;
266 chunk |= (u8)((unsigned long)index_key->type >>
267 (ASSOC_ARRAY_KEY_CHUNK_SIZE - 8));
268 }
269 return chunk;
270 }
271}
272
273static unsigned long keyring_get_object_key_chunk(const void *object, int level)
274{
275 const struct key *key = keyring_ptr_to_key(object);
276 return keyring_get_key_chunk(&key->index_key, level);
277}
278
279static bool keyring_compare_object(const void *object, const void *data)
280{
281 const struct keyring_index_key *index_key = data;
282 const struct key *key = keyring_ptr_to_key(object);
283
284 return key->index_key.type == index_key->type &&
285 key->index_key.desc_len == index_key->desc_len &&
286 memcmp(key->index_key.description, index_key->description,
287 index_key->desc_len) == 0;
288}
289
290/*
291 * Compare the index keys of a pair of objects and determine the bit position
292 * at which they differ - if they differ.
293 */
David Howells23fd78d2013-12-02 11:24:18 +0000294static int keyring_diff_objects(const void *object, const void *data)
David Howellsb2a4df22013-09-24 10:35:18 +0100295{
David Howells23fd78d2013-12-02 11:24:18 +0000296 const struct key *key_a = keyring_ptr_to_key(object);
David Howellsb2a4df22013-09-24 10:35:18 +0100297 const struct keyring_index_key *a = &key_a->index_key;
David Howells23fd78d2013-12-02 11:24:18 +0000298 const struct keyring_index_key *b = data;
David Howellsb2a4df22013-09-24 10:35:18 +0100299 unsigned long seg_a, seg_b;
300 int level, i;
301
302 level = 0;
303 seg_a = hash_key_type_and_desc(a);
304 seg_b = hash_key_type_and_desc(b);
305 if ((seg_a ^ seg_b) != 0)
306 goto differ;
307
308 /* The number of bits contributed by the hash is controlled by a
309 * constant in the assoc_array headers. Everything else thereafter we
310 * can deal with as being machine word-size dependent.
311 */
312 level += ASSOC_ARRAY_KEY_CHUNK_SIZE / 8;
313 seg_a = a->desc_len;
314 seg_b = b->desc_len;
315 if ((seg_a ^ seg_b) != 0)
316 goto differ;
317
318 /* The next bit may not work on big endian */
319 level++;
320 seg_a = (unsigned long)a->type;
321 seg_b = (unsigned long)b->type;
322 if ((seg_a ^ seg_b) != 0)
323 goto differ;
324
325 level += sizeof(unsigned long);
326 if (a->desc_len == 0)
327 goto same;
328
329 i = 0;
330 if (((unsigned long)a->description | (unsigned long)b->description) &
331 (sizeof(unsigned long) - 1)) {
332 do {
333 seg_a = *(unsigned long *)(a->description + i);
334 seg_b = *(unsigned long *)(b->description + i);
335 if ((seg_a ^ seg_b) != 0)
336 goto differ_plus_i;
337 i += sizeof(unsigned long);
338 } while (i < (a->desc_len & (sizeof(unsigned long) - 1)));
339 }
340
341 for (; i < a->desc_len; i++) {
342 seg_a = *(unsigned char *)(a->description + i);
343 seg_b = *(unsigned char *)(b->description + i);
344 if ((seg_a ^ seg_b) != 0)
345 goto differ_plus_i;
346 }
347
348same:
349 return -1;
350
351differ_plus_i:
352 level += i;
353differ:
354 i = level * 8 + __ffs(seg_a ^ seg_b);
355 return i;
356}
357
358/*
359 * Free an object after stripping the keyring flag off of the pointer.
360 */
361static void keyring_free_object(void *object)
362{
363 key_put(keyring_ptr_to_key(object));
364}
365
366/*
367 * Operations for keyring management by the index-tree routines.
368 */
369static const struct assoc_array_ops keyring_assoc_array_ops = {
370 .get_key_chunk = keyring_get_key_chunk,
371 .get_object_key_chunk = keyring_get_object_key_chunk,
372 .compare_object = keyring_compare_object,
373 .diff_objects = keyring_diff_objects,
374 .free_object = keyring_free_object,
375};
376
377/*
David Howells973c9f42011-01-20 16:38:33 +0000378 * Clean up a keyring when it is destroyed. Unpublish its name if it had one
379 * and dispose of its data.
David Howells233e4732012-05-11 10:56:56 +0100380 *
381 * The garbage collector detects the final key_put(), removes the keyring from
382 * the serial number tree and then does RCU synchronisation before coming here,
383 * so we shouldn't need to worry about code poking around here with the RCU
384 * readlock held by this time.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700385 */
386static void keyring_destroy(struct key *keyring)
387{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700388 if (keyring->description) {
389 write_lock(&keyring_name_lock);
David Howells94efe722005-08-04 13:07:07 -0700390
David Howells146aa8b2015-10-21 14:04:48 +0100391 if (keyring->name_link.next != NULL &&
392 !list_empty(&keyring->name_link))
393 list_del(&keyring->name_link);
David Howells94efe722005-08-04 13:07:07 -0700394
Linus Torvalds1da177e2005-04-16 15:20:36 -0700395 write_unlock(&keyring_name_lock);
396 }
397
Mat Martineau2b6aa412016-08-31 16:05:43 -0700398 if (keyring->restrict_link) {
399 struct key_restriction *keyres = keyring->restrict_link;
400
401 key_put(keyres->key);
402 kfree(keyres);
403 }
404
David Howellsb2a4df22013-09-24 10:35:18 +0100405 assoc_array_destroy(&keyring->keys, &keyring_assoc_array_ops);
David Howellsa8b17ed2011-01-20 16:38:27 +0000406}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700407
Linus Torvalds1da177e2005-04-16 15:20:36 -0700408/*
David Howells973c9f42011-01-20 16:38:33 +0000409 * Describe a keyring for /proc.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700410 */
411static void keyring_describe(const struct key *keyring, struct seq_file *m)
412{
wzt.wzt@gmail.comc8563472010-03-04 21:26:23 +0800413 if (keyring->description)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700414 seq_puts(m, keyring->description);
wzt.wzt@gmail.comc8563472010-03-04 21:26:23 +0800415 else
Linus Torvalds1da177e2005-04-16 15:20:36 -0700416 seq_puts(m, "[anon]");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700417
David Howells363b02d2017-10-04 16:43:25 +0100418 if (key_is_positive(keyring)) {
David Howellsb2a4df22013-09-24 10:35:18 +0100419 if (keyring->keys.nr_leaves_on_tree != 0)
420 seq_printf(m, ": %lu", keyring->keys.nr_leaves_on_tree);
David Howells78b72802011-03-11 17:57:23 +0000421 else
422 seq_puts(m, ": empty");
David Howells78b72802011-03-11 17:57:23 +0000423 }
David Howellsa8b17ed2011-01-20 16:38:27 +0000424}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425
David Howellsb2a4df22013-09-24 10:35:18 +0100426struct keyring_read_iterator_context {
Eric Biggerse6450162017-09-18 11:36:45 -0700427 size_t buflen;
David Howellsb2a4df22013-09-24 10:35:18 +0100428 size_t count;
429 key_serial_t __user *buffer;
430};
431
432static int keyring_read_iterator(const void *object, void *data)
433{
434 struct keyring_read_iterator_context *ctx = data;
435 const struct key *key = keyring_ptr_to_key(object);
436 int ret;
437
438 kenter("{%s,%d},,{%zu/%zu}",
Eric Biggerse6450162017-09-18 11:36:45 -0700439 key->type->name, key->serial, ctx->count, ctx->buflen);
David Howellsb2a4df22013-09-24 10:35:18 +0100440
Eric Biggerse6450162017-09-18 11:36:45 -0700441 if (ctx->count >= ctx->buflen)
David Howellsb2a4df22013-09-24 10:35:18 +0100442 return 1;
443
444 ret = put_user(key->serial, ctx->buffer);
445 if (ret < 0)
446 return ret;
447 ctx->buffer++;
448 ctx->count += sizeof(key->serial);
449 return 0;
450}
451
Linus Torvalds1da177e2005-04-16 15:20:36 -0700452/*
David Howells973c9f42011-01-20 16:38:33 +0000453 * Read a list of key IDs from the keyring's contents in binary form
454 *
David Howellsb2a4df22013-09-24 10:35:18 +0100455 * The keyring's semaphore is read-locked by the caller. This prevents someone
456 * from modifying it under us - which could cause us to read key IDs multiple
457 * times.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458 */
459static long keyring_read(const struct key *keyring,
460 char __user *buffer, size_t buflen)
461{
David Howellsb2a4df22013-09-24 10:35:18 +0100462 struct keyring_read_iterator_context ctx;
Eric Biggers3239b6f2017-11-02 00:47:03 +0000463 long ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700464
David Howellsb2a4df22013-09-24 10:35:18 +0100465 kenter("{%d},,%zu", key_serial(keyring), buflen);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700466
David Howellsb2a4df22013-09-24 10:35:18 +0100467 if (buflen & (sizeof(key_serial_t) - 1))
468 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700469
Eric Biggers3239b6f2017-11-02 00:47:03 +0000470 /* Copy as many key IDs as fit into the buffer */
471 if (buffer && buflen) {
472 ctx.buffer = (key_serial_t __user *)buffer;
473 ctx.buflen = buflen;
474 ctx.count = 0;
475 ret = assoc_array_iterate(&keyring->keys,
476 keyring_read_iterator, &ctx);
477 if (ret < 0) {
478 kleave(" = %ld [iterate]", ret);
479 return ret;
480 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700481 }
482
Eric Biggers3239b6f2017-11-02 00:47:03 +0000483 /* Return the size of the buffer needed */
484 ret = keyring->keys.nr_leaves_on_tree * sizeof(key_serial_t);
485 if (ret <= buflen)
486 kleave("= %ld [ok]", ret);
487 else
488 kleave("= %ld [buffer too small]", ret);
489 return ret;
David Howellsa8b17ed2011-01-20 16:38:27 +0000490}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491
Linus Torvalds1da177e2005-04-16 15:20:36 -0700492/*
David Howells973c9f42011-01-20 16:38:33 +0000493 * Allocate a keyring and link into the destination keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700494 */
Eric W. Biederman9a56c2d2012-02-08 07:53:04 -0800495struct key *keyring_alloc(const char *description, kuid_t uid, kgid_t gid,
David Howells96b5c8f2012-10-02 19:24:56 +0100496 const struct cred *cred, key_perm_t perm,
David Howells5ac7eac2016-04-06 16:14:24 +0100497 unsigned long flags,
Mat Martineau2b6aa412016-08-31 16:05:43 -0700498 struct key_restriction *restrict_link,
David Howells5ac7eac2016-04-06 16:14:24 +0100499 struct key *dest)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700500{
501 struct key *keyring;
502 int ret;
503
504 keyring = key_alloc(&key_type_keyring, description,
David Howells5ac7eac2016-04-06 16:14:24 +0100505 uid, gid, cred, perm, flags, restrict_link);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700506 if (!IS_ERR(keyring)) {
David Howells3e301482005-06-23 22:00:56 -0700507 ret = key_instantiate_and_link(keyring, NULL, 0, dest, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700508 if (ret < 0) {
509 key_put(keyring);
510 keyring = ERR_PTR(ret);
511 }
512 }
513
514 return keyring;
David Howellsa8b17ed2011-01-20 16:38:27 +0000515}
David Howellsf8aa23a2012-10-02 19:24:56 +0100516EXPORT_SYMBOL(keyring_alloc);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700517
David Howells5ac7eac2016-04-06 16:14:24 +0100518/**
David Howells5ac7eac2016-04-06 16:14:24 +0100519 * restrict_link_reject - Give -EPERM to restrict link
520 * @keyring: The keyring being added to.
521 * @type: The type of key being added.
David Howells5ac7eac2016-04-06 16:14:24 +0100522 * @payload: The payload of the key intended to be added.
David Howells9fd16532019-05-22 13:30:56 +0100523 * @restriction_key: Keys providing additional data for evaluating restriction.
David Howells5ac7eac2016-04-06 16:14:24 +0100524 *
525 * Reject the addition of any links to a keyring. It can be overridden by
526 * passing KEY_ALLOC_BYPASS_RESTRICTION to key_instantiate_and_link() when
527 * adding a key to a keyring.
528 *
Mat Martineau2b6aa412016-08-31 16:05:43 -0700529 * This is meant to be stored in a key_restriction structure which is passed
530 * in the restrict_link parameter to keyring_alloc().
David Howells5ac7eac2016-04-06 16:14:24 +0100531 */
532int restrict_link_reject(struct key *keyring,
533 const struct key_type *type,
Mat Martineauaaf66c82016-08-30 11:33:13 -0700534 const union key_payload *payload,
535 struct key *restriction_key)
David Howells5ac7eac2016-04-06 16:14:24 +0100536{
537 return -EPERM;
538}
539
David Howellsb2a4df22013-09-24 10:35:18 +0100540/*
David Howellsc06cfb02014-09-16 17:36:06 +0100541 * By default, we keys found by getting an exact match on their descriptions.
542 */
David Howells0c903ab2014-09-16 17:36:08 +0100543bool key_default_cmp(const struct key *key,
544 const struct key_match_data *match_data)
David Howellsc06cfb02014-09-16 17:36:06 +0100545{
546 return strcmp(key->description, match_data->raw_data) == 0;
547}
548
549/*
David Howellsb2a4df22013-09-24 10:35:18 +0100550 * Iteration function to consider each key found.
551 */
552static int keyring_search_iterator(const void *object, void *iterator_data)
553{
554 struct keyring_search_context *ctx = iterator_data;
555 const struct key *key = keyring_ptr_to_key(object);
David Howells363b02d2017-10-04 16:43:25 +0100556 unsigned long kflags = READ_ONCE(key->flags);
557 short state = READ_ONCE(key->state);
David Howellsb2a4df22013-09-24 10:35:18 +0100558
559 kenter("{%d}", key->serial);
560
561 /* ignore keys not of this type */
562 if (key->type != ctx->index_key.type) {
563 kleave(" = 0 [!type]");
564 return 0;
565 }
566
567 /* skip invalidated, revoked and expired keys */
568 if (ctx->flags & KEYRING_SEARCH_DO_STATE_CHECK) {
Baolin Wang074d5892017-11-15 16:38:45 +0000569 time64_t expiry = READ_ONCE(key->expiry);
Eric Biggers9d6c8712017-09-27 12:50:45 -0700570
David Howellsb2a4df22013-09-24 10:35:18 +0100571 if (kflags & ((1 << KEY_FLAG_INVALIDATED) |
572 (1 << KEY_FLAG_REVOKED))) {
573 ctx->result = ERR_PTR(-EKEYREVOKED);
574 kleave(" = %d [invrev]", ctx->skipped_ret);
575 goto skipped;
576 }
577
Baolin Wang074d5892017-11-15 16:38:45 +0000578 if (expiry && ctx->now >= expiry) {
David Howells0b0a8412014-12-01 22:52:53 +0000579 if (!(ctx->flags & KEYRING_SEARCH_SKIP_EXPIRED))
580 ctx->result = ERR_PTR(-EKEYEXPIRED);
David Howellsb2a4df22013-09-24 10:35:18 +0100581 kleave(" = %d [expire]", ctx->skipped_ret);
582 goto skipped;
583 }
584 }
585
586 /* keys that don't match */
David Howells46291952014-09-16 17:36:02 +0100587 if (!ctx->match_data.cmp(key, &ctx->match_data)) {
David Howellsb2a4df22013-09-24 10:35:18 +0100588 kleave(" = 0 [!match]");
589 return 0;
590 }
591
592 /* key must have search permissions */
593 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM) &&
594 key_task_permission(make_key_ref(key, ctx->possessed),
David Howellsf5895942014-03-14 17:44:49 +0000595 ctx->cred, KEY_NEED_SEARCH) < 0) {
David Howellsb2a4df22013-09-24 10:35:18 +0100596 ctx->result = ERR_PTR(-EACCES);
597 kleave(" = %d [!perm]", ctx->skipped_ret);
598 goto skipped;
599 }
600
601 if (ctx->flags & KEYRING_SEARCH_DO_STATE_CHECK) {
602 /* we set a different error code if we pass a negative key */
David Howells363b02d2017-10-04 16:43:25 +0100603 if (state < 0) {
604 ctx->result = ERR_PTR(state);
David Howellsb2a4df22013-09-24 10:35:18 +0100605 kleave(" = %d [neg]", ctx->skipped_ret);
606 goto skipped;
607 }
608 }
609
610 /* Found */
611 ctx->result = make_key_ref(key, ctx->possessed);
612 kleave(" = 1 [found]");
613 return 1;
614
615skipped:
616 return ctx->skipped_ret;
617}
618
619/*
620 * Search inside a keyring for a key. We can search by walking to it
621 * directly based on its index-key or we can iterate over the entire
622 * tree looking for it, based on the match function.
623 */
624static int search_keyring(struct key *keyring, struct keyring_search_context *ctx)
625{
David Howells46291952014-09-16 17:36:02 +0100626 if (ctx->match_data.lookup_type == KEYRING_SEARCH_LOOKUP_DIRECT) {
David Howellsb2a4df22013-09-24 10:35:18 +0100627 const void *object;
628
629 object = assoc_array_find(&keyring->keys,
630 &keyring_assoc_array_ops,
631 &ctx->index_key);
632 return object ? ctx->iterator(object, ctx) : 0;
633 }
634 return assoc_array_iterate(&keyring->keys, ctx->iterator, ctx);
635}
636
637/*
638 * Search a tree of keyrings that point to other keyrings up to the maximum
639 * depth.
640 */
641static bool search_nested_keyrings(struct key *keyring,
642 struct keyring_search_context *ctx)
643{
644 struct {
645 struct key *keyring;
646 struct assoc_array_node *node;
647 int slot;
648 } stack[KEYRING_SEARCH_MAX_DEPTH];
649
650 struct assoc_array_shortcut *shortcut;
651 struct assoc_array_node *node;
652 struct assoc_array_ptr *ptr;
653 struct key *key;
654 int sp = 0, slot;
655
656 kenter("{%d},{%s,%s}",
657 keyring->serial,
658 ctx->index_key.type->name,
659 ctx->index_key.description);
660
David Howells054f6182014-12-01 22:52:50 +0000661#define STATE_CHECKS (KEYRING_SEARCH_NO_STATE_CHECK | KEYRING_SEARCH_DO_STATE_CHECK)
662 BUG_ON((ctx->flags & STATE_CHECKS) == 0 ||
663 (ctx->flags & STATE_CHECKS) == STATE_CHECKS);
664
David Howellsb2a4df22013-09-24 10:35:18 +0100665 /* Check to see if this top-level keyring is what we are looking for
666 * and whether it is valid or not.
667 */
David Howells46291952014-09-16 17:36:02 +0100668 if (ctx->match_data.lookup_type == KEYRING_SEARCH_LOOKUP_ITERATE ||
David Howellsb2a4df22013-09-24 10:35:18 +0100669 keyring_compare_object(keyring, &ctx->index_key)) {
670 ctx->skipped_ret = 2;
David Howellsb2a4df22013-09-24 10:35:18 +0100671 switch (ctx->iterator(keyring_key_to_ptr(keyring), ctx)) {
672 case 1:
673 goto found;
674 case 2:
675 return false;
676 default:
677 break;
678 }
679 }
680
681 ctx->skipped_ret = 0;
David Howellsb2a4df22013-09-24 10:35:18 +0100682
683 /* Start processing a new keyring */
684descend_to_keyring:
685 kdebug("descend to %d", keyring->serial);
686 if (keyring->flags & ((1 << KEY_FLAG_INVALIDATED) |
687 (1 << KEY_FLAG_REVOKED)))
688 goto not_this_keyring;
689
690 /* Search through the keys in this keyring before its searching its
691 * subtrees.
692 */
693 if (search_keyring(keyring, ctx))
694 goto found;
695
696 /* Then manually iterate through the keyrings nested in this one.
697 *
698 * Start from the root node of the index tree. Because of the way the
699 * hash function has been set up, keyrings cluster on the leftmost
700 * branch of the root node (root slot 0) or in the root node itself.
701 * Non-keyrings avoid the leftmost branch of the root entirely (root
702 * slots 1-15).
703 */
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100704 ptr = READ_ONCE(keyring->keys.root);
David Howellsb2a4df22013-09-24 10:35:18 +0100705 if (!ptr)
706 goto not_this_keyring;
707
708 if (assoc_array_ptr_is_shortcut(ptr)) {
709 /* If the root is a shortcut, either the keyring only contains
710 * keyring pointers (everything clusters behind root slot 0) or
711 * doesn't contain any keyring pointers.
712 */
713 shortcut = assoc_array_ptr_to_shortcut(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100714 if ((shortcut->index_key[0] & ASSOC_ARRAY_FAN_MASK) != 0)
715 goto not_this_keyring;
716
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100717 ptr = READ_ONCE(shortcut->next_node);
David Howellsb2a4df22013-09-24 10:35:18 +0100718 node = assoc_array_ptr_to_node(ptr);
719 goto begin_node;
720 }
721
722 node = assoc_array_ptr_to_node(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100723 ptr = node->slots[0];
724 if (!assoc_array_ptr_is_meta(ptr))
725 goto begin_node;
726
727descend_to_node:
728 /* Descend to a more distal node in this keyring's content tree and go
729 * through that.
730 */
731 kdebug("descend");
732 if (assoc_array_ptr_is_shortcut(ptr)) {
733 shortcut = assoc_array_ptr_to_shortcut(ptr);
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100734 ptr = READ_ONCE(shortcut->next_node);
David Howellsb2a4df22013-09-24 10:35:18 +0100735 BUG_ON(!assoc_array_ptr_is_node(ptr));
David Howellsb2a4df22013-09-24 10:35:18 +0100736 }
David Howells9c5e45d2013-12-02 11:24:19 +0000737 node = assoc_array_ptr_to_node(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100738
739begin_node:
740 kdebug("begin_node");
David Howellsb2a4df22013-09-24 10:35:18 +0100741 slot = 0;
742ascend_to_node:
743 /* Go through the slots in a node */
744 for (; slot < ASSOC_ARRAY_FAN_OUT; slot++) {
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100745 ptr = READ_ONCE(node->slots[slot]);
David Howellsb2a4df22013-09-24 10:35:18 +0100746
747 if (assoc_array_ptr_is_meta(ptr) && node->back_pointer)
748 goto descend_to_node;
749
750 if (!keyring_ptr_is_keyring(ptr))
751 continue;
752
753 key = keyring_ptr_to_key(ptr);
754
755 if (sp >= KEYRING_SEARCH_MAX_DEPTH) {
756 if (ctx->flags & KEYRING_SEARCH_DETECT_TOO_DEEP) {
757 ctx->result = ERR_PTR(-ELOOP);
758 return false;
759 }
760 goto not_this_keyring;
761 }
762
763 /* Search a nested keyring */
764 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM) &&
765 key_task_permission(make_key_ref(key, ctx->possessed),
David Howellsf5895942014-03-14 17:44:49 +0000766 ctx->cred, KEY_NEED_SEARCH) < 0)
David Howellsb2a4df22013-09-24 10:35:18 +0100767 continue;
768
769 /* stack the current position */
770 stack[sp].keyring = keyring;
771 stack[sp].node = node;
772 stack[sp].slot = slot;
773 sp++;
774
775 /* begin again with the new keyring */
776 keyring = key;
777 goto descend_to_keyring;
778 }
779
780 /* We've dealt with all the slots in the current node, so now we need
781 * to ascend to the parent and continue processing there.
782 */
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100783 ptr = READ_ONCE(node->back_pointer);
David Howellsb2a4df22013-09-24 10:35:18 +0100784 slot = node->parent_slot;
785
786 if (ptr && assoc_array_ptr_is_shortcut(ptr)) {
787 shortcut = assoc_array_ptr_to_shortcut(ptr);
Davidlohr Bueso381f20f2017-06-08 14:47:34 +0100788 ptr = READ_ONCE(shortcut->back_pointer);
David Howellsb2a4df22013-09-24 10:35:18 +0100789 slot = shortcut->parent_slot;
790 }
791 if (!ptr)
792 goto not_this_keyring;
793 node = assoc_array_ptr_to_node(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100794 slot++;
795
796 /* If we've ascended to the root (zero backpointer), we must have just
797 * finished processing the leftmost branch rather than the root slots -
798 * so there can't be any more keyrings for us to find.
799 */
800 if (node->back_pointer) {
801 kdebug("ascend %d", slot);
802 goto ascend_to_node;
803 }
804
805 /* The keyring we're looking at was disqualified or didn't contain a
806 * matching key.
807 */
808not_this_keyring:
809 kdebug("not_this_keyring %d", sp);
810 if (sp <= 0) {
811 kleave(" = false");
812 return false;
813 }
814
815 /* Resume the processing of a keyring higher up in the tree */
816 sp--;
817 keyring = stack[sp].keyring;
818 node = stack[sp].node;
819 slot = stack[sp].slot + 1;
820 kdebug("ascend to %d [%d]", keyring->serial, slot);
821 goto ascend_to_node;
822
823 /* We found a viable match */
824found:
825 key = key_ref_to_ptr(ctx->result);
826 key_check(key);
827 if (!(ctx->flags & KEYRING_SEARCH_NO_UPDATE_TIME)) {
Baolin Wang074d5892017-11-15 16:38:45 +0000828 key->last_used_at = ctx->now;
829 keyring->last_used_at = ctx->now;
David Howellsb2a4df22013-09-24 10:35:18 +0100830 while (sp > 0)
Baolin Wang074d5892017-11-15 16:38:45 +0000831 stack[--sp].keyring->last_used_at = ctx->now;
David Howellsb2a4df22013-09-24 10:35:18 +0100832 }
833 kleave(" = true");
834 return true;
835}
836
David Howells973c9f42011-01-20 16:38:33 +0000837/**
838 * keyring_search_aux - Search a keyring tree for a key matching some criteria
839 * @keyring_ref: A pointer to the keyring with possession indicator.
David Howells4bdf0bc2013-09-24 10:35:15 +0100840 * @ctx: The keyring search context.
David Howells973c9f42011-01-20 16:38:33 +0000841 *
842 * Search the supplied keyring tree for a key that matches the criteria given.
843 * The root keyring and any linked keyrings must grant Search permission to the
844 * caller to be searchable and keys can only be found if they too grant Search
845 * to the caller. The possession flag on the root keyring pointer controls use
846 * of the possessor bits in permissions checking of the entire tree. In
847 * addition, the LSM gets to forbid keyring searches and key matches.
848 *
849 * The search is performed as a breadth-then-depth search up to the prescribed
850 * limit (KEYRING_SEARCH_MAX_DEPTH).
851 *
852 * Keys are matched to the type provided and are then filtered by the match
853 * function, which is given the description to use in any way it sees fit. The
854 * match function may use any attributes of a key that it wishes to to
855 * determine the match. Normally the match function from the key type would be
856 * used.
857 *
David Howellsb2a4df22013-09-24 10:35:18 +0100858 * RCU can be used to prevent the keyring key lists from disappearing without
859 * the need to take lots of locks.
David Howells973c9f42011-01-20 16:38:33 +0000860 *
861 * Returns a pointer to the found key and increments the key usage count if
862 * successful; -EAGAIN if no matching keys were found, or if expired or revoked
863 * keys were found; -ENOKEY if only negative keys were found; -ENOTDIR if the
864 * specified keyring wasn't a keyring.
865 *
866 * In the case of a successful return, the possession attribute from
867 * @keyring_ref is propagated to the returned key reference.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700868 */
David Howells664cceb2005-09-28 17:03:15 +0100869key_ref_t keyring_search_aux(key_ref_t keyring_ref,
David Howells4bdf0bc2013-09-24 10:35:15 +0100870 struct keyring_search_context *ctx)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700871{
David Howellsb2a4df22013-09-24 10:35:18 +0100872 struct key *keyring;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700873 long err;
David Howellsb2a4df22013-09-24 10:35:18 +0100874
875 ctx->iterator = keyring_search_iterator;
876 ctx->possessed = is_key_possessed(keyring_ref);
877 ctx->result = ERR_PTR(-EAGAIN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700878
David Howells664cceb2005-09-28 17:03:15 +0100879 keyring = key_ref_to_ptr(keyring_ref);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700880 key_check(keyring);
881
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882 if (keyring->type != &key_type_keyring)
David Howellsb2a4df22013-09-24 10:35:18 +0100883 return ERR_PTR(-ENOTDIR);
884
885 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM)) {
David Howellsf5895942014-03-14 17:44:49 +0000886 err = key_task_permission(keyring_ref, ctx->cred, KEY_NEED_SEARCH);
David Howellsb2a4df22013-09-24 10:35:18 +0100887 if (err < 0)
888 return ERR_PTR(err);
889 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700890
David Howells664cceb2005-09-28 17:03:15 +0100891 rcu_read_lock();
Baolin Wang074d5892017-11-15 16:38:45 +0000892 ctx->now = ktime_get_real_seconds();
David Howellsb2a4df22013-09-24 10:35:18 +0100893 if (search_nested_keyrings(keyring, ctx))
894 __key_get(key_ref_to_ptr(ctx->result));
David Howells76d8aea2005-06-23 22:00:49 -0700895 rcu_read_unlock();
David Howellsb2a4df22013-09-24 10:35:18 +0100896 return ctx->result;
David Howellsa8b17ed2011-01-20 16:38:27 +0000897}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700898
David Howells973c9f42011-01-20 16:38:33 +0000899/**
900 * keyring_search - Search the supplied keyring tree for a matching key
901 * @keyring: The root of the keyring tree to be searched.
902 * @type: The type of keyring we want to find.
903 * @description: The name of the keyring we want to find.
904 *
905 * As keyring_search_aux() above, but using the current task's credentials and
David Howellsb2a4df22013-09-24 10:35:18 +0100906 * type's default matching function and preferred search method.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700907 */
David Howells664cceb2005-09-28 17:03:15 +0100908key_ref_t keyring_search(key_ref_t keyring,
909 struct key_type *type,
910 const char *description)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700911{
David Howells4bdf0bc2013-09-24 10:35:15 +0100912 struct keyring_search_context ctx = {
913 .index_key.type = type,
914 .index_key.description = description,
Eric Biggersede0fa982019-02-22 15:36:18 +0000915 .index_key.desc_len = strlen(description),
David Howells4bdf0bc2013-09-24 10:35:15 +0100916 .cred = current_cred(),
David Howellsc06cfb02014-09-16 17:36:06 +0100917 .match_data.cmp = key_default_cmp,
David Howells46291952014-09-16 17:36:02 +0100918 .match_data.raw_data = description,
919 .match_data.lookup_type = KEYRING_SEARCH_LOOKUP_DIRECT,
920 .flags = KEYRING_SEARCH_DO_STATE_CHECK,
David Howells4bdf0bc2013-09-24 10:35:15 +0100921 };
David Howells46291952014-09-16 17:36:02 +0100922 key_ref_t key;
923 int ret;
David Howells4bdf0bc2013-09-24 10:35:15 +0100924
David Howells46291952014-09-16 17:36:02 +0100925 if (type->match_preparse) {
926 ret = type->match_preparse(&ctx.match_data);
927 if (ret < 0)
928 return ERR_PTR(ret);
929 }
930
931 key = keyring_search_aux(keyring, &ctx);
932
933 if (type->match_free)
934 type->match_free(&ctx.match_data);
935 return key;
David Howellsa8b17ed2011-01-20 16:38:27 +0000936}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700937EXPORT_SYMBOL(keyring_search);
938
Mat Martineau6563c912017-03-01 16:44:09 -0800939static struct key_restriction *keyring_restriction_alloc(
940 key_restrict_link_func_t check)
941{
942 struct key_restriction *keyres =
943 kzalloc(sizeof(struct key_restriction), GFP_KERNEL);
944
945 if (!keyres)
946 return ERR_PTR(-ENOMEM);
947
948 keyres->check = check;
949
950 return keyres;
951}
952
953/*
954 * Semaphore to serialise restriction setup to prevent reference count
955 * cycles through restriction key pointers.
956 */
957static DECLARE_RWSEM(keyring_serialise_restrict_sem);
958
959/*
960 * Check for restriction cycles that would prevent keyring garbage collection.
961 * keyring_serialise_restrict_sem must be held.
962 */
963static bool keyring_detect_restriction_cycle(const struct key *dest_keyring,
964 struct key_restriction *keyres)
965{
966 while (keyres && keyres->key &&
967 keyres->key->type == &key_type_keyring) {
968 if (keyres->key == dest_keyring)
969 return true;
970
971 keyres = keyres->key->restrict_link;
972 }
973
974 return false;
975}
976
977/**
978 * keyring_restrict - Look up and apply a restriction to a keyring
David Howells9fd16532019-05-22 13:30:56 +0100979 * @keyring_ref: The keyring to be restricted
980 * @type: The key type that will provide the restriction checker.
Mat Martineau6563c912017-03-01 16:44:09 -0800981 * @restriction: The restriction options to apply to the keyring
David Howells9fd16532019-05-22 13:30:56 +0100982 *
983 * Look up a keyring and apply a restriction to it. The restriction is managed
984 * by the specific key type, but can be configured by the options specified in
985 * the restriction string.
Mat Martineau6563c912017-03-01 16:44:09 -0800986 */
987int keyring_restrict(key_ref_t keyring_ref, const char *type,
988 const char *restriction)
989{
990 struct key *keyring;
991 struct key_type *restrict_type = NULL;
992 struct key_restriction *restrict_link;
993 int ret = 0;
994
995 keyring = key_ref_to_ptr(keyring_ref);
996 key_check(keyring);
997
998 if (keyring->type != &key_type_keyring)
999 return -ENOTDIR;
1000
1001 if (!type) {
1002 restrict_link = keyring_restriction_alloc(restrict_link_reject);
1003 } else {
1004 restrict_type = key_type_lookup(type);
1005
1006 if (IS_ERR(restrict_type))
1007 return PTR_ERR(restrict_type);
1008
1009 if (!restrict_type->lookup_restriction) {
1010 ret = -ENOENT;
1011 goto error;
1012 }
1013
1014 restrict_link = restrict_type->lookup_restriction(restriction);
1015 }
1016
1017 if (IS_ERR(restrict_link)) {
1018 ret = PTR_ERR(restrict_link);
1019 goto error;
1020 }
1021
1022 down_write(&keyring->sem);
1023 down_write(&keyring_serialise_restrict_sem);
1024
1025 if (keyring->restrict_link)
1026 ret = -EEXIST;
1027 else if (keyring_detect_restriction_cycle(keyring, restrict_link))
1028 ret = -EDEADLK;
1029 else
1030 keyring->restrict_link = restrict_link;
1031
1032 up_write(&keyring_serialise_restrict_sem);
1033 up_write(&keyring->sem);
1034
1035 if (ret < 0) {
1036 key_put(restrict_link->key);
1037 kfree(restrict_link);
1038 }
1039
1040error:
1041 if (restrict_type)
1042 key_type_put(restrict_type);
1043
1044 return ret;
1045}
1046EXPORT_SYMBOL(keyring_restrict);
1047
Linus Torvalds1da177e2005-04-16 15:20:36 -07001048/*
David Howellsb2a4df22013-09-24 10:35:18 +01001049 * Search the given keyring for a key that might be updated.
David Howells973c9f42011-01-20 16:38:33 +00001050 *
1051 * The caller must guarantee that the keyring is a keyring and that the
David Howellsb2a4df22013-09-24 10:35:18 +01001052 * permission is granted to modify the keyring as no check is made here. The
1053 * caller must also hold a lock on the keyring semaphore.
David Howells973c9f42011-01-20 16:38:33 +00001054 *
1055 * Returns a pointer to the found key with usage count incremented if
David Howellsb2a4df22013-09-24 10:35:18 +01001056 * successful and returns NULL if not found. Revoked and invalidated keys are
1057 * skipped over.
David Howells973c9f42011-01-20 16:38:33 +00001058 *
1059 * If successful, the possession indicator is propagated from the keyring ref
1060 * to the returned key reference.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001061 */
David Howellsb2a4df22013-09-24 10:35:18 +01001062key_ref_t find_key_to_update(key_ref_t keyring_ref,
1063 const struct keyring_index_key *index_key)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001064{
David Howells664cceb2005-09-28 17:03:15 +01001065 struct key *keyring, *key;
David Howellsb2a4df22013-09-24 10:35:18 +01001066 const void *object;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001067
David Howells664cceb2005-09-28 17:03:15 +01001068 keyring = key_ref_to_ptr(keyring_ref);
David Howells664cceb2005-09-28 17:03:15 +01001069
David Howellsb2a4df22013-09-24 10:35:18 +01001070 kenter("{%d},{%s,%s}",
1071 keyring->serial, index_key->type->name, index_key->description);
David Howells76d8aea2005-06-23 22:00:49 -07001072
David Howellsb2a4df22013-09-24 10:35:18 +01001073 object = assoc_array_find(&keyring->keys, &keyring_assoc_array_ops,
1074 index_key);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001075
David Howellsb2a4df22013-09-24 10:35:18 +01001076 if (object)
1077 goto found;
1078
1079 kleave(" = NULL");
1080 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001081
Justin P. Mattockc5b60b52010-04-21 00:02:11 -07001082found:
David Howellsb2a4df22013-09-24 10:35:18 +01001083 key = keyring_ptr_to_key(object);
1084 if (key->flags & ((1 << KEY_FLAG_INVALIDATED) |
1085 (1 << KEY_FLAG_REVOKED))) {
1086 kleave(" = NULL [x]");
1087 return NULL;
1088 }
David Howellsccc3e6d2013-09-24 10:35:16 +01001089 __key_get(key);
David Howellsb2a4df22013-09-24 10:35:18 +01001090 kleave(" = {%d}", key->serial);
1091 return make_key_ref(key, is_key_possessed(keyring_ref));
David Howellsa8b17ed2011-01-20 16:38:27 +00001092}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001093
Linus Torvalds1da177e2005-04-16 15:20:36 -07001094/*
David Howells973c9f42011-01-20 16:38:33 +00001095 * Find a keyring with the specified name.
1096 *
Eric Biggers237bbd22017-09-18 11:37:03 -07001097 * Only keyrings that have nonzero refcount, are not revoked, and are owned by a
1098 * user in the current user namespace are considered. If @uid_keyring is %true,
1099 * the keyring additionally must have been allocated as a user or user session
1100 * keyring; otherwise, it must grant Search permission directly to the caller.
David Howells973c9f42011-01-20 16:38:33 +00001101 *
1102 * Returns a pointer to the keyring with the keyring's refcount having being
1103 * incremented on success. -ENOKEY is returned if a key could not be found.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001104 */
Eric Biggers237bbd22017-09-18 11:37:03 -07001105struct key *find_keyring_by_name(const char *name, bool uid_keyring)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001106{
1107 struct key *keyring;
1108 int bucket;
1109
Linus Torvalds1da177e2005-04-16 15:20:36 -07001110 if (!name)
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001111 return ERR_PTR(-EINVAL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001112
1113 bucket = keyring_hash(name);
1114
1115 read_lock(&keyring_name_lock);
1116
1117 if (keyring_name_hash[bucket].next) {
1118 /* search this hash bucket for a keyring with a matching name
1119 * that's readable and that hasn't been revoked */
1120 list_for_each_entry(keyring,
1121 &keyring_name_hash[bucket],
David Howells146aa8b2015-10-21 14:04:48 +01001122 name_link
Linus Torvalds1da177e2005-04-16 15:20:36 -07001123 ) {
Eric W. Biederman9a56c2d2012-02-08 07:53:04 -08001124 if (!kuid_has_mapping(current_user_ns(), keyring->user->uid))
Serge E. Hallyn2ea190d2009-02-26 18:27:55 -06001125 continue;
1126
David Howells76d8aea2005-06-23 22:00:49 -07001127 if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001128 continue;
1129
1130 if (strcmp(keyring->description, name) != 0)
1131 continue;
1132
Eric Biggers237bbd22017-09-18 11:37:03 -07001133 if (uid_keyring) {
1134 if (!test_bit(KEY_FLAG_UID_KEYRING,
1135 &keyring->flags))
1136 continue;
1137 } else {
1138 if (key_permission(make_key_ref(keyring, 0),
1139 KEY_NEED_SEARCH) < 0)
1140 continue;
1141 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001142
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001143 /* we've got a match but we might end up racing with
1144 * key_cleanup() if the keyring is currently 'dead'
1145 * (ie. it has a zero usage count) */
Elena Reshetovafff29292017-03-31 15:20:48 +03001146 if (!refcount_inc_not_zero(&keyring->usage))
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001147 continue;
Baolin Wang074d5892017-11-15 16:38:45 +00001148 keyring->last_used_at = ktime_get_real_seconds();
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001149 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001150 }
1151 }
1152
Linus Torvalds1da177e2005-04-16 15:20:36 -07001153 keyring = ERR_PTR(-ENOKEY);
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001154out:
1155 read_unlock(&keyring_name_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001156 return keyring;
David Howellsa8b17ed2011-01-20 16:38:27 +00001157}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001158
David Howellsb2a4df22013-09-24 10:35:18 +01001159static int keyring_detect_cycle_iterator(const void *object,
1160 void *iterator_data)
1161{
1162 struct keyring_search_context *ctx = iterator_data;
1163 const struct key *key = keyring_ptr_to_key(object);
1164
1165 kenter("{%d}", key->serial);
1166
David Howells979e0d72014-03-09 08:21:58 +00001167 /* We might get a keyring with matching index-key that is nonetheless a
1168 * different keyring. */
David Howells46291952014-09-16 17:36:02 +01001169 if (key != ctx->match_data.raw_data)
David Howells979e0d72014-03-09 08:21:58 +00001170 return 0;
1171
David Howellsb2a4df22013-09-24 10:35:18 +01001172 ctx->result = ERR_PTR(-EDEADLK);
1173 return 1;
1174}
1175
Linus Torvalds1da177e2005-04-16 15:20:36 -07001176/*
David Howells973c9f42011-01-20 16:38:33 +00001177 * See if a cycle will will be created by inserting acyclic tree B in acyclic
1178 * tree A at the topmost level (ie: as a direct child of A).
1179 *
1180 * Since we are adding B to A at the top level, checking for cycles should just
1181 * be a matter of seeing if node A is somewhere in tree B.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001182 */
1183static int keyring_detect_cycle(struct key *A, struct key *B)
1184{
David Howellsb2a4df22013-09-24 10:35:18 +01001185 struct keyring_search_context ctx = {
David Howells46291952014-09-16 17:36:02 +01001186 .index_key = A->index_key,
1187 .match_data.raw_data = A,
1188 .match_data.lookup_type = KEYRING_SEARCH_LOOKUP_DIRECT,
1189 .iterator = keyring_detect_cycle_iterator,
1190 .flags = (KEYRING_SEARCH_NO_STATE_CHECK |
1191 KEYRING_SEARCH_NO_UPDATE_TIME |
1192 KEYRING_SEARCH_NO_CHECK_PERM |
1193 KEYRING_SEARCH_DETECT_TOO_DEEP),
David Howellsb2a4df22013-09-24 10:35:18 +01001194 };
Linus Torvalds1da177e2005-04-16 15:20:36 -07001195
David Howells76d8aea2005-06-23 22:00:49 -07001196 rcu_read_lock();
David Howellsb2a4df22013-09-24 10:35:18 +01001197 search_nested_keyrings(B, &ctx);
David Howells76d8aea2005-06-23 22:00:49 -07001198 rcu_read_unlock();
David Howellsb2a4df22013-09-24 10:35:18 +01001199 return PTR_ERR(ctx.result) == -EAGAIN ? 0 : PTR_ERR(ctx.result);
David Howellsf70e2e02010-04-30 14:32:39 +01001200}
David Howellscab8eb52006-01-08 01:02:45 -08001201
David Howellscab8eb52006-01-08 01:02:45 -08001202/*
David Howells973c9f42011-01-20 16:38:33 +00001203 * Preallocate memory so that a key can be linked into to a keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001204 */
David Howellsb2a4df22013-09-24 10:35:18 +01001205int __key_link_begin(struct key *keyring,
1206 const struct keyring_index_key *index_key,
1207 struct assoc_array_edit **_edit)
David Howellsf70e2e02010-04-30 14:32:39 +01001208 __acquires(&keyring->sem)
David Howells3be59f72019-05-30 11:40:24 +01001209 __acquires(&keyring_serialise_link_lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001210{
David Howellsb2a4df22013-09-24 10:35:18 +01001211 struct assoc_array_edit *edit;
1212 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001213
David Howells16feef42013-09-24 10:35:15 +01001214 kenter("%d,%s,%s,",
David Howellsb2a4df22013-09-24 10:35:18 +01001215 keyring->serial, index_key->type->name, index_key->description);
1216
1217 BUG_ON(index_key->desc_len == 0);
David Howellsf70e2e02010-04-30 14:32:39 +01001218
1219 if (keyring->type != &key_type_keyring)
1220 return -ENOTDIR;
1221
1222 down_write(&keyring->sem);
1223
Linus Torvalds1da177e2005-04-16 15:20:36 -07001224 ret = -EKEYREVOKED;
David Howells76d8aea2005-06-23 22:00:49 -07001225 if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
David Howellsf70e2e02010-04-30 14:32:39 +01001226 goto error_krsem;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001227
David Howellsf70e2e02010-04-30 14:32:39 +01001228 /* serialise link/link calls to prevent parallel calls causing a cycle
1229 * when linking two keyring in opposite orders */
David Howells16feef42013-09-24 10:35:15 +01001230 if (index_key->type == &key_type_keyring)
David Howells3be59f72019-05-30 11:40:24 +01001231 mutex_lock(&keyring_serialise_link_lock);
David Howells553d6032010-04-30 14:32:28 +01001232
David Howellsb2a4df22013-09-24 10:35:18 +01001233 /* Create an edit script that will insert/replace the key in the
1234 * keyring tree.
1235 */
1236 edit = assoc_array_insert(&keyring->keys,
1237 &keyring_assoc_array_ops,
1238 index_key,
1239 NULL);
1240 if (IS_ERR(edit)) {
1241 ret = PTR_ERR(edit);
David Howells034faeb2013-10-30 11:15:24 +00001242 goto error_sem;
1243 }
1244
1245 /* If we're not replacing a link in-place then we're going to need some
1246 * extra quota.
1247 */
1248 if (!edit->dead_leaf) {
1249 ret = key_payload_reserve(keyring,
1250 keyring->datalen + KEYQUOTA_LINK_BYTES);
1251 if (ret < 0)
1252 goto error_cancel;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001253 }
1254
David Howellsb2a4df22013-09-24 10:35:18 +01001255 *_edit = edit;
David Howellsf70e2e02010-04-30 14:32:39 +01001256 kleave(" = 0");
1257 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001258
David Howells034faeb2013-10-30 11:15:24 +00001259error_cancel:
1260 assoc_array_cancel_edit(edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001261error_sem:
David Howells16feef42013-09-24 10:35:15 +01001262 if (index_key->type == &key_type_keyring)
David Howells3be59f72019-05-30 11:40:24 +01001263 mutex_unlock(&keyring_serialise_link_lock);
David Howellsf70e2e02010-04-30 14:32:39 +01001264error_krsem:
1265 up_write(&keyring->sem);
1266 kleave(" = %d", ret);
1267 return ret;
1268}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001269
David Howellsf70e2e02010-04-30 14:32:39 +01001270/*
David Howells973c9f42011-01-20 16:38:33 +00001271 * Check already instantiated keys aren't going to be a problem.
1272 *
1273 * The caller must have called __key_link_begin(). Don't need to call this for
1274 * keys that were created since __key_link_begin() was called.
David Howellsf70e2e02010-04-30 14:32:39 +01001275 */
1276int __key_link_check_live_key(struct key *keyring, struct key *key)
1277{
1278 if (key->type == &key_type_keyring)
1279 /* check that we aren't going to create a cycle by linking one
1280 * keyring to another */
1281 return keyring_detect_cycle(keyring, key);
1282 return 0;
1283}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001284
David Howellsf70e2e02010-04-30 14:32:39 +01001285/*
David Howells973c9f42011-01-20 16:38:33 +00001286 * Link a key into to a keyring.
1287 *
1288 * Must be called with __key_link_begin() having being called. Discards any
1289 * already extant link to matching key if there is one, so that each keyring
1290 * holds at most one link to any given key of a particular type+description
1291 * combination.
David Howellsf70e2e02010-04-30 14:32:39 +01001292 */
David Howellsb2a4df22013-09-24 10:35:18 +01001293void __key_link(struct key *key, struct assoc_array_edit **_edit)
David Howellsf70e2e02010-04-30 14:32:39 +01001294{
David Howellsccc3e6d2013-09-24 10:35:16 +01001295 __key_get(key);
David Howellsb2a4df22013-09-24 10:35:18 +01001296 assoc_array_insert_set_object(*_edit, keyring_key_to_ptr(key));
1297 assoc_array_apply_edit(*_edit);
1298 *_edit = NULL;
David Howellsf70e2e02010-04-30 14:32:39 +01001299}
1300
1301/*
David Howells973c9f42011-01-20 16:38:33 +00001302 * Finish linking a key into to a keyring.
1303 *
1304 * Must be called with __key_link_begin() having being called.
David Howellsf70e2e02010-04-30 14:32:39 +01001305 */
David Howells16feef42013-09-24 10:35:15 +01001306void __key_link_end(struct key *keyring,
1307 const struct keyring_index_key *index_key,
David Howellsb2a4df22013-09-24 10:35:18 +01001308 struct assoc_array_edit *edit)
David Howellsf70e2e02010-04-30 14:32:39 +01001309 __releases(&keyring->sem)
David Howells3be59f72019-05-30 11:40:24 +01001310 __releases(&keyring_serialise_link_lock)
David Howellsf70e2e02010-04-30 14:32:39 +01001311{
David Howells16feef42013-09-24 10:35:15 +01001312 BUG_ON(index_key->type == NULL);
David Howellsb2a4df22013-09-24 10:35:18 +01001313 kenter("%d,%s,", keyring->serial, index_key->type->name);
David Howellsf70e2e02010-04-30 14:32:39 +01001314
David Howells16feef42013-09-24 10:35:15 +01001315 if (index_key->type == &key_type_keyring)
David Howells3be59f72019-05-30 11:40:24 +01001316 mutex_unlock(&keyring_serialise_link_lock);
David Howellsf70e2e02010-04-30 14:32:39 +01001317
Colin Ian Kingca4da5d2015-07-27 15:23:43 +01001318 if (edit) {
1319 if (!edit->dead_leaf) {
1320 key_payload_reserve(keyring,
1321 keyring->datalen - KEYQUOTA_LINK_BYTES);
1322 }
David Howellsb2a4df22013-09-24 10:35:18 +01001323 assoc_array_cancel_edit(edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001324 }
1325 up_write(&keyring->sem);
1326}
1327
David Howells5ac7eac2016-04-06 16:14:24 +01001328/*
1329 * Check addition of keys to restricted keyrings.
1330 */
1331static int __key_link_check_restriction(struct key *keyring, struct key *key)
1332{
Mat Martineau2b6aa412016-08-31 16:05:43 -07001333 if (!keyring->restrict_link || !keyring->restrict_link->check)
David Howells5ac7eac2016-04-06 16:14:24 +01001334 return 0;
Mat Martineau2b6aa412016-08-31 16:05:43 -07001335 return keyring->restrict_link->check(keyring, key->type, &key->payload,
1336 keyring->restrict_link->key);
David Howells5ac7eac2016-04-06 16:14:24 +01001337}
1338
David Howells973c9f42011-01-20 16:38:33 +00001339/**
1340 * key_link - Link a key to a keyring
1341 * @keyring: The keyring to make the link in.
1342 * @key: The key to link to.
1343 *
1344 * Make a link in a keyring to a key, such that the keyring holds a reference
1345 * on that key and the key can potentially be found by searching that keyring.
1346 *
1347 * This function will write-lock the keyring's semaphore and will consume some
1348 * of the user's key data quota to hold the link.
1349 *
1350 * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring,
1351 * -EKEYREVOKED if the keyring has been revoked, -ENFILE if the keyring is
1352 * full, -EDQUOT if there is insufficient key data quota remaining to add
1353 * another link or -ENOMEM if there's insufficient memory.
1354 *
1355 * It is assumed that the caller has checked that it is permitted for a link to
1356 * be made (the keyring should have Write permission and the key Link
1357 * permission).
Linus Torvalds1da177e2005-04-16 15:20:36 -07001358 */
1359int key_link(struct key *keyring, struct key *key)
1360{
David Howellsb2a4df22013-09-24 10:35:18 +01001361 struct assoc_array_edit *edit;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001362 int ret;
1363
Elena Reshetovafff29292017-03-31 15:20:48 +03001364 kenter("{%d,%d}", keyring->serial, refcount_read(&keyring->usage));
David Howellsb2a4df22013-09-24 10:35:18 +01001365
Linus Torvalds1da177e2005-04-16 15:20:36 -07001366 key_check(keyring);
1367 key_check(key);
1368
David Howellsb2a4df22013-09-24 10:35:18 +01001369 ret = __key_link_begin(keyring, &key->index_key, &edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001370 if (ret == 0) {
Elena Reshetovafff29292017-03-31 15:20:48 +03001371 kdebug("begun {%d,%d}", keyring->serial, refcount_read(&keyring->usage));
David Howells5ac7eac2016-04-06 16:14:24 +01001372 ret = __key_link_check_restriction(keyring, key);
1373 if (ret == 0)
1374 ret = __key_link_check_live_key(keyring, key);
David Howellsf70e2e02010-04-30 14:32:39 +01001375 if (ret == 0)
David Howellsb2a4df22013-09-24 10:35:18 +01001376 __key_link(key, &edit);
1377 __key_link_end(keyring, &key->index_key, edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001378 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001379
Elena Reshetovafff29292017-03-31 15:20:48 +03001380 kleave(" = %d {%d,%d}", ret, keyring->serial, refcount_read(&keyring->usage));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001381 return ret;
David Howellsf70e2e02010-04-30 14:32:39 +01001382}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001383EXPORT_SYMBOL(key_link);
1384
David Howells973c9f42011-01-20 16:38:33 +00001385/**
1386 * key_unlink - Unlink the first link to a key from a keyring.
1387 * @keyring: The keyring to remove the link from.
1388 * @key: The key the link is to.
1389 *
1390 * Remove a link from a keyring to a key.
1391 *
1392 * This function will write-lock the keyring's semaphore.
1393 *
1394 * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring, -ENOENT if
1395 * the key isn't linked to by the keyring or -ENOMEM if there's insufficient
1396 * memory.
1397 *
1398 * It is assumed that the caller has checked that it is permitted for a link to
1399 * be removed (the keyring should have Write permission; no permissions are
1400 * required on the key).
Linus Torvalds1da177e2005-04-16 15:20:36 -07001401 */
1402int key_unlink(struct key *keyring, struct key *key)
1403{
David Howellsb2a4df22013-09-24 10:35:18 +01001404 struct assoc_array_edit *edit;
1405 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001406
1407 key_check(keyring);
1408 key_check(key);
1409
Linus Torvalds1da177e2005-04-16 15:20:36 -07001410 if (keyring->type != &key_type_keyring)
David Howellsb2a4df22013-09-24 10:35:18 +01001411 return -ENOTDIR;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001412
1413 down_write(&keyring->sem);
1414
David Howellsb2a4df22013-09-24 10:35:18 +01001415 edit = assoc_array_delete(&keyring->keys, &keyring_assoc_array_ops,
1416 &key->index_key);
1417 if (IS_ERR(edit)) {
1418 ret = PTR_ERR(edit);
1419 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001420 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001421 ret = -ENOENT;
David Howellsb2a4df22013-09-24 10:35:18 +01001422 if (edit == NULL)
1423 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001424
David Howellsb2a4df22013-09-24 10:35:18 +01001425 assoc_array_apply_edit(edit);
David Howells034faeb2013-10-30 11:15:24 +00001426 key_payload_reserve(keyring, keyring->datalen - KEYQUOTA_LINK_BYTES);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001427 ret = 0;
1428
David Howells76d8aea2005-06-23 22:00:49 -07001429error:
David Howells76d8aea2005-06-23 22:00:49 -07001430 up_write(&keyring->sem);
David Howellsb2a4df22013-09-24 10:35:18 +01001431 return ret;
David Howellsa8b17ed2011-01-20 16:38:27 +00001432}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001433EXPORT_SYMBOL(key_unlink);
1434
David Howells973c9f42011-01-20 16:38:33 +00001435/**
1436 * keyring_clear - Clear a keyring
1437 * @keyring: The keyring to clear.
1438 *
1439 * Clear the contents of the specified keyring.
1440 *
1441 * Returns 0 if successful or -ENOTDIR if the keyring isn't a keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001442 */
1443int keyring_clear(struct key *keyring)
1444{
David Howellsb2a4df22013-09-24 10:35:18 +01001445 struct assoc_array_edit *edit;
David Howells76d8aea2005-06-23 22:00:49 -07001446 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001447
David Howellsb2a4df22013-09-24 10:35:18 +01001448 if (keyring->type != &key_type_keyring)
1449 return -ENOTDIR;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001450
David Howellsb2a4df22013-09-24 10:35:18 +01001451 down_write(&keyring->sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001452
David Howellsb2a4df22013-09-24 10:35:18 +01001453 edit = assoc_array_clear(&keyring->keys, &keyring_assoc_array_ops);
1454 if (IS_ERR(edit)) {
1455 ret = PTR_ERR(edit);
1456 } else {
1457 if (edit)
1458 assoc_array_apply_edit(edit);
1459 key_payload_reserve(keyring, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001460 ret = 0;
1461 }
1462
David Howellsb2a4df22013-09-24 10:35:18 +01001463 up_write(&keyring->sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001464 return ret;
David Howellsa8b17ed2011-01-20 16:38:27 +00001465}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001466EXPORT_SYMBOL(keyring_clear);
David Howells31204ed2006-06-26 00:24:51 -07001467
David Howells31204ed2006-06-26 00:24:51 -07001468/*
David Howells973c9f42011-01-20 16:38:33 +00001469 * Dispose of the links from a revoked keyring.
1470 *
1471 * This is called with the key sem write-locked.
David Howells31204ed2006-06-26 00:24:51 -07001472 */
1473static void keyring_revoke(struct key *keyring)
1474{
David Howellsb2a4df22013-09-24 10:35:18 +01001475 struct assoc_array_edit *edit;
David Howellsf0641cb2010-04-30 14:32:18 +01001476
David Howellsb2a4df22013-09-24 10:35:18 +01001477 edit = assoc_array_clear(&keyring->keys, &keyring_assoc_array_ops);
1478 if (!IS_ERR(edit)) {
1479 if (edit)
1480 assoc_array_apply_edit(edit);
1481 key_payload_reserve(keyring, 0);
David Howells31204ed2006-06-26 00:24:51 -07001482 }
David Howellsa8b17ed2011-01-20 16:38:27 +00001483}
David Howells5d135442009-09-02 09:14:00 +01001484
David Howells62fe3182013-11-14 13:02:31 +00001485static bool keyring_gc_select_iterator(void *object, void *iterator_data)
David Howellsb2a4df22013-09-24 10:35:18 +01001486{
1487 struct key *key = keyring_ptr_to_key(object);
Baolin Wang074d5892017-11-15 16:38:45 +00001488 time64_t *limit = iterator_data;
David Howellsb2a4df22013-09-24 10:35:18 +01001489
1490 if (key_is_dead(key, *limit))
1491 return false;
1492 key_get(key);
1493 return true;
1494}
1495
David Howells62fe3182013-11-14 13:02:31 +00001496static int keyring_gc_check_iterator(const void *object, void *iterator_data)
1497{
1498 const struct key *key = keyring_ptr_to_key(object);
Baolin Wang074d5892017-11-15 16:38:45 +00001499 time64_t *limit = iterator_data;
David Howells62fe3182013-11-14 13:02:31 +00001500
1501 key_check(key);
1502 return key_is_dead(key, *limit);
1503}
1504
David Howells5d135442009-09-02 09:14:00 +01001505/*
David Howells62fe3182013-11-14 13:02:31 +00001506 * Garbage collect pointers from a keyring.
David Howells973c9f42011-01-20 16:38:33 +00001507 *
David Howells62fe3182013-11-14 13:02:31 +00001508 * Not called with any locks held. The keyring's key struct will not be
1509 * deallocated under us as only our caller may deallocate it.
David Howells5d135442009-09-02 09:14:00 +01001510 */
Baolin Wang074d5892017-11-15 16:38:45 +00001511void keyring_gc(struct key *keyring, time64_t limit)
David Howells5d135442009-09-02 09:14:00 +01001512{
David Howells62fe3182013-11-14 13:02:31 +00001513 int result;
David Howells5d135442009-09-02 09:14:00 +01001514
David Howells62fe3182013-11-14 13:02:31 +00001515 kenter("%x{%s}", keyring->serial, keyring->description ?: "");
1516
1517 if (keyring->flags & ((1 << KEY_FLAG_INVALIDATED) |
1518 (1 << KEY_FLAG_REVOKED)))
1519 goto dont_gc;
1520
1521 /* scan the keyring looking for dead keys */
1522 rcu_read_lock();
1523 result = assoc_array_iterate(&keyring->keys,
1524 keyring_gc_check_iterator, &limit);
1525 rcu_read_unlock();
1526 if (result == true)
1527 goto do_gc;
1528
1529dont_gc:
1530 kleave(" [no gc]");
1531 return;
1532
1533do_gc:
David Howells5d135442009-09-02 09:14:00 +01001534 down_write(&keyring->sem);
David Howellsb2a4df22013-09-24 10:35:18 +01001535 assoc_array_gc(&keyring->keys, &keyring_assoc_array_ops,
David Howells62fe3182013-11-14 13:02:31 +00001536 keyring_gc_select_iterator, &limit);
David Howells5d135442009-09-02 09:14:00 +01001537 up_write(&keyring->sem);
David Howells62fe3182013-11-14 13:02:31 +00001538 kleave(" [gc]");
David Howells5d135442009-09-02 09:14:00 +01001539}
Mat Martineau2b6aa412016-08-31 16:05:43 -07001540
1541/*
1542 * Garbage collect restriction pointers from a keyring.
1543 *
1544 * Keyring restrictions are associated with a key type, and must be cleaned
1545 * up if the key type is unregistered. The restriction is altered to always
1546 * reject additional keys so a keyring cannot be opened up by unregistering
1547 * a key type.
1548 *
1549 * Not called with any keyring locks held. The keyring's key struct will not
1550 * be deallocated under us as only our caller may deallocate it.
1551 *
1552 * The caller is required to hold key_types_sem and dead_type->sem. This is
1553 * fulfilled by key_gc_keytype() holding the locks on behalf of
1554 * key_garbage_collector(), which it invokes on a workqueue.
1555 */
1556void keyring_restriction_gc(struct key *keyring, struct key_type *dead_type)
1557{
1558 struct key_restriction *keyres;
1559
1560 kenter("%x{%s}", keyring->serial, keyring->description ?: "");
1561
1562 /*
1563 * keyring->restrict_link is only assigned at key allocation time
1564 * or with the key type locked, so the only values that could be
1565 * concurrently assigned to keyring->restrict_link are for key
1566 * types other than dead_type. Given this, it's ok to check
1567 * the key type before acquiring keyring->sem.
1568 */
1569 if (!dead_type || !keyring->restrict_link ||
1570 keyring->restrict_link->keytype != dead_type) {
1571 kleave(" [no restriction gc]");
1572 return;
1573 }
1574
1575 /* Lock the keyring to ensure that a link is not in progress */
1576 down_write(&keyring->sem);
1577
1578 keyres = keyring->restrict_link;
1579
1580 keyres->check = restrict_link_reject;
1581
1582 key_put(keyres->key);
1583 keyres->key = NULL;
1584 keyres->keytype = NULL;
1585
1586 up_write(&keyring->sem);
1587
1588 kleave(" [restriction gc]");
1589}