blob: 10f0a5f2d3620ce775a529b6090cb61667360ec6 [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
12#include <linux/module.h>
13#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 Howells5d19e202014-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 Howells5d19e202014-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 Howellsb2a4df22013-09-24 10:35:18 +010092 .match = user_match,
David Howells31204ed2006-06-26 00:24:51 -070093 .revoke = keyring_revoke,
Linus Torvalds1da177e2005-04-16 15:20:36 -070094 .destroy = keyring_destroy,
95 .describe = keyring_describe,
96 .read = keyring_read,
97};
David Howells73182262007-04-26 15:46:23 -070098EXPORT_SYMBOL(key_type_keyring);
99
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100/*
David Howells973c9f42011-01-20 16:38:33 +0000101 * Semaphore to serialise link/link calls to prevent two link calls in parallel
102 * introducing a cycle.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103 */
Adrian Bunk1ae8f402006-01-06 00:11:25 -0800104static DECLARE_RWSEM(keyring_serialise_link_sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700105
Linus Torvalds1da177e2005-04-16 15:20:36 -0700106/*
David Howells973c9f42011-01-20 16:38:33 +0000107 * Publish the name of a keyring so that it can be found by name (if it has
108 * one).
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109 */
David Howells69664cf2008-04-29 01:01:31 -0700110static void keyring_publish_name(struct key *keyring)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700111{
112 int bucket;
113
114 if (keyring->description) {
115 bucket = keyring_hash(keyring->description);
116
117 write_lock(&keyring_name_lock);
118
119 if (!keyring_name_hash[bucket].next)
120 INIT_LIST_HEAD(&keyring_name_hash[bucket]);
121
122 list_add_tail(&keyring->type_data.link,
123 &keyring_name_hash[bucket]);
124
125 write_unlock(&keyring_name_lock);
126 }
David Howellsa8b17ed2011-01-20 16:38:27 +0000127}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700128
Linus Torvalds1da177e2005-04-16 15:20:36 -0700129/*
David Howells5d19e202014-07-18 18:56:36 +0100130 * Preparse a keyring payload
131 */
132static int keyring_preparse(struct key_preparsed_payload *prep)
133{
134 return prep->datalen != 0 ? -EINVAL : 0;
135}
136
137/*
138 * Free a preparse of a user defined key payload
139 */
140static void keyring_free_preparse(struct key_preparsed_payload *prep)
141{
142}
143
144/*
David Howells973c9f42011-01-20 16:38:33 +0000145 * Initialise a keyring.
146 *
147 * Returns 0 on success, -EINVAL if given any data.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700148 */
149static int keyring_instantiate(struct key *keyring,
David Howellscf7f6012012-09-13 13:06:29 +0100150 struct key_preparsed_payload *prep)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151{
David Howells5d19e202014-07-18 18:56:36 +0100152 assoc_array_init(&keyring->keys);
153 /* make the keyring available by name if it has one */
154 keyring_publish_name(keyring);
155 return 0;
David Howellsa8b17ed2011-01-20 16:38:27 +0000156}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700157
Linus Torvalds1da177e2005-04-16 15:20:36 -0700158/*
David Howellsb2a4df22013-09-24 10:35:18 +0100159 * Multiply 64-bits by 32-bits to 96-bits and fold back to 64-bit. Ideally we'd
160 * fold the carry back too, but that requires inline asm.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700161 */
David Howellsb2a4df22013-09-24 10:35:18 +0100162static u64 mult_64x32_and_fold(u64 x, u32 y)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700163{
David Howellsb2a4df22013-09-24 10:35:18 +0100164 u64 hi = (u64)(u32)(x >> 32) * y;
165 u64 lo = (u64)(u32)(x) * y;
166 return lo + ((u64)(u32)hi << 32) + (u32)(hi >> 32);
David Howellsa8b17ed2011-01-20 16:38:27 +0000167}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700168
Linus Torvalds1da177e2005-04-16 15:20:36 -0700169/*
David Howellsb2a4df22013-09-24 10:35:18 +0100170 * Hash a key type and description.
171 */
172static unsigned long hash_key_type_and_desc(const struct keyring_index_key *index_key)
173{
174 const unsigned level_shift = ASSOC_ARRAY_LEVEL_STEP;
David Howellsd54e58b2013-12-02 11:24:18 +0000175 const unsigned long fan_mask = ASSOC_ARRAY_FAN_MASK;
David Howellsb2a4df22013-09-24 10:35:18 +0100176 const char *description = index_key->description;
177 unsigned long hash, type;
178 u32 piece;
179 u64 acc;
180 int n, desc_len = index_key->desc_len;
181
182 type = (unsigned long)index_key->type;
183
184 acc = mult_64x32_and_fold(type, desc_len + 13);
185 acc = mult_64x32_and_fold(acc, 9207);
186 for (;;) {
187 n = desc_len;
188 if (n <= 0)
189 break;
190 if (n > 4)
191 n = 4;
192 piece = 0;
193 memcpy(&piece, description, n);
194 description += n;
195 desc_len -= n;
196 acc = mult_64x32_and_fold(acc, piece);
197 acc = mult_64x32_and_fold(acc, 9207);
198 }
199
200 /* Fold the hash down to 32 bits if need be. */
201 hash = acc;
202 if (ASSOC_ARRAY_KEY_CHUNK_SIZE == 32)
203 hash ^= acc >> 32;
204
205 /* Squidge all the keyrings into a separate part of the tree to
206 * ordinary keys by making sure the lowest level segment in the hash is
207 * zero for keyrings and non-zero otherwise.
208 */
David Howellsd54e58b2013-12-02 11:24:18 +0000209 if (index_key->type != &key_type_keyring && (hash & fan_mask) == 0)
David Howellsb2a4df22013-09-24 10:35:18 +0100210 return hash | (hash >> (ASSOC_ARRAY_KEY_CHUNK_SIZE - level_shift)) | 1;
David Howellsd54e58b2013-12-02 11:24:18 +0000211 if (index_key->type == &key_type_keyring && (hash & fan_mask) != 0)
212 return (hash + (hash << level_shift)) & ~fan_mask;
David Howellsb2a4df22013-09-24 10:35:18 +0100213 return hash;
214}
215
216/*
217 * Build the next index key chunk.
218 *
219 * On 32-bit systems the index key is laid out as:
220 *
221 * 0 4 5 9...
222 * hash desclen typeptr desc[]
223 *
224 * On 64-bit systems:
225 *
226 * 0 8 9 17...
227 * hash desclen typeptr desc[]
228 *
229 * We return it one word-sized chunk at a time.
230 */
231static unsigned long keyring_get_key_chunk(const void *data, int level)
232{
233 const struct keyring_index_key *index_key = data;
234 unsigned long chunk = 0;
235 long offset = 0;
236 int desc_len = index_key->desc_len, n = sizeof(chunk);
237
238 level /= ASSOC_ARRAY_KEY_CHUNK_SIZE;
239 switch (level) {
240 case 0:
241 return hash_key_type_and_desc(index_key);
242 case 1:
243 return ((unsigned long)index_key->type << 8) | desc_len;
244 case 2:
245 if (desc_len == 0)
246 return (u8)((unsigned long)index_key->type >>
247 (ASSOC_ARRAY_KEY_CHUNK_SIZE - 8));
248 n--;
249 offset = 1;
250 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
391 if (keyring->type_data.link.next != NULL &&
392 !list_empty(&keyring->type_data.link))
393 list_del(&keyring->type_data.link);
394
Linus Torvalds1da177e2005-04-16 15:20:36 -0700395 write_unlock(&keyring_name_lock);
396 }
397
David Howellsb2a4df22013-09-24 10:35:18 +0100398 assoc_array_destroy(&keyring->keys, &keyring_assoc_array_ops);
David Howellsa8b17ed2011-01-20 16:38:27 +0000399}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700400
Linus Torvalds1da177e2005-04-16 15:20:36 -0700401/*
David Howells973c9f42011-01-20 16:38:33 +0000402 * Describe a keyring for /proc.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700403 */
404static void keyring_describe(const struct key *keyring, struct seq_file *m)
405{
wzt.wzt@gmail.comc8563472010-03-04 21:26:23 +0800406 if (keyring->description)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700407 seq_puts(m, keyring->description);
wzt.wzt@gmail.comc8563472010-03-04 21:26:23 +0800408 else
Linus Torvalds1da177e2005-04-16 15:20:36 -0700409 seq_puts(m, "[anon]");
Linus Torvalds1da177e2005-04-16 15:20:36 -0700410
David Howells78b72802011-03-11 17:57:23 +0000411 if (key_is_instantiated(keyring)) {
David Howellsb2a4df22013-09-24 10:35:18 +0100412 if (keyring->keys.nr_leaves_on_tree != 0)
413 seq_printf(m, ": %lu", keyring->keys.nr_leaves_on_tree);
David Howells78b72802011-03-11 17:57:23 +0000414 else
415 seq_puts(m, ": empty");
David Howells78b72802011-03-11 17:57:23 +0000416 }
David Howellsa8b17ed2011-01-20 16:38:27 +0000417}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700418
David Howellsb2a4df22013-09-24 10:35:18 +0100419struct keyring_read_iterator_context {
420 size_t qty;
421 size_t count;
422 key_serial_t __user *buffer;
423};
424
425static int keyring_read_iterator(const void *object, void *data)
426{
427 struct keyring_read_iterator_context *ctx = data;
428 const struct key *key = keyring_ptr_to_key(object);
429 int ret;
430
431 kenter("{%s,%d},,{%zu/%zu}",
432 key->type->name, key->serial, ctx->count, ctx->qty);
433
434 if (ctx->count >= ctx->qty)
435 return 1;
436
437 ret = put_user(key->serial, ctx->buffer);
438 if (ret < 0)
439 return ret;
440 ctx->buffer++;
441 ctx->count += sizeof(key->serial);
442 return 0;
443}
444
Linus Torvalds1da177e2005-04-16 15:20:36 -0700445/*
David Howells973c9f42011-01-20 16:38:33 +0000446 * Read a list of key IDs from the keyring's contents in binary form
447 *
David Howellsb2a4df22013-09-24 10:35:18 +0100448 * The keyring's semaphore is read-locked by the caller. This prevents someone
449 * from modifying it under us - which could cause us to read key IDs multiple
450 * times.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700451 */
452static long keyring_read(const struct key *keyring,
453 char __user *buffer, size_t buflen)
454{
David Howellsb2a4df22013-09-24 10:35:18 +0100455 struct keyring_read_iterator_context ctx;
456 unsigned long nr_keys;
457 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458
David Howellsb2a4df22013-09-24 10:35:18 +0100459 kenter("{%d},,%zu", key_serial(keyring), buflen);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700460
David Howellsb2a4df22013-09-24 10:35:18 +0100461 if (buflen & (sizeof(key_serial_t) - 1))
462 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700463
David Howellsb2a4df22013-09-24 10:35:18 +0100464 nr_keys = keyring->keys.nr_leaves_on_tree;
465 if (nr_keys == 0)
466 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700467
David Howellsb2a4df22013-09-24 10:35:18 +0100468 /* Calculate how much data we could return */
469 ctx.qty = nr_keys * sizeof(key_serial_t);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700470
David Howellsb2a4df22013-09-24 10:35:18 +0100471 if (!buffer || !buflen)
472 return ctx.qty;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700473
David Howellsb2a4df22013-09-24 10:35:18 +0100474 if (buflen > ctx.qty)
475 ctx.qty = buflen;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476
David Howellsb2a4df22013-09-24 10:35:18 +0100477 /* Copy the IDs of the subscribed keys into the buffer */
478 ctx.buffer = (key_serial_t __user *)buffer;
479 ctx.count = 0;
480 ret = assoc_array_iterate(&keyring->keys, keyring_read_iterator, &ctx);
481 if (ret < 0) {
482 kleave(" = %d [iterate]", ret);
483 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700484 }
485
David Howellsb2a4df22013-09-24 10:35:18 +0100486 kleave(" = %zu [ok]", ctx.count);
487 return ctx.count;
David Howellsa8b17ed2011-01-20 16:38:27 +0000488}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700489
Linus Torvalds1da177e2005-04-16 15:20:36 -0700490/*
David Howells973c9f42011-01-20 16:38:33 +0000491 * Allocate a keyring and link into the destination keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700492 */
Eric W. Biederman9a56c2d2012-02-08 07:53:04 -0800493struct key *keyring_alloc(const char *description, kuid_t uid, kgid_t gid,
David Howells96b5c8f2012-10-02 19:24:56 +0100494 const struct cred *cred, key_perm_t perm,
495 unsigned long flags, struct key *dest)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700496{
497 struct key *keyring;
498 int ret;
499
500 keyring = key_alloc(&key_type_keyring, description,
David Howells96b5c8f2012-10-02 19:24:56 +0100501 uid, gid, cred, perm, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700502 if (!IS_ERR(keyring)) {
David Howells3e301482005-06-23 22:00:56 -0700503 ret = key_instantiate_and_link(keyring, NULL, 0, dest, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700504 if (ret < 0) {
505 key_put(keyring);
506 keyring = ERR_PTR(ret);
507 }
508 }
509
510 return keyring;
David Howellsa8b17ed2011-01-20 16:38:27 +0000511}
David Howellsf8aa23a2012-10-02 19:24:56 +0100512EXPORT_SYMBOL(keyring_alloc);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700513
David Howellsb2a4df22013-09-24 10:35:18 +0100514/*
515 * Iteration function to consider each key found.
516 */
517static int keyring_search_iterator(const void *object, void *iterator_data)
518{
519 struct keyring_search_context *ctx = iterator_data;
520 const struct key *key = keyring_ptr_to_key(object);
521 unsigned long kflags = key->flags;
522
523 kenter("{%d}", key->serial);
524
525 /* ignore keys not of this type */
526 if (key->type != ctx->index_key.type) {
527 kleave(" = 0 [!type]");
528 return 0;
529 }
530
531 /* skip invalidated, revoked and expired keys */
532 if (ctx->flags & KEYRING_SEARCH_DO_STATE_CHECK) {
533 if (kflags & ((1 << KEY_FLAG_INVALIDATED) |
534 (1 << KEY_FLAG_REVOKED))) {
535 ctx->result = ERR_PTR(-EKEYREVOKED);
536 kleave(" = %d [invrev]", ctx->skipped_ret);
537 goto skipped;
538 }
539
540 if (key->expiry && ctx->now.tv_sec >= key->expiry) {
541 ctx->result = ERR_PTR(-EKEYEXPIRED);
542 kleave(" = %d [expire]", ctx->skipped_ret);
543 goto skipped;
544 }
545 }
546
547 /* keys that don't match */
David Howells46291952014-09-16 17:36:02 +0100548 if (!ctx->match_data.cmp(key, &ctx->match_data)) {
David Howellsb2a4df22013-09-24 10:35:18 +0100549 kleave(" = 0 [!match]");
550 return 0;
551 }
552
553 /* key must have search permissions */
554 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM) &&
555 key_task_permission(make_key_ref(key, ctx->possessed),
David Howellsf5895942014-03-14 17:44:49 +0000556 ctx->cred, KEY_NEED_SEARCH) < 0) {
David Howellsb2a4df22013-09-24 10:35:18 +0100557 ctx->result = ERR_PTR(-EACCES);
558 kleave(" = %d [!perm]", ctx->skipped_ret);
559 goto skipped;
560 }
561
562 if (ctx->flags & KEYRING_SEARCH_DO_STATE_CHECK) {
563 /* we set a different error code if we pass a negative key */
564 if (kflags & (1 << KEY_FLAG_NEGATIVE)) {
David Howells74792b02013-10-30 11:15:24 +0000565 smp_rmb();
David Howellsb2a4df22013-09-24 10:35:18 +0100566 ctx->result = ERR_PTR(key->type_data.reject_error);
567 kleave(" = %d [neg]", ctx->skipped_ret);
568 goto skipped;
569 }
570 }
571
572 /* Found */
573 ctx->result = make_key_ref(key, ctx->possessed);
574 kleave(" = 1 [found]");
575 return 1;
576
577skipped:
578 return ctx->skipped_ret;
579}
580
581/*
582 * Search inside a keyring for a key. We can search by walking to it
583 * directly based on its index-key or we can iterate over the entire
584 * tree looking for it, based on the match function.
585 */
586static int search_keyring(struct key *keyring, struct keyring_search_context *ctx)
587{
David Howells46291952014-09-16 17:36:02 +0100588 if (ctx->match_data.lookup_type == KEYRING_SEARCH_LOOKUP_DIRECT) {
David Howellsb2a4df22013-09-24 10:35:18 +0100589 const void *object;
590
591 object = assoc_array_find(&keyring->keys,
592 &keyring_assoc_array_ops,
593 &ctx->index_key);
594 return object ? ctx->iterator(object, ctx) : 0;
595 }
596 return assoc_array_iterate(&keyring->keys, ctx->iterator, ctx);
597}
598
599/*
600 * Search a tree of keyrings that point to other keyrings up to the maximum
601 * depth.
602 */
603static bool search_nested_keyrings(struct key *keyring,
604 struct keyring_search_context *ctx)
605{
606 struct {
607 struct key *keyring;
608 struct assoc_array_node *node;
609 int slot;
610 } stack[KEYRING_SEARCH_MAX_DEPTH];
611
612 struct assoc_array_shortcut *shortcut;
613 struct assoc_array_node *node;
614 struct assoc_array_ptr *ptr;
615 struct key *key;
616 int sp = 0, slot;
617
618 kenter("{%d},{%s,%s}",
619 keyring->serial,
620 ctx->index_key.type->name,
621 ctx->index_key.description);
622
623 if (ctx->index_key.description)
624 ctx->index_key.desc_len = strlen(ctx->index_key.description);
625
626 /* Check to see if this top-level keyring is what we are looking for
627 * and whether it is valid or not.
628 */
David Howells46291952014-09-16 17:36:02 +0100629 if (ctx->match_data.lookup_type == KEYRING_SEARCH_LOOKUP_ITERATE ||
David Howellsb2a4df22013-09-24 10:35:18 +0100630 keyring_compare_object(keyring, &ctx->index_key)) {
631 ctx->skipped_ret = 2;
632 ctx->flags |= KEYRING_SEARCH_DO_STATE_CHECK;
633 switch (ctx->iterator(keyring_key_to_ptr(keyring), ctx)) {
634 case 1:
635 goto found;
636 case 2:
637 return false;
638 default:
639 break;
640 }
641 }
642
643 ctx->skipped_ret = 0;
644 if (ctx->flags & KEYRING_SEARCH_NO_STATE_CHECK)
645 ctx->flags &= ~KEYRING_SEARCH_DO_STATE_CHECK;
646
647 /* Start processing a new keyring */
648descend_to_keyring:
649 kdebug("descend to %d", keyring->serial);
650 if (keyring->flags & ((1 << KEY_FLAG_INVALIDATED) |
651 (1 << KEY_FLAG_REVOKED)))
652 goto not_this_keyring;
653
654 /* Search through the keys in this keyring before its searching its
655 * subtrees.
656 */
657 if (search_keyring(keyring, ctx))
658 goto found;
659
660 /* Then manually iterate through the keyrings nested in this one.
661 *
662 * Start from the root node of the index tree. Because of the way the
663 * hash function has been set up, keyrings cluster on the leftmost
664 * branch of the root node (root slot 0) or in the root node itself.
665 * Non-keyrings avoid the leftmost branch of the root entirely (root
666 * slots 1-15).
667 */
668 ptr = ACCESS_ONCE(keyring->keys.root);
669 if (!ptr)
670 goto not_this_keyring;
671
672 if (assoc_array_ptr_is_shortcut(ptr)) {
673 /* If the root is a shortcut, either the keyring only contains
674 * keyring pointers (everything clusters behind root slot 0) or
675 * doesn't contain any keyring pointers.
676 */
677 shortcut = assoc_array_ptr_to_shortcut(ptr);
678 smp_read_barrier_depends();
679 if ((shortcut->index_key[0] & ASSOC_ARRAY_FAN_MASK) != 0)
680 goto not_this_keyring;
681
682 ptr = ACCESS_ONCE(shortcut->next_node);
683 node = assoc_array_ptr_to_node(ptr);
684 goto begin_node;
685 }
686
687 node = assoc_array_ptr_to_node(ptr);
688 smp_read_barrier_depends();
689
690 ptr = node->slots[0];
691 if (!assoc_array_ptr_is_meta(ptr))
692 goto begin_node;
693
694descend_to_node:
695 /* Descend to a more distal node in this keyring's content tree and go
696 * through that.
697 */
698 kdebug("descend");
699 if (assoc_array_ptr_is_shortcut(ptr)) {
700 shortcut = assoc_array_ptr_to_shortcut(ptr);
701 smp_read_barrier_depends();
702 ptr = ACCESS_ONCE(shortcut->next_node);
703 BUG_ON(!assoc_array_ptr_is_node(ptr));
David Howellsb2a4df22013-09-24 10:35:18 +0100704 }
David Howells9c5e45d2013-12-02 11:24:19 +0000705 node = assoc_array_ptr_to_node(ptr);
David Howellsb2a4df22013-09-24 10:35:18 +0100706
707begin_node:
708 kdebug("begin_node");
709 smp_read_barrier_depends();
710 slot = 0;
711ascend_to_node:
712 /* Go through the slots in a node */
713 for (; slot < ASSOC_ARRAY_FAN_OUT; slot++) {
714 ptr = ACCESS_ONCE(node->slots[slot]);
715
716 if (assoc_array_ptr_is_meta(ptr) && node->back_pointer)
717 goto descend_to_node;
718
719 if (!keyring_ptr_is_keyring(ptr))
720 continue;
721
722 key = keyring_ptr_to_key(ptr);
723
724 if (sp >= KEYRING_SEARCH_MAX_DEPTH) {
725 if (ctx->flags & KEYRING_SEARCH_DETECT_TOO_DEEP) {
726 ctx->result = ERR_PTR(-ELOOP);
727 return false;
728 }
729 goto not_this_keyring;
730 }
731
732 /* Search a nested keyring */
733 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM) &&
734 key_task_permission(make_key_ref(key, ctx->possessed),
David Howellsf5895942014-03-14 17:44:49 +0000735 ctx->cred, KEY_NEED_SEARCH) < 0)
David Howellsb2a4df22013-09-24 10:35:18 +0100736 continue;
737
738 /* stack the current position */
739 stack[sp].keyring = keyring;
740 stack[sp].node = node;
741 stack[sp].slot = slot;
742 sp++;
743
744 /* begin again with the new keyring */
745 keyring = key;
746 goto descend_to_keyring;
747 }
748
749 /* We've dealt with all the slots in the current node, so now we need
750 * to ascend to the parent and continue processing there.
751 */
752 ptr = ACCESS_ONCE(node->back_pointer);
753 slot = node->parent_slot;
754
755 if (ptr && assoc_array_ptr_is_shortcut(ptr)) {
756 shortcut = assoc_array_ptr_to_shortcut(ptr);
757 smp_read_barrier_depends();
758 ptr = ACCESS_ONCE(shortcut->back_pointer);
759 slot = shortcut->parent_slot;
760 }
761 if (!ptr)
762 goto not_this_keyring;
763 node = assoc_array_ptr_to_node(ptr);
764 smp_read_barrier_depends();
765 slot++;
766
767 /* If we've ascended to the root (zero backpointer), we must have just
768 * finished processing the leftmost branch rather than the root slots -
769 * so there can't be any more keyrings for us to find.
770 */
771 if (node->back_pointer) {
772 kdebug("ascend %d", slot);
773 goto ascend_to_node;
774 }
775
776 /* The keyring we're looking at was disqualified or didn't contain a
777 * matching key.
778 */
779not_this_keyring:
780 kdebug("not_this_keyring %d", sp);
781 if (sp <= 0) {
782 kleave(" = false");
783 return false;
784 }
785
786 /* Resume the processing of a keyring higher up in the tree */
787 sp--;
788 keyring = stack[sp].keyring;
789 node = stack[sp].node;
790 slot = stack[sp].slot + 1;
791 kdebug("ascend to %d [%d]", keyring->serial, slot);
792 goto ascend_to_node;
793
794 /* We found a viable match */
795found:
796 key = key_ref_to_ptr(ctx->result);
797 key_check(key);
798 if (!(ctx->flags & KEYRING_SEARCH_NO_UPDATE_TIME)) {
799 key->last_used_at = ctx->now.tv_sec;
800 keyring->last_used_at = ctx->now.tv_sec;
801 while (sp > 0)
802 stack[--sp].keyring->last_used_at = ctx->now.tv_sec;
803 }
804 kleave(" = true");
805 return true;
806}
807
David Howells973c9f42011-01-20 16:38:33 +0000808/**
809 * keyring_search_aux - Search a keyring tree for a key matching some criteria
810 * @keyring_ref: A pointer to the keyring with possession indicator.
David Howells4bdf0bc2013-09-24 10:35:15 +0100811 * @ctx: The keyring search context.
David Howells973c9f42011-01-20 16:38:33 +0000812 *
813 * Search the supplied keyring tree for a key that matches the criteria given.
814 * The root keyring and any linked keyrings must grant Search permission to the
815 * caller to be searchable and keys can only be found if they too grant Search
816 * to the caller. The possession flag on the root keyring pointer controls use
817 * of the possessor bits in permissions checking of the entire tree. In
818 * addition, the LSM gets to forbid keyring searches and key matches.
819 *
820 * The search is performed as a breadth-then-depth search up to the prescribed
821 * limit (KEYRING_SEARCH_MAX_DEPTH).
822 *
823 * Keys are matched to the type provided and are then filtered by the match
824 * function, which is given the description to use in any way it sees fit. The
825 * match function may use any attributes of a key that it wishes to to
826 * determine the match. Normally the match function from the key type would be
827 * used.
828 *
David Howellsb2a4df22013-09-24 10:35:18 +0100829 * RCU can be used to prevent the keyring key lists from disappearing without
830 * the need to take lots of locks.
David Howells973c9f42011-01-20 16:38:33 +0000831 *
832 * Returns a pointer to the found key and increments the key usage count if
833 * successful; -EAGAIN if no matching keys were found, or if expired or revoked
834 * keys were found; -ENOKEY if only negative keys were found; -ENOTDIR if the
835 * specified keyring wasn't a keyring.
836 *
837 * In the case of a successful return, the possession attribute from
838 * @keyring_ref is propagated to the returned key reference.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700839 */
David Howells664cceb2005-09-28 17:03:15 +0100840key_ref_t keyring_search_aux(key_ref_t keyring_ref,
David Howells4bdf0bc2013-09-24 10:35:15 +0100841 struct keyring_search_context *ctx)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700842{
David Howellsb2a4df22013-09-24 10:35:18 +0100843 struct key *keyring;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700844 long err;
David Howellsb2a4df22013-09-24 10:35:18 +0100845
846 ctx->iterator = keyring_search_iterator;
847 ctx->possessed = is_key_possessed(keyring_ref);
848 ctx->result = ERR_PTR(-EAGAIN);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700849
David Howells664cceb2005-09-28 17:03:15 +0100850 keyring = key_ref_to_ptr(keyring_ref);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700851 key_check(keyring);
852
Linus Torvalds1da177e2005-04-16 15:20:36 -0700853 if (keyring->type != &key_type_keyring)
David Howellsb2a4df22013-09-24 10:35:18 +0100854 return ERR_PTR(-ENOTDIR);
855
856 if (!(ctx->flags & KEYRING_SEARCH_NO_CHECK_PERM)) {
David Howellsf5895942014-03-14 17:44:49 +0000857 err = key_task_permission(keyring_ref, ctx->cred, KEY_NEED_SEARCH);
David Howellsb2a4df22013-09-24 10:35:18 +0100858 if (err < 0)
859 return ERR_PTR(err);
860 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700861
David Howells664cceb2005-09-28 17:03:15 +0100862 rcu_read_lock();
David Howells4bdf0bc2013-09-24 10:35:15 +0100863 ctx->now = current_kernel_time();
David Howellsb2a4df22013-09-24 10:35:18 +0100864 if (search_nested_keyrings(keyring, ctx))
865 __key_get(key_ref_to_ptr(ctx->result));
David Howells76d8aea2005-06-23 22:00:49 -0700866 rcu_read_unlock();
David Howellsb2a4df22013-09-24 10:35:18 +0100867 return ctx->result;
David Howellsa8b17ed2011-01-20 16:38:27 +0000868}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700869
David Howells973c9f42011-01-20 16:38:33 +0000870/**
871 * keyring_search - Search the supplied keyring tree for a matching key
872 * @keyring: The root of the keyring tree to be searched.
873 * @type: The type of keyring we want to find.
874 * @description: The name of the keyring we want to find.
875 *
876 * As keyring_search_aux() above, but using the current task's credentials and
David Howellsb2a4df22013-09-24 10:35:18 +0100877 * type's default matching function and preferred search method.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700878 */
David Howells664cceb2005-09-28 17:03:15 +0100879key_ref_t keyring_search(key_ref_t keyring,
880 struct key_type *type,
881 const char *description)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882{
David Howells4bdf0bc2013-09-24 10:35:15 +0100883 struct keyring_search_context ctx = {
884 .index_key.type = type,
885 .index_key.description = description,
886 .cred = current_cred(),
David Howells46291952014-09-16 17:36:02 +0100887 .match_data.cmp = type->match,
888 .match_data.raw_data = description,
889 .match_data.lookup_type = KEYRING_SEARCH_LOOKUP_DIRECT,
890 .flags = KEYRING_SEARCH_DO_STATE_CHECK,
David Howells4bdf0bc2013-09-24 10:35:15 +0100891 };
David Howells46291952014-09-16 17:36:02 +0100892 key_ref_t key;
893 int ret;
David Howells4bdf0bc2013-09-24 10:35:15 +0100894
David Howells46291952014-09-16 17:36:02 +0100895 if (!ctx.match_data.cmp)
David Howells3e301482005-06-23 22:00:56 -0700896 return ERR_PTR(-ENOKEY);
897
David Howells46291952014-09-16 17:36:02 +0100898 if (type->match_preparse) {
899 ret = type->match_preparse(&ctx.match_data);
900 if (ret < 0)
901 return ERR_PTR(ret);
902 }
903
904 key = keyring_search_aux(keyring, &ctx);
905
906 if (type->match_free)
907 type->match_free(&ctx.match_data);
908 return key;
David Howellsa8b17ed2011-01-20 16:38:27 +0000909}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910EXPORT_SYMBOL(keyring_search);
911
Linus Torvalds1da177e2005-04-16 15:20:36 -0700912/*
David Howellsb2a4df22013-09-24 10:35:18 +0100913 * Search the given keyring for a key that might be updated.
David Howells973c9f42011-01-20 16:38:33 +0000914 *
915 * The caller must guarantee that the keyring is a keyring and that the
David Howellsb2a4df22013-09-24 10:35:18 +0100916 * permission is granted to modify the keyring as no check is made here. The
917 * caller must also hold a lock on the keyring semaphore.
David Howells973c9f42011-01-20 16:38:33 +0000918 *
919 * Returns a pointer to the found key with usage count incremented if
David Howellsb2a4df22013-09-24 10:35:18 +0100920 * successful and returns NULL if not found. Revoked and invalidated keys are
921 * skipped over.
David Howells973c9f42011-01-20 16:38:33 +0000922 *
923 * If successful, the possession indicator is propagated from the keyring ref
924 * to the returned key reference.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700925 */
David Howellsb2a4df22013-09-24 10:35:18 +0100926key_ref_t find_key_to_update(key_ref_t keyring_ref,
927 const struct keyring_index_key *index_key)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700928{
David Howells664cceb2005-09-28 17:03:15 +0100929 struct key *keyring, *key;
David Howellsb2a4df22013-09-24 10:35:18 +0100930 const void *object;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700931
David Howells664cceb2005-09-28 17:03:15 +0100932 keyring = key_ref_to_ptr(keyring_ref);
David Howells664cceb2005-09-28 17:03:15 +0100933
David Howellsb2a4df22013-09-24 10:35:18 +0100934 kenter("{%d},{%s,%s}",
935 keyring->serial, index_key->type->name, index_key->description);
David Howells76d8aea2005-06-23 22:00:49 -0700936
David Howellsb2a4df22013-09-24 10:35:18 +0100937 object = assoc_array_find(&keyring->keys, &keyring_assoc_array_ops,
938 index_key);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700939
David Howellsb2a4df22013-09-24 10:35:18 +0100940 if (object)
941 goto found;
942
943 kleave(" = NULL");
944 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700945
Justin P. Mattockc5b60b52010-04-21 00:02:11 -0700946found:
David Howellsb2a4df22013-09-24 10:35:18 +0100947 key = keyring_ptr_to_key(object);
948 if (key->flags & ((1 << KEY_FLAG_INVALIDATED) |
949 (1 << KEY_FLAG_REVOKED))) {
950 kleave(" = NULL [x]");
951 return NULL;
952 }
David Howellsccc3e6d2013-09-24 10:35:16 +0100953 __key_get(key);
David Howellsb2a4df22013-09-24 10:35:18 +0100954 kleave(" = {%d}", key->serial);
955 return make_key_ref(key, is_key_possessed(keyring_ref));
David Howellsa8b17ed2011-01-20 16:38:27 +0000956}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700957
Linus Torvalds1da177e2005-04-16 15:20:36 -0700958/*
David Howells973c9f42011-01-20 16:38:33 +0000959 * Find a keyring with the specified name.
960 *
961 * All named keyrings in the current user namespace are searched, provided they
962 * grant Search permission directly to the caller (unless this check is
963 * skipped). Keyrings whose usage points have reached zero or who have been
964 * revoked are skipped.
965 *
966 * Returns a pointer to the keyring with the keyring's refcount having being
967 * incremented on success. -ENOKEY is returned if a key could not be found.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700968 */
David Howells69664cf2008-04-29 01:01:31 -0700969struct key *find_keyring_by_name(const char *name, bool skip_perm_check)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700970{
971 struct key *keyring;
972 int bucket;
973
Linus Torvalds1da177e2005-04-16 15:20:36 -0700974 if (!name)
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +0100975 return ERR_PTR(-EINVAL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976
977 bucket = keyring_hash(name);
978
979 read_lock(&keyring_name_lock);
980
981 if (keyring_name_hash[bucket].next) {
982 /* search this hash bucket for a keyring with a matching name
983 * that's readable and that hasn't been revoked */
984 list_for_each_entry(keyring,
985 &keyring_name_hash[bucket],
986 type_data.link
987 ) {
Eric W. Biederman9a56c2d2012-02-08 07:53:04 -0800988 if (!kuid_has_mapping(current_user_ns(), keyring->user->uid))
Serge E. Hallyn2ea190d2009-02-26 18:27:55 -0600989 continue;
990
David Howells76d8aea2005-06-23 22:00:49 -0700991 if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700992 continue;
993
994 if (strcmp(keyring->description, name) != 0)
995 continue;
996
David Howells69664cf2008-04-29 01:01:31 -0700997 if (!skip_perm_check &&
998 key_permission(make_key_ref(keyring, 0),
David Howellsf5895942014-03-14 17:44:49 +0000999 KEY_NEED_SEARCH) < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001000 continue;
1001
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001002 /* we've got a match but we might end up racing with
1003 * key_cleanup() if the keyring is currently 'dead'
1004 * (ie. it has a zero usage count) */
1005 if (!atomic_inc_not_zero(&keyring->usage))
1006 continue;
David Howells31d5a792012-05-11 10:56:56 +01001007 keyring->last_used_at = current_kernel_time().tv_sec;
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001008 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001009 }
1010 }
1011
Linus Torvalds1da177e2005-04-16 15:20:36 -07001012 keyring = ERR_PTR(-ENOKEY);
Toshiyuki Okajimacea7daa2010-04-30 14:32:13 +01001013out:
1014 read_unlock(&keyring_name_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001015 return keyring;
David Howellsa8b17ed2011-01-20 16:38:27 +00001016}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001017
David Howellsb2a4df22013-09-24 10:35:18 +01001018static int keyring_detect_cycle_iterator(const void *object,
1019 void *iterator_data)
1020{
1021 struct keyring_search_context *ctx = iterator_data;
1022 const struct key *key = keyring_ptr_to_key(object);
1023
1024 kenter("{%d}", key->serial);
1025
David Howells979e0d72014-03-09 08:21:58 +00001026 /* We might get a keyring with matching index-key that is nonetheless a
1027 * different keyring. */
David Howells46291952014-09-16 17:36:02 +01001028 if (key != ctx->match_data.raw_data)
David Howells979e0d72014-03-09 08:21:58 +00001029 return 0;
1030
David Howellsb2a4df22013-09-24 10:35:18 +01001031 ctx->result = ERR_PTR(-EDEADLK);
1032 return 1;
1033}
1034
Linus Torvalds1da177e2005-04-16 15:20:36 -07001035/*
David Howells973c9f42011-01-20 16:38:33 +00001036 * See if a cycle will will be created by inserting acyclic tree B in acyclic
1037 * tree A at the topmost level (ie: as a direct child of A).
1038 *
1039 * Since we are adding B to A at the top level, checking for cycles should just
1040 * be a matter of seeing if node A is somewhere in tree B.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001041 */
1042static int keyring_detect_cycle(struct key *A, struct key *B)
1043{
David Howellsb2a4df22013-09-24 10:35:18 +01001044 struct keyring_search_context ctx = {
David Howells46291952014-09-16 17:36:02 +01001045 .index_key = A->index_key,
1046 .match_data.raw_data = A,
1047 .match_data.lookup_type = KEYRING_SEARCH_LOOKUP_DIRECT,
1048 .iterator = keyring_detect_cycle_iterator,
1049 .flags = (KEYRING_SEARCH_NO_STATE_CHECK |
1050 KEYRING_SEARCH_NO_UPDATE_TIME |
1051 KEYRING_SEARCH_NO_CHECK_PERM |
1052 KEYRING_SEARCH_DETECT_TOO_DEEP),
David Howellsb2a4df22013-09-24 10:35:18 +01001053 };
Linus Torvalds1da177e2005-04-16 15:20:36 -07001054
David Howells76d8aea2005-06-23 22:00:49 -07001055 rcu_read_lock();
David Howellsb2a4df22013-09-24 10:35:18 +01001056 search_nested_keyrings(B, &ctx);
David Howells76d8aea2005-06-23 22:00:49 -07001057 rcu_read_unlock();
David Howellsb2a4df22013-09-24 10:35:18 +01001058 return PTR_ERR(ctx.result) == -EAGAIN ? 0 : PTR_ERR(ctx.result);
David Howellsf70e2e02010-04-30 14:32:39 +01001059}
David Howellscab8eb52006-01-08 01:02:45 -08001060
David Howellscab8eb52006-01-08 01:02:45 -08001061/*
David Howells973c9f42011-01-20 16:38:33 +00001062 * Preallocate memory so that a key can be linked into to a keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001063 */
David Howellsb2a4df22013-09-24 10:35:18 +01001064int __key_link_begin(struct key *keyring,
1065 const struct keyring_index_key *index_key,
1066 struct assoc_array_edit **_edit)
David Howellsf70e2e02010-04-30 14:32:39 +01001067 __acquires(&keyring->sem)
David Howells423b97882012-05-21 12:32:13 +01001068 __acquires(&keyring_serialise_link_sem)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001069{
David Howellsb2a4df22013-09-24 10:35:18 +01001070 struct assoc_array_edit *edit;
1071 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001072
David Howells16feef42013-09-24 10:35:15 +01001073 kenter("%d,%s,%s,",
David Howellsb2a4df22013-09-24 10:35:18 +01001074 keyring->serial, index_key->type->name, index_key->description);
1075
1076 BUG_ON(index_key->desc_len == 0);
David Howellsf70e2e02010-04-30 14:32:39 +01001077
1078 if (keyring->type != &key_type_keyring)
1079 return -ENOTDIR;
1080
1081 down_write(&keyring->sem);
1082
Linus Torvalds1da177e2005-04-16 15:20:36 -07001083 ret = -EKEYREVOKED;
David Howells76d8aea2005-06-23 22:00:49 -07001084 if (test_bit(KEY_FLAG_REVOKED, &keyring->flags))
David Howellsf70e2e02010-04-30 14:32:39 +01001085 goto error_krsem;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001086
David Howellsf70e2e02010-04-30 14:32:39 +01001087 /* serialise link/link calls to prevent parallel calls causing a cycle
1088 * when linking two keyring in opposite orders */
David Howells16feef42013-09-24 10:35:15 +01001089 if (index_key->type == &key_type_keyring)
David Howells553d6032010-04-30 14:32:28 +01001090 down_write(&keyring_serialise_link_sem);
1091
David Howellsb2a4df22013-09-24 10:35:18 +01001092 /* Create an edit script that will insert/replace the key in the
1093 * keyring tree.
1094 */
1095 edit = assoc_array_insert(&keyring->keys,
1096 &keyring_assoc_array_ops,
1097 index_key,
1098 NULL);
1099 if (IS_ERR(edit)) {
1100 ret = PTR_ERR(edit);
David Howells034faeb2013-10-30 11:15:24 +00001101 goto error_sem;
1102 }
1103
1104 /* If we're not replacing a link in-place then we're going to need some
1105 * extra quota.
1106 */
1107 if (!edit->dead_leaf) {
1108 ret = key_payload_reserve(keyring,
1109 keyring->datalen + KEYQUOTA_LINK_BYTES);
1110 if (ret < 0)
1111 goto error_cancel;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001112 }
1113
David Howellsb2a4df22013-09-24 10:35:18 +01001114 *_edit = edit;
David Howellsf70e2e02010-04-30 14:32:39 +01001115 kleave(" = 0");
1116 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001117
David Howells034faeb2013-10-30 11:15:24 +00001118error_cancel:
1119 assoc_array_cancel_edit(edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001120error_sem:
David Howells16feef42013-09-24 10:35:15 +01001121 if (index_key->type == &key_type_keyring)
David Howellsf70e2e02010-04-30 14:32:39 +01001122 up_write(&keyring_serialise_link_sem);
1123error_krsem:
1124 up_write(&keyring->sem);
1125 kleave(" = %d", ret);
1126 return ret;
1127}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001128
David Howellsf70e2e02010-04-30 14:32:39 +01001129/*
David Howells973c9f42011-01-20 16:38:33 +00001130 * Check already instantiated keys aren't going to be a problem.
1131 *
1132 * The caller must have called __key_link_begin(). Don't need to call this for
1133 * keys that were created since __key_link_begin() was called.
David Howellsf70e2e02010-04-30 14:32:39 +01001134 */
1135int __key_link_check_live_key(struct key *keyring, struct key *key)
1136{
1137 if (key->type == &key_type_keyring)
1138 /* check that we aren't going to create a cycle by linking one
1139 * keyring to another */
1140 return keyring_detect_cycle(keyring, key);
1141 return 0;
1142}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001143
David Howellsf70e2e02010-04-30 14:32:39 +01001144/*
David Howells973c9f42011-01-20 16:38:33 +00001145 * Link a key into to a keyring.
1146 *
1147 * Must be called with __key_link_begin() having being called. Discards any
1148 * already extant link to matching key if there is one, so that each keyring
1149 * holds at most one link to any given key of a particular type+description
1150 * combination.
David Howellsf70e2e02010-04-30 14:32:39 +01001151 */
David Howellsb2a4df22013-09-24 10:35:18 +01001152void __key_link(struct key *key, struct assoc_array_edit **_edit)
David Howellsf70e2e02010-04-30 14:32:39 +01001153{
David Howellsccc3e6d2013-09-24 10:35:16 +01001154 __key_get(key);
David Howellsb2a4df22013-09-24 10:35:18 +01001155 assoc_array_insert_set_object(*_edit, keyring_key_to_ptr(key));
1156 assoc_array_apply_edit(*_edit);
1157 *_edit = NULL;
David Howellsf70e2e02010-04-30 14:32:39 +01001158}
1159
1160/*
David Howells973c9f42011-01-20 16:38:33 +00001161 * Finish linking a key into to a keyring.
1162 *
1163 * Must be called with __key_link_begin() having being called.
David Howellsf70e2e02010-04-30 14:32:39 +01001164 */
David Howells16feef42013-09-24 10:35:15 +01001165void __key_link_end(struct key *keyring,
1166 const struct keyring_index_key *index_key,
David Howellsb2a4df22013-09-24 10:35:18 +01001167 struct assoc_array_edit *edit)
David Howellsf70e2e02010-04-30 14:32:39 +01001168 __releases(&keyring->sem)
David Howells423b97882012-05-21 12:32:13 +01001169 __releases(&keyring_serialise_link_sem)
David Howellsf70e2e02010-04-30 14:32:39 +01001170{
David Howells16feef42013-09-24 10:35:15 +01001171 BUG_ON(index_key->type == NULL);
David Howellsb2a4df22013-09-24 10:35:18 +01001172 kenter("%d,%s,", keyring->serial, index_key->type->name);
David Howellsf70e2e02010-04-30 14:32:39 +01001173
David Howells16feef42013-09-24 10:35:15 +01001174 if (index_key->type == &key_type_keyring)
David Howellsf70e2e02010-04-30 14:32:39 +01001175 up_write(&keyring_serialise_link_sem);
1176
David Howells034faeb2013-10-30 11:15:24 +00001177 if (edit && !edit->dead_leaf) {
David Howellsb2a4df22013-09-24 10:35:18 +01001178 key_payload_reserve(keyring,
1179 keyring->datalen - KEYQUOTA_LINK_BYTES);
1180 assoc_array_cancel_edit(edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001181 }
1182 up_write(&keyring->sem);
1183}
1184
David Howells973c9f42011-01-20 16:38:33 +00001185/**
1186 * key_link - Link a key to a keyring
1187 * @keyring: The keyring to make the link in.
1188 * @key: The key to link to.
1189 *
1190 * Make a link in a keyring to a key, such that the keyring holds a reference
1191 * on that key and the key can potentially be found by searching that keyring.
1192 *
1193 * This function will write-lock the keyring's semaphore and will consume some
1194 * of the user's key data quota to hold the link.
1195 *
1196 * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring,
1197 * -EKEYREVOKED if the keyring has been revoked, -ENFILE if the keyring is
1198 * full, -EDQUOT if there is insufficient key data quota remaining to add
1199 * another link or -ENOMEM if there's insufficient memory.
1200 *
1201 * It is assumed that the caller has checked that it is permitted for a link to
1202 * be made (the keyring should have Write permission and the key Link
1203 * permission).
Linus Torvalds1da177e2005-04-16 15:20:36 -07001204 */
1205int key_link(struct key *keyring, struct key *key)
1206{
David Howellsb2a4df22013-09-24 10:35:18 +01001207 struct assoc_array_edit *edit;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001208 int ret;
1209
David Howellsb2a4df22013-09-24 10:35:18 +01001210 kenter("{%d,%d}", keyring->serial, atomic_read(&keyring->usage));
1211
Linus Torvalds1da177e2005-04-16 15:20:36 -07001212 key_check(keyring);
1213 key_check(key);
1214
David Howells008643b2013-08-30 16:07:37 +01001215 if (test_bit(KEY_FLAG_TRUSTED_ONLY, &keyring->flags) &&
1216 !test_bit(KEY_FLAG_TRUSTED, &key->flags))
1217 return -EPERM;
1218
David Howellsb2a4df22013-09-24 10:35:18 +01001219 ret = __key_link_begin(keyring, &key->index_key, &edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001220 if (ret == 0) {
David Howellsb2a4df22013-09-24 10:35:18 +01001221 kdebug("begun {%d,%d}", keyring->serial, atomic_read(&keyring->usage));
David Howellsf70e2e02010-04-30 14:32:39 +01001222 ret = __key_link_check_live_key(keyring, key);
1223 if (ret == 0)
David Howellsb2a4df22013-09-24 10:35:18 +01001224 __key_link(key, &edit);
1225 __key_link_end(keyring, &key->index_key, edit);
David Howellsf70e2e02010-04-30 14:32:39 +01001226 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001227
David Howellsb2a4df22013-09-24 10:35:18 +01001228 kleave(" = %d {%d,%d}", ret, keyring->serial, atomic_read(&keyring->usage));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001229 return ret;
David Howellsf70e2e02010-04-30 14:32:39 +01001230}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001231EXPORT_SYMBOL(key_link);
1232
David Howells973c9f42011-01-20 16:38:33 +00001233/**
1234 * key_unlink - Unlink the first link to a key from a keyring.
1235 * @keyring: The keyring to remove the link from.
1236 * @key: The key the link is to.
1237 *
1238 * Remove a link from a keyring to a key.
1239 *
1240 * This function will write-lock the keyring's semaphore.
1241 *
1242 * Returns 0 if successful, -ENOTDIR if the keyring isn't a keyring, -ENOENT if
1243 * the key isn't linked to by the keyring or -ENOMEM if there's insufficient
1244 * memory.
1245 *
1246 * It is assumed that the caller has checked that it is permitted for a link to
1247 * be removed (the keyring should have Write permission; no permissions are
1248 * required on the key).
Linus Torvalds1da177e2005-04-16 15:20:36 -07001249 */
1250int key_unlink(struct key *keyring, struct key *key)
1251{
David Howellsb2a4df22013-09-24 10:35:18 +01001252 struct assoc_array_edit *edit;
1253 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001254
1255 key_check(keyring);
1256 key_check(key);
1257
Linus Torvalds1da177e2005-04-16 15:20:36 -07001258 if (keyring->type != &key_type_keyring)
David Howellsb2a4df22013-09-24 10:35:18 +01001259 return -ENOTDIR;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001260
1261 down_write(&keyring->sem);
1262
David Howellsb2a4df22013-09-24 10:35:18 +01001263 edit = assoc_array_delete(&keyring->keys, &keyring_assoc_array_ops,
1264 &key->index_key);
1265 if (IS_ERR(edit)) {
1266 ret = PTR_ERR(edit);
1267 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001268 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001269 ret = -ENOENT;
David Howellsb2a4df22013-09-24 10:35:18 +01001270 if (edit == NULL)
1271 goto error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001272
David Howellsb2a4df22013-09-24 10:35:18 +01001273 assoc_array_apply_edit(edit);
David Howells034faeb2013-10-30 11:15:24 +00001274 key_payload_reserve(keyring, keyring->datalen - KEYQUOTA_LINK_BYTES);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001275 ret = 0;
1276
David Howells76d8aea2005-06-23 22:00:49 -07001277error:
David Howells76d8aea2005-06-23 22:00:49 -07001278 up_write(&keyring->sem);
David Howellsb2a4df22013-09-24 10:35:18 +01001279 return ret;
David Howellsa8b17ed2011-01-20 16:38:27 +00001280}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001281EXPORT_SYMBOL(key_unlink);
1282
David Howells973c9f42011-01-20 16:38:33 +00001283/**
1284 * keyring_clear - Clear a keyring
1285 * @keyring: The keyring to clear.
1286 *
1287 * Clear the contents of the specified keyring.
1288 *
1289 * Returns 0 if successful or -ENOTDIR if the keyring isn't a keyring.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001290 */
1291int keyring_clear(struct key *keyring)
1292{
David Howellsb2a4df22013-09-24 10:35:18 +01001293 struct assoc_array_edit *edit;
David Howells76d8aea2005-06-23 22:00:49 -07001294 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001295
David Howellsb2a4df22013-09-24 10:35:18 +01001296 if (keyring->type != &key_type_keyring)
1297 return -ENOTDIR;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001298
David Howellsb2a4df22013-09-24 10:35:18 +01001299 down_write(&keyring->sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001300
David Howellsb2a4df22013-09-24 10:35:18 +01001301 edit = assoc_array_clear(&keyring->keys, &keyring_assoc_array_ops);
1302 if (IS_ERR(edit)) {
1303 ret = PTR_ERR(edit);
1304 } else {
1305 if (edit)
1306 assoc_array_apply_edit(edit);
1307 key_payload_reserve(keyring, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001308 ret = 0;
1309 }
1310
David Howellsb2a4df22013-09-24 10:35:18 +01001311 up_write(&keyring->sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001312 return ret;
David Howellsa8b17ed2011-01-20 16:38:27 +00001313}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001314EXPORT_SYMBOL(keyring_clear);
David Howells31204ed2006-06-26 00:24:51 -07001315
David Howells31204ed2006-06-26 00:24:51 -07001316/*
David Howells973c9f42011-01-20 16:38:33 +00001317 * Dispose of the links from a revoked keyring.
1318 *
1319 * This is called with the key sem write-locked.
David Howells31204ed2006-06-26 00:24:51 -07001320 */
1321static void keyring_revoke(struct key *keyring)
1322{
David Howellsb2a4df22013-09-24 10:35:18 +01001323 struct assoc_array_edit *edit;
David Howellsf0641cb2010-04-30 14:32:18 +01001324
David Howellsb2a4df22013-09-24 10:35:18 +01001325 edit = assoc_array_clear(&keyring->keys, &keyring_assoc_array_ops);
1326 if (!IS_ERR(edit)) {
1327 if (edit)
1328 assoc_array_apply_edit(edit);
1329 key_payload_reserve(keyring, 0);
David Howells31204ed2006-06-26 00:24:51 -07001330 }
David Howellsa8b17ed2011-01-20 16:38:27 +00001331}
David Howells5d135442009-09-02 09:14:00 +01001332
David Howells62fe3182013-11-14 13:02:31 +00001333static bool keyring_gc_select_iterator(void *object, void *iterator_data)
David Howellsb2a4df22013-09-24 10:35:18 +01001334{
1335 struct key *key = keyring_ptr_to_key(object);
1336 time_t *limit = iterator_data;
1337
1338 if (key_is_dead(key, *limit))
1339 return false;
1340 key_get(key);
1341 return true;
1342}
1343
David Howells62fe3182013-11-14 13:02:31 +00001344static int keyring_gc_check_iterator(const void *object, void *iterator_data)
1345{
1346 const struct key *key = keyring_ptr_to_key(object);
1347 time_t *limit = iterator_data;
1348
1349 key_check(key);
1350 return key_is_dead(key, *limit);
1351}
1352
David Howells5d135442009-09-02 09:14:00 +01001353/*
David Howells62fe3182013-11-14 13:02:31 +00001354 * Garbage collect pointers from a keyring.
David Howells973c9f42011-01-20 16:38:33 +00001355 *
David Howells62fe3182013-11-14 13:02:31 +00001356 * Not called with any locks held. The keyring's key struct will not be
1357 * deallocated under us as only our caller may deallocate it.
David Howells5d135442009-09-02 09:14:00 +01001358 */
1359void keyring_gc(struct key *keyring, time_t limit)
1360{
David Howells62fe3182013-11-14 13:02:31 +00001361 int result;
David Howells5d135442009-09-02 09:14:00 +01001362
David Howells62fe3182013-11-14 13:02:31 +00001363 kenter("%x{%s}", keyring->serial, keyring->description ?: "");
1364
1365 if (keyring->flags & ((1 << KEY_FLAG_INVALIDATED) |
1366 (1 << KEY_FLAG_REVOKED)))
1367 goto dont_gc;
1368
1369 /* scan the keyring looking for dead keys */
1370 rcu_read_lock();
1371 result = assoc_array_iterate(&keyring->keys,
1372 keyring_gc_check_iterator, &limit);
1373 rcu_read_unlock();
1374 if (result == true)
1375 goto do_gc;
1376
1377dont_gc:
1378 kleave(" [no gc]");
1379 return;
1380
1381do_gc:
David Howells5d135442009-09-02 09:14:00 +01001382 down_write(&keyring->sem);
David Howellsb2a4df22013-09-24 10:35:18 +01001383 assoc_array_gc(&keyring->keys, &keyring_assoc_array_ops,
David Howells62fe3182013-11-14 13:02:31 +00001384 keyring_gc_select_iterator, &limit);
David Howells5d135442009-09-02 09:14:00 +01001385 up_write(&keyring->sem);
David Howells62fe3182013-11-14 13:02:31 +00001386 kleave(" [gc]");
David Howells5d135442009-09-02 09:14:00 +01001387}