blob: de1ee0fdb56620aeb92b77a0f5826f52c4d1fb2f [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * Self-test demonstration program
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Paul Bakker5121ce52009-01-03 21:22:43 +000018 */
19
Mateusz Starzyk6c2e9b62021-05-19 17:54:54 +020020#define MBEDTLS_ALLOW_PRIVATE_ACCESS
21
Bence Szépkútic662b362021-05-27 11:25:03 +020022#include "mbedtls/build_info.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000023
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000024#include "mbedtls/entropy.h"
25#include "mbedtls/hmac_drbg.h"
26#include "mbedtls/ctr_drbg.h"
27#include "mbedtls/dhm.h"
28#include "mbedtls/gcm.h"
29#include "mbedtls/ccm.h"
Robert Cragiedc5c7b92015-12-11 15:49:45 +000030#include "mbedtls/cmac.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000031#include "mbedtls/md5.h"
32#include "mbedtls/ripemd160.h"
33#include "mbedtls/sha1.h"
34#include "mbedtls/sha256.h"
35#include "mbedtls/sha512.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000036#include "mbedtls/des.h"
37#include "mbedtls/aes.h"
38#include "mbedtls/camellia.h"
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +000039#include "mbedtls/aria.h"
Daniel King4d8f87b2016-05-18 10:09:28 -030040#include "mbedtls/chacha20.h"
41#include "mbedtls/poly1305.h"
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020042#include "mbedtls/chachapoly.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000043#include "mbedtls/base64.h"
44#include "mbedtls/bignum.h"
45#include "mbedtls/rsa.h"
46#include "mbedtls/x509.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000047#include "mbedtls/pkcs5.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000048#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard4d8685b2015-08-05 15:44:42 +020049#include "mbedtls/ecjpake.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000050#include "mbedtls/timing.h"
Ron Eldor9ab746c2018-07-15 09:33:07 +030051#include "mbedtls/nist_kw.h"
Dave Rodgman8f5a29a2022-04-11 12:59:45 +010052#include "mbedtls/debug.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000053
Hanno Becker4ab38502018-10-16 13:22:44 +010054#include <limits.h>
Rich Evans18b78c72015-02-11 14:06:19 +000055#include <string.h>
56
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000057#include "mbedtls/platform.h"
Rich Evans18b78c72015-02-11 14:06:19 +000058
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020059#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000060#include "mbedtls/memory_buffer_alloc.h"
Paul Bakker6e339b52013-07-03 13:37:05 +020061#endif
62
Simon Butcher63cb97e2018-12-06 17:43:31 +000063
Gilles Peskine6fc21f62019-09-17 18:18:58 +020064#if defined MBEDTLS_SELF_TEST
65/* Sanity check for malloc. This is not expected to fail, and is rather
66 * intended to display potentially useful information about the platform,
67 * in particular the behavior of malloc(0). */
68static int calloc_self_test( int verbose )
69{
70 int failures = 0;
71 void *empty1 = mbedtls_calloc( 0, 1 );
72 void *empty2 = mbedtls_calloc( 0, 1 );
73 void *buffer1 = mbedtls_calloc( 1, 1 );
74 void *buffer2 = mbedtls_calloc( 1, 1 );
Gilles Peskine6fc21f62019-09-17 18:18:58 +020075
76 if( empty1 == NULL && empty2 == NULL )
77 {
78 if( verbose )
79 mbedtls_printf( " CALLOC(0): passed (NULL)\n" );
80 }
81 else if( empty1 == NULL || empty2 == NULL )
82 {
83 if( verbose )
84 mbedtls_printf( " CALLOC(0): failed (mix of NULL and non-NULL)\n" );
85 ++failures;
86 }
87 else if( empty1 == empty2 )
88 {
89 if( verbose )
90 mbedtls_printf( " CALLOC(0): passed (same non-null)\n" );
91 }
92 else
93 {
94 if( verbose )
95 mbedtls_printf( " CALLOC(0): passed (distinct non-null)\n" );
96 }
97
98 if( buffer1 == NULL || buffer2 == NULL )
99 {
100 if( verbose )
101 mbedtls_printf( " CALLOC(1): failed (NULL)\n" );
102 ++failures;
103 }
104 else if( buffer1 == buffer2 )
105 {
106 if( verbose )
107 mbedtls_printf( " CALLOC(1): failed (same buffer twice)\n" );
108 ++failures;
109 }
110 else
111 {
112 if( verbose )
113 mbedtls_printf( " CALLOC(1): passed\n" );
114 }
115
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200116 mbedtls_free( buffer1 );
117 buffer1 = mbedtls_calloc( 1, 1 );
118 if( buffer1 == NULL )
119 {
120 if( verbose )
121 mbedtls_printf( " CALLOC(1 again): failed (NULL)\n" );
122 ++failures;
123 }
124 else
125 {
126 if( verbose )
Gilles Peskine0ff241a2022-06-25 14:29:23 +0200127 mbedtls_printf( " CALLOC(1 again): passed\n" );
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200128 }
129
130 if( verbose )
131 mbedtls_printf( "\n" );
132 mbedtls_free( empty1 );
133 mbedtls_free( empty2 );
134 mbedtls_free( buffer1 );
135 mbedtls_free( buffer2 );
136 return( failures );
137}
138#endif /* MBEDTLS_SELF_TEST */
139
Rodrigo Dias Correa80448aa2020-11-10 02:28:50 -0300140static int test_snprintf( size_t n, const char *ref_buf, int ref_ret )
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200141{
142 int ret;
143 char buf[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200144 const char ref[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200145
146 ret = mbedtls_snprintf( buf, n, "%s", "123" );
147 if( ret < 0 || (size_t) ret >= n )
148 ret = -1;
149
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200150 if( strncmp( ref_buf, buf, sizeof( buf ) ) != 0 ||
151 ref_ret != ret ||
152 memcmp( buf + n, ref + n, sizeof( buf ) - n ) != 0 )
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200153 {
154 return( 1 );
155 }
156
157 return( 0 );
158}
159
160static int run_test_snprintf( void )
161{
162 return( test_snprintf( 0, "xxxxxxxxx", -1 ) != 0 ||
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200163 test_snprintf( 1, "", -1 ) != 0 ||
164 test_snprintf( 2, "1", -1 ) != 0 ||
165 test_snprintf( 3, "12", -1 ) != 0 ||
166 test_snprintf( 4, "123", 3 ) != 0 ||
167 test_snprintf( 5, "123", 3 ) != 0 );
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200168}
169
Simon Butcherb6a73c92016-06-18 22:45:37 +0100170/*
171 * Check if a seed file is present, and if not create one for the entropy
172 * self-test. If this fails, we attempt the test anyway, so no error is passed
173 * back.
174 */
Gilles Peskine319ac802017-12-15 14:57:18 +0100175#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_ENTROPY_C)
176#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Simon Butcherb6a73c92016-06-18 22:45:37 +0100177static void create_entropy_seed_file( void )
178{
179 int result;
180 size_t output_len = 0;
181 unsigned char seed_value[MBEDTLS_ENTROPY_BLOCK_SIZE];
182
183 /* Attempt to read the entropy seed file. If this fails - attempt to write
184 * to the file to ensure one is present. */
185 result = mbedtls_platform_std_nv_seed_read( seed_value,
186 MBEDTLS_ENTROPY_BLOCK_SIZE );
187 if( 0 == result )
188 return;
189
190 result = mbedtls_platform_entropy_poll( NULL,
191 seed_value,
192 MBEDTLS_ENTROPY_BLOCK_SIZE,
193 &output_len );
194 if( 0 != result )
195 return;
196
197 if( MBEDTLS_ENTROPY_BLOCK_SIZE != output_len )
198 return;
199
200 mbedtls_platform_std_nv_seed_write( seed_value, MBEDTLS_ENTROPY_BLOCK_SIZE );
201}
202#endif
203
Gilles Peskine319ac802017-12-15 14:57:18 +0100204int mbedtls_entropy_self_test_wrapper( int verbose )
205{
206#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
207 create_entropy_seed_file( );
208#endif
209 return( mbedtls_entropy_self_test( verbose ) );
210}
211#endif
212
213#if defined(MBEDTLS_SELF_TEST)
214#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
215int mbedtls_memory_buffer_alloc_free_and_self_test( int verbose )
216{
217 if( verbose != 0 )
218 {
219#if defined(MBEDTLS_MEMORY_DEBUG)
220 mbedtls_memory_buffer_alloc_status( );
221#endif
222 }
223 mbedtls_memory_buffer_alloc_free( );
224 return( mbedtls_memory_buffer_alloc_self_test( verbose ) );
225}
226#endif
227
228typedef struct
229{
230 const char *name;
231 int ( *function )( int );
232} selftest_t;
233
234const selftest_t selftests[] =
235{
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200236 {"calloc", calloc_self_test},
Gilles Peskine319ac802017-12-15 14:57:18 +0100237#if defined(MBEDTLS_MD5_C)
238 {"md5", mbedtls_md5_self_test},
239#endif
240#if defined(MBEDTLS_RIPEMD160_C)
241 {"ripemd160", mbedtls_ripemd160_self_test},
242#endif
243#if defined(MBEDTLS_SHA1_C)
244 {"sha1", mbedtls_sha1_self_test},
245#endif
Valerio Setti46e8fd82022-12-14 10:58:02 +0100246#if defined(MBEDTLS_SHA224_C)
247 {"sha256", mbedtls_sha224_self_test},
248#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100249#if defined(MBEDTLS_SHA256_C)
250 {"sha256", mbedtls_sha256_self_test},
251#endif
Valerio Setti898e7a32022-12-14 08:55:53 +0100252#if defined(MBEDTLS_SHA384_C)
253 {"sha512", mbedtls_sha384_self_test},
254#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100255#if defined(MBEDTLS_SHA512_C)
256 {"sha512", mbedtls_sha512_self_test},
257#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100258#if defined(MBEDTLS_DES_C)
259 {"des", mbedtls_des_self_test},
260#endif
261#if defined(MBEDTLS_AES_C)
262 {"aes", mbedtls_aes_self_test},
263#endif
264#if defined(MBEDTLS_GCM_C) && defined(MBEDTLS_AES_C)
265 {"gcm", mbedtls_gcm_self_test},
266#endif
267#if defined(MBEDTLS_CCM_C) && defined(MBEDTLS_AES_C)
268 {"ccm", mbedtls_ccm_self_test},
269#endif
Ron Eldor9ab746c2018-07-15 09:33:07 +0300270#if defined(MBEDTLS_NIST_KW_C) && defined(MBEDTLS_AES_C)
271 {"nist_kw", mbedtls_nist_kw_self_test},
272#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100273#if defined(MBEDTLS_CMAC_C)
274 {"cmac", mbedtls_cmac_self_test},
275#endif
Daniel King4d8f87b2016-05-18 10:09:28 -0300276#if defined(MBEDTLS_CHACHA20_C)
277 {"chacha20", mbedtls_chacha20_self_test},
278#endif
279#if defined(MBEDTLS_POLY1305_C)
280 {"poly1305", mbedtls_poly1305_self_test},
281#endif
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200282#if defined(MBEDTLS_CHACHAPOLY_C)
283 {"chacha20-poly1305", mbedtls_chachapoly_self_test},
Daniel King4d8f87b2016-05-18 10:09:28 -0300284#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100285#if defined(MBEDTLS_BASE64_C)
286 {"base64", mbedtls_base64_self_test},
287#endif
288#if defined(MBEDTLS_BIGNUM_C)
289 {"mpi", mbedtls_mpi_self_test},
290#endif
291#if defined(MBEDTLS_RSA_C)
292 {"rsa", mbedtls_rsa_self_test},
293#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100294#if defined(MBEDTLS_CAMELLIA_C)
295 {"camellia", mbedtls_camellia_self_test},
296#endif
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +0000297#if defined(MBEDTLS_ARIA_C)
298 {"aria", mbedtls_aria_self_test},
299#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100300#if defined(MBEDTLS_CTR_DRBG_C)
301 {"ctr_drbg", mbedtls_ctr_drbg_self_test},
302#endif
303#if defined(MBEDTLS_HMAC_DRBG_C)
304 {"hmac_drbg", mbedtls_hmac_drbg_self_test},
305#endif
306#if defined(MBEDTLS_ECP_C)
307 {"ecp", mbedtls_ecp_self_test},
308#endif
309#if defined(MBEDTLS_ECJPAKE_C)
310 {"ecjpake", mbedtls_ecjpake_self_test},
311#endif
312#if defined(MBEDTLS_DHM_C)
313 {"dhm", mbedtls_dhm_self_test},
314#endif
315#if defined(MBEDTLS_ENTROPY_C)
316 {"entropy", mbedtls_entropy_self_test_wrapper},
317#endif
318#if defined(MBEDTLS_PKCS5_C)
319 {"pkcs5", mbedtls_pkcs5_self_test},
320#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100321/* Heap test comes last */
322#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
323 {"memory_buffer_alloc", mbedtls_memory_buffer_alloc_free_and_self_test},
324#endif
325 {NULL, NULL}
326};
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100327#endif /* MBEDTLS_SELF_TEST */
Gilles Peskine319ac802017-12-15 14:57:18 +0100328
Paul Bakker5121ce52009-01-03 21:22:43 +0000329int main( int argc, char *argv[] )
330{
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100331#if defined(MBEDTLS_SELF_TEST)
Gilles Peskine319ac802017-12-15 14:57:18 +0100332 const selftest_t *test;
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100333#endif /* MBEDTLS_SELF_TEST */
Gilles Peskineff79d272017-12-20 18:09:27 +0100334 char **argp;
335 int v = 1; /* v=1 for verbose mode */
336 int exclude_mode = 0;
337 int suites_tested = 0, suites_failed = 0;
Paul Bakker70940ca2016-07-14 14:30:45 +0100338#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && defined(MBEDTLS_SELF_TEST)
Paul Bakker6e339b52013-07-03 13:37:05 +0200339 unsigned char buf[1000000];
340#endif
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200341 void *pointer;
342
343 /*
344 * The C standard doesn't guarantee that all-bits-0 is the representation
345 * of a NULL pointer. We do however use that in our code for initializing
346 * structures, which should work on every modern platform. Let's be sure.
347 */
348 memset( &pointer, 0, sizeof( void * ) );
349 if( pointer != NULL )
350 {
351 mbedtls_printf( "all-bits-zero is not a NULL pointer\n" );
Janos Follath2e3aca22016-03-18 16:25:52 +0000352 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200353 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000354
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200355 /*
Hanno Becker4ab38502018-10-16 13:22:44 +0100356 * The C standard allows padding bits in the representation
357 * of standard integer types, but our code does currently not
358 * support them.
359 *
360 * Here we check that the underlying C implementation doesn't
361 * use padding bits, and fail cleanly if it does.
362 *
363 * The check works by casting the maximum value representable
364 * by a given integer type into the unpadded integer type of the
365 * same bit-width and checking that it agrees with the maximum value
366 * of that unpadded type. For example, for a 4-byte int,
367 * MAX_INT should be 0x7fffffff in int32_t. This assumes that
368 * CHAR_BIT == 8, which is checked in check_config.h.
Hanno Beckerbaae59c2018-10-19 17:32:45 +0100369 *
370 * We assume that [u]intxx_t exist and that they don't
371 * have padding bits, as the standard requires.
Hanno Becker4ab38502018-10-16 13:22:44 +0100372 */
373
374#define CHECK_PADDING_SIGNED(TYPE, NAME) \
375 do \
376 { \
Dave Rodgmane2e7e942022-04-08 12:41:23 +0100377 if( sizeof( TYPE ) == 2 || sizeof( TYPE ) == 4 || \
378 sizeof( TYPE ) == 8 ) { \
379 if( ( sizeof( TYPE ) == 2 && \
380 (int16_t) NAME ## _MAX != 0x7FFF ) || \
381 ( sizeof( TYPE ) == 4 && \
382 (int32_t) NAME ## _MAX != 0x7FFFFFFF ) || \
383 ( sizeof( TYPE ) == 8 && \
384 (int64_t) NAME ## _MAX != 0x7FFFFFFFFFFFFFFF ) ) \
385 { \
386 mbedtls_printf( "Type '" #TYPE "' has padding bits\n" );\
387 mbedtls_exit( MBEDTLS_EXIT_FAILURE ); \
388 } \
389 } else { \
390 mbedtls_printf( "Padding checks only implemented for types of size 2, 4 or 8" \
Dave Rodgman8f5a29a2022-04-11 12:59:45 +0100391 " - cannot check type '" #TYPE "' of size %" MBEDTLS_PRINTF_SIZET "\n", \
Dave Rodgmane2e7e942022-04-08 12:41:23 +0100392 sizeof( TYPE ) ); \
Hanno Becker4ab38502018-10-16 13:22:44 +0100393 mbedtls_exit( MBEDTLS_EXIT_FAILURE ); \
394 } \
395 } while( 0 )
396
397#define CHECK_PADDING_UNSIGNED(TYPE, NAME) \
398 do \
399 { \
400 if( ( sizeof( TYPE ) == 2 && \
401 (uint16_t) NAME ## _MAX != 0xFFFF ) || \
402 ( sizeof( TYPE ) == 4 && \
403 (uint32_t) NAME ## _MAX != 0xFFFFFFFF ) || \
404 ( sizeof( TYPE ) == 8 && \
405 (uint64_t) NAME ## _MAX != 0xFFFFFFFFFFFFFFFF ) ) \
406 { \
407 mbedtls_printf( "Type '" #TYPE "' has padding bits\n" ); \
408 mbedtls_exit( MBEDTLS_EXIT_FAILURE ); \
409 } \
410 } while( 0 )
411
Hanno Becker0d7dd3c2018-10-19 17:32:29 +0100412 CHECK_PADDING_SIGNED( short, SHRT );
413 CHECK_PADDING_SIGNED( int, INT );
414 CHECK_PADDING_SIGNED( long, LONG );
415 CHECK_PADDING_SIGNED( long long, LLONG );
416 CHECK_PADDING_SIGNED( ptrdiff_t, PTRDIFF );
Hanno Becker4ab38502018-10-16 13:22:44 +0100417
418 CHECK_PADDING_UNSIGNED( unsigned short, USHRT );
419 CHECK_PADDING_UNSIGNED( unsigned, UINT );
420 CHECK_PADDING_UNSIGNED( unsigned long, ULONG );
421 CHECK_PADDING_UNSIGNED( unsigned long long, ULLONG );
Hanno Becker0d7dd3c2018-10-19 17:32:29 +0100422 CHECK_PADDING_UNSIGNED( size_t, SIZE );
Hanno Becker4ab38502018-10-16 13:22:44 +0100423
424#undef CHECK_PADDING_SIGNED
425#undef CHECK_PADDING_UNSIGNED
426
427 /*
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200428 * Make sure we have a snprintf that correctly zero-terminates
429 */
430 if( run_test_snprintf() != 0 )
431 {
432 mbedtls_printf( "the snprintf implementation is broken\n" );
Janos Follath2e3aca22016-03-18 16:25:52 +0000433 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200434 }
435
Gilles Peskineff79d272017-12-20 18:09:27 +0100436 for( argp = argv + ( argc >= 1 ? 1 : argc ); *argp != NULL; ++argp )
SimonB5a8afb82016-03-11 00:40:54 +0000437 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100438 if( strcmp( *argp, "--quiet" ) == 0 ||
439 strcmp( *argp, "-q" ) == 0 )
440 {
441 v = 0;
442 }
443 else if( strcmp( *argp, "--exclude" ) == 0 ||
444 strcmp( *argp, "-x" ) == 0 )
445 {
446 exclude_mode = 1;
447 }
448 else
449 break;
SimonB5a8afb82016-03-11 00:40:54 +0000450 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100451
452 if( v != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200453 mbedtls_printf( "\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000454
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200455#if defined(MBEDTLS_SELF_TEST)
Paul Bakker135b98e2011-05-25 11:13:47 +0000456
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200457#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
458 mbedtls_memory_buffer_alloc_init( buf, sizeof(buf) );
Paul Bakker6e339b52013-07-03 13:37:05 +0200459#endif
460
Gilles Peskineff79d272017-12-20 18:09:27 +0100461 if( *argp != NULL && exclude_mode == 0 )
SimonB5a8afb82016-03-11 00:40:54 +0000462 {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100463 /* Run the specified tests */
464 for( ; *argp != NULL; argp++ )
Gilles Peskine319ac802017-12-15 14:57:18 +0100465 {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100466 for( test = selftests; test->name != NULL; test++ )
467 {
468 if( !strcmp( *argp, test->name ) )
469 {
470 if( test->function( v ) != 0 )
471 {
472 suites_failed++;
473 }
474 suites_tested++;
475 break;
476 }
477 }
478 if( test->name == NULL )
479 {
480 mbedtls_printf( " Test suite %s not available -> failed\n\n", *argp );
481 suites_failed++;
482 }
Gilles Peskine319ac802017-12-15 14:57:18 +0100483 }
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100484 }
485 else
486 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100487 /* Run all the tests except excluded ones */
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100488 for( test = selftests; test->name != NULL; test++ )
489 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100490 if( exclude_mode )
491 {
492 char **excluded;
493 for( excluded = argp; *excluded != NULL; ++excluded )
494 {
495 if( !strcmp( *excluded, test->name ) )
496 break;
497 }
498 if( *excluded )
499 {
500 if( v )
501 mbedtls_printf( " Skip: %s\n", test->name );
502 continue;
503 }
504 }
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100505 if( test->function( v ) != 0 )
506 {
507 suites_failed++;
508 }
509 suites_tested++;
510 }
SimonB5a8afb82016-03-11 00:40:54 +0000511 }
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100512
Paul Bakker70940ca2016-07-14 14:30:45 +0100513#else
Gilles Peskineff79d272017-12-20 18:09:27 +0100514 (void) exclude_mode;
Paul Bakker70940ca2016-07-14 14:30:45 +0100515 mbedtls_printf( " MBEDTLS_SELF_TEST not defined.\n" );
516#endif
517
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100518 if( v != 0 )
519 {
Simon Butcherf1547632016-03-14 23:09:39 +0000520 mbedtls_printf( " Executed %d test suites\n\n", suites_tested );
SimonB5a8afb82016-03-11 00:40:54 +0000521
522 if( suites_failed > 0)
523 {
524 mbedtls_printf( " [ %d tests FAIL ]\n\n", suites_failed );
525 }
526 else
527 {
528 mbedtls_printf( " [ All tests PASS ]\n\n" );
529 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000530 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000531
SimonB5a8afb82016-03-11 00:40:54 +0000532 if( suites_failed > 0)
Janos Follath2e3aca22016-03-18 16:25:52 +0000533 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
SimonB5a8afb82016-03-11 00:40:54 +0000534
Krzysztof Stachowiak5e1b1952019-04-24 14:24:46 +0200535 mbedtls_exit( MBEDTLS_EXIT_SUCCESS );
Paul Bakker5121ce52009-01-03 21:22:43 +0000536}