blob: 00079176aefc175b8cc54108982ba1bb963cf4e9 [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
Paul Bakker6083fd22011-12-03 21:45:14 +000037#define ENTROPY_MAX_LOOP 256 /**< Maximum amount to loop before error */
38
Gilles Peskine449bd832023-01-11 14:50:10 +010039void mbedtls_entropy_init(mbedtls_entropy_context *ctx)
Paul Bakker6083fd22011-12-03 21:45:14 +000040{
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010041 ctx->source_count = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +010042 memset(ctx->source, 0, sizeof(ctx->source));
Paul Bakker6083fd22011-12-03 21:45:14 +000043
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020044#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010045 mbedtls_mutex_init(&ctx->mutex);
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020046#endif
47
Andres Amaya Garcia95869c42017-06-29 16:31:44 +010048 ctx->accumulator_started = 0;
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +010049 mbedtls_md_init(&ctx->accumulator);
Paul Bakker6083fd22011-12-03 21:45:14 +000050
Hanno Beckerd4a872e2017-09-07 08:09:33 +010051 /* Reminder: Update ENTROPY_HAVE_STRONG in the test files
Hanno Becker47deec42017-07-24 12:27:09 +010052 * when adding more strong entropy sources here. */
Hanno Beckerc6deafc2017-07-23 14:06:42 +010053
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054#if !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES)
55#if !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Gilles Peskine449bd832023-01-11 14:50:10 +010056 mbedtls_entropy_add_source(ctx, mbedtls_platform_entropy_poll, NULL,
57 MBEDTLS_ENTROPY_MIN_PLATFORM,
58 MBEDTLS_ENTROPY_SOURCE_STRONG);
Paul Bakker6083fd22011-12-03 21:45:14 +000059#endif
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020060#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Gilles Peskine449bd832023-01-11 14:50:10 +010061 mbedtls_entropy_add_source(ctx, mbedtls_hardware_poll, NULL,
62 MBEDTLS_ENTROPY_MIN_HARDWARE,
63 MBEDTLS_ENTROPY_SOURCE_STRONG);
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020064#endif
Paul Bakker9988d6b2016-06-01 11:29:42 +010065#if defined(MBEDTLS_ENTROPY_NV_SEED)
Gilles Peskine449bd832023-01-11 14:50:10 +010066 mbedtls_entropy_add_source(ctx, mbedtls_nv_seed_poll, NULL,
67 MBEDTLS_ENTROPY_BLOCK_SIZE,
68 MBEDTLS_ENTROPY_SOURCE_STRONG);
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010069 ctx->initial_entropy_run = 0;
Paul Bakker9988d6b2016-06-01 11:29:42 +010070#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020071#endif /* MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES */
Paul Bakker6083fd22011-12-03 21:45:14 +000072}
73
Gilles Peskine449bd832023-01-11 14:50:10 +010074void mbedtls_entropy_free(mbedtls_entropy_context *ctx)
Paul Bakker1ffefac2013-09-28 15:23:03 +020075{
Gilles Peskineb1583212021-02-22 21:26:54 +010076 /* If the context was already free, don't call free() again.
77 * This is important for mutexes which don't allow double-free. */
Gilles Peskine449bd832023-01-11 14:50:10 +010078 if (ctx->accumulator_started == -1) {
Gilles Peskineb1583212021-02-22 21:26:54 +010079 return;
Gilles Peskine449bd832023-01-11 14:50:10 +010080 }
Gilles Peskineb1583212021-02-22 21:26:54 +010081
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010083 mbedtls_mutex_free(&ctx->mutex);
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020084#endif
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +010085 mbedtls_md_free(&ctx->accumulator);
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010086#if defined(MBEDTLS_ENTROPY_NV_SEED)
87 ctx->initial_entropy_run = 0;
88#endif
89 ctx->source_count = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +010090 mbedtls_platform_zeroize(ctx->source, sizeof(ctx->source));
Gilles Peskineb1583212021-02-22 21:26:54 +010091 ctx->accumulator_started = -1;
Paul Bakker1ffefac2013-09-28 15:23:03 +020092}
93
Gilles Peskine449bd832023-01-11 14:50:10 +010094int mbedtls_entropy_add_source(mbedtls_entropy_context *ctx,
95 mbedtls_entropy_f_source_ptr f_source, void *p_source,
96 size_t threshold, int strong)
Paul Bakker6083fd22011-12-03 21:45:14 +000097{
Hanno Becker61937d42017-04-26 15:01:23 +010098 int idx, ret = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +000099
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100101 if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
102 return ret;
103 }
Paul Bakker47703a02014-02-06 15:01:20 +0100104#endif
105
Hanno Becker61937d42017-04-26 15:01:23 +0100106 idx = ctx->source_count;
Gilles Peskine449bd832023-01-11 14:50:10 +0100107 if (idx >= MBEDTLS_ENTROPY_MAX_SOURCES) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200108 ret = MBEDTLS_ERR_ENTROPY_MAX_SOURCES;
Paul Bakker47703a02014-02-06 15:01:20 +0100109 goto exit;
110 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000111
Hanno Becker61937d42017-04-26 15:01:23 +0100112 ctx->source[idx].f_source = f_source;
113 ctx->source[idx].p_source = p_source;
114 ctx->source[idx].threshold = threshold;
115 ctx->source[idx].strong = strong;
Paul Bakker6083fd22011-12-03 21:45:14 +0000116
117 ctx->source_count++;
118
Paul Bakker47703a02014-02-06 15:01:20 +0100119exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100121 if (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
122 return MBEDTLS_ERR_THREADING_MUTEX_ERROR;
123 }
Paul Bakker47703a02014-02-06 15:01:20 +0100124#endif
125
Gilles Peskine449bd832023-01-11 14:50:10 +0100126 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000127}
128
129/*
130 * Entropy accumulator update
131 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100132static int entropy_update(mbedtls_entropy_context *ctx, unsigned char source_id,
133 const unsigned char *data, size_t len)
Paul Bakker6083fd22011-12-03 21:45:14 +0000134{
135 unsigned char header[2];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200136 unsigned char tmp[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000137 size_t use_len = len;
138 const unsigned char *p = data;
Jaeden Amero66954e12018-01-25 16:05:54 +0000139 int ret = 0;
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200140
Gilles Peskine449bd832023-01-11 14:50:10 +0100141 if (use_len > MBEDTLS_ENTROPY_BLOCK_SIZE) {
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100142 if ((ret = mbedtls_md(mbedtls_md_info_from_type(MBEDTLS_ENTROPY_MD),
143 data, len, tmp)) != 0) {
Jaeden Amero66954e12018-01-25 16:05:54 +0000144 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100145 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000146 p = tmp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200147 use_len = MBEDTLS_ENTROPY_BLOCK_SIZE;
Paul Bakker6083fd22011-12-03 21:45:14 +0000148 }
149
150 header[0] = source_id;
151 header[1] = use_len & 0xFF;
152
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100153 /*
154 * Start the accumulator if this has not already happened. Note that
155 * it is sufficient to start the accumulator here only because all calls to
156 * gather entropy eventually execute this code.
157 */
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100158 if (ctx->accumulator_started == 0) {
159 ret = mbedtls_md_setup(&ctx->accumulator,
160 mbedtls_md_info_from_type(MBEDTLS_ENTROPY_MD), 0);
161 if (ret != 0) {
162 goto cleanup;
163 }
164 ret = mbedtls_md_starts(&ctx->accumulator);
165 if (ret != 0) {
166 goto cleanup;
167 }
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100168 ctx->accumulator_started = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100169 }
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100170 if ((ret = mbedtls_md_update(&ctx->accumulator, header, 2)) != 0) {
Jaeden Amero66954e12018-01-25 16:05:54 +0000171 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100172 }
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100173 ret = mbedtls_md_update(&ctx->accumulator, p, use_len);
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200174
Jaeden Amero66954e12018-01-25 16:05:54 +0000175cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +0100176 mbedtls_platform_zeroize(tmp, sizeof(tmp));
Andres Amaya Garcia65121932017-07-05 15:45:47 +0100177
Gilles Peskine449bd832023-01-11 14:50:10 +0100178 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000179}
180
Gilles Peskine449bd832023-01-11 14:50:10 +0100181int mbedtls_entropy_update_manual(mbedtls_entropy_context *ctx,
182 const unsigned char *data, size_t len)
Paul Bakker6083fd22011-12-03 21:45:14 +0000183{
Janos Follath24eed8d2019-11-22 13:21:35 +0000184 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100185
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200186#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100187 if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
188 return ret;
189 }
Paul Bakker47703a02014-02-06 15:01:20 +0100190#endif
191
Gilles Peskine449bd832023-01-11 14:50:10 +0100192 ret = entropy_update(ctx, MBEDTLS_ENTROPY_SOURCE_MANUAL, data, len);
Paul Bakker47703a02014-02-06 15:01:20 +0100193
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200194#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100195 if (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
196 return MBEDTLS_ERR_THREADING_MUTEX_ERROR;
197 }
Paul Bakker47703a02014-02-06 15:01:20 +0100198#endif
199
Gilles Peskine449bd832023-01-11 14:50:10 +0100200 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000201}
202
203/*
204 * Run through the different sources to add entropy to our accumulator
205 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100206static int entropy_gather_internal(mbedtls_entropy_context *ctx)
Paul Bakker6083fd22011-12-03 21:45:14 +0000207{
Gilles Peskine006c1b52019-09-30 17:29:54 +0200208 int ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
209 int i;
210 int have_one_strong = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211 unsigned char buf[MBEDTLS_ENTROPY_MAX_GATHER];
Paul Bakker6083fd22011-12-03 21:45:14 +0000212 size_t olen;
Paul Bakker47703a02014-02-06 15:01:20 +0100213
Gilles Peskine449bd832023-01-11 14:50:10 +0100214 if (ctx->source_count == 0) {
215 return MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED;
216 }
Paul Bakker43655f42011-12-15 20:11:16 +0000217
Paul Bakker6083fd22011-12-03 21:45:14 +0000218 /*
219 * Run through our entropy sources
220 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100221 for (i = 0; i < ctx->source_count; i++) {
222 if (ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG) {
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200223 have_one_strong = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100224 }
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200225
Paul Bakker6083fd22011-12-03 21:45:14 +0000226 olen = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100227 if ((ret = ctx->source[i].f_source(ctx->source[i].p_source,
228 buf, MBEDTLS_ENTROPY_MAX_GATHER, &olen)) != 0) {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100229 goto cleanup;
Paul Bakker6083fd22011-12-03 21:45:14 +0000230 }
231
232 /*
233 * Add if we actually gathered something
234 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100235 if (olen > 0) {
236 if ((ret = entropy_update(ctx, (unsigned char) i,
237 buf, olen)) != 0) {
238 return ret;
239 }
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000240 ctx->source[i].size += olen;
241 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000242 }
243
Gilles Peskine449bd832023-01-11 14:50:10 +0100244 if (have_one_strong == 0) {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100245 ret = MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE;
Gilles Peskine449bd832023-01-11 14:50:10 +0100246 }
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200247
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100248cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +0100249 mbedtls_platform_zeroize(buf, sizeof(buf));
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100250
Gilles Peskine449bd832023-01-11 14:50:10 +0100251 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000252}
253
Paul Bakker47703a02014-02-06 15:01:20 +0100254/*
255 * Thread-safe wrapper for entropy_gather_internal()
256 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100257int mbedtls_entropy_gather(mbedtls_entropy_context *ctx)
Paul Bakker47703a02014-02-06 15:01:20 +0100258{
Janos Follath24eed8d2019-11-22 13:21:35 +0000259 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100260
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200261#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100262 if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
263 return ret;
264 }
Paul Bakker47703a02014-02-06 15:01:20 +0100265#endif
266
Gilles Peskine449bd832023-01-11 14:50:10 +0100267 ret = entropy_gather_internal(ctx);
Paul Bakker47703a02014-02-06 15:01:20 +0100268
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200269#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100270 if (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
271 return MBEDTLS_ERR_THREADING_MUTEX_ERROR;
272 }
Paul Bakker47703a02014-02-06 15:01:20 +0100273#endif
274
Gilles Peskine449bd832023-01-11 14:50:10 +0100275 return ret;
Paul Bakker47703a02014-02-06 15:01:20 +0100276}
277
Gilles Peskine449bd832023-01-11 14:50:10 +0100278int mbedtls_entropy_func(void *data, unsigned char *output, size_t len)
Paul Bakker6083fd22011-12-03 21:45:14 +0000279{
Gilles Peskine85485c72019-10-08 15:04:16 +0200280 int ret, count = 0, i, thresholds_reached;
281 size_t strong_size;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200282 mbedtls_entropy_context *ctx = (mbedtls_entropy_context *) data;
283 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000284
Gilles Peskine449bd832023-01-11 14:50:10 +0100285 if (len > MBEDTLS_ENTROPY_BLOCK_SIZE) {
286 return MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
287 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000288
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100289#if defined(MBEDTLS_ENTROPY_NV_SEED)
290 /* Update the NV entropy seed before generating any entropy for outside
291 * use.
292 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100293 if (ctx->initial_entropy_run == 0) {
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100294 ctx->initial_entropy_run = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100295 if ((ret = mbedtls_entropy_update_nv_seed(ctx)) != 0) {
296 return ret;
297 }
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100298 }
299#endif
300
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200301#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100302 if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
303 return ret;
304 }
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200305#endif
306
Paul Bakker6083fd22011-12-03 21:45:14 +0000307 /*
308 * Always gather extra entropy before a call
309 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100310 do {
311 if (count++ > ENTROPY_MAX_LOOP) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200312 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200313 goto exit;
314 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000315
Gilles Peskine449bd832023-01-11 14:50:10 +0100316 if ((ret = entropy_gather_internal(ctx)) != 0) {
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200317 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100318 }
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000319
Gilles Peskine85485c72019-10-08 15:04:16 +0200320 thresholds_reached = 1;
321 strong_size = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100322 for (i = 0; i < ctx->source_count; i++) {
323 if (ctx->source[i].size < ctx->source[i].threshold) {
Gilles Peskine85485c72019-10-08 15:04:16 +0200324 thresholds_reached = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100325 }
326 if (ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG) {
Gilles Peskine85485c72019-10-08 15:04:16 +0200327 strong_size += ctx->source[i].size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100328 }
Gilles Peskine85485c72019-10-08 15:04:16 +0200329 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100330 } while (!thresholds_reached || strong_size < MBEDTLS_ENTROPY_BLOCK_SIZE);
Paul Bakker6083fd22011-12-03 21:45:14 +0000331
Gilles Peskine449bd832023-01-11 14:50:10 +0100332 memset(buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE);
Paul Bakker6083fd22011-12-03 21:45:14 +0000333
Andres Amaya Garciab2b063f2017-07-20 16:45:24 +0100334 /*
335 * Note that at this stage it is assumed that the accumulator was started
336 * in a previous call to entropy_update(). If this is not guaranteed, the
337 * code below will fail.
338 */
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100339 if ((ret = mbedtls_md_finish(&ctx->accumulator, buf)) != 0) {
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100340 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100341 }
Paul Bakker9e36f042013-06-30 14:34:05 +0200342
Paul Bakker6083fd22011-12-03 21:45:14 +0000343 /*
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000344 * Reset accumulator and counters and recycle existing entropy
Paul Bakker6083fd22011-12-03 21:45:14 +0000345 */
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100346 mbedtls_md_free(&ctx->accumulator);
347 mbedtls_md_init(&ctx->accumulator);
348 ret = mbedtls_md_setup(&ctx->accumulator,
349 mbedtls_md_info_from_type(MBEDTLS_ENTROPY_MD), 0);
350 if (ret != 0) {
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100351 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100352 }
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100353 ret = mbedtls_md_starts(&ctx->accumulator);
354 if (ret != 0) {
355 goto exit;
356 }
357 if ((ret = mbedtls_md_update(&ctx->accumulator, buf,
358 MBEDTLS_ENTROPY_BLOCK_SIZE)) != 0) {
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100359 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100360 }
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200361
362 /*
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100363 * Perform second hashing on entropy
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200364 */
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100365 if ((ret = mbedtls_md(mbedtls_md_info_from_type(MBEDTLS_ENTROPY_MD),
366 buf, MBEDTLS_ENTROPY_BLOCK_SIZE, buf)) != 0) {
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100367 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100368 }
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000369
Gilles Peskine449bd832023-01-11 14:50:10 +0100370 for (i = 0; i < ctx->source_count; i++) {
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000371 ctx->source[i].size = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100372 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000373
Gilles Peskine449bd832023-01-11 14:50:10 +0100374 memcpy(output, buf, len);
Paul Bakker6083fd22011-12-03 21:45:14 +0000375
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200376 ret = 0;
377
378exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100379 mbedtls_platform_zeroize(buf, sizeof(buf));
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100380
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200381#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100382 if (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
383 return MBEDTLS_ERR_THREADING_MUTEX_ERROR;
384 }
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200385#endif
386
Gilles Peskine449bd832023-01-11 14:50:10 +0100387 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000388}
389
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100390#if defined(MBEDTLS_ENTROPY_NV_SEED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100391int mbedtls_entropy_update_nv_seed(mbedtls_entropy_context *ctx)
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100392{
393 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Andres Amaya Garciaaf0b31d2017-07-05 14:23:54 +0100394 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100395
396 /* Read new seed and write it to NV */
Gilles Peskine449bd832023-01-11 14:50:10 +0100397 if ((ret = mbedtls_entropy_func(ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE)) != 0) {
398 return ret;
399 }
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100400
Gilles Peskine449bd832023-01-11 14:50:10 +0100401 if (mbedtls_nv_seed_write(buf, MBEDTLS_ENTROPY_BLOCK_SIZE) < 0) {
402 return MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
403 }
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100404
405 /* Manually update the remaining stream with a separator value to diverge */
Gilles Peskine449bd832023-01-11 14:50:10 +0100406 memset(buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE);
407 ret = mbedtls_entropy_update_manual(ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE);
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100408
Gilles Peskine449bd832023-01-11 14:50:10 +0100409 return ret;
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100410}
411#endif /* MBEDTLS_ENTROPY_NV_SEED */
412
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200413#if defined(MBEDTLS_FS_IO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100414int mbedtls_entropy_write_seed_file(mbedtls_entropy_context *ctx, const char *path)
Paul Bakker66ff70d2014-03-26 11:54:05 +0100415{
Victor Krasnoshchoka0c2d192020-09-03 00:07:05 +0300416 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300417 FILE *f = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200418 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100419
Gilles Peskine449bd832023-01-11 14:50:10 +0100420 if ((ret = mbedtls_entropy_func(ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE)) != 0) {
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300421 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100422 goto exit;
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300423 }
424
Gilles Peskine449bd832023-01-11 14:50:10 +0100425 if ((f = fopen(path, "wb")) == NULL) {
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300426 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
427 goto exit;
428 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100429
Gilles Peskineda0913b2022-06-30 17:03:40 +0200430 /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100431 mbedtls_setbuf(f, NULL);
Gilles Peskineda0913b2022-06-30 17:03:40 +0200432
Gilles Peskine449bd832023-01-11 14:50:10 +0100433 if (fwrite(buf, 1, MBEDTLS_ENTROPY_BLOCK_SIZE, f) != MBEDTLS_ENTROPY_BLOCK_SIZE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200434 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100435 goto exit;
436 }
437
438 ret = 0;
439
440exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100441 mbedtls_platform_zeroize(buf, sizeof(buf));
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100442
Gilles Peskine449bd832023-01-11 14:50:10 +0100443 if (f != NULL) {
444 fclose(f);
445 }
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300446
Gilles Peskine449bd832023-01-11 14:50:10 +0100447 return ret;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100448}
449
Gilles Peskine449bd832023-01-11 14:50:10 +0100450int mbedtls_entropy_update_seed_file(mbedtls_entropy_context *ctx, const char *path)
Paul Bakker66ff70d2014-03-26 11:54:05 +0100451{
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100452 int ret = 0;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100453 FILE *f;
454 size_t n;
Gilles Peskine449bd832023-01-11 14:50:10 +0100455 unsigned char buf[MBEDTLS_ENTROPY_MAX_SEED_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100456
Gilles Peskine449bd832023-01-11 14:50:10 +0100457 if ((f = fopen(path, "rb")) == NULL) {
458 return MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
459 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100460
Gilles Peskineda0913b2022-06-30 17:03:40 +0200461 /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100462 mbedtls_setbuf(f, NULL);
Gilles Peskineda0913b2022-06-30 17:03:40 +0200463
Gilles Peskine449bd832023-01-11 14:50:10 +0100464 fseek(f, 0, SEEK_END);
465 n = (size_t) ftell(f);
466 fseek(f, 0, SEEK_SET);
Paul Bakker66ff70d2014-03-26 11:54:05 +0100467
Gilles Peskine449bd832023-01-11 14:50:10 +0100468 if (n > MBEDTLS_ENTROPY_MAX_SEED_SIZE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200469 n = MBEDTLS_ENTROPY_MAX_SEED_SIZE;
Gilles Peskine449bd832023-01-11 14:50:10 +0100470 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100471
Gilles Peskine449bd832023-01-11 14:50:10 +0100472 if (fread(buf, 1, n, f) != n) {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100473 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Gilles Peskine449bd832023-01-11 14:50:10 +0100474 } else {
475 ret = mbedtls_entropy_update_manual(ctx, buf, n);
476 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100477
Gilles Peskine449bd832023-01-11 14:50:10 +0100478 fclose(f);
Paul Bakker66ff70d2014-03-26 11:54:05 +0100479
Gilles Peskine449bd832023-01-11 14:50:10 +0100480 mbedtls_platform_zeroize(buf, sizeof(buf));
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100481
Gilles Peskine449bd832023-01-11 14:50:10 +0100482 if (ret != 0) {
483 return ret;
484 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100485
Gilles Peskine449bd832023-01-11 14:50:10 +0100486 return mbedtls_entropy_write_seed_file(ctx, path);
Paul Bakker66ff70d2014-03-26 11:54:05 +0100487}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200488#endif /* MBEDTLS_FS_IO */
Paul Bakker66ff70d2014-03-26 11:54:05 +0100489
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200490#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200491/*
492 * Dummy source function
493 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100494static int entropy_dummy_source(void *data, unsigned char *output,
495 size_t len, size_t *olen)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200496{
497 ((void) data);
498
Gilles Peskine449bd832023-01-11 14:50:10 +0100499 memset(output, 0x2a, len);
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200500 *olen = len;
501
Gilles Peskine449bd832023-01-11 14:50:10 +0100502 return 0;
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200503}
504
Andres AGe7723ec2016-08-25 10:18:50 +0100505#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Andres AGb34e42e2016-08-22 11:08:50 +0100506
Gilles Peskine449bd832023-01-11 14:50:10 +0100507static int mbedtls_entropy_source_self_test_gather(unsigned char *buf, size_t buf_len)
Andres AGe7723ec2016-08-25 10:18:50 +0100508{
509 int ret = 0;
510 size_t entropy_len = 0;
511 size_t olen = 0;
512 size_t attempts = buf_len;
513
Gilles Peskine449bd832023-01-11 14:50:10 +0100514 while (attempts > 0 && entropy_len < buf_len) {
515 if ((ret = mbedtls_hardware_poll(NULL, buf + entropy_len,
516 buf_len - entropy_len, &olen)) != 0) {
517 return ret;
518 }
Andres AGe7723ec2016-08-25 10:18:50 +0100519
520 entropy_len += olen;
521 attempts--;
522 }
523
Gilles Peskine449bd832023-01-11 14:50:10 +0100524 if (entropy_len < buf_len) {
Andres AGe7723ec2016-08-25 10:18:50 +0100525 ret = 1;
526 }
527
Gilles Peskine449bd832023-01-11 14:50:10 +0100528 return ret;
Andres AGe7723ec2016-08-25 10:18:50 +0100529}
530
531
Gilles Peskine449bd832023-01-11 14:50:10 +0100532static int mbedtls_entropy_source_self_test_check_bits(const unsigned char *buf,
533 size_t buf_len)
Andres AGe7723ec2016-08-25 10:18:50 +0100534{
Gilles Peskine449bd832023-01-11 14:50:10 +0100535 unsigned char set = 0xFF;
Andres AGe7723ec2016-08-25 10:18:50 +0100536 unsigned char unset = 0x00;
537 size_t i;
538
Gilles Peskine449bd832023-01-11 14:50:10 +0100539 for (i = 0; i < buf_len; i++) {
Andres AGe7723ec2016-08-25 10:18:50 +0100540 set &= buf[i];
541 unset |= buf[i];
542 }
543
Gilles Peskine449bd832023-01-11 14:50:10 +0100544 return set == 0xFF || unset == 0x00;
Andres AGe7723ec2016-08-25 10:18:50 +0100545}
Andres AGb34e42e2016-08-22 11:08:50 +0100546
547/*
Zachary Fleckenstein73defe42022-12-08 07:28:29 -0500548 * A test to ensure that the entropy sources are functioning correctly
Andres AGe7723ec2016-08-25 10:18:50 +0100549 * and there is no obvious failure. The test performs the following checks:
Andres AGb34e42e2016-08-22 11:08:50 +0100550 * - The entropy source is not providing only 0s (all bits unset) or 1s (all
551 * bits set).
552 * - The entropy source is not providing values in a pattern. Because the
Andres AGe7723ec2016-08-25 10:18:50 +0100553 * hardware could be providing data in an arbitrary length, this check polls
554 * the hardware entropy source twice and compares the result to ensure they
555 * are not equal.
Andres AGb34e42e2016-08-22 11:08:50 +0100556 * - The error code returned by the entropy source is not an error.
557 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100558int mbedtls_entropy_source_self_test(int verbose)
Andres AGb34e42e2016-08-22 11:08:50 +0100559{
560 int ret = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100561 unsigned char buf0[2 * sizeof(unsigned long long int)];
562 unsigned char buf1[2 * sizeof(unsigned long long int)];
Andres AGb34e42e2016-08-22 11:08:50 +0100563
Gilles Peskine449bd832023-01-11 14:50:10 +0100564 if (verbose != 0) {
565 mbedtls_printf(" ENTROPY_BIAS test: ");
566 }
Andres AGb34e42e2016-08-22 11:08:50 +0100567
Gilles Peskine449bd832023-01-11 14:50:10 +0100568 memset(buf0, 0x00, sizeof(buf0));
569 memset(buf1, 0x00, sizeof(buf1));
Andres AGb34e42e2016-08-22 11:08:50 +0100570
Gilles Peskine449bd832023-01-11 14:50:10 +0100571 if ((ret = mbedtls_entropy_source_self_test_gather(buf0, sizeof(buf0))) != 0) {
Andres AGb34e42e2016-08-22 11:08:50 +0100572 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100573 }
574 if ((ret = mbedtls_entropy_source_self_test_gather(buf1, sizeof(buf1))) != 0) {
Andres AGe7723ec2016-08-25 10:18:50 +0100575 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100576 }
Andres AGe7723ec2016-08-25 10:18:50 +0100577
578 /* Make sure that the returned values are not all 0 or 1 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100579 if ((ret = mbedtls_entropy_source_self_test_check_bits(buf0, sizeof(buf0))) != 0) {
Andres AGe7723ec2016-08-25 10:18:50 +0100580 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100581 }
582 if ((ret = mbedtls_entropy_source_self_test_check_bits(buf1, sizeof(buf1))) != 0) {
Andres AGe7723ec2016-08-25 10:18:50 +0100583 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100584 }
Andres AGb34e42e2016-08-22 11:08:50 +0100585
586 /* Make sure that the entropy source is not returning values in a
587 * pattern */
Gilles Peskine449bd832023-01-11 14:50:10 +0100588 ret = memcmp(buf0, buf1, sizeof(buf0)) == 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100589
590cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +0100591 if (verbose != 0) {
592 if (ret != 0) {
593 mbedtls_printf("failed\n");
594 } else {
595 mbedtls_printf("passed\n");
596 }
Andres AGb34e42e2016-08-22 11:08:50 +0100597
Gilles Peskine449bd832023-01-11 14:50:10 +0100598 mbedtls_printf("\n");
Andres AGb34e42e2016-08-22 11:08:50 +0100599 }
600
Gilles Peskine449bd832023-01-11 14:50:10 +0100601 return ret != 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100602}
Andres AGe7723ec2016-08-25 10:18:50 +0100603
604#endif /* MBEDTLS_ENTROPY_HARDWARE_ALT */
Andres AGb34e42e2016-08-22 11:08:50 +0100605
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200606/*
607 * The actual entropy quality is hard to test, but we can at least
608 * test that the functions don't cause errors and write the correct
609 * amount of data to buffers.
610 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100611int mbedtls_entropy_self_test(int verbose)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200612{
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100613 int ret = 1;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200614 mbedtls_entropy_context ctx;
615 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
616 unsigned char acc[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200617 size_t i, j;
618
Gilles Peskine449bd832023-01-11 14:50:10 +0100619 if (verbose != 0) {
620 mbedtls_printf(" ENTROPY test: ");
621 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200622
Gilles Peskine449bd832023-01-11 14:50:10 +0100623 mbedtls_entropy_init(&ctx);
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200624
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200625 /* First do a gather to make sure we have default sources */
Gilles Peskine449bd832023-01-11 14:50:10 +0100626 if ((ret = mbedtls_entropy_gather(&ctx)) != 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200627 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100628 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200629
Gilles Peskine449bd832023-01-11 14:50:10 +0100630 ret = mbedtls_entropy_add_source(&ctx, entropy_dummy_source, NULL, 16,
631 MBEDTLS_ENTROPY_SOURCE_WEAK);
632 if (ret != 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200633 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100634 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200635
Dave Rodgman6dd757a2023-02-02 12:40:50 +0000636 if ((ret = mbedtls_entropy_update_manual(&ctx, buf, sizeof(buf))) != 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200637 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100638 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200639
640 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200641 * To test that mbedtls_entropy_func writes correct number of bytes:
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200642 * - use the whole buffer and rely on ASan to detect overruns
643 * - collect entropy 8 times and OR the result in an accumulator:
644 * any byte should then be 0 with probably 2^(-64), so requiring
645 * each of the 32 or 64 bytes to be non-zero has a false failure rate
646 * of at most 2^(-58) which is acceptable.
647 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100648 for (i = 0; i < 8; i++) {
649 if ((ret = mbedtls_entropy_func(&ctx, buf, sizeof(buf))) != 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200650 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100651 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200652
Gilles Peskine449bd832023-01-11 14:50:10 +0100653 for (j = 0; j < sizeof(buf); j++) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200654 acc[j] |= buf[j];
Gilles Peskine449bd832023-01-11 14:50:10 +0100655 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200656 }
657
Gilles Peskine449bd832023-01-11 14:50:10 +0100658 for (j = 0; j < sizeof(buf); j++) {
659 if (acc[j] == 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200660 ret = 1;
661 goto cleanup;
662 }
663 }
664
Andres AGe7723ec2016-08-25 10:18:50 +0100665#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Gilles Peskine449bd832023-01-11 14:50:10 +0100666 if ((ret = mbedtls_entropy_source_self_test(0)) != 0) {
Andres AGe7723ec2016-08-25 10:18:50 +0100667 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100668 }
Andres AGe7723ec2016-08-25 10:18:50 +0100669#endif
670
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200671cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +0100672 mbedtls_entropy_free(&ctx);
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200673
Gilles Peskine449bd832023-01-11 14:50:10 +0100674 if (verbose != 0) {
675 if (ret != 0) {
676 mbedtls_printf("failed\n");
677 } else {
678 mbedtls_printf("passed\n");
679 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200680
Gilles Peskine449bd832023-01-11 14:50:10 +0100681 mbedtls_printf("\n");
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200682 }
683
Gilles Peskine449bd832023-01-11 14:50:10 +0100684 return ret != 0;
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200685}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200686#endif /* MBEDTLS_SELF_TEST */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200687
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200688#endif /* MBEDTLS_ENTROPY_C */