blob: 8db3d94f14bb2a739e18f4cea40e37ebb57fd143 [file] [log] [blame]
Paul Bakker6083fd22011-12-03 21:45:14 +00001/*
2 * Entropy accumulator implementation
3 *
Paul Bakker9988d6b2016-06-01 11:29:42 +01004 * Copyright (C) 2006-2016, ARM Limited, All Rights Reserved
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 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker6083fd22011-12-03 21:45:14 +000020 */
21
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020022#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000023#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020024#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020025#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020026#endif
Paul Bakker6083fd22011-12-03 21:45:14 +000027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#if defined(MBEDTLS_ENTROPY_C)
Paul Bakker6083fd22011-12-03 21:45:14 +000029
Simon Butcherab5df402016-06-11 02:31:21 +010030#if defined(MBEDTLS_TEST_NULL_ENTROPY)
Simon Butcher1ceab6e2016-06-21 10:14:00 +010031#warning "**** WARNING! MBEDTLS_TEST_NULL_ENTROPY defined! "
32#warning "**** THIS BUILD HAS NO DEFINED ENTROPY SOURCES "
33#warning "**** THIS BUILD IS *NOT* SUITABLE FOR PRODUCTION USE "
Simon Butcherab5df402016-06-11 02:31:21 +010034#endif
35
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000036#include "mbedtls/entropy.h"
37#include "mbedtls/entropy_poll.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050038#include "mbedtls/platform_util.h"
Paul Bakker6083fd22011-12-03 21:45:14 +000039
Rich Evans00ab4702015-02-06 13:43:58 +000040#include <string.h>
41
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042#if defined(MBEDTLS_FS_IO)
Paul Bakker66ff70d2014-03-26 11:54:05 +010043#include <stdio.h>
44#endif
45
Paul Bakker217efbc2016-07-14 14:30:03 +010046#include "mbedtls/platform.h"
Paul Bakker217efbc2016-07-14 14:30:03 +010047
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048#if defined(MBEDTLS_SELF_TEST)
49#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000050#include "mbedtls/platform.h"
Rich Evans00ab4702015-02-06 13:43:58 +000051#else
52#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020053#define mbedtls_printf printf
54#endif /* MBEDTLS_PLATFORM_C */
55#endif /* MBEDTLS_SELF_TEST */
Rich Evans00ab4702015-02-06 13:43:58 +000056
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020057#if defined(MBEDTLS_HAVEGE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000058#include "mbedtls/havege.h"
Paul Bakker28c7e7f2011-12-15 19:49:30 +000059#endif
60
Paul Bakker6083fd22011-12-03 21:45:14 +000061#define ENTROPY_MAX_LOOP 256 /**< Maximum amount to loop before error */
62
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020063void mbedtls_entropy_init( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +000064{
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010065 ctx->source_count = 0;
Manuel Pégourié-Gonnard99419332019-10-03 10:40:57 +020066 memset( ctx->source, 0, sizeof( ctx->source ) );
Paul Bakker6083fd22011-12-03 21:45:14 +000067
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068#if defined(MBEDTLS_THREADING_C)
69 mbedtls_mutex_init( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020070#endif
71
Andres Amaya Garcia95869c42017-06-29 16:31:44 +010072 ctx->accumulator_started = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010074 mbedtls_sha512_init( &ctx->accumulator );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020075#else
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010076 mbedtls_sha256_init( &ctx->accumulator );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020077#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020078#if defined(MBEDTLS_HAVEGE_C)
79 mbedtls_havege_init( &ctx->havege_data );
Paul Bakker43655f42011-12-15 20:11:16 +000080#endif
Paul Bakker6083fd22011-12-03 21:45:14 +000081
Hanno Beckerd4a872e2017-09-07 08:09:33 +010082 /* Reminder: Update ENTROPY_HAVE_STRONG in the test files
Hanno Becker47deec42017-07-24 12:27:09 +010083 * when adding more strong entropy sources here. */
Hanno Beckerc6deafc2017-07-23 14:06:42 +010084
Simon Butcherab5df402016-06-11 02:31:21 +010085#if defined(MBEDTLS_TEST_NULL_ENTROPY)
Simon Butcher4157b602016-06-12 00:31:33 +010086 mbedtls_entropy_add_source( ctx, mbedtls_null_entropy_poll, NULL,
Janos Follath53de7842016-06-08 15:29:18 +010087 1, MBEDTLS_ENTROPY_SOURCE_STRONG );
88#endif
89
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020090#if !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES)
91#if !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
92 mbedtls_entropy_add_source( ctx, mbedtls_platform_entropy_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020093 MBEDTLS_ENTROPY_MIN_PLATFORM,
94 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker6083fd22011-12-03 21:45:14 +000095#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020096#if defined(MBEDTLS_TIMING_C)
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020097 mbedtls_entropy_add_source( ctx, mbedtls_hardclock_poll, NULL,
98 MBEDTLS_ENTROPY_MIN_HARDCLOCK,
99 MBEDTLS_ENTROPY_SOURCE_WEAK );
Paul Bakker6083fd22011-12-03 21:45:14 +0000100#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200101#if defined(MBEDTLS_HAVEGE_C)
102 mbedtls_entropy_add_source( ctx, mbedtls_havege_poll, &ctx->havege_data,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200103 MBEDTLS_ENTROPY_MIN_HAVEGE,
104 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker28c7e7f2011-12-15 19:49:30 +0000105#endif
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +0200106#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Manuel Pégourié-Gonnardfc2ccfe2015-07-10 11:15:50 +0100107 mbedtls_entropy_add_source( ctx, mbedtls_hardware_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200108 MBEDTLS_ENTROPY_MIN_HARDWARE,
109 MBEDTLS_ENTROPY_SOURCE_STRONG );
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +0200110#endif
Paul Bakker9988d6b2016-06-01 11:29:42 +0100111#if defined(MBEDTLS_ENTROPY_NV_SEED)
112 mbedtls_entropy_add_source( ctx, mbedtls_nv_seed_poll, NULL,
113 MBEDTLS_ENTROPY_BLOCK_SIZE,
114 MBEDTLS_ENTROPY_SOURCE_STRONG );
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100115 ctx->initial_entropy_run = 0;
Paul Bakker9988d6b2016-06-01 11:29:42 +0100116#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117#endif /* MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES */
Paul Bakker6083fd22011-12-03 21:45:14 +0000118}
119
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120void mbedtls_entropy_free( mbedtls_entropy_context *ctx )
Paul Bakker1ffefac2013-09-28 15:23:03 +0200121{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200122#if defined(MBEDTLS_HAVEGE_C)
123 mbedtls_havege_free( &ctx->havege_data );
Paul Bakkera317a982014-06-18 16:44:11 +0200124#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200125#if defined(MBEDTLS_THREADING_C)
126 mbedtls_mutex_free( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200127#endif
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100128#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
129 mbedtls_sha512_free( &ctx->accumulator );
130#else
131 mbedtls_sha256_free( &ctx->accumulator );
132#endif
133#if defined(MBEDTLS_ENTROPY_NV_SEED)
134 ctx->initial_entropy_run = 0;
135#endif
136 ctx->source_count = 0;
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500137 mbedtls_platform_zeroize( ctx->source, sizeof( ctx->source ) );
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100138 ctx->accumulator_started = 0;
Paul Bakker1ffefac2013-09-28 15:23:03 +0200139}
140
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200141int mbedtls_entropy_add_source( mbedtls_entropy_context *ctx,
142 mbedtls_entropy_f_source_ptr f_source, void *p_source,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200143 size_t threshold, int strong )
Paul Bakker6083fd22011-12-03 21:45:14 +0000144{
Andrzej Kurekfd56f402020-05-25 11:52:05 -0400145 int idx, ret = MBEDTLS_ERR_PLATFORM_FAULT_DETECTED;
Andrzej Kurek74f7d0f2020-07-06 14:28:12 -0400146 volatile mbedtls_entropy_f_source_ptr f_source_dup = f_source;
147 volatile void *p_source_dup = p_source;
148 volatile size_t threshold_dup = threshold;
149 volatile int strong_dup = strong;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000150
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200151#if defined(MBEDTLS_THREADING_C)
152 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100153 return( ret );
154#endif
155
Hanno Becker61937d42017-04-26 15:01:23 +0100156 idx = ctx->source_count;
157 if( idx >= MBEDTLS_ENTROPY_MAX_SOURCES )
Paul Bakker47703a02014-02-06 15:01:20 +0100158 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200159 ret = MBEDTLS_ERR_ENTROPY_MAX_SOURCES;
Paul Bakker47703a02014-02-06 15:01:20 +0100160 goto exit;
161 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000162
Hanno Becker61937d42017-04-26 15:01:23 +0100163 ctx->source[idx].f_source = f_source;
164 ctx->source[idx].p_source = p_source;
165 ctx->source[idx].threshold = threshold;
166 ctx->source[idx].strong = strong;
Paul Bakker6083fd22011-12-03 21:45:14 +0000167
168 ctx->source_count++;
Andrzej Kurekfd56f402020-05-25 11:52:05 -0400169 ret = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000170
Paul Bakker47703a02014-02-06 15:01:20 +0100171exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200172#if defined(MBEDTLS_THREADING_C)
173 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
174 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100175#endif
176
Andrzej Kurek74f7d0f2020-07-06 14:28:12 -0400177 if( f_source_dup != f_source || p_source_dup != p_source ||
178 threshold_dup != threshold || strong_dup != strong )
179 {
180 ret = MBEDTLS_ERR_PLATFORM_FAULT_DETECTED;
181 }
Paul Bakker47703a02014-02-06 15:01:20 +0100182 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000183}
184
185/*
186 * Entropy accumulator update
187 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200188static int entropy_update( mbedtls_entropy_context *ctx, unsigned char source_id,
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200189 const unsigned char *data, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000190{
191 unsigned char header[2];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200192 unsigned char tmp[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000193 size_t use_len = len;
194 const unsigned char *p = data;
Andrzej Kurekfd56f402020-05-25 11:52:05 -0400195 int ret = MBEDTLS_ERR_PLATFORM_FAULT_DETECTED;
Andrzej Kurek74f7d0f2020-07-06 14:28:12 -0400196 volatile const unsigned char *data_dup = data;
197 volatile size_t len_dup = len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198 if( use_len > MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker6083fd22011-12-03 21:45:14 +0000199 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200200#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100201 if( ( ret = mbedtls_sha512_ret( data, len, tmp, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000202 goto cleanup;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200203#else
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100204 if( ( ret = mbedtls_sha256_ret( data, len, tmp, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000205 goto cleanup;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200206#endif
Paul Bakker6083fd22011-12-03 21:45:14 +0000207 p = tmp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200208 use_len = MBEDTLS_ENTROPY_BLOCK_SIZE;
Paul Bakker6083fd22011-12-03 21:45:14 +0000209 }
210
211 header[0] = source_id;
212 header[1] = use_len & 0xFF;
213
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100214 /*
215 * Start the accumulator if this has not already happened. Note that
216 * it is sufficient to start the accumulator here only because all calls to
217 * gather entropy eventually execute this code.
218 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200219#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100220 if( ctx->accumulator_started == 0 &&
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100221 ( ret = mbedtls_sha512_starts_ret( &ctx->accumulator, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000222 goto cleanup;
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100223 else
224 ctx->accumulator_started = 1;
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100225 if( ( ret = mbedtls_sha512_update_ret( &ctx->accumulator, header, 2 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000226 goto cleanup;
227 ret = mbedtls_sha512_update_ret( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200228#else
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100229 if( ctx->accumulator_started == 0 &&
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100230 ( ret = mbedtls_sha256_starts_ret( &ctx->accumulator, 0 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000231 goto cleanup;
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100232 else
233 ctx->accumulator_started = 1;
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100234 if( ( ret = mbedtls_sha256_update_ret( &ctx->accumulator, header, 2 ) ) != 0 )
Jaeden Amero66954e12018-01-25 16:05:54 +0000235 goto cleanup;
236 ret = mbedtls_sha256_update_ret( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200237#endif
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200238
Jaeden Amero66954e12018-01-25 16:05:54 +0000239cleanup:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500240 mbedtls_platform_zeroize( tmp, sizeof( tmp ) );
Andres Amaya Garcia65121932017-07-05 15:45:47 +0100241
Andrzej Kurek74f7d0f2020-07-06 14:28:12 -0400242 if( len_dup != len || data_dup != data )
243 {
244 ret = MBEDTLS_ERR_PLATFORM_FAULT_DETECTED;
245 }
Jaeden Amero66954e12018-01-25 16:05:54 +0000246 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000247}
248
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200249int mbedtls_entropy_update_manual( mbedtls_entropy_context *ctx,
Paul Bakker6083fd22011-12-03 21:45:14 +0000250 const unsigned char *data, size_t len )
251{
Andrzej Kurekfd56f402020-05-25 11:52:05 -0400252 int ret = MBEDTLS_ERR_PLATFORM_FAULT_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100253
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200254#if defined(MBEDTLS_THREADING_C)
255 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100256 return( ret );
257#endif
258
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200259 ret = entropy_update( ctx, MBEDTLS_ENTROPY_SOURCE_MANUAL, data, len );
Paul Bakker47703a02014-02-06 15:01:20 +0100260
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200261#if defined(MBEDTLS_THREADING_C)
262 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
263 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100264#endif
265
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200266 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000267}
268
269/*
270 * Run through the different sources to add entropy to our accumulator
271 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200272static int entropy_gather_internal( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +0000273{
Jarno Lamsa6122b592019-12-17 10:06:46 +0200274 int i;
275 volatile int ret = MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE;
Jarno Lamsa5aa4c072019-12-20 12:42:49 +0200276 volatile int have_one_strong_fi = MBEDTLS_ENTROPY_SOURCE_WEAK;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200277 unsigned char buf[MBEDTLS_ENTROPY_MAX_GATHER];
Paul Bakker6083fd22011-12-03 21:45:14 +0000278 size_t olen;
Paul Bakker47703a02014-02-06 15:01:20 +0100279
Paul Bakker43655f42011-12-15 20:11:16 +0000280 if( ctx->source_count == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200281 return( MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED );
Paul Bakker43655f42011-12-15 20:11:16 +0000282
Paul Bakker6083fd22011-12-03 21:45:14 +0000283 /*
284 * Run through our entropy sources
285 */
286 for( i = 0; i < ctx->source_count; i++ )
287 {
Jarno Lamsad05da1f2019-11-14 10:12:36 +0200288 volatile int strong_fi = ctx->source[i].strong;
289 if( strong_fi == MBEDTLS_ENTROPY_SOURCE_STRONG )
Jarno Lamsaf5b6af02019-12-19 14:46:40 +0200290 {
Arto Kinnunenac6d2262020-01-09 10:11:20 +0200291 mbedtls_platform_random_delay();
Jarno Lamsad05da1f2019-11-14 10:12:36 +0200292
Jarno Lamsaf5b6af02019-12-19 14:46:40 +0200293 if( strong_fi == MBEDTLS_ENTROPY_SOURCE_STRONG )
Jarno Lamsa5aa4c072019-12-20 12:42:49 +0200294 have_one_strong_fi = MBEDTLS_ENTROPY_SOURCE_STRONG;
Jarno Lamsaf5b6af02019-12-19 14:46:40 +0200295 else
296 return( MBEDTLS_ERR_PLATFORM_FAULT_DETECTED );
297 }
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200298
Paul Bakker6083fd22011-12-03 21:45:14 +0000299 olen = 0;
Paul Bakker66d5d072014-06-17 16:39:18 +0200300 if( ( ret = ctx->source[i].f_source( ctx->source[i].p_source,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200301 buf, MBEDTLS_ENTROPY_MAX_GATHER, &olen ) ) != 0 )
Paul Bakker6083fd22011-12-03 21:45:14 +0000302 {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100303 goto cleanup;
Paul Bakker6083fd22011-12-03 21:45:14 +0000304 }
305
306 /*
307 * Add if we actually gathered something
308 */
309 if( olen > 0 )
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000310 {
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100311 if( ( ret = entropy_update( ctx, (unsigned char) i,
312 buf, olen ) ) != 0 )
313 return( ret );
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000314 ctx->source[i].size += olen;
315 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000316 }
317
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100318cleanup:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500319 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100320
Jarno Lamsa5aa4c072019-12-20 12:42:49 +0200321 if( have_one_strong_fi == MBEDTLS_ENTROPY_SOURCE_STRONG )
Jarno Lamsa6122b592019-12-17 10:06:46 +0200322 {
Arto Kinnunenac6d2262020-01-09 10:11:20 +0200323 mbedtls_platform_random_delay();
Jarno Lamsa5aa4c072019-12-20 12:42:49 +0200324 if( have_one_strong_fi == MBEDTLS_ENTROPY_SOURCE_STRONG )
Jarno Lamsa6122b592019-12-17 10:06:46 +0200325 {
326 return( ret );
327 }
Jarno Lamsaf5b6af02019-12-19 14:46:40 +0200328 else
329 {
330 return( MBEDTLS_ERR_PLATFORM_FAULT_DETECTED );
331 }
Jarno Lamsaaf60cd72019-12-19 16:45:23 +0200332
Jarno Lamsa6122b592019-12-17 10:06:46 +0200333 }
334
335 return( MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000336}
337
Paul Bakker47703a02014-02-06 15:01:20 +0100338/*
339 * Thread-safe wrapper for entropy_gather_internal()
340 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200341int mbedtls_entropy_gather( mbedtls_entropy_context *ctx )
Paul Bakker47703a02014-02-06 15:01:20 +0100342{
Andrzej Kurekfd56f402020-05-25 11:52:05 -0400343 int ret = MBEDTLS_ERR_PLATFORM_FAULT_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100344
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200345#if defined(MBEDTLS_THREADING_C)
346 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerddd427a2014-04-09 14:47:58 +0200347 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100348#endif
349
Paul Bakkerddd427a2014-04-09 14:47:58 +0200350 ret = entropy_gather_internal( ctx );
Paul Bakker47703a02014-02-06 15:01:20 +0100351
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200352#if defined(MBEDTLS_THREADING_C)
353 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
354 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100355#endif
356
Paul Bakkerddd427a2014-04-09 14:47:58 +0200357 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100358}
359
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200360int mbedtls_entropy_func( void *data, unsigned char *output, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000361{
Andrzej Kurekfd56f402020-05-25 11:52:05 -0400362 int ret = MBEDTLS_ERR_PLATFORM_FAULT_DETECTED;
363 int count = 0, i, done;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200364 mbedtls_entropy_context *ctx = (mbedtls_entropy_context *) data;
365 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Andrzej Kurek74f7d0f2020-07-06 14:28:12 -0400366 volatile void *data_dup = data;
367 volatile unsigned char *output_dup = output;
368 volatile size_t len_dup = len;
Paul Bakker6083fd22011-12-03 21:45:14 +0000369
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200370 if( len > MBEDTLS_ENTROPY_BLOCK_SIZE )
371 return( MBEDTLS_ERR_ENTROPY_SOURCE_FAILED );
Paul Bakker6083fd22011-12-03 21:45:14 +0000372
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100373#if defined(MBEDTLS_ENTROPY_NV_SEED)
374 /* Update the NV entropy seed before generating any entropy for outside
375 * use.
376 */
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100377 if( ctx->initial_entropy_run == 0 )
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100378 {
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100379 ctx->initial_entropy_run = 1;
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100380 if( ( ret = mbedtls_entropy_update_nv_seed( ctx ) ) != 0 )
381 return( ret );
382 }
383#endif
384
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200385#if defined(MBEDTLS_THREADING_C)
386 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200387 return( ret );
388#endif
389
Paul Bakker6083fd22011-12-03 21:45:14 +0000390 /*
391 * Always gather extra entropy before a call
392 */
393 do
394 {
395 if( count++ > ENTROPY_MAX_LOOP )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200396 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200397 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200398 goto exit;
399 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000400
Paul Bakker47703a02014-02-06 15:01:20 +0100401 if( ( ret = entropy_gather_internal( ctx ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200402 goto exit;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000403
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200404 done = 1;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000405 for( i = 0; i < ctx->source_count; i++ )
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200406 if( ctx->source[i].size < ctx->source[i].threshold )
407 done = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000408 }
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200409 while( ! done );
Paul Bakker6083fd22011-12-03 21:45:14 +0000410
Manuel Pégourié-Gonnard54526c32019-10-03 11:06:55 +0200411 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000412
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200413#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
Andres Amaya Garciab2b063f2017-07-20 16:45:24 +0100414 /*
415 * Note that at this stage it is assumed that the accumulator was started
416 * in a previous call to entropy_update(). If this is not guaranteed, the
417 * code below will fail.
418 */
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100419 if( ( ret = mbedtls_sha512_finish_ret( &ctx->accumulator, buf ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100420 goto exit;
Paul Bakker9e36f042013-06-30 14:34:05 +0200421
Paul Bakker6083fd22011-12-03 21:45:14 +0000422 /*
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000423 * Reset accumulator and counters and recycle existing entropy
Paul Bakker6083fd22011-12-03 21:45:14 +0000424 */
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100425 mbedtls_sha512_free( &ctx->accumulator );
426 mbedtls_sha512_init( &ctx->accumulator );
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100427 if( ( ret = mbedtls_sha512_starts_ret( &ctx->accumulator, 0 ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100428 goto exit;
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100429 if( ( ret = mbedtls_sha512_update_ret( &ctx->accumulator, buf,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100430 MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
431 goto exit;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200432
433 /*
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100434 * Perform second SHA-512 on entropy
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200435 */
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100436 if( ( ret = mbedtls_sha512_ret( buf, MBEDTLS_ENTROPY_BLOCK_SIZE,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100437 buf, 0 ) ) != 0 )
438 goto exit;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200439#else /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100440 if( ( ret = mbedtls_sha256_finish_ret( &ctx->accumulator, buf ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100441 goto exit;
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200442
443 /*
444 * Reset accumulator and counters and recycle existing entropy
445 */
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +0100446 mbedtls_sha256_free( &ctx->accumulator );
447 mbedtls_sha256_init( &ctx->accumulator );
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100448 if( ( ret = mbedtls_sha256_starts_ret( &ctx->accumulator, 0 ) ) != 0 )
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100449 goto exit;
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100450 if( ( ret = mbedtls_sha256_update_ret( &ctx->accumulator, buf,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100451 MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
452 goto exit;
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100453
454 /*
455 * Perform second SHA-256 on entropy
456 */
Gilles Peskine9e4f77c2018-01-22 11:48:08 +0100457 if( ( ret = mbedtls_sha256_ret( buf, MBEDTLS_ENTROPY_BLOCK_SIZE,
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100458 buf, 0 ) ) != 0 )
459 goto exit;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200460#endif /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000461
462 for( i = 0; i < ctx->source_count; i++ )
463 ctx->source[i].size = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000464
Teppo Järvelin91d79382019-10-02 09:09:31 +0300465 mbedtls_platform_memcpy( output, buf, len );
Paul Bakker6083fd22011-12-03 21:45:14 +0000466
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200467 ret = 0;
468
469exit:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500470 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100471
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200472#if defined(MBEDTLS_THREADING_C)
473 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
474 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200475#endif
Andrzej Kurek74f7d0f2020-07-06 14:28:12 -0400476 if( data_dup != data || len_dup != len || output_dup != output )
477 {
478 ret = MBEDTLS_ERR_PLATFORM_FAULT_DETECTED;
479 }
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200480 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000481}
482
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100483#if defined(MBEDTLS_ENTROPY_NV_SEED)
484int mbedtls_entropy_update_nv_seed( mbedtls_entropy_context *ctx )
485{
486 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Andres Amaya Garciaaf0b31d2017-07-05 14:23:54 +0100487 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100488
489 /* Read new seed and write it to NV */
490 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
491 return( ret );
492
493 if( mbedtls_nv_seed_write( buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) < 0 )
494 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
495
496 /* Manually update the remaining stream with a separator value to diverge */
Manuel Pégourié-Gonnard7a346b82019-10-02 14:47:01 +0200497 mbedtls_platform_memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100498 ret = mbedtls_entropy_update_manual( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100499
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100500 return( ret );
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100501}
502#endif /* MBEDTLS_ENTROPY_NV_SEED */
503
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200504#if defined(MBEDTLS_FS_IO)
505int mbedtls_entropy_write_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100506{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200507 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100508 FILE *f;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200509 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100510
511 if( ( f = fopen( path, "wb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200512 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100513
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200514 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100515 goto exit;
516
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200517 if( fwrite( buf, 1, MBEDTLS_ENTROPY_BLOCK_SIZE, f ) != MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100518 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200519 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100520 goto exit;
521 }
522
523 ret = 0;
524
525exit:
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500526 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100527
Paul Bakker66ff70d2014-03-26 11:54:05 +0100528 fclose( f );
529 return( ret );
530}
531
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200532int mbedtls_entropy_update_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100533{
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100534 int ret = 0;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100535 FILE *f;
536 size_t n;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200537 unsigned char buf[ MBEDTLS_ENTROPY_MAX_SEED_SIZE ];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100538
539 if( ( f = fopen( path, "rb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200540 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100541
542 fseek( f, 0, SEEK_END );
543 n = (size_t) ftell( f );
544 fseek( f, 0, SEEK_SET );
545
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200546 if( n > MBEDTLS_ENTROPY_MAX_SEED_SIZE )
547 n = MBEDTLS_ENTROPY_MAX_SEED_SIZE;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100548
549 if( fread( buf, 1, n, f ) != n )
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100550 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
551 else
552 ret = mbedtls_entropy_update_manual( ctx, buf, n );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100553
554 fclose( f );
555
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -0500556 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100557
558 if( ret != 0 )
559 return( ret );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100560
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200561 return( mbedtls_entropy_write_seed_file( ctx, path ) );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100562}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200563#endif /* MBEDTLS_FS_IO */
Paul Bakker66ff70d2014-03-26 11:54:05 +0100564
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200565#if defined(MBEDTLS_SELF_TEST)
Simon Butcher669c6352016-09-15 18:57:34 +0100566#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200567/*
568 * Dummy source function
569 */
570static int entropy_dummy_source( void *data, unsigned char *output,
571 size_t len, size_t *olen )
572{
573 ((void) data);
574
Manuel Pégourié-Gonnard7a346b82019-10-02 14:47:01 +0200575 mbedtls_platform_memset( output, 0x2a, len );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200576 *olen = len;
577
578 return( 0 );
579}
Simon Butcher669c6352016-09-15 18:57:34 +0100580#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200581
Andres AGe7723ec2016-08-25 10:18:50 +0100582#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Andres AGb34e42e2016-08-22 11:08:50 +0100583
Andres AGe7723ec2016-08-25 10:18:50 +0100584static int mbedtls_entropy_source_self_test_gather( unsigned char *buf, size_t buf_len )
585{
586 int ret = 0;
587 size_t entropy_len = 0;
588 size_t olen = 0;
589 size_t attempts = buf_len;
590
591 while( attempts > 0 && entropy_len < buf_len )
592 {
593 if( ( ret = mbedtls_hardware_poll( NULL, buf + entropy_len,
594 buf_len - entropy_len, &olen ) ) != 0 )
595 return( ret );
596
597 entropy_len += olen;
598 attempts--;
599 }
600
601 if( entropy_len < buf_len )
602 {
603 ret = 1;
604 }
605
606 return( ret );
607}
608
609
610static int mbedtls_entropy_source_self_test_check_bits( const unsigned char *buf,
611 size_t buf_len )
612{
613 unsigned char set= 0xFF;
614 unsigned char unset = 0x00;
615 size_t i;
616
617 for( i = 0; i < buf_len; i++ )
618 {
619 set &= buf[i];
620 unset |= buf[i];
621 }
622
623 return( set == 0xFF || unset == 0x00 );
624}
Andres AGb34e42e2016-08-22 11:08:50 +0100625
626/*
Andres AGe7723ec2016-08-25 10:18:50 +0100627 * A test to ensure hat the entropy sources are functioning correctly
628 * and there is no obvious failure. The test performs the following checks:
Andres AGb34e42e2016-08-22 11:08:50 +0100629 * - The entropy source is not providing only 0s (all bits unset) or 1s (all
630 * bits set).
631 * - The entropy source is not providing values in a pattern. Because the
Andres AGe7723ec2016-08-25 10:18:50 +0100632 * hardware could be providing data in an arbitrary length, this check polls
633 * the hardware entropy source twice and compares the result to ensure they
634 * are not equal.
Andres AGb34e42e2016-08-22 11:08:50 +0100635 * - The error code returned by the entropy source is not an error.
636 */
Andres AGe7723ec2016-08-25 10:18:50 +0100637int mbedtls_entropy_source_self_test( int verbose )
Andres AGb34e42e2016-08-22 11:08:50 +0100638{
639 int ret = 0;
Andres AGe7723ec2016-08-25 10:18:50 +0100640 unsigned char buf0[2 * sizeof( unsigned long long int )];
641 unsigned char buf1[2 * sizeof( unsigned long long int )];
Andres AGb34e42e2016-08-22 11:08:50 +0100642
643 if( verbose != 0 )
644 mbedtls_printf( " ENTROPY_BIAS test: " );
645
Manuel Pégourié-Gonnard7a346b82019-10-02 14:47:01 +0200646 mbedtls_platform_memset( buf0, 0x00, sizeof( buf0 ) );
647 mbedtls_platform_memset( buf1, 0x00, sizeof( buf1 ) );
Andres AGb34e42e2016-08-22 11:08:50 +0100648
Andres AGe7723ec2016-08-25 10:18:50 +0100649 if( ( ret = mbedtls_entropy_source_self_test_gather( buf0, sizeof( buf0 ) ) ) != 0 )
Andres AGb34e42e2016-08-22 11:08:50 +0100650 goto cleanup;
Andres AGe7723ec2016-08-25 10:18:50 +0100651 if( ( ret = mbedtls_entropy_source_self_test_gather( buf1, sizeof( buf1 ) ) ) != 0 )
652 goto cleanup;
653
654 /* Make sure that the returned values are not all 0 or 1 */
655 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf0, sizeof( buf0 ) ) ) != 0 )
656 goto cleanup;
657 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf1, sizeof( buf1 ) ) ) != 0 )
658 goto cleanup;
Andres AGb34e42e2016-08-22 11:08:50 +0100659
660 /* Make sure that the entropy source is not returning values in a
661 * pattern */
Andres AGe7723ec2016-08-25 10:18:50 +0100662 ret = memcmp( buf0, buf1, sizeof( buf0 ) ) == 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100663
664cleanup:
Andres AGb34e42e2016-08-22 11:08:50 +0100665 if( verbose != 0 )
666 {
667 if( ret != 0 )
668 mbedtls_printf( "failed\n" );
669 else
670 mbedtls_printf( "passed\n" );
671
672 mbedtls_printf( "\n" );
673 }
674
675 return( ret != 0 );
676}
Andres AGe7723ec2016-08-25 10:18:50 +0100677
678#endif /* MBEDTLS_ENTROPY_HARDWARE_ALT */
Andres AGb34e42e2016-08-22 11:08:50 +0100679
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200680/*
681 * The actual entropy quality is hard to test, but we can at least
682 * test that the functions don't cause errors and write the correct
683 * amount of data to buffers.
684 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200685int mbedtls_entropy_self_test( int verbose )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200686{
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100687 int ret = 1;
Simon Butcher669c6352016-09-15 18:57:34 +0100688#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200689 mbedtls_entropy_context ctx;
690 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
691 unsigned char acc[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200692 size_t i, j;
Simon Butcher669c6352016-09-15 18:57:34 +0100693#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200694
695 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200696 mbedtls_printf( " ENTROPY test: " );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200697
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100698#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200699 mbedtls_entropy_init( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200700
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200701 /* First do a gather to make sure we have default sources */
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200702 if( ( ret = mbedtls_entropy_gather( &ctx ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200703 goto cleanup;
704
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200705 ret = mbedtls_entropy_add_source( &ctx, entropy_dummy_source, NULL, 16,
706 MBEDTLS_ENTROPY_SOURCE_WEAK );
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200707 if( ret != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200708 goto cleanup;
709
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200710 if( ( ret = mbedtls_entropy_update_manual( &ctx, buf, sizeof buf ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200711 goto cleanup;
712
713 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200714 * To test that mbedtls_entropy_func writes correct number of bytes:
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200715 * - use the whole buffer and rely on ASan to detect overruns
716 * - collect entropy 8 times and OR the result in an accumulator:
717 * any byte should then be 0 with probably 2^(-64), so requiring
718 * each of the 32 or 64 bytes to be non-zero has a false failure rate
719 * of at most 2^(-58) which is acceptable.
720 */
721 for( i = 0; i < 8; i++ )
722 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200723 if( ( ret = mbedtls_entropy_func( &ctx, buf, sizeof( buf ) ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200724 goto cleanup;
725
726 for( j = 0; j < sizeof( buf ); j++ )
727 acc[j] |= buf[j];
728 }
729
730 for( j = 0; j < sizeof( buf ); j++ )
731 {
732 if( acc[j] == 0 )
733 {
734 ret = 1;
735 goto cleanup;
736 }
737 }
738
Andres AGe7723ec2016-08-25 10:18:50 +0100739#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
740 if( ( ret = mbedtls_entropy_source_self_test( 0 ) ) != 0 )
741 goto cleanup;
742#endif
743
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200744cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200745 mbedtls_entropy_free( &ctx );
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100746#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200747
748 if( verbose != 0 )
749 {
750 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200751 mbedtls_printf( "failed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200752 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200753 mbedtls_printf( "passed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200754
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200755 mbedtls_printf( "\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200756 }
757
758 return( ret != 0 );
759}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200760#endif /* MBEDTLS_SELF_TEST */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200761
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200762#endif /* MBEDTLS_ENTROPY_C */