blob: bf943aa55deace6f643e27435a81f411eec5c9a0 [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"
Paul Bakker6083fd22011-12-03 21:45:14 +000038
Rich Evans00ab4702015-02-06 13:43:58 +000039#include <string.h>
40
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020041#if defined(MBEDTLS_FS_IO)
Paul Bakker66ff70d2014-03-26 11:54:05 +010042#include <stdio.h>
43#endif
44
Paul Bakker217efbc2016-07-14 14:30:03 +010045#if defined(MBEDTLS_ENTROPY_NV_SEED)
46#include "mbedtls/platform.h"
47#endif
48
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020049#if defined(MBEDTLS_SELF_TEST)
50#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000051#include "mbedtls/platform.h"
Rich Evans00ab4702015-02-06 13:43:58 +000052#else
53#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020054#define mbedtls_printf printf
55#endif /* MBEDTLS_PLATFORM_C */
56#endif /* MBEDTLS_SELF_TEST */
Rich Evans00ab4702015-02-06 13:43:58 +000057
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020058#if defined(MBEDTLS_HAVEGE_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000059#include "mbedtls/havege.h"
Paul Bakker28c7e7f2011-12-15 19:49:30 +000060#endif
61
Paul Bakker34617722014-06-13 17:20:13 +020062/* Implementation that should never be optimized out by the compiler */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020063static void mbedtls_zeroize( void *v, size_t n ) {
Paul Bakker34617722014-06-13 17:20:13 +020064 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
65}
66
Paul Bakker6083fd22011-12-03 21:45:14 +000067#define ENTROPY_MAX_LOOP 256 /**< Maximum amount to loop before error */
68
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020069void mbedtls_entropy_init( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +000070{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020071 memset( ctx, 0, sizeof(mbedtls_entropy_context) );
Paul Bakker6083fd22011-12-03 21:45:14 +000072
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073#if defined(MBEDTLS_THREADING_C)
74 mbedtls_mutex_init( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +020075#endif
76
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020077#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
78 mbedtls_sha512_starts( &ctx->accumulator, 0 );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020079#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080 mbedtls_sha256_starts( &ctx->accumulator, 0 );
Paul Bakkerfb08fd22013-08-27 15:06:26 +020081#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082#if defined(MBEDTLS_HAVEGE_C)
83 mbedtls_havege_init( &ctx->havege_data );
Paul Bakker43655f42011-12-15 20:11:16 +000084#endif
Paul Bakker6083fd22011-12-03 21:45:14 +000085
Hanno Beckerd4a872e2017-09-07 08:09:33 +010086 /* Reminder: Update ENTROPY_HAVE_STRONG in the test files
Hanno Becker47deec42017-07-24 12:27:09 +010087 * when adding more strong entropy sources here. */
Hanno Beckerc6deafc2017-07-23 14:06:42 +010088
Simon Butcherab5df402016-06-11 02:31:21 +010089#if defined(MBEDTLS_TEST_NULL_ENTROPY)
Simon Butcher4157b602016-06-12 00:31:33 +010090 mbedtls_entropy_add_source( ctx, mbedtls_null_entropy_poll, NULL,
Janos Follath53de7842016-06-08 15:29:18 +010091 1, MBEDTLS_ENTROPY_SOURCE_STRONG );
92#endif
93
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094#if !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES)
95#if !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
96 mbedtls_entropy_add_source( ctx, mbedtls_platform_entropy_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020097 MBEDTLS_ENTROPY_MIN_PLATFORM,
98 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker6083fd22011-12-03 21:45:14 +000099#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200100#if defined(MBEDTLS_TIMING_C)
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200101 mbedtls_entropy_add_source( ctx, mbedtls_hardclock_poll, NULL,
102 MBEDTLS_ENTROPY_MIN_HARDCLOCK,
103 MBEDTLS_ENTROPY_SOURCE_WEAK );
Paul Bakker6083fd22011-12-03 21:45:14 +0000104#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200105#if defined(MBEDTLS_HAVEGE_C)
106 mbedtls_entropy_add_source( ctx, mbedtls_havege_poll, &ctx->havege_data,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200107 MBEDTLS_ENTROPY_MIN_HAVEGE,
108 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker28c7e7f2011-12-15 19:49:30 +0000109#endif
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +0200110#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Manuel Pégourié-Gonnardfc2ccfe2015-07-10 11:15:50 +0100111 mbedtls_entropy_add_source( ctx, mbedtls_hardware_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200112 MBEDTLS_ENTROPY_MIN_HARDWARE,
113 MBEDTLS_ENTROPY_SOURCE_STRONG );
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +0200114#endif
Paul Bakker9988d6b2016-06-01 11:29:42 +0100115#if defined(MBEDTLS_ENTROPY_NV_SEED)
116 mbedtls_entropy_add_source( ctx, mbedtls_nv_seed_poll, NULL,
117 MBEDTLS_ENTROPY_BLOCK_SIZE,
118 MBEDTLS_ENTROPY_SOURCE_STRONG );
119#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120#endif /* MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES */
Paul Bakker6083fd22011-12-03 21:45:14 +0000121}
122
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200123void mbedtls_entropy_free( mbedtls_entropy_context *ctx )
Paul Bakker1ffefac2013-09-28 15:23:03 +0200124{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200125#if defined(MBEDTLS_HAVEGE_C)
126 mbedtls_havege_free( &ctx->havege_data );
Paul Bakkera317a982014-06-18 16:44:11 +0200127#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128#if defined(MBEDTLS_THREADING_C)
129 mbedtls_mutex_free( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200130#endif
Manuel Pégourié-Gonnard0574bb02015-06-02 09:59:29 +0100131 mbedtls_zeroize( ctx, sizeof( mbedtls_entropy_context ) );
Paul Bakker1ffefac2013-09-28 15:23:03 +0200132}
133
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200134int mbedtls_entropy_add_source( mbedtls_entropy_context *ctx,
135 mbedtls_entropy_f_source_ptr f_source, void *p_source,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200136 size_t threshold, int strong )
Paul Bakker6083fd22011-12-03 21:45:14 +0000137{
Hanno Becker61937d42017-04-26 15:01:23 +0100138 int idx, ret = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000139
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200140#if defined(MBEDTLS_THREADING_C)
141 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100142 return( ret );
143#endif
144
Hanno Becker61937d42017-04-26 15:01:23 +0100145 idx = ctx->source_count;
146 if( idx >= MBEDTLS_ENTROPY_MAX_SOURCES )
Paul Bakker47703a02014-02-06 15:01:20 +0100147 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200148 ret = MBEDTLS_ERR_ENTROPY_MAX_SOURCES;
Paul Bakker47703a02014-02-06 15:01:20 +0100149 goto exit;
150 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000151
Hanno Becker61937d42017-04-26 15:01:23 +0100152 ctx->source[idx].f_source = f_source;
153 ctx->source[idx].p_source = p_source;
154 ctx->source[idx].threshold = threshold;
155 ctx->source[idx].strong = strong;
Paul Bakker6083fd22011-12-03 21:45:14 +0000156
157 ctx->source_count++;
158
Paul Bakker47703a02014-02-06 15:01:20 +0100159exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200160#if defined(MBEDTLS_THREADING_C)
161 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
162 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100163#endif
164
165 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000166}
167
168/*
169 * Entropy accumulator update
170 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171static int entropy_update( mbedtls_entropy_context *ctx, unsigned char source_id,
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200172 const unsigned char *data, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000173{
174 unsigned char header[2];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200175 unsigned char tmp[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000176 size_t use_len = len;
177 const unsigned char *p = data;
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200178
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200179 if( use_len > MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker6083fd22011-12-03 21:45:14 +0000180 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200181#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
182 mbedtls_sha512( data, len, tmp, 0 );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200183#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184 mbedtls_sha256( data, len, tmp, 0 );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200185#endif
Paul Bakker6083fd22011-12-03 21:45:14 +0000186 p = tmp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200187 use_len = MBEDTLS_ENTROPY_BLOCK_SIZE;
Paul Bakker6083fd22011-12-03 21:45:14 +0000188 }
189
190 header[0] = source_id;
191 header[1] = use_len & 0xFF;
192
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200193#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
194 mbedtls_sha512_update( &ctx->accumulator, header, 2 );
195 mbedtls_sha512_update( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200196#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200197 mbedtls_sha256_update( &ctx->accumulator, header, 2 );
198 mbedtls_sha256_update( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200199#endif
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200200
Paul Bakker6083fd22011-12-03 21:45:14 +0000201 return( 0 );
202}
203
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200204int mbedtls_entropy_update_manual( mbedtls_entropy_context *ctx,
Paul Bakker6083fd22011-12-03 21:45:14 +0000205 const unsigned char *data, size_t len )
206{
Paul Bakker47703a02014-02-06 15:01:20 +0100207 int ret;
208
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200209#if defined(MBEDTLS_THREADING_C)
210 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100211 return( ret );
212#endif
213
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200214 ret = entropy_update( ctx, MBEDTLS_ENTROPY_SOURCE_MANUAL, data, len );
Paul Bakker47703a02014-02-06 15:01:20 +0100215
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216#if defined(MBEDTLS_THREADING_C)
217 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
218 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100219#endif
220
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200221 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000222}
223
224/*
225 * Run through the different sources to add entropy to our accumulator
226 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227static int entropy_gather_internal( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +0000228{
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200229 int ret, i, have_one_strong = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200230 unsigned char buf[MBEDTLS_ENTROPY_MAX_GATHER];
Paul Bakker6083fd22011-12-03 21:45:14 +0000231 size_t olen;
Paul Bakker47703a02014-02-06 15:01:20 +0100232
Paul Bakker43655f42011-12-15 20:11:16 +0000233 if( ctx->source_count == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234 return( MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED );
Paul Bakker43655f42011-12-15 20:11:16 +0000235
Paul Bakker6083fd22011-12-03 21:45:14 +0000236 /*
237 * Run through our entropy sources
238 */
239 for( i = 0; i < ctx->source_count; i++ )
240 {
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200241 if( ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG )
242 have_one_strong = 1;
243
Paul Bakker6083fd22011-12-03 21:45:14 +0000244 olen = 0;
Paul Bakker66d5d072014-06-17 16:39:18 +0200245 if( ( ret = ctx->source[i].f_source( ctx->source[i].p_source,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200246 buf, MBEDTLS_ENTROPY_MAX_GATHER, &olen ) ) != 0 )
Paul Bakker6083fd22011-12-03 21:45:14 +0000247 {
248 return( ret );
249 }
250
251 /*
252 * Add if we actually gathered something
253 */
254 if( olen > 0 )
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000255 {
Paul Bakker6083fd22011-12-03 21:45:14 +0000256 entropy_update( ctx, (unsigned char) i, buf, olen );
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000257 ctx->source[i].size += olen;
258 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000259 }
260
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200261 if( have_one_strong == 0 )
262 return( MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE );
263
Paul Bakker6083fd22011-12-03 21:45:14 +0000264 return( 0 );
265}
266
Paul Bakker47703a02014-02-06 15:01:20 +0100267/*
268 * Thread-safe wrapper for entropy_gather_internal()
269 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270int mbedtls_entropy_gather( mbedtls_entropy_context *ctx )
Paul Bakker47703a02014-02-06 15:01:20 +0100271{
Paul Bakkerddd427a2014-04-09 14:47:58 +0200272 int ret;
Paul Bakker47703a02014-02-06 15:01:20 +0100273
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200274#if defined(MBEDTLS_THREADING_C)
275 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerddd427a2014-04-09 14:47:58 +0200276 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100277#endif
278
Paul Bakkerddd427a2014-04-09 14:47:58 +0200279 ret = entropy_gather_internal( ctx );
Paul Bakker47703a02014-02-06 15:01:20 +0100280
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200281#if defined(MBEDTLS_THREADING_C)
282 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
283 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100284#endif
285
Paul Bakkerddd427a2014-04-09 14:47:58 +0200286 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100287}
288
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200289int mbedtls_entropy_func( void *data, unsigned char *output, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000290{
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200291 int ret, count = 0, i, done;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200292 mbedtls_entropy_context *ctx = (mbedtls_entropy_context *) data;
293 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000294
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200295 if( len > MBEDTLS_ENTROPY_BLOCK_SIZE )
296 return( MBEDTLS_ERR_ENTROPY_SOURCE_FAILED );
Paul Bakker6083fd22011-12-03 21:45:14 +0000297
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100298#if defined(MBEDTLS_ENTROPY_NV_SEED)
299 /* Update the NV entropy seed before generating any entropy for outside
300 * use.
301 */
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100302 if( ctx->initial_entropy_run == 0 )
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100303 {
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100304 ctx->initial_entropy_run = 1;
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100305 if( ( ret = mbedtls_entropy_update_nv_seed( ctx ) ) != 0 )
306 return( ret );
307 }
308#endif
309
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200310#if defined(MBEDTLS_THREADING_C)
311 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200312 return( ret );
313#endif
314
Paul Bakker6083fd22011-12-03 21:45:14 +0000315 /*
316 * Always gather extra entropy before a call
317 */
318 do
319 {
320 if( count++ > ENTROPY_MAX_LOOP )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200321 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200322 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200323 goto exit;
324 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000325
Paul Bakker47703a02014-02-06 15:01:20 +0100326 if( ( ret = entropy_gather_internal( ctx ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200327 goto exit;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000328
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200329 done = 1;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000330 for( i = 0; i < ctx->source_count; i++ )
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200331 if( ctx->source[i].size < ctx->source[i].threshold )
332 done = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000333 }
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200334 while( ! done );
Paul Bakker6083fd22011-12-03 21:45:14 +0000335
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200336 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000337
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200338#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
339 mbedtls_sha512_finish( &ctx->accumulator, buf );
Paul Bakker9e36f042013-06-30 14:34:05 +0200340
Paul Bakker6083fd22011-12-03 21:45:14 +0000341 /*
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000342 * Reset accumulator and counters and recycle existing entropy
Paul Bakker6083fd22011-12-03 21:45:14 +0000343 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200344 memset( &ctx->accumulator, 0, sizeof( mbedtls_sha512_context ) );
345 mbedtls_sha512_starts( &ctx->accumulator, 0 );
346 mbedtls_sha512_update( &ctx->accumulator, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200347
348 /*
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100349 * Perform second SHA-512 on entropy
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200350 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200351 mbedtls_sha512( buf, MBEDTLS_ENTROPY_BLOCK_SIZE, buf, 0 );
352#else /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
353 mbedtls_sha256_finish( &ctx->accumulator, buf );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200354
355 /*
356 * Reset accumulator and counters and recycle existing entropy
357 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200358 memset( &ctx->accumulator, 0, sizeof( mbedtls_sha256_context ) );
359 mbedtls_sha256_starts( &ctx->accumulator, 0 );
360 mbedtls_sha256_update( &ctx->accumulator, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100361
362 /*
363 * Perform second SHA-256 on entropy
364 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200365 mbedtls_sha256( buf, MBEDTLS_ENTROPY_BLOCK_SIZE, buf, 0 );
366#endif /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000367
368 for( i = 0; i < ctx->source_count; i++ )
369 ctx->source[i].size = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000370
371 memcpy( output, buf, len );
372
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200373 ret = 0;
374
375exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200376#if defined(MBEDTLS_THREADING_C)
377 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
378 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200379#endif
380
381 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000382}
383
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100384#if defined(MBEDTLS_ENTROPY_NV_SEED)
385int mbedtls_entropy_update_nv_seed( mbedtls_entropy_context *ctx )
386{
387 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
388 unsigned char buf[ MBEDTLS_ENTROPY_MAX_SEED_SIZE ];
389
390 /* Read new seed and write it to NV */
391 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
392 return( ret );
393
394 if( mbedtls_nv_seed_write( buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) < 0 )
395 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
396
397 /* Manually update the remaining stream with a separator value to diverge */
398 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
399 mbedtls_entropy_update_manual( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
400
401 return( 0 );
402}
403#endif /* MBEDTLS_ENTROPY_NV_SEED */
404
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200405#if defined(MBEDTLS_FS_IO)
406int mbedtls_entropy_write_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100407{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200408 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100409 FILE *f;
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
412 if( ( f = fopen( path, "wb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200413 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100414
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200415 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100416 goto exit;
417
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200418 if( fwrite( buf, 1, MBEDTLS_ENTROPY_BLOCK_SIZE, f ) != MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100419 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200420 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100421 goto exit;
422 }
423
424 ret = 0;
425
426exit:
427 fclose( f );
428 return( ret );
429}
430
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200431int mbedtls_entropy_update_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100432{
433 FILE *f;
434 size_t n;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200435 unsigned char buf[ MBEDTLS_ENTROPY_MAX_SEED_SIZE ];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100436
437 if( ( f = fopen( path, "rb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200438 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100439
440 fseek( f, 0, SEEK_END );
441 n = (size_t) ftell( f );
442 fseek( f, 0, SEEK_SET );
443
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200444 if( n > MBEDTLS_ENTROPY_MAX_SEED_SIZE )
445 n = MBEDTLS_ENTROPY_MAX_SEED_SIZE;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100446
447 if( fread( buf, 1, n, f ) != n )
448 {
449 fclose( f );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200450 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100451 }
452
453 fclose( f );
454
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200455 mbedtls_entropy_update_manual( ctx, buf, n );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100456
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200457 return( mbedtls_entropy_write_seed_file( ctx, path ) );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100458}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200459#endif /* MBEDTLS_FS_IO */
Paul Bakker66ff70d2014-03-26 11:54:05 +0100460
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200461#if defined(MBEDTLS_SELF_TEST)
Simon Butcher669c6352016-09-15 18:57:34 +0100462#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200463/*
464 * Dummy source function
465 */
466static int entropy_dummy_source( void *data, unsigned char *output,
467 size_t len, size_t *olen )
468{
469 ((void) data);
470
471 memset( output, 0x2a, len );
472 *olen = len;
473
474 return( 0 );
475}
Simon Butcher669c6352016-09-15 18:57:34 +0100476#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200477
Andres AGe7723ec2016-08-25 10:18:50 +0100478#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Andres AGb34e42e2016-08-22 11:08:50 +0100479
Andres AGe7723ec2016-08-25 10:18:50 +0100480static int mbedtls_entropy_source_self_test_gather( unsigned char *buf, size_t buf_len )
481{
482 int ret = 0;
483 size_t entropy_len = 0;
484 size_t olen = 0;
485 size_t attempts = buf_len;
486
487 while( attempts > 0 && entropy_len < buf_len )
488 {
489 if( ( ret = mbedtls_hardware_poll( NULL, buf + entropy_len,
490 buf_len - entropy_len, &olen ) ) != 0 )
491 return( ret );
492
493 entropy_len += olen;
494 attempts--;
495 }
496
497 if( entropy_len < buf_len )
498 {
499 ret = 1;
500 }
501
502 return( ret );
503}
504
505
506static int mbedtls_entropy_source_self_test_check_bits( const unsigned char *buf,
507 size_t buf_len )
508{
509 unsigned char set= 0xFF;
510 unsigned char unset = 0x00;
511 size_t i;
512
513 for( i = 0; i < buf_len; i++ )
514 {
515 set &= buf[i];
516 unset |= buf[i];
517 }
518
519 return( set == 0xFF || unset == 0x00 );
520}
Andres AGb34e42e2016-08-22 11:08:50 +0100521
522/*
Andres AGe7723ec2016-08-25 10:18:50 +0100523 * A test to ensure hat the entropy sources are functioning correctly
524 * and there is no obvious failure. The test performs the following checks:
Andres AGb34e42e2016-08-22 11:08:50 +0100525 * - The entropy source is not providing only 0s (all bits unset) or 1s (all
526 * bits set).
527 * - The entropy source is not providing values in a pattern. Because the
Andres AGe7723ec2016-08-25 10:18:50 +0100528 * hardware could be providing data in an arbitrary length, this check polls
529 * the hardware entropy source twice and compares the result to ensure they
530 * are not equal.
Andres AGb34e42e2016-08-22 11:08:50 +0100531 * - The error code returned by the entropy source is not an error.
532 */
Andres AGe7723ec2016-08-25 10:18:50 +0100533int mbedtls_entropy_source_self_test( int verbose )
Andres AGb34e42e2016-08-22 11:08:50 +0100534{
535 int ret = 0;
Andres AGe7723ec2016-08-25 10:18:50 +0100536 unsigned char buf0[2 * sizeof( unsigned long long int )];
537 unsigned char buf1[2 * sizeof( unsigned long long int )];
Andres AGb34e42e2016-08-22 11:08:50 +0100538
539 if( verbose != 0 )
540 mbedtls_printf( " ENTROPY_BIAS test: " );
541
Andres AGe7723ec2016-08-25 10:18:50 +0100542 memset( buf0, 0x00, sizeof( buf0 ) );
543 memset( buf1, 0x00, sizeof( buf1 ) );
Andres AGb34e42e2016-08-22 11:08:50 +0100544
Andres AGe7723ec2016-08-25 10:18:50 +0100545 if( ( ret = mbedtls_entropy_source_self_test_gather( buf0, sizeof( buf0 ) ) ) != 0 )
Andres AGb34e42e2016-08-22 11:08:50 +0100546 goto cleanup;
Andres AGe7723ec2016-08-25 10:18:50 +0100547 if( ( ret = mbedtls_entropy_source_self_test_gather( buf1, sizeof( buf1 ) ) ) != 0 )
548 goto cleanup;
549
550 /* Make sure that the returned values are not all 0 or 1 */
551 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf0, sizeof( buf0 ) ) ) != 0 )
552 goto cleanup;
553 if( ( ret = mbedtls_entropy_source_self_test_check_bits( buf1, sizeof( buf1 ) ) ) != 0 )
554 goto cleanup;
Andres AGb34e42e2016-08-22 11:08:50 +0100555
556 /* Make sure that the entropy source is not returning values in a
557 * pattern */
Andres AGe7723ec2016-08-25 10:18:50 +0100558 ret = memcmp( buf0, buf1, sizeof( buf0 ) ) == 0;
Andres AGb34e42e2016-08-22 11:08:50 +0100559
560cleanup:
Andres AGb34e42e2016-08-22 11:08:50 +0100561 if( verbose != 0 )
562 {
563 if( ret != 0 )
564 mbedtls_printf( "failed\n" );
565 else
566 mbedtls_printf( "passed\n" );
567
568 mbedtls_printf( "\n" );
569 }
570
571 return( ret != 0 );
572}
Andres AGe7723ec2016-08-25 10:18:50 +0100573
574#endif /* MBEDTLS_ENTROPY_HARDWARE_ALT */
Andres AGb34e42e2016-08-22 11:08:50 +0100575
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200576/*
577 * The actual entropy quality is hard to test, but we can at least
578 * test that the functions don't cause errors and write the correct
579 * amount of data to buffers.
580 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200581int mbedtls_entropy_self_test( int verbose )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200582{
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100583 int ret = 1;
Simon Butcher669c6352016-09-15 18:57:34 +0100584#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200585 mbedtls_entropy_context ctx;
586 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
587 unsigned char acc[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200588 size_t i, j;
Simon Butcher669c6352016-09-15 18:57:34 +0100589#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200590
591 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200592 mbedtls_printf( " ENTROPY test: " );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200593
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100594#if !defined(MBEDTLS_TEST_NULL_ENTROPY)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200595 mbedtls_entropy_init( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200596
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200597 /* First do a gather to make sure we have default sources */
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200598 if( ( ret = mbedtls_entropy_gather( &ctx ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200599 goto cleanup;
600
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200601 ret = mbedtls_entropy_add_source( &ctx, entropy_dummy_source, NULL, 16,
602 MBEDTLS_ENTROPY_SOURCE_WEAK );
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200603 if( ret != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200604 goto cleanup;
605
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200606 if( ( ret = mbedtls_entropy_update_manual( &ctx, buf, sizeof buf ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200607 goto cleanup;
608
609 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200610 * To test that mbedtls_entropy_func writes correct number of bytes:
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200611 * - use the whole buffer and rely on ASan to detect overruns
612 * - collect entropy 8 times and OR the result in an accumulator:
613 * any byte should then be 0 with probably 2^(-64), so requiring
614 * each of the 32 or 64 bytes to be non-zero has a false failure rate
615 * of at most 2^(-58) which is acceptable.
616 */
617 for( i = 0; i < 8; i++ )
618 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200619 if( ( ret = mbedtls_entropy_func( &ctx, buf, sizeof( buf ) ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200620 goto cleanup;
621
622 for( j = 0; j < sizeof( buf ); j++ )
623 acc[j] |= buf[j];
624 }
625
626 for( j = 0; j < sizeof( buf ); j++ )
627 {
628 if( acc[j] == 0 )
629 {
630 ret = 1;
631 goto cleanup;
632 }
633 }
634
Andres AGe7723ec2016-08-25 10:18:50 +0100635#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
636 if( ( ret = mbedtls_entropy_source_self_test( 0 ) ) != 0 )
637 goto cleanup;
638#endif
639
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200640cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200641 mbedtls_entropy_free( &ctx );
Andres Amaya Garciaa928e672016-09-13 13:30:02 +0100642#endif /* !MBEDTLS_TEST_NULL_ENTROPY */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200643
644 if( verbose != 0 )
645 {
646 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200647 mbedtls_printf( "failed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200648 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200649 mbedtls_printf( "passed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200650
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200651 mbedtls_printf( "\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200652 }
653
654 return( ret != 0 );
655}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200656#endif /* MBEDTLS_SELF_TEST */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200657
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200658#endif /* MBEDTLS_ENTROPY_C */