xref: /openssl/crypto/rand/rand_pool.c (revision 0a8faac3)
1 /*
2  * Copyright 1995-2021 The OpenSSL Project Authors. All Rights Reserved.
3  *
4  * Licensed under the Apache License 2.0 (the "License").  You may not use
5  * this file except in compliance with the License.  You can obtain a copy
6  * in the file LICENSE in the source distribution or at
7  * https://www.openssl.org/source/license.html
8  */
9 
10 #include <stdio.h>
11 #include <time.h>
12 #include "internal/cryptlib.h"
13 #include <openssl/opensslconf.h>
14 #include "crypto/rand.h"
15 #include <openssl/engine.h>
16 #include "internal/thread_once.h"
17 #include "crypto/rand_pool.h"
18 
19 /*
20  * Allocate memory and initialize a new random pool
21  */
ossl_rand_pool_new(int entropy_requested,int secure,size_t min_len,size_t max_len)22 RAND_POOL *ossl_rand_pool_new(int entropy_requested, int secure,
23                               size_t min_len, size_t max_len)
24 {
25     RAND_POOL *pool = OPENSSL_zalloc(sizeof(*pool));
26     size_t min_alloc_size = RAND_POOL_MIN_ALLOCATION(secure);
27 
28     if (pool == NULL)
29         return NULL;
30 
31     pool->min_len = min_len;
32     pool->max_len = (max_len > RAND_POOL_MAX_LENGTH) ?
33         RAND_POOL_MAX_LENGTH : max_len;
34     pool->alloc_len = min_len < min_alloc_size ? min_alloc_size : min_len;
35     if (pool->alloc_len > pool->max_len)
36         pool->alloc_len = pool->max_len;
37 
38     if (secure)
39         pool->buffer = OPENSSL_secure_zalloc(pool->alloc_len);
40     else
41         pool->buffer = OPENSSL_zalloc(pool->alloc_len);
42 
43     if (pool->buffer == NULL)
44         goto err;
45 
46     pool->entropy_requested = entropy_requested;
47     pool->secure = secure;
48     return pool;
49 
50 err:
51     OPENSSL_free(pool);
52     return NULL;
53 }
54 
55 /*
56  * Attach new random pool to the given buffer
57  *
58  * This function is intended to be used only for feeding random data
59  * provided by RAND_add() and RAND_seed() into the <master> DRBG.
60  */
ossl_rand_pool_attach(const unsigned char * buffer,size_t len,size_t entropy)61 RAND_POOL *ossl_rand_pool_attach(const unsigned char *buffer, size_t len,
62                                  size_t entropy)
63 {
64     RAND_POOL *pool = OPENSSL_zalloc(sizeof(*pool));
65 
66     if (pool == NULL)
67         return NULL;
68 
69     /*
70      * The const needs to be cast away, but attached buffers will not be
71      * modified (in contrary to allocated buffers which are zeroed and
72      * freed in the end).
73      */
74     pool->buffer = (unsigned char *) buffer;
75     pool->len = len;
76 
77     pool->attached = 1;
78 
79     pool->min_len = pool->max_len = pool->alloc_len = pool->len;
80     pool->entropy = entropy;
81 
82     return pool;
83 }
84 
85 /*
86  * Free |pool|, securely erasing its buffer.
87  */
ossl_rand_pool_free(RAND_POOL * pool)88 void ossl_rand_pool_free(RAND_POOL *pool)
89 {
90     if (pool == NULL)
91         return;
92 
93     /*
94      * Although it would be advisable from a cryptographical viewpoint,
95      * we are not allowed to clear attached buffers, since they are passed
96      * to ossl_rand_pool_attach() as `const unsigned char*`.
97      * (see corresponding comment in ossl_rand_pool_attach()).
98      */
99     if (!pool->attached) {
100         if (pool->secure)
101             OPENSSL_secure_clear_free(pool->buffer, pool->alloc_len);
102         else
103             OPENSSL_clear_free(pool->buffer, pool->alloc_len);
104     }
105 
106     OPENSSL_free(pool);
107 }
108 
109 /*
110  * Return the |pool|'s buffer to the caller (readonly).
111  */
ossl_rand_pool_buffer(RAND_POOL * pool)112 const unsigned char *ossl_rand_pool_buffer(RAND_POOL *pool)
113 {
114     return pool->buffer;
115 }
116 
117 /*
118  * Return the |pool|'s entropy to the caller.
119  */
ossl_rand_pool_entropy(RAND_POOL * pool)120 size_t ossl_rand_pool_entropy(RAND_POOL *pool)
121 {
122     return pool->entropy;
123 }
124 
125 /*
126  * Return the |pool|'s buffer length to the caller.
127  */
ossl_rand_pool_length(RAND_POOL * pool)128 size_t ossl_rand_pool_length(RAND_POOL *pool)
129 {
130     return pool->len;
131 }
132 
133 /*
134  * Detach the |pool| buffer and return it to the caller.
135  * It's the responsibility of the caller to free the buffer
136  * using OPENSSL_secure_clear_free() or to re-attach it
137  * again to the pool using ossl_rand_pool_reattach().
138  */
ossl_rand_pool_detach(RAND_POOL * pool)139 unsigned char *ossl_rand_pool_detach(RAND_POOL *pool)
140 {
141     unsigned char *ret = pool->buffer;
142     pool->buffer = NULL;
143     pool->entropy = 0;
144     return ret;
145 }
146 
147 /*
148  * Re-attach the |pool| buffer. It is only allowed to pass
149  * the |buffer| which was previously detached from the same pool.
150  */
ossl_rand_pool_reattach(RAND_POOL * pool,unsigned char * buffer)151 void ossl_rand_pool_reattach(RAND_POOL *pool, unsigned char *buffer)
152 {
153     pool->buffer = buffer;
154     OPENSSL_cleanse(pool->buffer, pool->len);
155     pool->len = 0;
156 }
157 
158 /*
159  * If |entropy_factor| bits contain 1 bit of entropy, how many bytes does one
160  * need to obtain at least |bits| bits of entropy?
161  */
162 #define ENTROPY_TO_BYTES(bits, entropy_factor) \
163     (((bits) * (entropy_factor) + 7) / 8)
164 
165 
166 /*
167  * Checks whether the |pool|'s entropy is available to the caller.
168  * This is the case when entropy count and buffer length are high enough.
169  * Returns
170  *
171  *  |entropy|  if the entropy count and buffer size is large enough
172  *      0      otherwise
173  */
ossl_rand_pool_entropy_available(RAND_POOL * pool)174 size_t ossl_rand_pool_entropy_available(RAND_POOL *pool)
175 {
176     if (pool->entropy < pool->entropy_requested)
177         return 0;
178 
179     if (pool->len < pool->min_len)
180         return 0;
181 
182     return pool->entropy;
183 }
184 
185 /*
186  * Returns the (remaining) amount of entropy needed to fill
187  * the random pool.
188  */
189 
ossl_rand_pool_entropy_needed(RAND_POOL * pool)190 size_t ossl_rand_pool_entropy_needed(RAND_POOL *pool)
191 {
192     if (pool->entropy < pool->entropy_requested)
193         return pool->entropy_requested - pool->entropy;
194 
195     return 0;
196 }
197 
198 /* Increase the allocation size -- not usable for an attached pool */
rand_pool_grow(RAND_POOL * pool,size_t len)199 static int rand_pool_grow(RAND_POOL *pool, size_t len)
200 {
201     if (len > pool->alloc_len - pool->len) {
202         unsigned char *p;
203         const size_t limit = pool->max_len / 2;
204         size_t newlen = pool->alloc_len;
205 
206         if (pool->attached || len > pool->max_len - pool->len) {
207             ERR_raise(ERR_LIB_RAND, ERR_R_INTERNAL_ERROR);
208             return 0;
209         }
210 
211         do
212             newlen = newlen < limit ? newlen * 2 : pool->max_len;
213         while (len > newlen - pool->len);
214 
215         if (pool->secure)
216             p = OPENSSL_secure_zalloc(newlen);
217         else
218             p = OPENSSL_zalloc(newlen);
219         if (p == NULL)
220             return 0;
221         memcpy(p, pool->buffer, pool->len);
222         if (pool->secure)
223             OPENSSL_secure_clear_free(pool->buffer, pool->alloc_len);
224         else
225             OPENSSL_clear_free(pool->buffer, pool->alloc_len);
226         pool->buffer = p;
227         pool->alloc_len = newlen;
228     }
229     return 1;
230 }
231 
232 /*
233  * Returns the number of bytes needed to fill the pool, assuming
234  * the input has 1 / |entropy_factor| entropy bits per data bit.
235  * In case of an error, 0 is returned.
236  */
237 
ossl_rand_pool_bytes_needed(RAND_POOL * pool,unsigned int entropy_factor)238 size_t ossl_rand_pool_bytes_needed(RAND_POOL *pool, unsigned int entropy_factor)
239 {
240     size_t bytes_needed;
241     size_t entropy_needed = ossl_rand_pool_entropy_needed(pool);
242 
243     if (entropy_factor < 1) {
244         ERR_raise(ERR_LIB_RAND, RAND_R_ARGUMENT_OUT_OF_RANGE);
245         return 0;
246     }
247 
248     bytes_needed = ENTROPY_TO_BYTES(entropy_needed, entropy_factor);
249 
250     if (bytes_needed > pool->max_len - pool->len) {
251         /* not enough space left */
252         ERR_raise_data(ERR_LIB_RAND, RAND_R_RANDOM_POOL_OVERFLOW,
253                        "entropy_factor=%u, entropy_needed=%zu, bytes_needed=%zu,"
254                        "pool->max_len=%zu, pool->len=%zu",
255                        entropy_factor, entropy_needed, bytes_needed,
256                        pool->max_len, pool->len);
257         return 0;
258     }
259 
260     if (pool->len < pool->min_len &&
261         bytes_needed < pool->min_len - pool->len)
262         /* to meet the min_len requirement */
263         bytes_needed = pool->min_len - pool->len;
264 
265     /*
266      * Make sure the buffer is large enough for the requested amount
267      * of data. This guarantees that existing code patterns where
268      * ossl_rand_pool_add_begin, ossl_rand_pool_add_end or ossl_rand_pool_add
269      * are used to collect entropy data without any error handling
270      * whatsoever, continue to be valid.
271      * Furthermore if the allocation here fails once, make sure that
272      * we don't fall back to a less secure or even blocking random source,
273      * as that could happen by the existing code patterns.
274      * This is not a concern for additional data, therefore that
275      * is not needed if rand_pool_grow fails in other places.
276      */
277     if (!rand_pool_grow(pool, bytes_needed)) {
278         /* persistent error for this pool */
279         pool->max_len = pool->len = 0;
280         return 0;
281     }
282 
283     return bytes_needed;
284 }
285 
286 /* Returns the remaining number of bytes available */
ossl_rand_pool_bytes_remaining(RAND_POOL * pool)287 size_t ossl_rand_pool_bytes_remaining(RAND_POOL *pool)
288 {
289     return pool->max_len - pool->len;
290 }
291 
292 /*
293  * Add random bytes to the random pool.
294  *
295  * It is expected that the |buffer| contains |len| bytes of
296  * random input which contains at least |entropy| bits of
297  * randomness.
298  *
299  * Returns 1 if the added amount is adequate, otherwise 0
300  */
ossl_rand_pool_add(RAND_POOL * pool,const unsigned char * buffer,size_t len,size_t entropy)301 int ossl_rand_pool_add(RAND_POOL *pool,
302                   const unsigned char *buffer, size_t len, size_t entropy)
303 {
304     if (len > pool->max_len - pool->len) {
305         ERR_raise(ERR_LIB_RAND, RAND_R_ENTROPY_INPUT_TOO_LONG);
306         return 0;
307     }
308 
309     if (pool->buffer == NULL) {
310         ERR_raise(ERR_LIB_RAND, ERR_R_INTERNAL_ERROR);
311         return 0;
312     }
313 
314     if (len > 0) {
315         /*
316          * This is to protect us from accidentally passing the buffer
317          * returned from ossl_rand_pool_add_begin.
318          * The check for alloc_len makes sure we do not compare the
319          * address of the end of the allocated memory to something
320          * different, since that comparison would have an
321          * indeterminate result.
322          */
323         if (pool->alloc_len > pool->len && pool->buffer + pool->len == buffer) {
324             ERR_raise(ERR_LIB_RAND, ERR_R_INTERNAL_ERROR);
325             return 0;
326         }
327         /*
328          * We have that only for cases when a pool is used to collect
329          * additional data.
330          * For entropy data, as long as the allocation request stays within
331          * the limits given by ossl_rand_pool_bytes_needed this rand_pool_grow
332          * below is guaranteed to succeed, thus no allocation happens.
333          */
334         if (!rand_pool_grow(pool, len))
335             return 0;
336         memcpy(pool->buffer + pool->len, buffer, len);
337         pool->len += len;
338         pool->entropy += entropy;
339     }
340 
341     return 1;
342 }
343 
344 /*
345  * Start to add random bytes to the random pool in-place.
346  *
347  * Reserves the next |len| bytes for adding random bytes in-place
348  * and returns a pointer to the buffer.
349  * The caller is allowed to copy up to |len| bytes into the buffer.
350  * If |len| == 0 this is considered a no-op and a NULL pointer
351  * is returned without producing an error message.
352  *
353  * After updating the buffer, ossl_rand_pool_add_end() needs to be called
354  * to finish the update operation (see next comment).
355  */
ossl_rand_pool_add_begin(RAND_POOL * pool,size_t len)356 unsigned char *ossl_rand_pool_add_begin(RAND_POOL *pool, size_t len)
357 {
358     if (len == 0)
359         return NULL;
360 
361     if (len > pool->max_len - pool->len) {
362         ERR_raise(ERR_LIB_RAND, RAND_R_RANDOM_POOL_OVERFLOW);
363         return NULL;
364     }
365 
366     if (pool->buffer == NULL) {
367         ERR_raise(ERR_LIB_RAND, ERR_R_INTERNAL_ERROR);
368         return NULL;
369     }
370 
371     /*
372      * As long as the allocation request stays within the limits given
373      * by ossl_rand_pool_bytes_needed this rand_pool_grow below is guaranteed
374      * to succeed, thus no allocation happens.
375      * We have that only for cases when a pool is used to collect
376      * additional data. Then the buffer might need to grow here,
377      * and of course the caller is responsible to check the return
378      * value of this function.
379      */
380     if (!rand_pool_grow(pool, len))
381         return NULL;
382 
383     return pool->buffer + pool->len;
384 }
385 
386 /*
387  * Finish to add random bytes to the random pool in-place.
388  *
389  * Finishes an in-place update of the random pool started by
390  * ossl_rand_pool_add_begin() (see previous comment).
391  * It is expected that |len| bytes of random input have been added
392  * to the buffer which contain at least |entropy| bits of randomness.
393  * It is allowed to add less bytes than originally reserved.
394  */
ossl_rand_pool_add_end(RAND_POOL * pool,size_t len,size_t entropy)395 int ossl_rand_pool_add_end(RAND_POOL *pool, size_t len, size_t entropy)
396 {
397     if (len > pool->alloc_len - pool->len) {
398         ERR_raise(ERR_LIB_RAND, RAND_R_RANDOM_POOL_OVERFLOW);
399         return 0;
400     }
401 
402     if (len > 0) {
403         pool->len += len;
404         pool->entropy += entropy;
405     }
406 
407     return 1;
408 }
409