blob: 91ca9b047012746d63da38e5d35ad233abc817c1 [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
Simon Butcherab5df402016-06-11 02:31:21 +010024#if defined(MBEDTLS_TEST_NULL_ENTROPY)
Simon Butcher1ceab6e2016-06-21 10:14:00 +010025#warning "**** WARNING! MBEDTLS_TEST_NULL_ENTROPY defined! "
26#warning "**** THIS BUILD HAS NO DEFINED ENTROPY SOURCES "
27#warning "**** THIS BUILD IS *NOT* SUITABLE FOR PRODUCTION USE "
Simon Butcherab5df402016-06-11 02:31:21 +010028#endif
29
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/entropy.h"
31#include "mbedtls/entropy_poll.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050032#include "mbedtls/platform_util.h"
Janos Follath24eed8d2019-11-22 13:21:35 +000033#include "mbedtls/error.h"
Paul Bakker6083fd22011-12-03 21:45:14 +000034
Rich Evans00ab4702015-02-06 13:43:58 +000035#include <string.h>
36
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if defined(MBEDTLS_FS_IO)
Paul Bakker66ff70d2014-03-26 11:54:05 +010038#include <stdio.h>
39#endif
40
Paul Bakker217efbc2016-07-14 14:30:03 +010041#include "mbedtls/platform.h"
Paul Bakker217efbc2016-07-14 14:30:03 +010042
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000044#include "mbedtls/platform.h"
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020045#endif /* MBEDTLS_SELF_TEST */
Rich Evans00ab4702015-02-06 13:43:58 +000046
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020047#if defined(MBEDTLS_HAVEGE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000048#include "mbedtls/havege.h"
Paul Bakker28c7e7f2011-12-15 19:49:30 +000049#endif
50
Paul Bakker6083fd22011-12-03 21:45:14 +000051#define ENTROPY_MAX_LOOP 256 /**< Maximum amount to loop before error */
52
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020053void mbedtls_entropy_init( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +000054{
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010055 ctx->source_count = 0;
56 memset( ctx->source, 0, sizeof( ctx->source ) );
Paul Bakker6083fd22011-12-03 21:45:14 +000057
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020058#if defined(MBEDTLS_THREADING_C)
59 mbedtls_mutex_init( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020060#endif
61
Andres Amaya Garcia95869c42017-06-29 16:31:44 +010062 ctx->accumulator_started = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020063#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010064 mbedtls_sha512_init( &ctx->accumulator );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020065#else
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010066 mbedtls_sha256_init( &ctx->accumulator );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020067#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068#if defined(MBEDTLS_HAVEGE_C)
69 mbedtls_havege_init( &ctx->havege_data );
Paul Bakker43655f42011-12-15 20:11:16 +000070#endif
Paul Bakker6083fd22011-12-03 21:45:14 +000071
Hanno Beckerd4a872e2017-09-07 08:09:33 +010072 /* Reminder: Update ENTROPY_HAVE_STRONG in the test files
Hanno Becker47deec42017-07-24 12:27:09 +010073 * when adding more strong entropy sources here. */
Hanno Beckerc6deafc2017-07-23 14:06:42 +010074
Simon Butcherab5df402016-06-11 02:31:21 +010075#if defined(MBEDTLS_TEST_NULL_ENTROPY)
Simon Butcher4157b602016-06-12 00:31:33 +010076 mbedtls_entropy_add_source( ctx, mbedtls_null_entropy_poll, NULL,
Janos Follath53de7842016-06-08 15:29:18 +010077 1, MBEDTLS_ENTROPY_SOURCE_STRONG );
78#endif
79
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080#if !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES)
81#if !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
82 mbedtls_entropy_add_source( ctx, mbedtls_platform_entropy_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020083 MBEDTLS_ENTROPY_MIN_PLATFORM,
84 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker6083fd22011-12-03 21:45:14 +000085#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020086#if defined(MBEDTLS_TIMING_C)
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020087 mbedtls_entropy_add_source( ctx, mbedtls_hardclock_poll, NULL,
88 MBEDTLS_ENTROPY_MIN_HARDCLOCK,
89 MBEDTLS_ENTROPY_SOURCE_WEAK );
Paul Bakker6083fd22011-12-03 21:45:14 +000090#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020091#if defined(MBEDTLS_HAVEGE_C)
92 mbedtls_entropy_add_source( ctx, mbedtls_havege_poll, &ctx->havege_data,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020093 MBEDTLS_ENTROPY_MIN_HAVEGE,
94 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker28c7e7f2011-12-15 19:49:30 +000095#endif
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020096#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Manuel Pégourié-Gonnardfc2ccfe2015-07-10 11:15:50 +010097 mbedtls_entropy_add_source( ctx, mbedtls_hardware_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020098 MBEDTLS_ENTROPY_MIN_HARDWARE,
99 MBEDTLS_ENTROPY_SOURCE_STRONG );
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +0200100#endif
Paul Bakker9988d6b2016-06-01 11:29:42 +0100101#if defined(MBEDTLS_ENTROPY_NV_SEED)
102 mbedtls_entropy_add_source( ctx, mbedtls_nv_seed_poll, NULL,
103 MBEDTLS_ENTROPY_BLOCK_SIZE,
104 MBEDTLS_ENTROPY_SOURCE_STRONG );
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100105 ctx->initial_entropy_run = 0;
Paul Bakker9988d6b2016-06-01 11:29:42 +0100106#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200107#endif /* MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES */
Paul Bakker6083fd22011-12-03 21:45:14 +0000108}
109
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200110void mbedtls_entropy_free( mbedtls_entropy_context *ctx )
Paul Bakker1ffefac2013-09-28 15:23:03 +0200111{
Gilles Peskineb1583212021-02-22 21:26:54 +0100112 /* If the context was already free, don't call free() again.
113 * This is important for mutexes which don't allow double-free. */
114 if( ctx->accumulator_started == -1 )
115 return;
116
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117#if defined(MBEDTLS_HAVEGE_C)
118 mbedtls_havege_free( &ctx->havege_data );
Paul Bakkera317a982014-06-18 16:44:11 +0200119#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120#if defined(MBEDTLS_THREADING_C)
121 mbedtls_mutex_free( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200122#endif
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100123#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
124 mbedtls_sha512_free( &ctx->accumulator );
125#else
126 mbedtls_sha256_free( &ctx->accumulator );
127#endif
128#if defined(MBEDTLS_ENTROPY_NV_SEED)
129 ctx->initial_entropy_run = 0;
130#endif
131 ctx->source_count = 0;
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500132 mbedtls_platform_zeroize( ctx->source, sizeof( ctx->source ) );
Gilles Peskineb1583212021-02-22 21:26:54 +0100133 ctx->accumulator_started = -1;
Paul Bakker1ffefac2013-09-28 15:23:03 +0200134}
135
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200136int mbedtls_entropy_add_source( mbedtls_entropy_context *ctx,
137 mbedtls_entropy_f_source_ptr f_source, void *p_source,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200138 size_t threshold, int strong )
Paul Bakker6083fd22011-12-03 21:45:14 +0000139{
Hanno Becker61937d42017-04-26 15:01:23 +0100140 int idx, ret = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000141
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200142#if defined(MBEDTLS_THREADING_C)
143 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100144 return( ret );
145#endif
146
Hanno Becker61937d42017-04-26 15:01:23 +0100147 idx = ctx->source_count;
148 if( idx >= MBEDTLS_ENTROPY_MAX_SOURCES )
Paul Bakker47703a02014-02-06 15:01:20 +0100149 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200150 ret = MBEDTLS_ERR_ENTROPY_MAX_SOURCES;
Paul Bakker47703a02014-02-06 15:01:20 +0100151 goto exit;
152 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000153
Hanno Becker61937d42017-04-26 15:01:23 +0100154 ctx->source[idx].f_source = f_source;
155 ctx->source[idx].p_source = p_source;
156 ctx->source[idx].threshold = threshold;
157 ctx->source[idx].strong = strong;
Paul Bakker6083fd22011-12-03 21:45:14 +0000158
159 ctx->source_count++;
160
Paul Bakker47703a02014-02-06 15:01:20 +0100161exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162#if defined(MBEDTLS_THREADING_C)
163 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
164 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100165#endif
166
167 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000168}
169
170/*
171 * Entropy accumulator update
172 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200173static int entropy_update( mbedtls_entropy_context *ctx, unsigned char source_id,
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200174 const unsigned char *data, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000175{
176 unsigned char header[2];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200177 unsigned char tmp[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000178 size_t use_len = len;
179 const unsigned char *p = data;
Jaeden Amero66954e12018-01-25 16:05:54 +0000180 int ret = 0;
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200181
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200182 if( use_len > MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker6083fd22011-12-03 21:45:14 +0000183 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100185 if( ( ret = mbedtls_sha512_ret( data, len, tmp, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000186 goto cleanup;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200187#else
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100188 if( ( ret = mbedtls_sha256_ret( data, len, tmp, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000189 goto cleanup;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200190#endif
Paul Bakker6083fd22011-12-03 21:45:14 +0000191 p = tmp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200192 use_len = MBEDTLS_ENTROPY_BLOCK_SIZE;
Paul Bakker6083fd22011-12-03 21:45:14 +0000193 }
194
195 header[0] = source_id;
196 header[1] = use_len & 0xFF;
197
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100198 /*
199 * Start the accumulator if this has not already happened. Note that
200 * it is sufficient to start the accumulator here only because all calls to
201 * gather entropy eventually execute this code.
202 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100204 if( ctx->accumulator_started == 0 &&
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100205 ( ret = mbedtls_sha512_starts_ret( &ctx->accumulator, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000206 goto cleanup;
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100207 else
208 ctx->accumulator_started = 1;
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100209 if( ( ret = mbedtls_sha512_update_ret( &ctx->accumulator, header, 2 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000210 goto cleanup;
211 ret = mbedtls_sha512_update_ret( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200212#else
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100213 if( ctx->accumulator_started == 0 &&
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100214 ( ret = mbedtls_sha256_starts_ret( &ctx->accumulator, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000215 goto cleanup;
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100216 else
217 ctx->accumulator_started = 1;
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100218 if( ( ret = mbedtls_sha256_update_ret( &ctx->accumulator, header, 2 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000219 goto cleanup;
220 ret = mbedtls_sha256_update_ret( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200221#endif
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200222
Jaeden Amero66954e12018-01-25 16:05:54 +0000223cleanup:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500224 mbedtls_platform_zeroize( tmp, sizeof( tmp ) );
Andres Amaya Garcia65121932017-07-05 15:45:47 +0100225
Jaeden Amero66954e12018-01-25 16:05:54 +0000226 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000227}
228
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200229int mbedtls_entropy_update_manual( mbedtls_entropy_context *ctx,
Paul Bakker6083fd22011-12-03 21:45:14 +0000230 const unsigned char *data, size_t len )
231{
Janos Follath24eed8d2019-11-22 13:21:35 +0000232 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100233
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234#if defined(MBEDTLS_THREADING_C)
235 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100236 return( ret );
237#endif
238
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200239 ret = entropy_update( ctx, MBEDTLS_ENTROPY_SOURCE_MANUAL, data, len );
Paul Bakker47703a02014-02-06 15:01:20 +0100240
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200241#if defined(MBEDTLS_THREADING_C)
242 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
243 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100244#endif
245
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200246 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000247}
248
249/*
250 * Run through the different sources to add entropy to our accumulator
251 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200252static int entropy_gather_internal( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +0000253{
Gilles Peskine006c1b52019-09-30 17:29:54 +0200254 int ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
255 int i;
256 int have_one_strong = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200257 unsigned char buf[MBEDTLS_ENTROPY_MAX_GATHER];
Paul Bakker6083fd22011-12-03 21:45:14 +0000258 size_t olen;
Paul Bakker47703a02014-02-06 15:01:20 +0100259
Paul Bakker43655f42011-12-15 20:11:16 +0000260 if( ctx->source_count == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200261 return( MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED );
Paul Bakker43655f42011-12-15 20:11:16 +0000262
Paul Bakker6083fd22011-12-03 21:45:14 +0000263 /*
264 * Run through our entropy sources
265 */
266 for( i = 0; i < ctx->source_count; i++ )
267 {
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200268 if( ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG )
269 have_one_strong = 1;
270
Paul Bakker6083fd22011-12-03 21:45:14 +0000271 olen = 0;
Paul Bakker66d5d072014-06-17 16:39:18 +0200272 if( ( ret = ctx->source[i].f_source( ctx->source[i].p_source,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200273 buf, MBEDTLS_ENTROPY_MAX_GATHER, &olen ) ) != 0 )
Paul Bakker6083fd22011-12-03 21:45:14 +0000274 {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100275 goto cleanup;
Paul Bakker6083fd22011-12-03 21:45:14 +0000276 }
277
278 /*
279 * Add if we actually gathered something
280 */
281 if( olen > 0 )
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000282 {
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100283 if( ( ret = entropy_update( ctx, (unsigned char) i,
284 buf, olen ) ) != 0 )
285 return( ret );
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000286 ctx->source[i].size += olen;
287 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000288 }
289
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200290 if( have_one_strong == 0 )
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100291 ret = MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE;
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200292
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100293cleanup:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500294 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100295
296 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000297}
298
Paul Bakker47703a02014-02-06 15:01:20 +0100299/*
300 * Thread-safe wrapper for entropy_gather_internal()
301 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200302int mbedtls_entropy_gather( mbedtls_entropy_context *ctx )
Paul Bakker47703a02014-02-06 15:01:20 +0100303{
Janos Follath24eed8d2019-11-22 13:21:35 +0000304 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100305
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200306#if defined(MBEDTLS_THREADING_C)
307 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerddd427a2014-04-09 14:47:58 +0200308 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100309#endif
310
Paul Bakkerddd427a2014-04-09 14:47:58 +0200311 ret = entropy_gather_internal( ctx );
Paul Bakker47703a02014-02-06 15:01:20 +0100312
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200313#if defined(MBEDTLS_THREADING_C)
314 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
315 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100316#endif
317
Paul Bakkerddd427a2014-04-09 14:47:58 +0200318 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100319}
320
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200321int mbedtls_entropy_func( void *data, unsigned char *output, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000322{
Gilles Peskine85485c72019-10-08 15:04:16 +0200323 int ret, count = 0, i, thresholds_reached;
324 size_t strong_size;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200325 mbedtls_entropy_context *ctx = (mbedtls_entropy_context *) data;
326 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000327
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200328 if( len > MBEDTLS_ENTROPY_BLOCK_SIZE )
329 return( MBEDTLS_ERR_ENTROPY_SOURCE_FAILED );
Paul Bakker6083fd22011-12-03 21:45:14 +0000330
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100331#if defined(MBEDTLS_ENTROPY_NV_SEED)
332 /* Update the NV entropy seed before generating any entropy for outside
333 * use.
334 */
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100335 if( ctx->initial_entropy_run == 0 )
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100336 {
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100337 ctx->initial_entropy_run = 1;
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100338 if( ( ret = mbedtls_entropy_update_nv_seed( ctx ) ) != 0 )
339 return( ret );
340 }
341#endif
342
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200343#if defined(MBEDTLS_THREADING_C)
344 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200345 return( ret );
346#endif
347
Paul Bakker6083fd22011-12-03 21:45:14 +0000348 /*
349 * Always gather extra entropy before a call
350 */
351 do
352 {
353 if( count++ > ENTROPY_MAX_LOOP )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200354 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200356 goto exit;
357 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000358
Paul Bakker47703a02014-02-06 15:01:20 +0100359 if( ( ret = entropy_gather_internal( ctx ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200360 goto exit;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000361
Gilles Peskine85485c72019-10-08 15:04:16 +0200362 thresholds_reached = 1;
363 strong_size = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000364 for( i = 0; i < ctx->source_count; i++ )
Gilles Peskine85485c72019-10-08 15:04:16 +0200365 {
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200366 if( ctx->source[i].size < ctx->source[i].threshold )
Gilles Peskine85485c72019-10-08 15:04:16 +0200367 thresholds_reached = 0;
368 if( ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG )
369 strong_size += ctx->source[i].size;
370 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000371 }
Gilles Peskine85485c72019-10-08 15:04:16 +0200372 while( ! thresholds_reached || strong_size < MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000373
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200374 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000375
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200376#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garciab2b063f2017-07-20 16:45:24 +0100377 /*
378 * Note that at this stage it is assumed that the accumulator was started
379 * in a previous call to entropy_update(). If this is not guaranteed, the
380 * code below will fail.
381 */
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100382 if( ( ret = mbedtls_sha512_finish_ret( &ctx->accumulator, buf ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100383 goto exit;
Paul Bakker9e36f042013-06-30 14:34:05 +0200384
Paul Bakker6083fd22011-12-03 21:45:14 +0000385 /*
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000386 * Reset accumulator and counters and recycle existing entropy
Paul Bakker6083fd22011-12-03 21:45:14 +0000387 */
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100388 mbedtls_sha512_free( &ctx->accumulator );
389 mbedtls_sha512_init( &ctx->accumulator );
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100390 if( ( ret = mbedtls_sha512_starts_ret( &ctx->accumulator, 0 ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100391 goto exit;
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100392 if( ( ret = mbedtls_sha512_update_ret( &ctx->accumulator, buf,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100393 MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
394 goto exit;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200395
396 /*
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100397 * Perform second SHA-512 on entropy
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200398 */
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100399 if( ( ret = mbedtls_sha512_ret( buf, MBEDTLS_ENTROPY_BLOCK_SIZE,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100400 buf, 0 ) ) != 0 )
401 goto exit;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200402#else /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100403 if( ( ret = mbedtls_sha256_finish_ret( &ctx->accumulator, buf ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100404 goto exit;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200405
406 /*
407 * Reset accumulator and counters and recycle existing entropy
408 */
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100409 mbedtls_sha256_free( &ctx->accumulator );
410 mbedtls_sha256_init( &ctx->accumulator );
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100411 if( ( ret = mbedtls_sha256_starts_ret( &ctx->accumulator, 0 ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100412 goto exit;
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100413 if( ( ret = mbedtls_sha256_update_ret( &ctx->accumulator, buf,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100414 MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
415 goto exit;
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100416
417 /*
418 * Perform second SHA-256 on entropy
419 */
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100420 if( ( ret = mbedtls_sha256_ret( buf, MBEDTLS_ENTROPY_BLOCK_SIZE,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100421 buf, 0 ) ) != 0 )
422 goto exit;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200423#endif /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000424
425 for( i = 0; i < ctx->source_count; i++ )
426 ctx->source[i].size = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000427
428 memcpy( output, buf, len );
429
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200430 ret = 0;
431
432exit:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500433 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100434
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200435#if defined(MBEDTLS_THREADING_C)
436 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
437 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200438#endif
439
440 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000441}
442
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100443#if defined(MBEDTLS_ENTROPY_NV_SEED)
444int mbedtls_entropy_update_nv_seed( mbedtls_entropy_context *ctx )
445{
446 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Andres Amaya Garciaaf0b31d2017-07-05 14:23:54 +0100447 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100448
449 /* Read new seed and write it to NV */
450 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
451 return( ret );
452
453 if( mbedtls_nv_seed_write( buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) < 0 )
454 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
455
456 /* Manually update the remaining stream with a separator value to diverge */
457 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100458 ret = mbedtls_entropy_update_manual( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100459
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100460 return( ret );
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100461}
462#endif /* MBEDTLS_ENTROPY_NV_SEED */
463
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200464#if defined(MBEDTLS_FS_IO)
465int mbedtls_entropy_write_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100466{
Victor Krasnoshchoka0c2d192020-09-03 00:07:05 +0300467 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300468 FILE *f = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200469 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100470
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200471 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100472 {
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300473 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100474 goto exit;
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300475 }
476
477 if( ( f = fopen( path, "wb" ) ) == NULL )
478 {
479 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
480 goto exit;
481 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100482
483 if( fwrite( buf, 1, MBEDTLS_ENTROPY_BLOCK_SIZE, f ) != MBEDTLS_ENTROPY_BLOCK_SIZE )
484 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200485 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100486 goto exit;
487 }
488
489 ret = 0;
490
491exit:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500492 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100493
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300494 if( f != NULL )
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300495 fclose( f );
496
Paul Bakker66ff70d2014-03-26 11:54:05 +0100497 return( ret );
498}
499
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200500int mbedtls_entropy_update_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100501{
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100502 int ret = 0;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100503 FILE *f;
504 size_t n;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200505 unsigned char buf[ MBEDTLS_ENTROPY_MAX_SEED_SIZE ];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100506
507 if( ( f = fopen( path, "rb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200508 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100509
510 fseek( f, 0, SEEK_END );
511 n = (size_t) ftell( f );
512 fseek( f, 0, SEEK_SET );
513
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200514 if( n > MBEDTLS_ENTROPY_MAX_SEED_SIZE )
515 n = MBEDTLS_ENTROPY_MAX_SEED_SIZE;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100516
517 if( fread( buf, 1, n, f ) != n )
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100518 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
519 else
520 ret = mbedtls_entropy_update_manual( ctx, buf, n );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100521
522 fclose( f );
523
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500524 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100525
526 if( ret != 0 )
527 return( ret );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100528
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200529 return( mbedtls_entropy_write_seed_file( ctx, path ) );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100530}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200531#endif /* MBEDTLS_FS_IO */
Paul Bakker66ff70d2014-03-26 11:54:05 +0100532
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200533#if defined(MBEDTLS_SELF_TEST)
Simon Butcher669c6352016-09-15 18:57:34 +0100534#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200535/*
536 * Dummy source function
537 */
538static int entropy_dummy_source( void *data, unsigned char *output,
539 size_t len, size_t *olen )
540{
541 ((void) data);
542
543 memset( output, 0x2a, len );
544 *olen = len;
545
546 return( 0 );
547}
Simon Butcher669c6352016-09-15 18:57:34 +0100548#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200549
Andres AGe7723ec2016-08-25 10:18:50 +0100550#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Andres AGb34e42e2016-08-22 11:08:50 +0100551
Andres AGe7723ec2016-08-25 10:18:50 +0100552static int mbedtls_entropy_source_self_test_gather( unsigned char *buf, size_t buf_len )
553{
554 int ret = 0;
555 size_t entropy_len = 0;
556 size_t olen = 0;
557 size_t attempts = buf_len;
558
559 while( attempts > 0 && entropy_len < buf_len )
560 {
561 if( ( ret = mbedtls_hardware_poll( NULL, buf + entropy_len,
562 buf_len - entropy_len, &olen ) ) != 0 )
563 return( ret );
564
565 entropy_len += olen;
566 attempts--;
567 }
568
569 if( entropy_len < buf_len )
570 {
571 ret = 1;
572 }
573
574 return( ret );
575}
576
577
578static int mbedtls_entropy_source_self_test_check_bits( const unsigned char *buf,
579 size_t buf_len )
580{
581 unsigned char set= 0xFF;
582 unsigned char unset = 0x00;
583 size_t i;
584
585 for( i = 0; i < buf_len; i++ )
586 {
587 set &= buf[i];
588 unset |= buf[i];
589 }
590
591 return( set == 0xFF || unset == 0x00 );
592}
Andres AGb34e42e2016-08-22 11:08:50 +0100593
594/*
Andres AGe7723ec2016-08-25 10:18:50 +0100595 * A test to ensure hat the entropy sources are functioning correctly
596 * and there is no obvious failure. The test performs the following checks:
Andres AGb34e42e2016-08-22 11:08:50 +0100597 * - The entropy source is not providing only 0s (all bits unset) or 1s (all
598 * bits set).
599 * - The entropy source is not providing values in a pattern. Because the
Andres AGe7723ec2016-08-25 10:18:50 +0100600 * hardware could be providing data in an arbitrary length, this check polls
601 * the hardware entropy source twice and compares the result to ensure they
602 * are not equal.
Andres AGb34e42e2016-08-22 11:08:50 +0100603 * - The error code returned by the entropy source is not an error.
604 */
Andres AGe7723ec2016-08-25 10:18:50 +0100605int mbedtls_entropy_source_self_test( int verbose )
Andres AGb34e42e2016-08-22 11:08:50 +0100606{
607 int ret = 0;
Andres AGe7723ec2016-08-25 10:18:50 +0100608 unsigned char buf0[2 * sizeof( unsigned long long int )];
609 unsigned char buf1[2 * sizeof( unsigned long long int )];
Andres AGb34e42e2016-08-22 11:08:50 +0100610
611 if( verbose != 0 )
612 mbedtls_printf( " ENTROPY_BIAS test: " );
613
Andres AGe7723ec2016-08-25 10:18:50 +0100614 memset( buf0, 0x00, sizeof( buf0 ) );
615 memset( buf1, 0x00, sizeof( buf1 ) );
Andres AGb34e42e2016-08-22 11:08:50 +0100616
Andres AGe7723ec2016-08-25 10:18:50 +0100617 if( ( ret = mbedtls_entropy_source_self_test_gather( buf0, sizeof( buf0 ) ) ) != 0 )
Andres AGb34e42e2016-08-22 11:08:50 +0100618 goto cleanup;
Andres AGe7723ec2016-08-25 10:18:50 +0100619 if( ( ret = mbedtls_entropy_source_self_test_gather( buf1, sizeof( buf1 ) ) ) != 0 )
620 goto cleanup;
621
622 /* Make sure that the returned values are not all 0 or 1 */
623 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf0, sizeof( buf0 ) ) ) != 0 )
624 goto cleanup;
625 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf1, sizeof( buf1 ) ) ) != 0 )
626 goto cleanup;
Andres AGb34e42e2016-08-22 11:08:50 +0100627
628 /* Make sure that the entropy source is not returning values in a
629 * pattern */
Andres AGe7723ec2016-08-25 10:18:50 +0100630 ret = memcmp( buf0, buf1, sizeof( buf0 ) ) == 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100631
632cleanup:
Andres AGb34e42e2016-08-22 11:08:50 +0100633 if( verbose != 0 )
634 {
635 if( ret != 0 )
636 mbedtls_printf( "failed\n" );
637 else
638 mbedtls_printf( "passed\n" );
639
640 mbedtls_printf( "\n" );
641 }
642
643 return( ret != 0 );
644}
Andres AGe7723ec2016-08-25 10:18:50 +0100645
646#endif /* MBEDTLS_ENTROPY_HARDWARE_ALT */
Andres AGb34e42e2016-08-22 11:08:50 +0100647
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200648/*
649 * The actual entropy quality is hard to test, but we can at least
650 * test that the functions don't cause errors and write the correct
651 * amount of data to buffers.
652 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200653int mbedtls_entropy_self_test( int verbose )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200654{
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100655 int ret = 1;
Simon Butcher669c6352016-09-15 18:57:34 +0100656#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200657 mbedtls_entropy_context ctx;
658 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
659 unsigned char acc[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200660 size_t i, j;
Simon Butcher669c6352016-09-15 18:57:34 +0100661#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200662
663 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200664 mbedtls_printf( " ENTROPY test: " );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200665
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100666#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200667 mbedtls_entropy_init( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200668
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200669 /* First do a gather to make sure we have default sources */
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200670 if( ( ret = mbedtls_entropy_gather( &ctx ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200671 goto cleanup;
672
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200673 ret = mbedtls_entropy_add_source( &ctx, entropy_dummy_source, NULL, 16,
674 MBEDTLS_ENTROPY_SOURCE_WEAK );
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200675 if( ret != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200676 goto cleanup;
677
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200678 if( ( ret = mbedtls_entropy_update_manual( &ctx, buf, sizeof buf ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200679 goto cleanup;
680
681 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200682 * To test that mbedtls_entropy_func writes correct number of bytes:
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200683 * - use the whole buffer and rely on ASan to detect overruns
684 * - collect entropy 8 times and OR the result in an accumulator:
685 * any byte should then be 0 with probably 2^(-64), so requiring
686 * each of the 32 or 64 bytes to be non-zero has a false failure rate
687 * of at most 2^(-58) which is acceptable.
688 */
689 for( i = 0; i < 8; i++ )
690 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200691 if( ( ret = mbedtls_entropy_func( &ctx, buf, sizeof( buf ) ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200692 goto cleanup;
693
694 for( j = 0; j < sizeof( buf ); j++ )
695 acc[j] |= buf[j];
696 }
697
698 for( j = 0; j < sizeof( buf ); j++ )
699 {
700 if( acc[j] == 0 )
701 {
702 ret = 1;
703 goto cleanup;
704 }
705 }
706
Andres AGe7723ec2016-08-25 10:18:50 +0100707#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
708 if( ( ret = mbedtls_entropy_source_self_test( 0 ) ) != 0 )
709 goto cleanup;
710#endif
711
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200712cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200713 mbedtls_entropy_free( &ctx );
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100714#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200715
716 if( verbose != 0 )
717 {
718 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200719 mbedtls_printf( "failed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200720 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200721 mbedtls_printf( "passed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200722
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200723 mbedtls_printf( "\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200724 }
725
726 return( ret != 0 );
727}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200728#endif /* MBEDTLS_SELF_TEST */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200729
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200730#endif /* MBEDTLS_ENTROPY_C */