blob: 545fd9db8c60b207c5c17ccef28438c8b8d0e91e [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#include "mbedtls/platform.h"
Paul Bakker217efbc2016-07-14 14:30:03 +010036
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000037#include "mbedtls/platform.h"
Rich Evans00ab4702015-02-06 13:43:58 +000038
Paul Bakker28c7e7f2011-12-15 19:49:30 +000039
Paul Bakker6083fd22011-12-03 21:45:14 +000040#define ENTROPY_MAX_LOOP 256 /**< Maximum amount to loop before error */
41
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042void mbedtls_entropy_init( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +000043{
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010044 ctx->source_count = 0;
45 memset( ctx->source, 0, sizeof( ctx->source ) );
Paul Bakker6083fd22011-12-03 21:45:14 +000046
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020047#if defined(MBEDTLS_THREADING_C)
48 mbedtls_mutex_init( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020049#endif
50
Andres Amaya Garcia95869c42017-06-29 16:31:44 +010051 ctx->accumulator_started = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010053 mbedtls_sha512_init( &ctx->accumulator );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020054#else
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010055 mbedtls_sha256_init( &ctx->accumulator );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020056#endif
Paul Bakker6083fd22011-12-03 21:45:14 +000057
Hanno Beckerd4a872e2017-09-07 08:09:33 +010058 /* Reminder: Update ENTROPY_HAVE_STRONG in the test files
Hanno Becker47deec42017-07-24 12:27:09 +010059 * when adding more strong entropy sources here. */
Hanno Beckerc6deafc2017-07-23 14:06:42 +010060
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020061#if !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES)
62#if !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
63 mbedtls_entropy_add_source( ctx, mbedtls_platform_entropy_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020064 MBEDTLS_ENTROPY_MIN_PLATFORM,
65 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker6083fd22011-12-03 21:45:14 +000066#endif
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020067#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Manuel Pégourié-Gonnardfc2ccfe2015-07-10 11:15:50 +010068 mbedtls_entropy_add_source( ctx, mbedtls_hardware_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020069 MBEDTLS_ENTROPY_MIN_HARDWARE,
70 MBEDTLS_ENTROPY_SOURCE_STRONG );
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020071#endif
Paul Bakker9988d6b2016-06-01 11:29:42 +010072#if defined(MBEDTLS_ENTROPY_NV_SEED)
73 mbedtls_entropy_add_source( ctx, mbedtls_nv_seed_poll, NULL,
74 MBEDTLS_ENTROPY_BLOCK_SIZE,
75 MBEDTLS_ENTROPY_SOURCE_STRONG );
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010076 ctx->initial_entropy_run = 0;
Paul Bakker9988d6b2016-06-01 11:29:42 +010077#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078#endif /* MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES */
Paul Bakker6083fd22011-12-03 21:45:14 +000079}
80
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020081void mbedtls_entropy_free( mbedtls_entropy_context *ctx )
Paul Bakker1ffefac2013-09-28 15:23:03 +020082{
Gilles Peskineb1583212021-02-22 21:26:54 +010083 /* If the context was already free, don't call free() again.
84 * This is important for mutexes which don't allow double-free. */
85 if( ctx->accumulator_started == -1 )
86 return;
87
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020088#if defined(MBEDTLS_THREADING_C)
89 mbedtls_mutex_free( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020090#endif
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010091#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
92 mbedtls_sha512_free( &ctx->accumulator );
93#else
94 mbedtls_sha256_free( &ctx->accumulator );
95#endif
96#if defined(MBEDTLS_ENTROPY_NV_SEED)
97 ctx->initial_entropy_run = 0;
98#endif
99 ctx->source_count = 0;
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500100 mbedtls_platform_zeroize( ctx->source, sizeof( ctx->source ) );
Gilles Peskineb1583212021-02-22 21:26:54 +0100101 ctx->accumulator_started = -1;
Paul Bakker1ffefac2013-09-28 15:23:03 +0200102}
103
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200104int mbedtls_entropy_add_source( mbedtls_entropy_context *ctx,
105 mbedtls_entropy_f_source_ptr f_source, void *p_source,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200106 size_t threshold, int strong )
Paul Bakker6083fd22011-12-03 21:45:14 +0000107{
Hanno Becker61937d42017-04-26 15:01:23 +0100108 int idx, ret = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000109
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110#if defined(MBEDTLS_THREADING_C)
111 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100112 return( ret );
113#endif
114
Hanno Becker61937d42017-04-26 15:01:23 +0100115 idx = ctx->source_count;
116 if( idx >= MBEDTLS_ENTROPY_MAX_SOURCES )
Paul Bakker47703a02014-02-06 15:01:20 +0100117 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200118 ret = MBEDTLS_ERR_ENTROPY_MAX_SOURCES;
Paul Bakker47703a02014-02-06 15:01:20 +0100119 goto exit;
120 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000121
Hanno Becker61937d42017-04-26 15:01:23 +0100122 ctx->source[idx].f_source = f_source;
123 ctx->source[idx].p_source = p_source;
124 ctx->source[idx].threshold = threshold;
125 ctx->source[idx].strong = strong;
Paul Bakker6083fd22011-12-03 21:45:14 +0000126
127 ctx->source_count++;
128
Paul Bakker47703a02014-02-06 15:01:20 +0100129exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200130#if defined(MBEDTLS_THREADING_C)
131 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
132 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100133#endif
134
135 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000136}
137
138/*
139 * Entropy accumulator update
140 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200141static int entropy_update( mbedtls_entropy_context *ctx, unsigned char source_id,
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200142 const unsigned char *data, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000143{
144 unsigned char header[2];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145 unsigned char tmp[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000146 size_t use_len = len;
147 const unsigned char *p = data;
Jaeden Amero66954e12018-01-25 16:05:54 +0000148 int ret = 0;
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200149
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200150 if( use_len > MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker6083fd22011-12-03 21:45:14 +0000151 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200152#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
TRodziewicz26371e42021-06-08 16:45:41 +0200153 if( ( ret = mbedtls_sha512( data, len, tmp, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000154 goto cleanup;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200155#else
TRodziewicz26371e42021-06-08 16:45:41 +0200156 if( ( ret = mbedtls_sha256( data, len, tmp, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000157 goto cleanup;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200158#endif
Paul Bakker6083fd22011-12-03 21:45:14 +0000159 p = tmp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160 use_len = MBEDTLS_ENTROPY_BLOCK_SIZE;
Paul Bakker6083fd22011-12-03 21:45:14 +0000161 }
162
163 header[0] = source_id;
164 header[1] = use_len & 0xFF;
165
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100166 /*
167 * Start the accumulator if this has not already happened. Note that
168 * it is sufficient to start the accumulator here only because all calls to
169 * gather entropy eventually execute this code.
170 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100172 if( ctx->accumulator_started == 0 &&
TRodziewicz26371e42021-06-08 16:45:41 +0200173 ( ret = mbedtls_sha512_starts( &ctx->accumulator, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000174 goto cleanup;
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100175 else
176 ctx->accumulator_started = 1;
TRodziewicz26371e42021-06-08 16:45:41 +0200177 if( ( ret = mbedtls_sha512_update( &ctx->accumulator, header, 2 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000178 goto cleanup;
TRodziewicz26371e42021-06-08 16:45:41 +0200179 ret = mbedtls_sha512_update( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200180#else
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100181 if( ctx->accumulator_started == 0 &&
TRodziewicz26371e42021-06-08 16:45:41 +0200182 ( ret = mbedtls_sha256_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_sha256_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_sha256_update( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200189#endif
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200190
Jaeden Amero66954e12018-01-25 16:05:54 +0000191cleanup:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500192 mbedtls_platform_zeroize( tmp, sizeof( tmp ) );
Andres Amaya Garcia65121932017-07-05 15:45:47 +0100193
Jaeden Amero66954e12018-01-25 16:05:54 +0000194 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000195}
196
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200197int mbedtls_entropy_update_manual( mbedtls_entropy_context *ctx,
Paul Bakker6083fd22011-12-03 21:45:14 +0000198 const unsigned char *data, size_t len )
199{
Janos Follath24eed8d2019-11-22 13:21:35 +0000200 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100201
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200202#if defined(MBEDTLS_THREADING_C)
203 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100204 return( ret );
205#endif
206
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200207 ret = entropy_update( ctx, MBEDTLS_ENTROPY_SOURCE_MANUAL, data, len );
Paul Bakker47703a02014-02-06 15:01:20 +0100208
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209#if defined(MBEDTLS_THREADING_C)
210 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
211 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100212#endif
213
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200214 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000215}
216
217/*
218 * Run through the different sources to add entropy to our accumulator
219 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200220static int entropy_gather_internal( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +0000221{
Gilles Peskine006c1b52019-09-30 17:29:54 +0200222 int ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
223 int i;
224 int have_one_strong = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200225 unsigned char buf[MBEDTLS_ENTROPY_MAX_GATHER];
Paul Bakker6083fd22011-12-03 21:45:14 +0000226 size_t olen;
Paul Bakker47703a02014-02-06 15:01:20 +0100227
Paul Bakker43655f42011-12-15 20:11:16 +0000228 if( ctx->source_count == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200229 return( MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED );
Paul Bakker43655f42011-12-15 20:11:16 +0000230
Paul Bakker6083fd22011-12-03 21:45:14 +0000231 /*
232 * Run through our entropy sources
233 */
234 for( i = 0; i < ctx->source_count; i++ )
235 {
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200236 if( ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG )
237 have_one_strong = 1;
238
Paul Bakker6083fd22011-12-03 21:45:14 +0000239 olen = 0;
Paul Bakker66d5d072014-06-17 16:39:18 +0200240 if( ( ret = ctx->source[i].f_source( ctx->source[i].p_source,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200241 buf, MBEDTLS_ENTROPY_MAX_GATHER, &olen ) ) != 0 )
Paul Bakker6083fd22011-12-03 21:45:14 +0000242 {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100243 goto cleanup;
Paul Bakker6083fd22011-12-03 21:45:14 +0000244 }
245
246 /*
247 * Add if we actually gathered something
248 */
249 if( olen > 0 )
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000250 {
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100251 if( ( ret = entropy_update( ctx, (unsigned char) i,
252 buf, olen ) ) != 0 )
253 return( ret );
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000254 ctx->source[i].size += olen;
255 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000256 }
257
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200258 if( have_one_strong == 0 )
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100259 ret = MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE;
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200260
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100261cleanup:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500262 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100263
264 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000265}
266
Paul Bakker47703a02014-02-06 15:01:20 +0100267/*
268 * Thread-safe wrapper for entropy_gather_internal()
269 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270int mbedtls_entropy_gather( mbedtls_entropy_context *ctx )
Paul Bakker47703a02014-02-06 15:01:20 +0100271{
Janos Follath24eed8d2019-11-22 13:21:35 +0000272 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100273
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200274#if defined(MBEDTLS_THREADING_C)
275 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerddd427a2014-04-09 14:47:58 +0200276 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100277#endif
278
Paul Bakkerddd427a2014-04-09 14:47:58 +0200279 ret = entropy_gather_internal( ctx );
Paul Bakker47703a02014-02-06 15:01:20 +0100280
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200281#if defined(MBEDTLS_THREADING_C)
282 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
283 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100284#endif
285
Paul Bakkerddd427a2014-04-09 14:47:58 +0200286 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100287}
288
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200289int mbedtls_entropy_func( void *data, unsigned char *output, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000290{
Gilles Peskine85485c72019-10-08 15:04:16 +0200291 int ret, count = 0, i, thresholds_reached;
292 size_t strong_size;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200293 mbedtls_entropy_context *ctx = (mbedtls_entropy_context *) data;
294 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000295
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200296 if( len > MBEDTLS_ENTROPY_BLOCK_SIZE )
297 return( MBEDTLS_ERR_ENTROPY_SOURCE_FAILED );
Paul Bakker6083fd22011-12-03 21:45:14 +0000298
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100299#if defined(MBEDTLS_ENTROPY_NV_SEED)
300 /* Update the NV entropy seed before generating any entropy for outside
301 * use.
302 */
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100303 if( ctx->initial_entropy_run == 0 )
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100304 {
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100305 ctx->initial_entropy_run = 1;
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100306 if( ( ret = mbedtls_entropy_update_nv_seed( ctx ) ) != 0 )
307 return( ret );
308 }
309#endif
310
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200311#if defined(MBEDTLS_THREADING_C)
312 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200313 return( ret );
314#endif
315
Paul Bakker6083fd22011-12-03 21:45:14 +0000316 /*
317 * Always gather extra entropy before a call
318 */
319 do
320 {
321 if( count++ > ENTROPY_MAX_LOOP )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200322 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200323 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200324 goto exit;
325 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000326
Paul Bakker47703a02014-02-06 15:01:20 +0100327 if( ( ret = entropy_gather_internal( ctx ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200328 goto exit;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000329
Gilles Peskine85485c72019-10-08 15:04:16 +0200330 thresholds_reached = 1;
331 strong_size = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000332 for( i = 0; i < ctx->source_count; i++ )
Gilles Peskine85485c72019-10-08 15:04:16 +0200333 {
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200334 if( ctx->source[i].size < ctx->source[i].threshold )
Gilles Peskine85485c72019-10-08 15:04:16 +0200335 thresholds_reached = 0;
336 if( ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG )
337 strong_size += ctx->source[i].size;
338 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000339 }
Gilles Peskine85485c72019-10-08 15:04:16 +0200340 while( ! thresholds_reached || strong_size < MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000341
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200342 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000343
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200344#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garciab2b063f2017-07-20 16:45:24 +0100345 /*
346 * Note that at this stage it is assumed that the accumulator was started
347 * in a previous call to entropy_update(). If this is not guaranteed, the
348 * code below will fail.
349 */
TRodziewicz26371e42021-06-08 16:45:41 +0200350 if( ( ret = mbedtls_sha512_finish( &ctx->accumulator, buf ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100351 goto exit;
Paul Bakker9e36f042013-06-30 14:34:05 +0200352
Paul Bakker6083fd22011-12-03 21:45:14 +0000353 /*
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000354 * Reset accumulator and counters and recycle existing entropy
Paul Bakker6083fd22011-12-03 21:45:14 +0000355 */
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100356 mbedtls_sha512_free( &ctx->accumulator );
357 mbedtls_sha512_init( &ctx->accumulator );
TRodziewicz26371e42021-06-08 16:45:41 +0200358 if( ( ret = mbedtls_sha512_starts( &ctx->accumulator, 0 ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100359 goto exit;
TRodziewicz26371e42021-06-08 16:45:41 +0200360 if( ( ret = mbedtls_sha512_update( &ctx->accumulator, buf,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100361 MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
362 goto exit;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200363
364 /*
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100365 * Perform second SHA-512 on entropy
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200366 */
TRodziewicz26371e42021-06-08 16:45:41 +0200367 if( ( ret = mbedtls_sha512( buf, MBEDTLS_ENTROPY_BLOCK_SIZE,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100368 buf, 0 ) ) != 0 )
369 goto exit;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200370#else /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
TRodziewicz26371e42021-06-08 16:45:41 +0200371 if( ( ret = mbedtls_sha256_finish( &ctx->accumulator, buf ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100372 goto exit;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200373
374 /*
375 * Reset accumulator and counters and recycle existing entropy
376 */
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100377 mbedtls_sha256_free( &ctx->accumulator );
378 mbedtls_sha256_init( &ctx->accumulator );
TRodziewicz26371e42021-06-08 16:45:41 +0200379 if( ( ret = mbedtls_sha256_starts( &ctx->accumulator, 0 ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100380 goto exit;
TRodziewicz26371e42021-06-08 16:45:41 +0200381 if( ( ret = mbedtls_sha256_update( &ctx->accumulator, buf,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100382 MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
383 goto exit;
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100384
385 /*
386 * Perform second SHA-256 on entropy
387 */
TRodziewicz26371e42021-06-08 16:45:41 +0200388 if( ( ret = mbedtls_sha256( buf, MBEDTLS_ENTROPY_BLOCK_SIZE,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100389 buf, 0 ) ) != 0 )
390 goto exit;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200391#endif /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000392
393 for( i = 0; i < ctx->source_count; i++ )
394 ctx->source[i].size = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000395
396 memcpy( output, buf, len );
397
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200398 ret = 0;
399
400exit:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500401 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100402
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200403#if defined(MBEDTLS_THREADING_C)
404 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
405 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200406#endif
407
408 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000409}
410
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100411#if defined(MBEDTLS_ENTROPY_NV_SEED)
412int mbedtls_entropy_update_nv_seed( mbedtls_entropy_context *ctx )
413{
414 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Andres Amaya Garciaaf0b31d2017-07-05 14:23:54 +0100415 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100416
417 /* Read new seed and write it to NV */
418 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
419 return( ret );
420
421 if( mbedtls_nv_seed_write( buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) < 0 )
422 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
423
424 /* Manually update the remaining stream with a separator value to diverge */
425 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100426 ret = mbedtls_entropy_update_manual( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100427
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100428 return( ret );
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100429}
430#endif /* MBEDTLS_ENTROPY_NV_SEED */
431
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200432#if defined(MBEDTLS_FS_IO)
433int mbedtls_entropy_write_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100434{
Victor Krasnoshchoka0c2d192020-09-03 00:07:05 +0300435 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300436 FILE *f = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200437 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100438
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200439 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100440 {
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300441 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100442 goto exit;
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300443 }
444
445 if( ( f = fopen( path, "wb" ) ) == NULL )
446 {
447 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
448 goto exit;
449 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100450
Gilles Peskineda0913b2022-06-30 17:03:40 +0200451 /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
452 mbedtls_setbuf( f, NULL );
453
Paul Bakker66ff70d2014-03-26 11:54:05 +0100454 if( fwrite( buf, 1, MBEDTLS_ENTROPY_BLOCK_SIZE, f ) != MBEDTLS_ENTROPY_BLOCK_SIZE )
455 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100457 goto exit;
458 }
459
460 ret = 0;
461
462exit:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500463 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100464
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300465 if( f != NULL )
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300466 fclose( f );
467
Paul Bakker66ff70d2014-03-26 11:54:05 +0100468 return( ret );
469}
470
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200471int mbedtls_entropy_update_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100472{
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100473 int ret = 0;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100474 FILE *f;
475 size_t n;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200476 unsigned char buf[ MBEDTLS_ENTROPY_MAX_SEED_SIZE ];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100477
478 if( ( f = fopen( path, "rb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200479 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100480
Gilles Peskineda0913b2022-06-30 17:03:40 +0200481 /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
482 mbedtls_setbuf( f, NULL );
483
Paul Bakker66ff70d2014-03-26 11:54:05 +0100484 fseek( f, 0, SEEK_END );
485 n = (size_t) ftell( f );
486 fseek( f, 0, SEEK_SET );
487
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200488 if( n > MBEDTLS_ENTROPY_MAX_SEED_SIZE )
489 n = MBEDTLS_ENTROPY_MAX_SEED_SIZE;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100490
491 if( fread( buf, 1, n, f ) != n )
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100492 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
493 else
494 ret = mbedtls_entropy_update_manual( ctx, buf, n );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100495
496 fclose( f );
497
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500498 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100499
500 if( ret != 0 )
501 return( ret );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100502
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200503 return( mbedtls_entropy_write_seed_file( ctx, path ) );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100504}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200505#endif /* MBEDTLS_FS_IO */
Paul Bakker66ff70d2014-03-26 11:54:05 +0100506
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200507#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200508/*
509 * Dummy source function
510 */
511static int entropy_dummy_source( void *data, unsigned char *output,
512 size_t len, size_t *olen )
513{
514 ((void) data);
515
516 memset( output, 0x2a, len );
517 *olen = len;
518
519 return( 0 );
520}
521
Andres AGe7723ec2016-08-25 10:18:50 +0100522#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Andres AGb34e42e2016-08-22 11:08:50 +0100523
Andres AGe7723ec2016-08-25 10:18:50 +0100524static int mbedtls_entropy_source_self_test_gather( unsigned char *buf, size_t buf_len )
525{
526 int ret = 0;
527 size_t entropy_len = 0;
528 size_t olen = 0;
529 size_t attempts = buf_len;
530
531 while( attempts > 0 && entropy_len < buf_len )
532 {
533 if( ( ret = mbedtls_hardware_poll( NULL, buf + entropy_len,
534 buf_len - entropy_len, &olen ) ) != 0 )
535 return( ret );
536
537 entropy_len += olen;
538 attempts--;
539 }
540
541 if( entropy_len < buf_len )
542 {
543 ret = 1;
544 }
545
546 return( ret );
547}
548
549
550static int mbedtls_entropy_source_self_test_check_bits( const unsigned char *buf,
551 size_t buf_len )
552{
553 unsigned char set= 0xFF;
554 unsigned char unset = 0x00;
555 size_t i;
556
557 for( i = 0; i < buf_len; i++ )
558 {
559 set &= buf[i];
560 unset |= buf[i];
561 }
562
563 return( set == 0xFF || unset == 0x00 );
564}
Andres AGb34e42e2016-08-22 11:08:50 +0100565
566/*
Zachary Fleckenstein73defe42022-12-08 07:28:29 -0500567 * A test to ensure that the entropy sources are functioning correctly
Andres AGe7723ec2016-08-25 10:18:50 +0100568 * and there is no obvious failure. The test performs the following checks:
Andres AGb34e42e2016-08-22 11:08:50 +0100569 * - The entropy source is not providing only 0s (all bits unset) or 1s (all
570 * bits set).
571 * - The entropy source is not providing values in a pattern. Because the
Andres AGe7723ec2016-08-25 10:18:50 +0100572 * hardware could be providing data in an arbitrary length, this check polls
573 * the hardware entropy source twice and compares the result to ensure they
574 * are not equal.
Andres AGb34e42e2016-08-22 11:08:50 +0100575 * - The error code returned by the entropy source is not an error.
576 */
Andres AGe7723ec2016-08-25 10:18:50 +0100577int mbedtls_entropy_source_self_test( int verbose )
Andres AGb34e42e2016-08-22 11:08:50 +0100578{
579 int ret = 0;
Andres AGe7723ec2016-08-25 10:18:50 +0100580 unsigned char buf0[2 * sizeof( unsigned long long int )];
581 unsigned char buf1[2 * sizeof( unsigned long long int )];
Andres AGb34e42e2016-08-22 11:08:50 +0100582
583 if( verbose != 0 )
584 mbedtls_printf( " ENTROPY_BIAS test: " );
585
Andres AGe7723ec2016-08-25 10:18:50 +0100586 memset( buf0, 0x00, sizeof( buf0 ) );
587 memset( buf1, 0x00, sizeof( buf1 ) );
Andres AGb34e42e2016-08-22 11:08:50 +0100588
Andres AGe7723ec2016-08-25 10:18:50 +0100589 if( ( ret = mbedtls_entropy_source_self_test_gather( buf0, sizeof( buf0 ) ) ) != 0 )
Andres AGb34e42e2016-08-22 11:08:50 +0100590 goto cleanup;
Andres AGe7723ec2016-08-25 10:18:50 +0100591 if( ( ret = mbedtls_entropy_source_self_test_gather( buf1, sizeof( buf1 ) ) ) != 0 )
592 goto cleanup;
593
594 /* Make sure that the returned values are not all 0 or 1 */
595 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf0, sizeof( buf0 ) ) ) != 0 )
596 goto cleanup;
597 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf1, sizeof( buf1 ) ) ) != 0 )
598 goto cleanup;
Andres AGb34e42e2016-08-22 11:08:50 +0100599
600 /* Make sure that the entropy source is not returning values in a
601 * pattern */
Andres AGe7723ec2016-08-25 10:18:50 +0100602 ret = memcmp( buf0, buf1, sizeof( buf0 ) ) == 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100603
604cleanup:
Andres AGb34e42e2016-08-22 11:08:50 +0100605 if( verbose != 0 )
606 {
607 if( ret != 0 )
608 mbedtls_printf( "failed\n" );
609 else
610 mbedtls_printf( "passed\n" );
611
612 mbedtls_printf( "\n" );
613 }
614
615 return( ret != 0 );
616}
Andres AGe7723ec2016-08-25 10:18:50 +0100617
618#endif /* MBEDTLS_ENTROPY_HARDWARE_ALT */
Andres AGb34e42e2016-08-22 11:08:50 +0100619
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200620/*
621 * The actual entropy quality is hard to test, but we can at least
622 * test that the functions don't cause errors and write the correct
623 * amount of data to buffers.
624 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200625int mbedtls_entropy_self_test( int verbose )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200626{
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100627 int ret = 1;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200628 mbedtls_entropy_context ctx;
629 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
630 unsigned char acc[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200631 size_t i, j;
632
633 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200634 mbedtls_printf( " ENTROPY test: " );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200635
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200636 mbedtls_entropy_init( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200637
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200638 /* First do a gather to make sure we have default sources */
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200639 if( ( ret = mbedtls_entropy_gather( &ctx ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200640 goto cleanup;
641
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200642 ret = mbedtls_entropy_add_source( &ctx, entropy_dummy_source, NULL, 16,
643 MBEDTLS_ENTROPY_SOURCE_WEAK );
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200644 if( ret != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200645 goto cleanup;
646
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200647 if( ( ret = mbedtls_entropy_update_manual( &ctx, buf, sizeof buf ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200648 goto cleanup;
649
650 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200651 * To test that mbedtls_entropy_func writes correct number of bytes:
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200652 * - use the whole buffer and rely on ASan to detect overruns
653 * - collect entropy 8 times and OR the result in an accumulator:
654 * any byte should then be 0 with probably 2^(-64), so requiring
655 * each of the 32 or 64 bytes to be non-zero has a false failure rate
656 * of at most 2^(-58) which is acceptable.
657 */
658 for( i = 0; i < 8; i++ )
659 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200660 if( ( ret = mbedtls_entropy_func( &ctx, buf, sizeof( buf ) ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200661 goto cleanup;
662
663 for( j = 0; j < sizeof( buf ); j++ )
664 acc[j] |= buf[j];
665 }
666
667 for( j = 0; j < sizeof( buf ); j++ )
668 {
669 if( acc[j] == 0 )
670 {
671 ret = 1;
672 goto cleanup;
673 }
674 }
675
Andres AGe7723ec2016-08-25 10:18:50 +0100676#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
677 if( ( ret = mbedtls_entropy_source_self_test( 0 ) ) != 0 )
678 goto cleanup;
679#endif
680
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200681cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200682 mbedtls_entropy_free( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200683
684 if( verbose != 0 )
685 {
686 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200687 mbedtls_printf( "failed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200688 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200689 mbedtls_printf( "passed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200690
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200691 mbedtls_printf( "\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200692 }
693
694 return( ret != 0 );
695}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200696#endif /* MBEDTLS_SELF_TEST */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200697
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200698#endif /* MBEDTLS_ENTROPY_C */