blob: 8040638d0c0199656c03ab5bebaf87e77f53d926 [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
Simon Butcherab5df402016-06-11 02:31:21 +010086#if defined(MBEDTLS_TEST_NULL_ENTROPY)
Simon Butcher4157b602016-06-12 00:31:33 +010087 mbedtls_entropy_add_source( ctx, mbedtls_null_entropy_poll, NULL,
Janos Follath53de7842016-06-08 15:29:18 +010088 1, MBEDTLS_ENTROPY_SOURCE_STRONG );
89#endif
90
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020091#if !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES)
92#if !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
93 mbedtls_entropy_add_source( ctx, mbedtls_platform_entropy_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020094 MBEDTLS_ENTROPY_MIN_PLATFORM,
95 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker6083fd22011-12-03 21:45:14 +000096#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020097#if defined(MBEDTLS_TIMING_C)
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +020098 mbedtls_entropy_add_source( ctx, mbedtls_hardclock_poll, NULL,
99 MBEDTLS_ENTROPY_MIN_HARDCLOCK,
100 MBEDTLS_ENTROPY_SOURCE_WEAK );
Paul Bakker6083fd22011-12-03 21:45:14 +0000101#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200102#if defined(MBEDTLS_HAVEGE_C)
103 mbedtls_entropy_add_source( ctx, mbedtls_havege_poll, &ctx->havege_data,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200104 MBEDTLS_ENTROPY_MIN_HAVEGE,
105 MBEDTLS_ENTROPY_SOURCE_STRONG );
Paul Bakker28c7e7f2011-12-15 19:49:30 +0000106#endif
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +0200107#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
Manuel Pégourié-Gonnardfc2ccfe2015-07-10 11:15:50 +0100108 mbedtls_entropy_add_source( ctx, mbedtls_hardware_poll, NULL,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200109 MBEDTLS_ENTROPY_MIN_HARDWARE,
110 MBEDTLS_ENTROPY_SOURCE_STRONG );
Manuel Pégourié-Gonnard3f77dfb2015-06-19 10:06:21 +0200111#endif
Paul Bakker9988d6b2016-06-01 11:29:42 +0100112#if defined(MBEDTLS_ENTROPY_NV_SEED)
113 mbedtls_entropy_add_source( ctx, mbedtls_nv_seed_poll, NULL,
114 MBEDTLS_ENTROPY_BLOCK_SIZE,
115 MBEDTLS_ENTROPY_SOURCE_STRONG );
116#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117#endif /* MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES */
Paul Bakker6083fd22011-12-03 21:45:14 +0000118}
119
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120void mbedtls_entropy_free( mbedtls_entropy_context *ctx )
Paul Bakker1ffefac2013-09-28 15:23:03 +0200121{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200122#if defined(MBEDTLS_HAVEGE_C)
123 mbedtls_havege_free( &ctx->havege_data );
Paul Bakkera317a982014-06-18 16:44:11 +0200124#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200125#if defined(MBEDTLS_THREADING_C)
126 mbedtls_mutex_free( &ctx->mutex );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200127#endif
Manuel Pégourié-Gonnard0574bb02015-06-02 09:59:29 +0100128 mbedtls_zeroize( ctx, sizeof( mbedtls_entropy_context ) );
Paul Bakker1ffefac2013-09-28 15:23:03 +0200129}
130
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131int mbedtls_entropy_add_source( mbedtls_entropy_context *ctx,
132 mbedtls_entropy_f_source_ptr f_source, void *p_source,
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200133 size_t threshold, int strong )
Paul Bakker6083fd22011-12-03 21:45:14 +0000134{
Paul Bakker47703a02014-02-06 15:01:20 +0100135 int index, ret = 0;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000136
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200137#if defined(MBEDTLS_THREADING_C)
138 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100139 return( ret );
140#endif
141
142 index = ctx->source_count;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200143 if( index >= MBEDTLS_ENTROPY_MAX_SOURCES )
Paul Bakker47703a02014-02-06 15:01:20 +0100144 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145 ret = MBEDTLS_ERR_ENTROPY_MAX_SOURCES;
Paul Bakker47703a02014-02-06 15:01:20 +0100146 goto exit;
147 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000148
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200149 ctx->source[index].f_source = f_source;
150 ctx->source[index].p_source = p_source;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000151 ctx->source[index].threshold = threshold;
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200152 ctx->source[index].strong = strong;
Paul Bakker6083fd22011-12-03 21:45:14 +0000153
154 ctx->source_count++;
155
Paul Bakker47703a02014-02-06 15:01:20 +0100156exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200157#if defined(MBEDTLS_THREADING_C)
158 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
159 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100160#endif
161
162 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000163}
164
165/*
166 * Entropy accumulator update
167 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200168static int entropy_update( mbedtls_entropy_context *ctx, unsigned char source_id,
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200169 const unsigned char *data, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000170{
171 unsigned char header[2];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200172 unsigned char tmp[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000173 size_t use_len = len;
174 const unsigned char *p = data;
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200175
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200176 if( use_len > MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker6083fd22011-12-03 21:45:14 +0000177 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200178#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
179 mbedtls_sha512( data, len, tmp, 0 );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200180#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200181 mbedtls_sha256( data, len, tmp, 0 );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200182#endif
Paul Bakker6083fd22011-12-03 21:45:14 +0000183 p = tmp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200184 use_len = MBEDTLS_ENTROPY_BLOCK_SIZE;
Paul Bakker6083fd22011-12-03 21:45:14 +0000185 }
186
187 header[0] = source_id;
188 header[1] = use_len & 0xFF;
189
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200190#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
191 mbedtls_sha512_update( &ctx->accumulator, header, 2 );
192 mbedtls_sha512_update( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200193#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200194 mbedtls_sha256_update( &ctx->accumulator, header, 2 );
195 mbedtls_sha256_update( &ctx->accumulator, p, use_len );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200196#endif
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +0200197
Paul Bakker6083fd22011-12-03 21:45:14 +0000198 return( 0 );
199}
200
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200201int mbedtls_entropy_update_manual( mbedtls_entropy_context *ctx,
Paul Bakker6083fd22011-12-03 21:45:14 +0000202 const unsigned char *data, size_t len )
203{
Paul Bakker47703a02014-02-06 15:01:20 +0100204 int ret;
205
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200206#if defined(MBEDTLS_THREADING_C)
207 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakker47703a02014-02-06 15:01:20 +0100208 return( ret );
209#endif
210
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211 ret = entropy_update( ctx, MBEDTLS_ENTROPY_SOURCE_MANUAL, data, len );
Paul Bakker47703a02014-02-06 15:01:20 +0100212
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200213#if defined(MBEDTLS_THREADING_C)
214 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
215 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100216#endif
217
Paul Bakkerd8bb8262014-06-17 14:06:49 +0200218 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000219}
220
221/*
222 * Run through the different sources to add entropy to our accumulator
223 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200224static int entropy_gather_internal( mbedtls_entropy_context *ctx )
Paul Bakker6083fd22011-12-03 21:45:14 +0000225{
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200226 int ret, i, have_one_strong = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227 unsigned char buf[MBEDTLS_ENTROPY_MAX_GATHER];
Paul Bakker6083fd22011-12-03 21:45:14 +0000228 size_t olen;
Paul Bakker47703a02014-02-06 15:01:20 +0100229
Paul Bakker43655f42011-12-15 20:11:16 +0000230 if( ctx->source_count == 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200231 return( MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED );
Paul Bakker43655f42011-12-15 20:11:16 +0000232
Paul Bakker6083fd22011-12-03 21:45:14 +0000233 /*
234 * Run through our entropy sources
235 */
236 for( i = 0; i < ctx->source_count; i++ )
237 {
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200238 if( ctx->source[i].strong == MBEDTLS_ENTROPY_SOURCE_STRONG )
239 have_one_strong = 1;
240
Paul Bakker6083fd22011-12-03 21:45:14 +0000241 olen = 0;
Paul Bakker66d5d072014-06-17 16:39:18 +0200242 if( ( ret = ctx->source[i].f_source( ctx->source[i].p_source,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200243 buf, MBEDTLS_ENTROPY_MAX_GATHER, &olen ) ) != 0 )
Paul Bakker6083fd22011-12-03 21:45:14 +0000244 {
245 return( ret );
246 }
247
248 /*
249 * Add if we actually gathered something
250 */
251 if( olen > 0 )
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000252 {
Paul Bakker6083fd22011-12-03 21:45:14 +0000253 entropy_update( ctx, (unsigned char) i, buf, olen );
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000254 ctx->source[i].size += olen;
255 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000256 }
257
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200258 if( have_one_strong == 0 )
259 return( MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE );
260
Paul Bakker6083fd22011-12-03 21:45:14 +0000261 return( 0 );
262}
263
Paul Bakker47703a02014-02-06 15:01:20 +0100264/*
265 * Thread-safe wrapper for entropy_gather_internal()
266 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267int mbedtls_entropy_gather( mbedtls_entropy_context *ctx )
Paul Bakker47703a02014-02-06 15:01:20 +0100268{
Paul Bakkerddd427a2014-04-09 14:47:58 +0200269 int ret;
Paul Bakker47703a02014-02-06 15:01:20 +0100270
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200271#if defined(MBEDTLS_THREADING_C)
272 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerddd427a2014-04-09 14:47:58 +0200273 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100274#endif
275
Paul Bakkerddd427a2014-04-09 14:47:58 +0200276 ret = entropy_gather_internal( ctx );
Paul Bakker47703a02014-02-06 15:01:20 +0100277
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200278#if defined(MBEDTLS_THREADING_C)
279 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
280 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakker47703a02014-02-06 15:01:20 +0100281#endif
282
Paul Bakkerddd427a2014-04-09 14:47:58 +0200283 return( ret );
Paul Bakker47703a02014-02-06 15:01:20 +0100284}
285
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200286int mbedtls_entropy_func( void *data, unsigned char *output, size_t len )
Paul Bakker6083fd22011-12-03 21:45:14 +0000287{
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200288 int ret, count = 0, i, done;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200289 mbedtls_entropy_context *ctx = (mbedtls_entropy_context *) data;
290 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker6083fd22011-12-03 21:45:14 +0000291
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200292 if( len > MBEDTLS_ENTROPY_BLOCK_SIZE )
293 return( MBEDTLS_ERR_ENTROPY_SOURCE_FAILED );
Paul Bakker6083fd22011-12-03 21:45:14 +0000294
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100295#if defined(MBEDTLS_ENTROPY_NV_SEED)
296 /* Update the NV entropy seed before generating any entropy for outside
297 * use.
298 */
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100299 if( ctx->initial_entropy_run == 0 )
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100300 {
Paul Bakkerfc9c7c82016-06-01 15:25:50 +0100301 ctx->initial_entropy_run = 1;
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100302 if( ( ret = mbedtls_entropy_update_nv_seed( ctx ) ) != 0 )
303 return( ret );
304 }
305#endif
306
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200307#if defined(MBEDTLS_THREADING_C)
308 if( ( ret = mbedtls_mutex_lock( &ctx->mutex ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200309 return( ret );
310#endif
311
Paul Bakker6083fd22011-12-03 21:45:14 +0000312 /*
313 * Always gather extra entropy before a call
314 */
315 do
316 {
317 if( count++ > ENTROPY_MAX_LOOP )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200318 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200319 ret = MBEDTLS_ERR_ENTROPY_SOURCE_FAILED;
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200320 goto exit;
321 }
Paul Bakker6083fd22011-12-03 21:45:14 +0000322
Paul Bakker47703a02014-02-06 15:01:20 +0100323 if( ( ret = entropy_gather_internal( ctx ) ) != 0 )
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200324 goto exit;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000325
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200326 done = 1;
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000327 for( i = 0; i < ctx->source_count; i++ )
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200328 if( ctx->source[i].size < ctx->source[i].threshold )
329 done = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000330 }
Manuel Pégourié-Gonnardbf82ff02015-06-19 09:40:51 +0200331 while( ! done );
Paul Bakker6083fd22011-12-03 21:45:14 +0000332
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakker6083fd22011-12-03 21:45:14 +0000334
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200335#if defined(MBEDTLS_ENTROPY_SHA512_ACCUMULATOR)
336 mbedtls_sha512_finish( &ctx->accumulator, buf );
Paul Bakker9e36f042013-06-30 14:34:05 +0200337
Paul Bakker6083fd22011-12-03 21:45:14 +0000338 /*
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000339 * Reset accumulator and counters and recycle existing entropy
Paul Bakker6083fd22011-12-03 21:45:14 +0000340 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200341 memset( &ctx->accumulator, 0, sizeof( mbedtls_sha512_context ) );
342 mbedtls_sha512_starts( &ctx->accumulator, 0 );
343 mbedtls_sha512_update( &ctx->accumulator, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200344
345 /*
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100346 * Perform second SHA-512 on entropy
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200347 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200348 mbedtls_sha512( buf, MBEDTLS_ENTROPY_BLOCK_SIZE, buf, 0 );
349#else /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
350 mbedtls_sha256_finish( &ctx->accumulator, buf );
Paul Bakkerfb08fd22013-08-27 15:06:26 +0200351
352 /*
353 * Reset accumulator and counters and recycle existing entropy
354 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200355 memset( &ctx->accumulator, 0, sizeof( mbedtls_sha256_context ) );
356 mbedtls_sha256_starts( &ctx->accumulator, 0 );
357 mbedtls_sha256_update( &ctx->accumulator, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
Paul Bakkerb13d3ff2014-03-26 12:51:25 +0100358
359 /*
360 * Perform second SHA-256 on entropy
361 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200362 mbedtls_sha256( buf, MBEDTLS_ENTROPY_BLOCK_SIZE, buf, 0 );
363#endif /* MBEDTLS_ENTROPY_SHA512_ACCUMULATOR */
Paul Bakkerbd4a9d02011-12-10 17:02:19 +0000364
365 for( i = 0; i < ctx->source_count; i++ )
366 ctx->source[i].size = 0;
Paul Bakker6083fd22011-12-03 21:45:14 +0000367
368 memcpy( output, buf, len );
369
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200370 ret = 0;
371
372exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200373#if defined(MBEDTLS_THREADING_C)
374 if( mbedtls_mutex_unlock( &ctx->mutex ) != 0 )
375 return( MBEDTLS_ERR_THREADING_MUTEX_ERROR );
Paul Bakkerf4e7dc52013-09-28 15:23:57 +0200376#endif
377
378 return( ret );
Paul Bakker6083fd22011-12-03 21:45:14 +0000379}
380
Paul Bakkerd5c9f6d2016-06-01 11:30:54 +0100381#if defined(MBEDTLS_ENTROPY_NV_SEED)
382int mbedtls_entropy_update_nv_seed( mbedtls_entropy_context *ctx )
383{
384 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
385 unsigned char buf[ MBEDTLS_ENTROPY_MAX_SEED_SIZE ];
386
387 /* Read new seed and write it to NV */
388 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
389 return( ret );
390
391 if( mbedtls_nv_seed_write( buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) < 0 )
392 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
393
394 /* Manually update the remaining stream with a separator value to diverge */
395 memset( buf, 0, MBEDTLS_ENTROPY_BLOCK_SIZE );
396 mbedtls_entropy_update_manual( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE );
397
398 return( 0 );
399}
400#endif /* MBEDTLS_ENTROPY_NV_SEED */
401
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200402#if defined(MBEDTLS_FS_IO)
403int mbedtls_entropy_write_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100404{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200405 int ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100406 FILE *f;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200407 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100408
409 if( ( f = fopen( path, "wb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200410 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100411
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412 if( ( ret = mbedtls_entropy_func( ctx, buf, MBEDTLS_ENTROPY_BLOCK_SIZE ) ) != 0 )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100413 goto exit;
414
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200415 if( fwrite( buf, 1, MBEDTLS_ENTROPY_BLOCK_SIZE, f ) != MBEDTLS_ENTROPY_BLOCK_SIZE )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100416 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200417 ret = MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100418 goto exit;
419 }
420
421 ret = 0;
422
423exit:
424 fclose( f );
425 return( ret );
426}
427
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200428int mbedtls_entropy_update_seed_file( mbedtls_entropy_context *ctx, const char *path )
Paul Bakker66ff70d2014-03-26 11:54:05 +0100429{
430 FILE *f;
431 size_t n;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200432 unsigned char buf[ MBEDTLS_ENTROPY_MAX_SEED_SIZE ];
Paul Bakker66ff70d2014-03-26 11:54:05 +0100433
434 if( ( f = fopen( path, "rb" ) ) == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200435 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100436
437 fseek( f, 0, SEEK_END );
438 n = (size_t) ftell( f );
439 fseek( f, 0, SEEK_SET );
440
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200441 if( n > MBEDTLS_ENTROPY_MAX_SEED_SIZE )
442 n = MBEDTLS_ENTROPY_MAX_SEED_SIZE;
Paul Bakker66ff70d2014-03-26 11:54:05 +0100443
444 if( fread( buf, 1, n, f ) != n )
445 {
446 fclose( f );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200447 return( MBEDTLS_ERR_ENTROPY_FILE_IO_ERROR );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100448 }
449
450 fclose( f );
451
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200452 mbedtls_entropy_update_manual( ctx, buf, n );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100453
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200454 return( mbedtls_entropy_write_seed_file( ctx, path ) );
Paul Bakker66ff70d2014-03-26 11:54:05 +0100455}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456#endif /* MBEDTLS_FS_IO */
Paul Bakker66ff70d2014-03-26 11:54:05 +0100457
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200458#if defined(MBEDTLS_SELF_TEST)
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200459/*
460 * Dummy source function
461 */
462static int entropy_dummy_source( void *data, unsigned char *output,
463 size_t len, size_t *olen )
464{
465 ((void) data);
466
467 memset( output, 0x2a, len );
468 *olen = len;
469
470 return( 0 );
471}
472
473/*
474 * The actual entropy quality is hard to test, but we can at least
475 * test that the functions don't cause errors and write the correct
476 * amount of data to buffers.
477 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200478int mbedtls_entropy_self_test( int verbose )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200479{
480 int ret = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200481 mbedtls_entropy_context ctx;
482 unsigned char buf[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
483 unsigned char acc[MBEDTLS_ENTROPY_BLOCK_SIZE] = { 0 };
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200484 size_t i, j;
485
486 if( verbose != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200487 mbedtls_printf( " ENTROPY test: " );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200488
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200489 mbedtls_entropy_init( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200490
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200491 /* First do a gather to make sure we have default sources */
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200492 if( ( ret = mbedtls_entropy_gather( &ctx ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200493 goto cleanup;
494
Manuel Pégourié-Gonnard7580ba42015-06-19 10:26:32 +0200495 ret = mbedtls_entropy_add_source( &ctx, entropy_dummy_source, NULL, 16,
496 MBEDTLS_ENTROPY_SOURCE_WEAK );
Manuel Pégourié-Gonnarde94bfe62015-05-14 13:57:50 +0200497 if( ret != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200498 goto cleanup;
499
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200500 if( ( ret = mbedtls_entropy_update_manual( &ctx, buf, sizeof buf ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200501 goto cleanup;
502
503 /*
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200504 * To test that mbedtls_entropy_func writes correct number of bytes:
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200505 * - use the whole buffer and rely on ASan to detect overruns
506 * - collect entropy 8 times and OR the result in an accumulator:
507 * any byte should then be 0 with probably 2^(-64), so requiring
508 * each of the 32 or 64 bytes to be non-zero has a false failure rate
509 * of at most 2^(-58) which is acceptable.
510 */
511 for( i = 0; i < 8; i++ )
512 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200513 if( ( ret = mbedtls_entropy_func( &ctx, buf, sizeof( buf ) ) ) != 0 )
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200514 goto cleanup;
515
516 for( j = 0; j < sizeof( buf ); j++ )
517 acc[j] |= buf[j];
518 }
519
520 for( j = 0; j < sizeof( buf ); j++ )
521 {
522 if( acc[j] == 0 )
523 {
524 ret = 1;
525 goto cleanup;
526 }
527 }
528
529cleanup:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200530 mbedtls_entropy_free( &ctx );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200531
532 if( verbose != 0 )
533 {
534 if( ret != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200535 mbedtls_printf( "failed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200536 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200537 mbedtls_printf( "passed\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200538
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200539 mbedtls_printf( "\n" );
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200540 }
541
542 return( ret != 0 );
543}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200544#endif /* MBEDTLS_SELF_TEST */
Manuel Pégourié-Gonnard4dd73922014-05-30 10:34:15 +0200545
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200546#endif /* MBEDTLS_ENTROPY_C */