blob: 7dcf067a526eaa75e2d1daccfd0fda303bc85c47 [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
Dave Rodgman16799db2023-11-02 19:47:20 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakker6083fd22011-12-03 21:45:14 +00006 */
7
Gilles Peskinedb09ef62020-06-03 01:43:33 +02008#include "common.h"
Paul Bakker6083fd22011-12-03 21:45:14 +00009
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020010#if defined(MBEDTLS_ENTROPY_C)
Paul Bakker6083fd22011-12-03 21:45:14 +000011
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000012#include "mbedtls/entropy.h"
Chris Jonesea0a8652021-03-09 19:11:19 +000013#include "entropy_poll.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050014#include "mbedtls/platform_util.h"
Janos Follath24eed8d2019-11-22 13:21:35 +000015#include "mbedtls/error.h"
Paul Bakker6083fd22011-12-03 21:45:14 +000016
Rich Evans00ab4702015-02-06 13:43:58 +000017#include <string.h>
18
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020019#if defined(MBEDTLS_FS_IO)
Paul Bakker66ff70d2014-03-26 11:54:05 +010020#include <stdio.h>
21#endif
22
Paul Bakker217efbc2016-07-14 14:30:03 +010023#include "mbedtls/platform.h"
Paul Bakker217efbc2016-07-14 14:30:03 +010024
Paul Bakker6083fd22011-12-03 21:45:14 +000025#define ENTROPY_MAX_LOOP 256 /**< Maximum amount to loop before error */
26
Gilles Peskine449bd832023-01-11 14:50:10 +010027void mbedtls_entropy_init(mbedtls_entropy_context *ctx)
Paul Bakker6083fd22011-12-03 21:45:14 +000028{
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010029 ctx->source_count = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +010030 memset(ctx->source, 0, sizeof(ctx->source));
Paul Bakker6083fd22011-12-03 21:45:14 +000031
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020032#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010033 mbedtls_mutex_init(&ctx->mutex);
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020034#endif
35
Andres Amaya Garcia95869c42017-06-29 16:31:44 +010036 ctx->accumulator_started = 0;
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +010037 mbedtls_md_init(&ctx->accumulator);
Paul Bakker6083fd22011-12-03 21:45:14 +000038
Hanno Beckerd4a872e2017-09-07 08:09:33 +010039 /* Reminder: Update ENTROPY_HAVE_STRONG in the test files
Hanno Becker47deec42017-07-24 12:27:09 +010040 * when adding more strong entropy sources here. */
Hanno Beckerc6deafc2017-07-23 14:06:42 +010041
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042#if !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES)
43#if !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Gilles Peskine449bd832023-01-11 14:50:10 +010044 mbedtls_entropy_add_source(ctx, mbedtls_platform_entropy_poll, NULL,
45 MBEDTLS_ENTROPY_MIN_PLATFORM,
46 MBEDTLS_ENTROPY_SOURCE_STRONG);
Paul Bakker6083fd22011-12-03 21:45:14 +000047#endif
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020048#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Gilles Peskine449bd832023-01-11 14:50:10 +010049 mbedtls_entropy_add_source(ctx, mbedtls_hardware_poll, NULL,
50 MBEDTLS_ENTROPY_MIN_HARDWARE,
51 MBEDTLS_ENTROPY_SOURCE_STRONG);
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +020052#endif
Paul Bakker9988d6b2016-06-01 11:29:42 +010053#if defined(MBEDTLS_ENTROPY_NV_SEED)
Gilles Peskine449bd832023-01-11 14:50:10 +010054 mbedtls_entropy_add_source(ctx, mbedtls_nv_seed_poll, NULL,
55 MBEDTLS_ENTROPY_BLOCK_SIZE,
56 MBEDTLS_ENTROPY_SOURCE_STRONG);
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010057 ctx->initial_entropy_run = 0;
Paul Bakker9988d6b2016-06-01 11:29:42 +010058#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020059#endif /* MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES */
Paul Bakker6083fd22011-12-03 21:45:14 +000060}
61
Gilles Peskine449bd832023-01-11 14:50:10 +010062void mbedtls_entropy_free(mbedtls_entropy_context *ctx)
Paul Bakker1ffefac2013-09-28 15:23:03 +020063{
Troy-Butler9ac3e232024-03-22 14:46:04 -040064 if (ctx == NULL) {
65 return;
66 }
67
Gilles Peskineb1583212021-02-22 21:26:54 +010068 /* If the context was already free, don't call free() again.
69 * This is important for mutexes which don't allow double-free. */
Gilles Peskine449bd832023-01-11 14:50:10 +010070 if (ctx->accumulator_started == -1) {
Gilles Peskineb1583212021-02-22 21:26:54 +010071 return;
Gilles Peskine449bd832023-01-11 14:50:10 +010072 }
Gilles Peskineb1583212021-02-22 21:26:54 +010073
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020074#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010075 mbedtls_mutex_free(&ctx->mutex);
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020076#endif
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +010077 mbedtls_md_free(&ctx->accumulator);
Andres Amaya Garciaa7559cb2017-06-29 16:12:31 +010078#if defined(MBEDTLS_ENTROPY_NV_SEED)
79 ctx->initial_entropy_run = 0;
80#endif
81 ctx->source_count = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +010082 mbedtls_platform_zeroize(ctx->source, sizeof(ctx->source));
Gilles Peskineb1583212021-02-22 21:26:54 +010083 ctx->accumulator_started = -1;
Paul Bakker1ffefac2013-09-28 15:23:03 +020084}
85
Gilles Peskine449bd832023-01-11 14:50:10 +010086int mbedtls_entropy_add_source(mbedtls_entropy_context *ctx,
87 mbedtls_entropy_f_source_ptr f_source, void *p_source,
88 size_t threshold, int strong)
Paul Bakker6083fd22011-12-03 21:45:14 +000089{
Hanno Becker61937d42017-04-26 15:01:23 +010090 int idx, ret = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +000091
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020092#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +010093 if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
94 return ret;
95 }
Paul Bakker47703a02014-02-06 15:01:20 +010096#endif
97
Hanno Becker61937d42017-04-26 15:01:23 +010098 idx = ctx->source_count;
Gilles Peskine449bd832023-01-11 14:50:10 +010099 if (idx >= MBEDTLS_ENTROPY_MAX_SOURCES) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100 ret = MBEDTLS_ERR_ENTROPY_MAX_SOURCES;
Paul Bakker47703a02014-02-06 15:01:20 +0100101 goto exit;
102 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000103
Hanno Becker61937d42017-04-26 15:01:23 +0100104 ctx->source[idx].f_source = f_source;
105 ctx->source[idx].p_source = p_source;
106 ctx->source[idx].threshold = threshold;
107 ctx->source[idx].strong = strong;
Paul Bakker6083fd22011-12-03 21:45:14 +0000108
109 ctx->source_count++;
110
Paul Bakker47703a02014-02-06 15:01:20 +0100111exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200112#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100113 if (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
114 return MBEDTLS_ERR_THREADING_MUTEX_ERROR;
115 }
Paul Bakker47703a02014-02-06 15:01:20 +0100116#endif
117
Gilles Peskine449bd832023-01-11 14:50:10 +0100118 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000119}
120
121/*
122 * Entropy accumulator update
123 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100124static int entropy_update(mbedtls_entropy_context *ctx, unsigned char source_id,
125 const unsigned char *data, size_t len)
Paul Bakker6083fd22011-12-03 21:45:14 +0000126{
127 unsigned char header[2];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128 unsigned char tmp[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000129 size_t use_len = len;
130 const unsigned char *p = data;
Jaeden Amero66954e12018-01-25 16:05:54 +0000131 int ret = 0;
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200132
Gilles Peskine449bd832023-01-11 14:50:10 +0100133 if (use_len > MBEDTLS_ENTROPY_BLOCK_SIZE) {
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100134 if ((ret = mbedtls_md(mbedtls_md_info_from_type(MBEDTLS_ENTROPY_MD),
135 data, len, tmp)) != 0) {
Jaeden Amero66954e12018-01-25 16:05:54 +0000136 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100137 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000138 p = tmp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200139 use_len = MBEDTLS_ENTROPY_BLOCK_SIZE;
Paul Bakker6083fd22011-12-03 21:45:14 +0000140 }
141
142 header[0] = source_id;
143 header[1] = use_len & 0xFF;
144
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100145 /*
146 * Start the accumulator if this has not already happened. Note that
147 * it is sufficient to start the accumulator here only because all calls to
148 * gather entropy eventually execute this code.
149 */
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100150 if (ctx->accumulator_started == 0) {
151 ret = mbedtls_md_setup(&ctx->accumulator,
152 mbedtls_md_info_from_type(MBEDTLS_ENTROPY_MD), 0);
153 if (ret != 0) {
154 goto cleanup;
155 }
156 ret = mbedtls_md_starts(&ctx->accumulator);
157 if (ret != 0) {
158 goto cleanup;
159 }
Andres Amaya Garcia95869c42017-06-29 16:31:44 +0100160 ctx->accumulator_started = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100161 }
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100162 if ((ret = mbedtls_md_update(&ctx->accumulator, header, 2)) != 0) {
Jaeden Amero66954e12018-01-25 16:05:54 +0000163 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100164 }
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100165 ret = mbedtls_md_update(&ctx->accumulator, p, use_len);
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200166
Jaeden Amero66954e12018-01-25 16:05:54 +0000167cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +0100168 mbedtls_platform_zeroize(tmp, sizeof(tmp));
Andres Amaya Garcia65121932017-07-05 15:45:47 +0100169
Gilles Peskine449bd832023-01-11 14:50:10 +0100170 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000171}
172
Gilles Peskine449bd832023-01-11 14:50:10 +0100173int mbedtls_entropy_update_manual(mbedtls_entropy_context *ctx,
174 const unsigned char *data, size_t len)
Paul Bakker6083fd22011-12-03 21:45:14 +0000175{
Janos Follath24eed8d2019-11-22 13:21:35 +0000176 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100177
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200178#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100179 if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
180 return ret;
181 }
Paul Bakker47703a02014-02-06 15:01:20 +0100182#endif
183
Gilles Peskine449bd832023-01-11 14:50:10 +0100184 ret = entropy_update(ctx, MBEDTLS_ENTROPY_SOURCE_MANUAL, data, len);
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 (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
188 return MBEDTLS_ERR_THREADING_MUTEX_ERROR;
189 }
Paul Bakker47703a02014-02-06 15:01:20 +0100190#endif
191
Gilles Peskine449bd832023-01-11 14:50:10 +0100192 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000193}
194
195/*
196 * Run through the different sources to add entropy to our accumulator
197 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100198static int entropy_gather_internal(mbedtls_entropy_context *ctx)
Paul Bakker6083fd22011-12-03 21:45:14 +0000199{
Gilles Peskine006c1b52019-09-30 17:29:54 +0200200 int ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
201 int i;
202 int have_one_strong = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200203 unsigned char buf[MBEDTLS_ENTROPY_MAX_GATHER];
Paul Bakker6083fd22011-12-03 21:45:14 +0000204 size_t olen;
Paul Bakker47703a02014-02-06 15:01:20 +0100205
Gilles Peskine449bd832023-01-11 14:50:10 +0100206 if (ctx->source_count == 0) {
207 return MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED;
208 }
Paul Bakker43655f42011-12-15 20:11:16 +0000209
Paul Bakker6083fd22011-12-03 21:45:14 +0000210 /*
211 * Run through our entropy sources
212 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100213 for (i = 0; i < ctx->source_count; i++) {
214 if (ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG) {
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200215 have_one_strong = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100216 }
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200217
Paul Bakker6083fd22011-12-03 21:45:14 +0000218 olen = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100219 if ((ret = ctx->source[i].f_source(ctx->source[i].p_source,
220 buf, MBEDTLS_ENTROPY_MAX_GATHER, &olen)) != 0) {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100221 goto cleanup;
Paul Bakker6083fd22011-12-03 21:45:14 +0000222 }
223
224 /*
225 * Add if we actually gathered something
226 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100227 if (olen > 0) {
228 if ((ret = entropy_update(ctx, (unsigned char) i,
229 buf, olen)) != 0) {
230 return ret;
231 }
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000232 ctx->source[i].size += olen;
233 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000234 }
235
Gilles Peskine449bd832023-01-11 14:50:10 +0100236 if (have_one_strong == 0) {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100237 ret = MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE;
Gilles Peskine449bd832023-01-11 14:50:10 +0100238 }
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200239
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100240cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +0100241 mbedtls_platform_zeroize(buf, sizeof(buf));
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100242
Gilles Peskine449bd832023-01-11 14:50:10 +0100243 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000244}
245
Paul Bakker47703a02014-02-06 15:01:20 +0100246/*
247 * Thread-safe wrapper for entropy_gather_internal()
248 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100249int mbedtls_entropy_gather(mbedtls_entropy_context *ctx)
Paul Bakker47703a02014-02-06 15:01:20 +0100250{
Janos Follath24eed8d2019-11-22 13:21:35 +0000251 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakker47703a02014-02-06 15:01:20 +0100252
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200253#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100254 if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
255 return ret;
256 }
Paul Bakker47703a02014-02-06 15:01:20 +0100257#endif
258
Gilles Peskine449bd832023-01-11 14:50:10 +0100259 ret = entropy_gather_internal(ctx);
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 (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
263 return MBEDTLS_ERR_THREADING_MUTEX_ERROR;
264 }
Paul Bakker47703a02014-02-06 15:01:20 +0100265#endif
266
Gilles Peskine449bd832023-01-11 14:50:10 +0100267 return ret;
Paul Bakker47703a02014-02-06 15:01:20 +0100268}
269
Gilles Peskine449bd832023-01-11 14:50:10 +0100270int mbedtls_entropy_func(void *data, unsigned char *output, size_t len)
Paul Bakker6083fd22011-12-03 21:45:14 +0000271{
Gilles Peskine85485c72019-10-08 15:04:16 +0200272 int ret, count = 0, i, thresholds_reached;
273 size_t strong_size;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200274 mbedtls_entropy_context *ctx = (mbedtls_entropy_context *) data;
275 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000276
Gilles Peskine449bd832023-01-11 14:50:10 +0100277 if (len > MBEDTLS_ENTROPY_BLOCK_SIZE) {
278 return MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
279 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000280
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100281#if defined(MBEDTLS_ENTROPY_NV_SEED)
282 /* Update the NV entropy seed before generating any entropy for outside
283 * use.
284 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100285 if (ctx->initial_entropy_run == 0) {
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100286 ctx->initial_entropy_run = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100287 if ((ret = mbedtls_entropy_update_nv_seed(ctx)) != 0) {
288 return ret;
289 }
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100290 }
291#endif
292
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200293#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100294 if ((ret = mbedtls_mutex_lock(&ctx->mutex)) != 0) {
295 return ret;
296 }
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200297#endif
298
Paul Bakker6083fd22011-12-03 21:45:14 +0000299 /*
300 * Always gather extra entropy before a call
301 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100302 do {
303 if (count++ > ENTROPY_MAX_LOOP) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200304 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200305 goto exit;
306 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000307
Gilles Peskine449bd832023-01-11 14:50:10 +0100308 if ((ret = entropy_gather_internal(ctx)) != 0) {
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200309 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100310 }
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000311
Gilles Peskine85485c72019-10-08 15:04:16 +0200312 thresholds_reached = 1;
313 strong_size = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100314 for (i = 0; i < ctx->source_count; i++) {
315 if (ctx->source[i].size < ctx->source[i].threshold) {
Gilles Peskine85485c72019-10-08 15:04:16 +0200316 thresholds_reached = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100317 }
318 if (ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG) {
Gilles Peskine85485c72019-10-08 15:04:16 +0200319 strong_size += ctx->source[i].size;
Gilles Peskine449bd832023-01-11 14:50:10 +0100320 }
Gilles Peskine85485c72019-10-08 15:04:16 +0200321 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100322 } while (!thresholds_reached || strong_size < MBEDTLS_ENTROPY_BLOCK_SIZE);
Paul Bakker6083fd22011-12-03 21:45:14 +0000323
Gilles Peskine449bd832023-01-11 14:50:10 +0100324 memset(buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE);
Paul Bakker6083fd22011-12-03 21:45:14 +0000325
Andres Amaya Garciab2b063f2017-07-20 16:45:24 +0100326 /*
327 * Note that at this stage it is assumed that the accumulator was started
328 * in a previous call to entropy_update(). If this is not guaranteed, the
329 * code below will fail.
330 */
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100331 if ((ret = mbedtls_md_finish(&ctx->accumulator, buf)) != 0) {
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100332 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100333 }
Paul Bakker9e36f042013-06-30 14:34:05 +0200334
Paul Bakker6083fd22011-12-03 21:45:14 +0000335 /*
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000336 * Reset accumulator and counters and recycle existing entropy
Paul Bakker6083fd22011-12-03 21:45:14 +0000337 */
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100338 mbedtls_md_free(&ctx->accumulator);
339 mbedtls_md_init(&ctx->accumulator);
340 ret = mbedtls_md_setup(&ctx->accumulator,
341 mbedtls_md_info_from_type(MBEDTLS_ENTROPY_MD), 0);
342 if (ret != 0) {
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100343 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100344 }
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100345 ret = mbedtls_md_starts(&ctx->accumulator);
346 if (ret != 0) {
347 goto exit;
348 }
349 if ((ret = mbedtls_md_update(&ctx->accumulator, buf,
350 MBEDTLS_ENTROPY_BLOCK_SIZE)) != 0) {
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100351 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100352 }
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200353
354 /*
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100355 * Perform second hashing on entropy
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200356 */
Manuel Pégourié-Gonnard5cd4b642023-02-02 13:14:59 +0100357 if ((ret = mbedtls_md(mbedtls_md_info_from_type(MBEDTLS_ENTROPY_MD),
358 buf, MBEDTLS_ENTROPY_BLOCK_SIZE, buf)) != 0) {
Andres Amaya Garcia207cea52017-06-29 13:28:13 +0100359 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100360 }
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000361
Gilles Peskine449bd832023-01-11 14:50:10 +0100362 for (i = 0; i < ctx->source_count; i++) {
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000363 ctx->source[i].size = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100364 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000365
Gilles Peskine449bd832023-01-11 14:50:10 +0100366 memcpy(output, buf, len);
Paul Bakker6083fd22011-12-03 21:45:14 +0000367
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200368 ret = 0;
369
370exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100371 mbedtls_platform_zeroize(buf, sizeof(buf));
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100372
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200373#if defined(MBEDTLS_THREADING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100374 if (mbedtls_mutex_unlock(&ctx->mutex) != 0) {
375 return MBEDTLS_ERR_THREADING_MUTEX_ERROR;
376 }
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200377#endif
378
Gilles Peskine449bd832023-01-11 14:50:10 +0100379 return ret;
Paul Bakker6083fd22011-12-03 21:45:14 +0000380}
381
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100382#if defined(MBEDTLS_ENTROPY_NV_SEED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100383int mbedtls_entropy_update_nv_seed(mbedtls_entropy_context *ctx)
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100384{
385 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Andres Amaya Garciaaf0b31d2017-07-05 14:23:54 +0100386 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100387
388 /* Read new seed and write it to NV */
Gilles Peskine449bd832023-01-11 14:50:10 +0100389 if ((ret = mbedtls_entropy_func(ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE)) != 0) {
390 return ret;
391 }
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100392
Gilles Peskine449bd832023-01-11 14:50:10 +0100393 if (mbedtls_nv_seed_write(buf, MBEDTLS_ENTROPY_BLOCK_SIZE) < 0) {
394 return MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
395 }
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100396
397 /* Manually update the remaining stream with a separator value to diverge */
Gilles Peskine449bd832023-01-11 14:50:10 +0100398 memset(buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE);
399 ret = mbedtls_entropy_update_manual(ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE);
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100400
Gilles Peskine449bd832023-01-11 14:50:10 +0100401 return ret;
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100402}
403#endif /* MBEDTLS_ENTROPY_NV_SEED */
404
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200405#if defined(MBEDTLS_FS_IO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100406int mbedtls_entropy_write_seed_file(mbedtls_entropy_context *ctx, const char *path)
Paul Bakker66ff70d2014-03-26 11:54:05 +0100407{
Victor Krasnoshchoka0c2d192020-09-03 00:07:05 +0300408 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300409 FILE *f = NULL;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200410 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100411
Gilles Peskine449bd832023-01-11 14:50:10 +0100412 if ((ret = mbedtls_entropy_func(ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE)) != 0) {
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300413 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100414 goto exit;
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300415 }
416
Gilles Peskine449bd832023-01-11 14:50:10 +0100417 if ((f = fopen(path, "wb")) == NULL) {
Victor Krasnoshchokb3129ba2020-08-29 22:54:37 +0300418 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
419 goto exit;
420 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100421
Gilles Peskineda0913b2022-06-30 17:03:40 +0200422 /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100423 mbedtls_setbuf(f, NULL);
Gilles Peskineda0913b2022-06-30 17:03:40 +0200424
Gilles Peskine449bd832023-01-11 14:50:10 +0100425 if (fwrite(buf, 1, MBEDTLS_ENTROPY_BLOCK_SIZE, f) != MBEDTLS_ENTROPY_BLOCK_SIZE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200426 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100427 goto exit;
428 }
429
430 ret = 0;
431
432exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100433 mbedtls_platform_zeroize(buf, sizeof(buf));
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100434
Gilles Peskine449bd832023-01-11 14:50:10 +0100435 if (f != NULL) {
436 fclose(f);
437 }
Victor Krasnoshchoke79812e2020-08-27 00:19:55 +0300438
Gilles Peskine449bd832023-01-11 14:50:10 +0100439 return ret;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100440}
441
Gilles Peskine449bd832023-01-11 14:50:10 +0100442int mbedtls_entropy_update_seed_file(mbedtls_entropy_context *ctx, const char *path)
Paul Bakker66ff70d2014-03-26 11:54:05 +0100443{
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100444 int ret = 0;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100445 FILE *f;
446 size_t n;
Gilles Peskine449bd832023-01-11 14:50:10 +0100447 unsigned char buf[MBEDTLS_ENTROPY_MAX_SEED_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100448
Gilles Peskine449bd832023-01-11 14:50:10 +0100449 if ((f = fopen(path, "rb")) == NULL) {
450 return MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
451 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100452
Gilles Peskineda0913b2022-06-30 17:03:40 +0200453 /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100454 mbedtls_setbuf(f, NULL);
Gilles Peskineda0913b2022-06-30 17:03:40 +0200455
Gilles Peskine449bd832023-01-11 14:50:10 +0100456 fseek(f, 0, SEEK_END);
457 n = (size_t) ftell(f);
458 fseek(f, 0, SEEK_SET);
Paul Bakker66ff70d2014-03-26 11:54:05 +0100459
Gilles Peskine449bd832023-01-11 14:50:10 +0100460 if (n > MBEDTLS_ENTROPY_MAX_SEED_SIZE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200461 n = MBEDTLS_ENTROPY_MAX_SEED_SIZE;
Gilles Peskine449bd832023-01-11 14:50:10 +0100462 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100463
Gilles Peskine449bd832023-01-11 14:50:10 +0100464 if (fread(buf, 1, n, f) != n) {
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100465 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Gilles Peskine449bd832023-01-11 14:50:10 +0100466 } else {
467 ret = mbedtls_entropy_update_manual(ctx, buf, n);
468 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100469
Gilles Peskine449bd832023-01-11 14:50:10 +0100470 fclose(f);
Paul Bakker66ff70d2014-03-26 11:54:05 +0100471
Gilles Peskine449bd832023-01-11 14:50:10 +0100472 mbedtls_platform_zeroize(buf, sizeof(buf));
Andres Amaya Garcia1adcd952017-06-26 09:58:59 +0100473
Gilles Peskine449bd832023-01-11 14:50:10 +0100474 if (ret != 0) {
475 return ret;
476 }
Paul Bakker66ff70d2014-03-26 11:54:05 +0100477
Gilles Peskine449bd832023-01-11 14:50:10 +0100478 return mbedtls_entropy_write_seed_file(ctx, path);
Paul Bakker66ff70d2014-03-26 11:54:05 +0100479}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200480#endif /* MBEDTLS_FS_IO */
Paul Bakker66ff70d2014-03-26 11:54:05 +0100481
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200482#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200483/*
484 * Dummy source function
485 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100486static int entropy_dummy_source(void *data, unsigned char *output,
487 size_t len, size_t *olen)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200488{
489 ((void) data);
490
Gilles Peskine449bd832023-01-11 14:50:10 +0100491 memset(output, 0x2a, len);
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200492 *olen = len;
493
Gilles Peskine449bd832023-01-11 14:50:10 +0100494 return 0;
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200495}
496
Andres AGe7723ec2016-08-25 10:18:50 +0100497#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Andres AGb34e42e2016-08-22 11:08:50 +0100498
Gilles Peskine449bd832023-01-11 14:50:10 +0100499static int mbedtls_entropy_source_self_test_gather(unsigned char *buf, size_t buf_len)
Andres AGe7723ec2016-08-25 10:18:50 +0100500{
501 int ret = 0;
502 size_t entropy_len = 0;
503 size_t olen = 0;
504 size_t attempts = buf_len;
505
Gilles Peskine449bd832023-01-11 14:50:10 +0100506 while (attempts > 0 && entropy_len < buf_len) {
507 if ((ret = mbedtls_hardware_poll(NULL, buf + entropy_len,
508 buf_len - entropy_len, &olen)) != 0) {
509 return ret;
510 }
Andres AGe7723ec2016-08-25 10:18:50 +0100511
512 entropy_len += olen;
513 attempts--;
514 }
515
Gilles Peskine449bd832023-01-11 14:50:10 +0100516 if (entropy_len < buf_len) {
Andres AGe7723ec2016-08-25 10:18:50 +0100517 ret = 1;
518 }
519
Gilles Peskine449bd832023-01-11 14:50:10 +0100520 return ret;
Andres AGe7723ec2016-08-25 10:18:50 +0100521}
522
523
Gilles Peskine449bd832023-01-11 14:50:10 +0100524static int mbedtls_entropy_source_self_test_check_bits(const unsigned char *buf,
525 size_t buf_len)
Andres AGe7723ec2016-08-25 10:18:50 +0100526{
Gilles Peskine449bd832023-01-11 14:50:10 +0100527 unsigned char set = 0xFF;
Andres AGe7723ec2016-08-25 10:18:50 +0100528 unsigned char unset = 0x00;
529 size_t i;
530
Gilles Peskine449bd832023-01-11 14:50:10 +0100531 for (i = 0; i < buf_len; i++) {
Andres AGe7723ec2016-08-25 10:18:50 +0100532 set &= buf[i];
533 unset |= buf[i];
534 }
535
Gilles Peskine449bd832023-01-11 14:50:10 +0100536 return set == 0xFF || unset == 0x00;
Andres AGe7723ec2016-08-25 10:18:50 +0100537}
Andres AGb34e42e2016-08-22 11:08:50 +0100538
539/*
Zachary Fleckenstein73defe42022-12-08 07:28:29 -0500540 * A test to ensure that the entropy sources are functioning correctly
Andres AGe7723ec2016-08-25 10:18:50 +0100541 * and there is no obvious failure. The test performs the following checks:
Andres AGb34e42e2016-08-22 11:08:50 +0100542 * - The entropy source is not providing only 0s (all bits unset) or 1s (all
543 * bits set).
544 * - The entropy source is not providing values in a pattern. Because the
Andres AGe7723ec2016-08-25 10:18:50 +0100545 * hardware could be providing data in an arbitrary length, this check polls
546 * the hardware entropy source twice and compares the result to ensure they
547 * are not equal.
Andres AGb34e42e2016-08-22 11:08:50 +0100548 * - The error code returned by the entropy source is not an error.
549 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100550int mbedtls_entropy_source_self_test(int verbose)
Andres AGb34e42e2016-08-22 11:08:50 +0100551{
552 int ret = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100553 unsigned char buf0[2 * sizeof(unsigned long long int)];
554 unsigned char buf1[2 * sizeof(unsigned long long int)];
Andres AGb34e42e2016-08-22 11:08:50 +0100555
Gilles Peskine449bd832023-01-11 14:50:10 +0100556 if (verbose != 0) {
557 mbedtls_printf(" ENTROPY_BIAS test: ");
558 }
Andres AGb34e42e2016-08-22 11:08:50 +0100559
Gilles Peskine449bd832023-01-11 14:50:10 +0100560 memset(buf0, 0x00, sizeof(buf0));
561 memset(buf1, 0x00, sizeof(buf1));
Andres AGb34e42e2016-08-22 11:08:50 +0100562
Gilles Peskine449bd832023-01-11 14:50:10 +0100563 if ((ret = mbedtls_entropy_source_self_test_gather(buf0, sizeof(buf0))) != 0) {
Andres AGb34e42e2016-08-22 11:08:50 +0100564 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100565 }
566 if ((ret = mbedtls_entropy_source_self_test_gather(buf1, sizeof(buf1))) != 0) {
Andres AGe7723ec2016-08-25 10:18:50 +0100567 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100568 }
Andres AGe7723ec2016-08-25 10:18:50 +0100569
570 /* Make sure that the returned values are not all 0 or 1 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100571 if ((ret = mbedtls_entropy_source_self_test_check_bits(buf0, sizeof(buf0))) != 0) {
Andres AGe7723ec2016-08-25 10:18:50 +0100572 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100573 }
574 if ((ret = mbedtls_entropy_source_self_test_check_bits(buf1, sizeof(buf1))) != 0) {
Andres AGe7723ec2016-08-25 10:18:50 +0100575 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100576 }
Andres AGb34e42e2016-08-22 11:08:50 +0100577
578 /* Make sure that the entropy source is not returning values in a
579 * pattern */
Gilles Peskine449bd832023-01-11 14:50:10 +0100580 ret = memcmp(buf0, buf1, sizeof(buf0)) == 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100581
582cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +0100583 if (verbose != 0) {
584 if (ret != 0) {
585 mbedtls_printf("failed\n");
586 } else {
587 mbedtls_printf("passed\n");
588 }
Andres AGb34e42e2016-08-22 11:08:50 +0100589
Gilles Peskine449bd832023-01-11 14:50:10 +0100590 mbedtls_printf("\n");
Andres AGb34e42e2016-08-22 11:08:50 +0100591 }
592
Gilles Peskine449bd832023-01-11 14:50:10 +0100593 return ret != 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100594}
Andres AGe7723ec2016-08-25 10:18:50 +0100595
596#endif /* MBEDTLS_ENTROPY_HARDWARE_ALT */
Andres AGb34e42e2016-08-22 11:08:50 +0100597
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200598/*
599 * The actual entropy quality is hard to test, but we can at least
600 * test that the functions don't cause errors and write the correct
601 * amount of data to buffers.
602 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100603int mbedtls_entropy_self_test(int verbose)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200604{
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100605 int ret = 1;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200606 mbedtls_entropy_context ctx;
607 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
608 unsigned char acc[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200609 size_t i, j;
610
Gilles Peskine449bd832023-01-11 14:50:10 +0100611 if (verbose != 0) {
612 mbedtls_printf(" ENTROPY test: ");
613 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200614
Gilles Peskine449bd832023-01-11 14:50:10 +0100615 mbedtls_entropy_init(&ctx);
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200616
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200617 /* First do a gather to make sure we have default sources */
Gilles Peskine449bd832023-01-11 14:50:10 +0100618 if ((ret = mbedtls_entropy_gather(&ctx)) != 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200619 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100620 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200621
Gilles Peskine449bd832023-01-11 14:50:10 +0100622 ret = mbedtls_entropy_add_source(&ctx, entropy_dummy_source, NULL, 16,
623 MBEDTLS_ENTROPY_SOURCE_WEAK);
624 if (ret != 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200625 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100626 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200627
Dave Rodgman6dd757a2023-02-02 12:40:50 +0000628 if ((ret = mbedtls_entropy_update_manual(&ctx, buf, sizeof(buf))) != 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200629 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100630 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200631
632 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200633 * To test that mbedtls_entropy_func writes correct number of bytes:
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200634 * - use the whole buffer and rely on ASan to detect overruns
635 * - collect entropy 8 times and OR the result in an accumulator:
636 * any byte should then be 0 with probably 2^(-64), so requiring
637 * each of the 32 or 64 bytes to be non-zero has a false failure rate
638 * of at most 2^(-58) which is acceptable.
639 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100640 for (i = 0; i < 8; i++) {
641 if ((ret = mbedtls_entropy_func(&ctx, buf, sizeof(buf))) != 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200642 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100643 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200644
Gilles Peskine449bd832023-01-11 14:50:10 +0100645 for (j = 0; j < sizeof(buf); j++) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200646 acc[j] |= buf[j];
Gilles Peskine449bd832023-01-11 14:50:10 +0100647 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200648 }
649
Gilles Peskine449bd832023-01-11 14:50:10 +0100650 for (j = 0; j < sizeof(buf); j++) {
651 if (acc[j] == 0) {
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200652 ret = 1;
653 goto cleanup;
654 }
655 }
656
Andres AGe7723ec2016-08-25 10:18:50 +0100657#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Gilles Peskine449bd832023-01-11 14:50:10 +0100658 if ((ret = mbedtls_entropy_source_self_test(0)) != 0) {
Andres AGe7723ec2016-08-25 10:18:50 +0100659 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +0100660 }
Andres AGe7723ec2016-08-25 10:18:50 +0100661#endif
662
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200663cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +0100664 mbedtls_entropy_free(&ctx);
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200665
Gilles Peskine449bd832023-01-11 14:50:10 +0100666 if (verbose != 0) {
667 if (ret != 0) {
668 mbedtls_printf("failed\n");
669 } else {
670 mbedtls_printf("passed\n");
671 }
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200672
Gilles Peskine449bd832023-01-11 14:50:10 +0100673 mbedtls_printf("\n");
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200674 }
675
Gilles Peskine449bd832023-01-11 14:50:10 +0100676 return ret != 0;
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200677}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200678#endif /* MBEDTLS_SELF_TEST */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200679
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200680#endif /* MBEDTLS_ENTROPY_C */