blob: 9e31f8491eaf8ff431086717cd47512b6f2ef32e [file] [log] [blame]
Paul Bakker6083fd22011-12-03 21:45:14 +00001/*
2 * Entropy accumulator implementation
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Paul Bakker6083fd22011-12-03 21:45:14 +000018 */
19
Gilles Peskinedb09ef62020-06-03 01:43:33 +020020#include "common.h"
Paul Bakker6083fd22011-12-03 21:45:14 +000021
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#if defined(MBEDTLS_ENTROPY_C)
Paul Bakker6083fd22011-12-03 21:45:14 +000023
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000024#include "mbedtls/entropy.h"
Chris Jonesea0a8652021-03-09 19:11:19 +000025#include "entropy_poll.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050026#include "mbedtls/platform_util.h"
Janos Follath24eed8d2019-11-22 13:21:35 +000027#include "mbedtls/error.h"
Paul Bakker6083fd22011-12-03 21:45:14 +000028
Rich Evans00ab4702015-02-06 13:43:58 +000029#include <string.h>
30
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031#if defined(MBEDTLS_FS_IO)
Paul Bakker66ff70d2014-03-26 11:54:05 +010032#include <stdio.h>
33#endif
34
Paul Bakker217efbc2016-07-14 14:30:03 +010035#if defined(MBEDTLS_ENTROPY_NV_SEED)
36#include "mbedtls/platform.h"
37#endif
38
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020039#if defined(MBEDTLS_SELF_TEST)
40#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000041#include "mbedtls/platform.h"
Rich Evans00ab4702015-02-06 13:43:58 +000042#else
43#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020044#define mbedtls_printf printf
45#endif /* MBEDTLS_PLATFORM_C */
46#endif /* MBEDTLS_SELF_TEST */
Rich Evans00ab4702015-02-06 13:43:58 +000047
Paul Bakker28c7e7f2011-12-15 19:49:30 +000048
Paul Bakker6083fd22011-12-03 21:45:14 +000049#define ENTROPY_MAX_LOOP 256 /**< Maximum amount to loop before error */
50
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020051void mbedtls_entropy_init( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +000052{
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010053 ctx->source_count = 0;
54 memset( ctx->source, 0, sizeof( ctx->source ) );
Paul Bakker6083fd22011-12-03 21:45:14 +000055
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020056#if defined(MBEDTLS_THREADING_C)
57 mbedtls_mutex_init( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020058#endif
59
Andres Amaya Garcia95869c42017-06-29 16:31:44 +010060 ctx->accumulator_started = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020061#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010062 mbedtls_sha512_init( &ctx->accumulator );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020063#else
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010064 mbedtls_sha256_init( &ctx->accumulator );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020065#endif
Paul Bakker6083fd22011-12-03 21:45:14 +000066
Hanno Beckerd4a872e2017-09-07 08:09:33 +010067 /* Reminder: Update ENTROPY_HAVE_STRONG in the test files
Hanno Becker47deec42017-07-24 12:27:09 +010068 * when adding more strong entropy sources here. */
Hanno Beckerc6deafc2017-07-23 14:06:42 +010069
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020070#if !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES)
71#if !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
72 mbedtls_entropy_add_source( ctx, mbedtls_platform_entropy_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020073 MBEDTLS_ENTROPY_MIN_PLATFORM,
74 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker6083fd22011-12-03 21:45:14 +000075#endif
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020076#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Manuel Pégourié-Gonnardfc2ccfe2015-07-10 11:15:50 +010077 mbedtls_entropy_add_source( ctx, mbedtls_hardware_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020078 MBEDTLS_ENTROPY_MIN_HARDWARE,
79 MBEDTLS_ENTROPY_SOURCE_STRONG );
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020080#endif
Paul Bakker9988d6b2016-06-01 11:29:42 +010081#if defined(MBEDTLS_ENTROPY_NV_SEED)
82 mbedtls_entropy_add_source( ctx, mbedtls_nv_seed_poll, NULL,
83 MBEDTLS_ENTROPY_BLOCK_SIZE,
84 MBEDTLS_ENTROPY_SOURCE_STRONG );
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010085 ctx->initial_entropy_run = 0;
Paul Bakker9988d6b2016-06-01 11:29:42 +010086#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087#endif /* MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES */
Paul Bakker6083fd22011-12-03 21:45:14 +000088}
89
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020090void mbedtls_entropy_free( mbedtls_entropy_context *ctx )
Paul Bakker1ffefac2013-09-28 15:23:03 +020091{
Gilles Peskineb1583212021-02-22 21:26:54 +010092 /* If the context was already free, don't call free() again.
93 * This is important for mutexes which don't allow double-free. */
94 if( ctx->accumulator_started == -1 )
95 return;
96
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020097#if defined(MBEDTLS_THREADING_C)
98 mbedtls_mutex_free( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020099#endif
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100100#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
101 mbedtls_sha512_free( &ctx->accumulator );
102#else
103 mbedtls_sha256_free( &ctx->accumulator );
104#endif
105#if defined(MBEDTLS_ENTROPY_NV_SEED)
106 ctx->initial_entropy_run = 0;
107#endif
108 ctx->source_count = 0;
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500109 mbedtls_platform_zeroize( ctx->source, sizeof( ctx->source ) );
Gilles Peskineb1583212021-02-22 21:26:54 +0100110 ctx->accumulator_started = -1;
Paul Bakker1ffefac2013-09-28 15:23:03 +0200111}
112
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200113int mbedtls_entropy_add_source( mbedtls_entropy_context *ctx,
114 mbedtls_entropy_f_source_ptr f_source, void *p_source,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200115 size_t threshold, int strong )
Paul Bakker6083fd22011-12-03 21:45:14 +0000116{
Hanno Becker61937d42017-04-26 15:01:23 +0100117 int idx, ret = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000118
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200119#if defined(MBEDTLS_THREADING_C)
120 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100121 return( ret );
122#endif
123
Hanno Becker61937d42017-04-26 15:01:23 +0100124 idx = ctx->source_count;
125 if( idx >= MBEDTLS_ENTROPY_MAX_SOURCES )
Paul Bakker47703a02014-02-06 15:01:20 +0100126 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200127 ret = MBEDTLS_ERR_ENTROPY_MAX_SOURCES;
Paul Bakker47703a02014-02-06 15:01:20 +0100128 goto exit;
129 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000130
Hanno Becker61937d42017-04-26 15:01:23 +0100131 ctx->source[idx].f_source = f_source;
132 ctx->source[idx].p_source = p_source;
133 ctx->source[idx].threshold = threshold;
134 ctx->source[idx].strong = strong;
Paul Bakker6083fd22011-12-03 21:45:14 +0000135
136 ctx->source_count++;
137
Paul Bakker47703a02014-02-06 15:01:20 +0100138exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200139#if defined(MBEDTLS_THREADING_C)
140 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
141 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100142#endif
143
144 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000145}
146
147/*
148 * Entropy accumulator update
149 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200150static int entropy_update( mbedtls_entropy_context *ctx, unsigned char source_id,
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200151 const unsigned char *data, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000152{
153 unsigned char header[2];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200154 unsigned char tmp[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000155 size_t use_len = len;
156 const unsigned char *p = data;
Jaeden Amero66954e12018-01-25 16:05:54 +0000157 int ret = 0;
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200158
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200159 if( use_len > MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker6083fd22011-12-03 21:45:14 +0000160 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200161#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
TRodziewicz26371e42021-06-08 16:45:41 +0200162 if( ( ret = mbedtls_sha512( data, len, tmp, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000163 goto cleanup;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200164#else
TRodziewicz26371e42021-06-08 16:45:41 +0200165 if( ( ret = mbedtls_sha256( data, len, tmp, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000166 goto cleanup;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200167#endif
Paul Bakker6083fd22011-12-03 21:45:14 +0000168 p = tmp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200169 use_len = MBEDTLS_ENTROPY_BLOCK_SIZE;
Paul Bakker6083fd22011-12-03 21:45:14 +0000170 }
171
172 header[0] = source_id;
173 header[1] = use_len & 0xFF;
174
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100175 /*
176 * Start the accumulator if this has not already happened. Note that
177 * it is sufficient to start the accumulator here only because all calls to
178 * gather entropy eventually execute this code.
179 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200180#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100181 if( ctx->accumulator_started == 0 &&
TRodziewicz26371e42021-06-08 16:45:41 +0200182 ( ret = mbedtls_sha512_starts( &ctx->accumulator, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000183 goto cleanup;
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100184 else
185 ctx->accumulator_started = 1;
TRodziewicz26371e42021-06-08 16:45:41 +0200186 if( ( ret = mbedtls_sha512_update( &ctx->accumulator, header, 2 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000187 goto cleanup;
TRodziewicz26371e42021-06-08 16:45:41 +0200188 ret = mbedtls_sha512_update( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200189#else
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100190 if( ctx->accumulator_started == 0 &&
TRodziewicz26371e42021-06-08 16:45:41 +0200191 ( ret = mbedtls_sha256_starts( &ctx->accumulator, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000192 goto cleanup;
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100193 else
194 ctx->accumulator_started = 1;
TRodziewicz26371e42021-06-08 16:45:41 +0200195 if( ( ret = mbedtls_sha256_update( &ctx->accumulator, header, 2 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000196 goto cleanup;
TRodziewicz26371e42021-06-08 16:45:41 +0200197 ret = mbedtls_sha256_update( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200198#endif
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200199
Jaeden Amero66954e12018-01-25 16:05:54 +0000200cleanup:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500201 mbedtls_platform_zeroize( tmp, sizeof( tmp ) );
Andres Amaya Garcia65121932017-07-05 15:45:47 +0100202
Jaeden Amero66954e12018-01-25 16:05:54 +0000203 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000204}
205
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200206int mbedtls_entropy_update_manual( mbedtls_entropy_context *ctx,
Paul Bakker6083fd22011-12-03 21:45:14 +0000207 const unsigned char *data, size_t len )
208{
Janos Follath24eed8d2019-11-22 13:21:35 +0000209 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100210
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211#if defined(MBEDTLS_THREADING_C)
212 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100213 return( ret );
214#endif
215
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216 ret = entropy_update( ctx, MBEDTLS_ENTROPY_SOURCE_MANUAL, data, len );
Paul Bakker47703a02014-02-06 15:01:20 +0100217
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200218#if defined(MBEDTLS_THREADING_C)
219 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
220 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100221#endif
222
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200223 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000224}
225
226/*
227 * Run through the different sources to add entropy to our accumulator
228 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200229static int entropy_gather_internal( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +0000230{
Gilles Peskine006c1b52019-09-30 17:29:54 +0200231 int ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
232 int i;
233 int have_one_strong = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234 unsigned char buf[MBEDTLS_ENTROPY_MAX_GATHER];
Paul Bakker6083fd22011-12-03 21:45:14 +0000235 size_t olen;
Paul Bakker47703a02014-02-06 15:01:20 +0100236
Paul Bakker43655f42011-12-15 20:11:16 +0000237 if( ctx->source_count == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200238 return( MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED );
Paul Bakker43655f42011-12-15 20:11:16 +0000239
Paul Bakker6083fd22011-12-03 21:45:14 +0000240 /*
241 * Run through our entropy sources
242 */
243 for( i = 0; i < ctx->source_count; i++ )
244 {
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200245 if( ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG )
246 have_one_strong = 1;
247
Paul Bakker6083fd22011-12-03 21:45:14 +0000248 olen = 0;
Paul Bakker66d5d072014-06-17 16:39:18 +0200249 if( ( ret = ctx->source[i].f_source( ctx->source[i].p_source,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200250 buf, MBEDTLS_ENTROPY_MAX_GATHER, &olen ) ) != 0 )
Paul Bakker6083fd22011-12-03 21:45:14 +0000251 {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100252 goto cleanup;
Paul Bakker6083fd22011-12-03 21:45:14 +0000253 }
254
255 /*
256 * Add if we actually gathered something
257 */
258 if( olen > 0 )
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000259 {
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100260 if( ( ret = entropy_update( ctx, (unsigned char) i,
261 buf, olen ) ) != 0 )
262 return( ret );
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000263 ctx->source[i].size += olen;
264 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000265 }
266
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200267 if( have_one_strong == 0 )
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100268 ret = MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE;
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200269
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100270cleanup:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500271 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100272
273 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000274}
275
Paul Bakker47703a02014-02-06 15:01:20 +0100276/*
277 * Thread-safe wrapper for entropy_gather_internal()
278 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200279int mbedtls_entropy_gather( mbedtls_entropy_context *ctx )
Paul Bakker47703a02014-02-06 15:01:20 +0100280{
Janos Follath24eed8d2019-11-22 13:21:35 +0000281 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100282
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200283#if defined(MBEDTLS_THREADING_C)
284 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerddd427a2014-04-09 14:47:58 +0200285 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100286#endif
287
Paul Bakkerddd427a2014-04-09 14:47:58 +0200288 ret = entropy_gather_internal( ctx );
Paul Bakker47703a02014-02-06 15:01:20 +0100289
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200290#if defined(MBEDTLS_THREADING_C)
291 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
292 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100293#endif
294
Paul Bakkerddd427a2014-04-09 14:47:58 +0200295 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100296}
297
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200298int mbedtls_entropy_func( void *data, unsigned char *output, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000299{
Gilles Peskine85485c72019-10-08 15:04:16 +0200300 int ret, count = 0, i, thresholds_reached;
301 size_t strong_size;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200302 mbedtls_entropy_context *ctx = (mbedtls_entropy_context *) data;
303 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000304
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200305 if( len > MBEDTLS_ENTROPY_BLOCK_SIZE )
306 return( MBEDTLS_ERR_ENTROPY_SOURCE_FAILED );
Paul Bakker6083fd22011-12-03 21:45:14 +0000307
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100308#if defined(MBEDTLS_ENTROPY_NV_SEED)
309 /* Update the NV entropy seed before generating any entropy for outside
310 * use.
311 */
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100312 if( ctx->initial_entropy_run == 0 )
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100313 {
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100314 ctx->initial_entropy_run = 1;
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100315 if( ( ret = mbedtls_entropy_update_nv_seed( ctx ) ) != 0 )
316 return( ret );
317 }
318#endif
319
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200320#if defined(MBEDTLS_THREADING_C)
321 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200322 return( ret );
323#endif
324
Paul Bakker6083fd22011-12-03 21:45:14 +0000325 /*
326 * Always gather extra entropy before a call
327 */
328 do
329 {
330 if( count++ > ENTROPY_MAX_LOOP )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200331 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200332 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200333 goto exit;
334 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000335
Paul Bakker47703a02014-02-06 15:01:20 +0100336 if( ( ret = entropy_gather_internal( ctx ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200337 goto exit;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000338
Gilles Peskine85485c72019-10-08 15:04:16 +0200339 thresholds_reached = 1;
340 strong_size = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000341 for( i = 0; i < ctx->source_count; i++ )
Gilles Peskine85485c72019-10-08 15:04:16 +0200342 {
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200343 if( ctx->source[i].size < ctx->source[i].threshold )
Gilles Peskine85485c72019-10-08 15:04:16 +0200344 thresholds_reached = 0;
345 if( ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG )
346 strong_size += ctx->source[i].size;
347 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000348 }
Gilles Peskine85485c72019-10-08 15:04:16 +0200349 while( ! thresholds_reached || strong_size < MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000350
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200351 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000352
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200353#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garciab2b063f2017-07-20 16:45:24 +0100354 /*
355 * Note that at this stage it is assumed that the accumulator was started
356 * in a previous call to entropy_update(). If this is not guaranteed, the
357 * code below will fail.
358 */
TRodziewicz26371e42021-06-08 16:45:41 +0200359 if( ( ret = mbedtls_sha512_finish( &ctx->accumulator, buf ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100360 goto exit;
Paul Bakker9e36f042013-06-30 14:34:05 +0200361
Paul Bakker6083fd22011-12-03 21:45:14 +0000362 /*
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000363 * Reset accumulator and counters and recycle existing entropy
Paul Bakker6083fd22011-12-03 21:45:14 +0000364 */
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100365 mbedtls_sha512_free( &ctx->accumulator );
366 mbedtls_sha512_init( &ctx->accumulator );
TRodziewicz26371e42021-06-08 16:45:41 +0200367 if( ( ret = mbedtls_sha512_starts( &ctx->accumulator, 0 ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100368 goto exit;
TRodziewicz26371e42021-06-08 16:45:41 +0200369 if( ( ret = mbedtls_sha512_update( &ctx->accumulator, buf,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100370 MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
371 goto exit;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200372
373 /*
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100374 * Perform second SHA-512 on entropy
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200375 */
TRodziewicz26371e42021-06-08 16:45:41 +0200376 if( ( ret = mbedtls_sha512( buf, MBEDTLS_ENTROPY_BLOCK_SIZE,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100377 buf, 0 ) ) != 0 )
378 goto exit;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200379#else /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
TRodziewicz26371e42021-06-08 16:45:41 +0200380 if( ( ret = mbedtls_sha256_finish( &ctx->accumulator, buf ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100381 goto exit;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200382
383 /*
384 * Reset accumulator and counters and recycle existing entropy
385 */
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100386 mbedtls_sha256_free( &ctx->accumulator );
387 mbedtls_sha256_init( &ctx->accumulator );
TRodziewicz26371e42021-06-08 16:45:41 +0200388 if( ( ret = mbedtls_sha256_starts( &ctx->accumulator, 0 ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100389 goto exit;
TRodziewicz26371e42021-06-08 16:45:41 +0200390 if( ( ret = mbedtls_sha256_update( &ctx->accumulator, buf,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100391 MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
392 goto exit;
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100393
394 /*
395 * Perform second SHA-256 on entropy
396 */
TRodziewicz26371e42021-06-08 16:45:41 +0200397 if( ( ret = mbedtls_sha256( buf, MBEDTLS_ENTROPY_BLOCK_SIZE,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100398 buf, 0 ) ) != 0 )
399 goto exit;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200400#endif /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000401
402 for( i = 0; i < ctx->source_count; i++ )
403 ctx->source[i].size = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000404
405 memcpy( output, buf, len );
406
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200407 ret = 0;
408
409exit:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500410 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100411
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412#if defined(MBEDTLS_THREADING_C)
413 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
414 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200415#endif
416
417 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000418}
419
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100420#if defined(MBEDTLS_ENTROPY_NV_SEED)
421int mbedtls_entropy_update_nv_seed( mbedtls_entropy_context *ctx )
422{
423 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Andres Amaya Garciaaf0b31d2017-07-05 14:23:54 +0100424 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100425
426 /* Read new seed and write it to NV */
427 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
428 return( ret );
429
430 if( mbedtls_nv_seed_write( buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) < 0 )
431 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
432
433 /* Manually update the remaining stream with a separator value to diverge */
434 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100435 ret = mbedtls_entropy_update_manual( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100436
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100437 return( ret );
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100438}
439#endif /* MBEDTLS_ENTROPY_NV_SEED */
440
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200441#if defined(MBEDTLS_FS_IO)
442int mbedtls_entropy_write_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100443{
Victor Krasnoshchoka0c2d192020-09-03 00:07:05 +0300444 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300445 FILE *f = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200446 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100447
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200448 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100449 {
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300450 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100451 goto exit;
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300452 }
453
454 if( ( f = fopen( path, "wb" ) ) == NULL )
455 {
456 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
457 goto exit;
458 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100459
460 if( fwrite( buf, 1, MBEDTLS_ENTROPY_BLOCK_SIZE, f ) != MBEDTLS_ENTROPY_BLOCK_SIZE )
461 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200462 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100463 goto exit;
464 }
465
466 ret = 0;
467
468exit:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500469 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100470
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300471 if( f != NULL )
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300472 fclose( f );
473
Paul Bakker66ff70d2014-03-26 11:54:05 +0100474 return( ret );
475}
476
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200477int mbedtls_entropy_update_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100478{
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100479 int ret = 0;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100480 FILE *f;
481 size_t n;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200482 unsigned char buf[ MBEDTLS_ENTROPY_MAX_SEED_SIZE ];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100483
484 if( ( f = fopen( path, "rb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200485 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100486
487 fseek( f, 0, SEEK_END );
488 n = (size_t) ftell( f );
489 fseek( f, 0, SEEK_SET );
490
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200491 if( n > MBEDTLS_ENTROPY_MAX_SEED_SIZE )
492 n = MBEDTLS_ENTROPY_MAX_SEED_SIZE;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100493
494 if( fread( buf, 1, n, f ) != n )
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100495 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
496 else
497 ret = mbedtls_entropy_update_manual( ctx, buf, n );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100498
499 fclose( f );
500
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500501 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100502
503 if( ret != 0 )
504 return( ret );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100505
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200506 return( mbedtls_entropy_write_seed_file( ctx, path ) );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100507}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200508#endif /* MBEDTLS_FS_IO */
Paul Bakker66ff70d2014-03-26 11:54:05 +0100509
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200510#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200511/*
512 * Dummy source function
513 */
514static int entropy_dummy_source( void *data, unsigned char *output,
515 size_t len, size_t *olen )
516{
517 ((void) data);
518
519 memset( output, 0x2a, len );
520 *olen = len;
521
522 return( 0 );
523}
524
Andres AGe7723ec2016-08-25 10:18:50 +0100525#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Andres AGb34e42e2016-08-22 11:08:50 +0100526
Andres AGe7723ec2016-08-25 10:18:50 +0100527static int mbedtls_entropy_source_self_test_gather( unsigned char *buf, size_t buf_len )
528{
529 int ret = 0;
530 size_t entropy_len = 0;
531 size_t olen = 0;
532 size_t attempts = buf_len;
533
534 while( attempts > 0 && entropy_len < buf_len )
535 {
536 if( ( ret = mbedtls_hardware_poll( NULL, buf + entropy_len,
537 buf_len - entropy_len, &olen ) ) != 0 )
538 return( ret );
539
540 entropy_len += olen;
541 attempts--;
542 }
543
544 if( entropy_len < buf_len )
545 {
546 ret = 1;
547 }
548
549 return( ret );
550}
551
552
553static int mbedtls_entropy_source_self_test_check_bits( const unsigned char *buf,
554 size_t buf_len )
555{
556 unsigned char set= 0xFF;
557 unsigned char unset = 0x00;
558 size_t i;
559
560 for( i = 0; i < buf_len; i++ )
561 {
562 set &= buf[i];
563 unset |= buf[i];
564 }
565
566 return( set == 0xFF || unset == 0x00 );
567}
Andres AGb34e42e2016-08-22 11:08:50 +0100568
569/*
Andres AGe7723ec2016-08-25 10:18:50 +0100570 * A test to ensure hat the entropy sources are functioning correctly
571 * and there is no obvious failure. The test performs the following checks:
Andres AGb34e42e2016-08-22 11:08:50 +0100572 * - The entropy source is not providing only 0s (all bits unset) or 1s (all
573 * bits set).
574 * - The entropy source is not providing values in a pattern. Because the
Andres AGe7723ec2016-08-25 10:18:50 +0100575 * hardware could be providing data in an arbitrary length, this check polls
576 * the hardware entropy source twice and compares the result to ensure they
577 * are not equal.
Andres AGb34e42e2016-08-22 11:08:50 +0100578 * - The error code returned by the entropy source is not an error.
579 */
Andres AGe7723ec2016-08-25 10:18:50 +0100580int mbedtls_entropy_source_self_test( int verbose )
Andres AGb34e42e2016-08-22 11:08:50 +0100581{
582 int ret = 0;
Andres AGe7723ec2016-08-25 10:18:50 +0100583 unsigned char buf0[2 * sizeof( unsigned long long int )];
584 unsigned char buf1[2 * sizeof( unsigned long long int )];
Andres AGb34e42e2016-08-22 11:08:50 +0100585
586 if( verbose != 0 )
587 mbedtls_printf( " ENTROPY_BIAS test: " );
588
Andres AGe7723ec2016-08-25 10:18:50 +0100589 memset( buf0, 0x00, sizeof( buf0 ) );
590 memset( buf1, 0x00, sizeof( buf1 ) );
Andres AGb34e42e2016-08-22 11:08:50 +0100591
Andres AGe7723ec2016-08-25 10:18:50 +0100592 if( ( ret = mbedtls_entropy_source_self_test_gather( buf0, sizeof( buf0 ) ) ) != 0 )
Andres AGb34e42e2016-08-22 11:08:50 +0100593 goto cleanup;
Andres AGe7723ec2016-08-25 10:18:50 +0100594 if( ( ret = mbedtls_entropy_source_self_test_gather( buf1, sizeof( buf1 ) ) ) != 0 )
595 goto cleanup;
596
597 /* Make sure that the returned values are not all 0 or 1 */
598 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf0, sizeof( buf0 ) ) ) != 0 )
599 goto cleanup;
600 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf1, sizeof( buf1 ) ) ) != 0 )
601 goto cleanup;
Andres AGb34e42e2016-08-22 11:08:50 +0100602
603 /* Make sure that the entropy source is not returning values in a
604 * pattern */
Andres AGe7723ec2016-08-25 10:18:50 +0100605 ret = memcmp( buf0, buf1, sizeof( buf0 ) ) == 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100606
607cleanup:
Andres AGb34e42e2016-08-22 11:08:50 +0100608 if( verbose != 0 )
609 {
610 if( ret != 0 )
611 mbedtls_printf( "failed\n" );
612 else
613 mbedtls_printf( "passed\n" );
614
615 mbedtls_printf( "\n" );
616 }
617
618 return( ret != 0 );
619}
Andres AGe7723ec2016-08-25 10:18:50 +0100620
621#endif /* MBEDTLS_ENTROPY_HARDWARE_ALT */
Andres AGb34e42e2016-08-22 11:08:50 +0100622
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200623/*
624 * The actual entropy quality is hard to test, but we can at least
625 * test that the functions don't cause errors and write the correct
626 * amount of data to buffers.
627 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200628int mbedtls_entropy_self_test( int verbose )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200629{
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100630 int ret = 1;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200631 mbedtls_entropy_context ctx;
632 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
633 unsigned char acc[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200634 size_t i, j;
635
636 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200637 mbedtls_printf( " ENTROPY test: " );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200638
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200639 mbedtls_entropy_init( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200640
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200641 /* First do a gather to make sure we have default sources */
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200642 if( ( ret = mbedtls_entropy_gather( &ctx ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200643 goto cleanup;
644
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200645 ret = mbedtls_entropy_add_source( &ctx, entropy_dummy_source, NULL, 16,
646 MBEDTLS_ENTROPY_SOURCE_WEAK );
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200647 if( ret != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200648 goto cleanup;
649
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200650 if( ( ret = mbedtls_entropy_update_manual( &ctx, buf, sizeof buf ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200651 goto cleanup;
652
653 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200654 * To test that mbedtls_entropy_func writes correct number of bytes:
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200655 * - use the whole buffer and rely on ASan to detect overruns
656 * - collect entropy 8 times and OR the result in an accumulator:
657 * any byte should then be 0 with probably 2^(-64), so requiring
658 * each of the 32 or 64 bytes to be non-zero has a false failure rate
659 * of at most 2^(-58) which is acceptable.
660 */
661 for( i = 0; i < 8; i++ )
662 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200663 if( ( ret = mbedtls_entropy_func( &ctx, buf, sizeof( buf ) ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200664 goto cleanup;
665
666 for( j = 0; j < sizeof( buf ); j++ )
667 acc[j] |= buf[j];
668 }
669
670 for( j = 0; j < sizeof( buf ); j++ )
671 {
672 if( acc[j] == 0 )
673 {
674 ret = 1;
675 goto cleanup;
676 }
677 }
678
Andres AGe7723ec2016-08-25 10:18:50 +0100679#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
680 if( ( ret = mbedtls_entropy_source_self_test( 0 ) ) != 0 )
681 goto cleanup;
682#endif
683
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200684cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200685 mbedtls_entropy_free( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200686
687 if( verbose != 0 )
688 {
689 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200690 mbedtls_printf( "failed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200691 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200692 mbedtls_printf( "passed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200693
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200694 mbedtls_printf( "\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200695 }
696
697 return( ret != 0 );
698}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200699#endif /* MBEDTLS_SELF_TEST */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200700
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200701#endif /* MBEDTLS_ENTROPY_C */