blob: 869c7b6b14432f260a977864e447668e561b3006 [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * Self-test demonstration program
3 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02004 * Copyright (C) 2006-2015, 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 Bakkerb96f1542010-07-18 20:36:00 +000018 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker5121ce52009-01-03 21:22:43 +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 Bakker5121ce52009-01-03 21:22:43 +000027
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000028#include "mbedtls/entropy.h"
Simon Butcherb6a73c92016-06-18 22:45:37 +010029#include "mbedtls/entropy_poll.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/hmac_drbg.h"
31#include "mbedtls/ctr_drbg.h"
32#include "mbedtls/dhm.h"
33#include "mbedtls/gcm.h"
34#include "mbedtls/ccm.h"
Robert Cragiedc5c7b92015-12-11 15:49:45 +000035#include "mbedtls/cmac.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000036#include "mbedtls/md2.h"
37#include "mbedtls/md4.h"
38#include "mbedtls/md5.h"
39#include "mbedtls/ripemd160.h"
40#include "mbedtls/sha1.h"
41#include "mbedtls/sha256.h"
42#include "mbedtls/sha512.h"
43#include "mbedtls/arc4.h"
44#include "mbedtls/des.h"
45#include "mbedtls/aes.h"
46#include "mbedtls/camellia.h"
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +000047#include "mbedtls/aria.h"
Daniel King4d8f87b2016-05-18 10:09:28 -030048#include "mbedtls/chacha20.h"
49#include "mbedtls/poly1305.h"
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020050#include "mbedtls/chachapoly.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000051#include "mbedtls/base64.h"
52#include "mbedtls/bignum.h"
53#include "mbedtls/rsa.h"
54#include "mbedtls/x509.h"
55#include "mbedtls/xtea.h"
56#include "mbedtls/pkcs5.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000057#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard4d8685b2015-08-05 15:44:42 +020058#include "mbedtls/ecjpake.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000059#include "mbedtls/timing.h"
Ron Eldor9ab746c2018-07-15 09:33:07 +030060#include "mbedtls/nist_kw.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000061
Rich Evans18b78c72015-02-11 14:06:19 +000062#include <string.h>
63
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020064#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000065#include "mbedtls/platform.h"
Rich Evans18b78c72015-02-11 14:06:19 +000066#else
67#include <stdio.h>
Janos Follath2e3aca22016-03-18 16:25:52 +000068#include <stdlib.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020069#define mbedtls_printf printf
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +020070#define mbedtls_snprintf snprintf
Janos Follath2e3aca22016-03-18 16:25:52 +000071#define mbedtls_exit exit
72#define MBEDTLS_EXIT_SUCCESS EXIT_SUCCESS
73#define MBEDTLS_EXIT_FAILURE EXIT_FAILURE
Rich Evans18b78c72015-02-11 14:06:19 +000074#endif
75
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020076#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000077#include "mbedtls/memory_buffer_alloc.h"
Paul Bakker6e339b52013-07-03 13:37:05 +020078#endif
79
Simon Butcher63cb97e2018-12-06 17:43:31 +000080
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +020081static int test_snprintf( size_t n, const char ref_buf[10], int ref_ret )
82{
83 int ret;
84 char buf[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +020085 const char ref[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +020086
87 ret = mbedtls_snprintf( buf, n, "%s", "123" );
88 if( ret < 0 || (size_t) ret >= n )
89 ret = -1;
90
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +020091 if( strncmp( ref_buf, buf, sizeof( buf ) ) != 0 ||
92 ref_ret != ret ||
93 memcmp( buf + n, ref + n, sizeof( buf ) - n ) != 0 )
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +020094 {
95 return( 1 );
96 }
97
98 return( 0 );
99}
100
101static int run_test_snprintf( void )
102{
103 return( test_snprintf( 0, "xxxxxxxxx", -1 ) != 0 ||
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200104 test_snprintf( 1, "", -1 ) != 0 ||
105 test_snprintf( 2, "1", -1 ) != 0 ||
106 test_snprintf( 3, "12", -1 ) != 0 ||
107 test_snprintf( 4, "123", 3 ) != 0 ||
108 test_snprintf( 5, "123", 3 ) != 0 );
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200109}
110
Simon Butcherb6a73c92016-06-18 22:45:37 +0100111/*
112 * Check if a seed file is present, and if not create one for the entropy
113 * self-test. If this fails, we attempt the test anyway, so no error is passed
114 * back.
115 */
Gilles Peskine319ac802017-12-15 14:57:18 +0100116#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_ENTROPY_C)
117#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Simon Butcherb6a73c92016-06-18 22:45:37 +0100118static void create_entropy_seed_file( void )
119{
120 int result;
121 size_t output_len = 0;
122 unsigned char seed_value[MBEDTLS_ENTROPY_BLOCK_SIZE];
123
124 /* Attempt to read the entropy seed file. If this fails - attempt to write
125 * to the file to ensure one is present. */
126 result = mbedtls_platform_std_nv_seed_read( seed_value,
127 MBEDTLS_ENTROPY_BLOCK_SIZE );
128 if( 0 == result )
129 return;
130
131 result = mbedtls_platform_entropy_poll( NULL,
132 seed_value,
133 MBEDTLS_ENTROPY_BLOCK_SIZE,
134 &output_len );
135 if( 0 != result )
136 return;
137
138 if( MBEDTLS_ENTROPY_BLOCK_SIZE != output_len )
139 return;
140
141 mbedtls_platform_std_nv_seed_write( seed_value, MBEDTLS_ENTROPY_BLOCK_SIZE );
142}
143#endif
144
Gilles Peskine319ac802017-12-15 14:57:18 +0100145int mbedtls_entropy_self_test_wrapper( int verbose )
146{
147#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
148 create_entropy_seed_file( );
149#endif
150 return( mbedtls_entropy_self_test( verbose ) );
151}
152#endif
153
154#if defined(MBEDTLS_SELF_TEST)
155#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
156int mbedtls_memory_buffer_alloc_free_and_self_test( int verbose )
157{
158 if( verbose != 0 )
159 {
160#if defined(MBEDTLS_MEMORY_DEBUG)
161 mbedtls_memory_buffer_alloc_status( );
162#endif
163 }
164 mbedtls_memory_buffer_alloc_free( );
165 return( mbedtls_memory_buffer_alloc_self_test( verbose ) );
166}
167#endif
168
169typedef struct
170{
171 const char *name;
172 int ( *function )( int );
173} selftest_t;
174
175const selftest_t selftests[] =
176{
177#if defined(MBEDTLS_MD2_C)
178 {"md2", mbedtls_md2_self_test},
179#endif
180#if defined(MBEDTLS_MD4_C)
181 {"md4", mbedtls_md4_self_test},
182#endif
183#if defined(MBEDTLS_MD5_C)
184 {"md5", mbedtls_md5_self_test},
185#endif
186#if defined(MBEDTLS_RIPEMD160_C)
187 {"ripemd160", mbedtls_ripemd160_self_test},
188#endif
189#if defined(MBEDTLS_SHA1_C)
190 {"sha1", mbedtls_sha1_self_test},
191#endif
192#if defined(MBEDTLS_SHA256_C)
193 {"sha256", mbedtls_sha256_self_test},
194#endif
195#if defined(MBEDTLS_SHA512_C)
196 {"sha512", mbedtls_sha512_self_test},
197#endif
198#if defined(MBEDTLS_ARC4_C)
199 {"arc4", mbedtls_arc4_self_test},
200#endif
201#if defined(MBEDTLS_DES_C)
202 {"des", mbedtls_des_self_test},
203#endif
204#if defined(MBEDTLS_AES_C)
205 {"aes", mbedtls_aes_self_test},
206#endif
207#if defined(MBEDTLS_GCM_C) && defined(MBEDTLS_AES_C)
208 {"gcm", mbedtls_gcm_self_test},
209#endif
210#if defined(MBEDTLS_CCM_C) && defined(MBEDTLS_AES_C)
211 {"ccm", mbedtls_ccm_self_test},
212#endif
Ron Eldor9ab746c2018-07-15 09:33:07 +0300213#if defined(MBEDTLS_NIST_KW_C) && defined(MBEDTLS_AES_C)
214 {"nist_kw", mbedtls_nist_kw_self_test},
215#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100216#if defined(MBEDTLS_CMAC_C)
217 {"cmac", mbedtls_cmac_self_test},
218#endif
Daniel King4d8f87b2016-05-18 10:09:28 -0300219#if defined(MBEDTLS_CHACHA20_C)
220 {"chacha20", mbedtls_chacha20_self_test},
221#endif
222#if defined(MBEDTLS_POLY1305_C)
223 {"poly1305", mbedtls_poly1305_self_test},
224#endif
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200225#if defined(MBEDTLS_CHACHAPOLY_C)
226 {"chacha20-poly1305", mbedtls_chachapoly_self_test},
Daniel King4d8f87b2016-05-18 10:09:28 -0300227#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100228#if defined(MBEDTLS_BASE64_C)
229 {"base64", mbedtls_base64_self_test},
230#endif
231#if defined(MBEDTLS_BIGNUM_C)
232 {"mpi", mbedtls_mpi_self_test},
233#endif
234#if defined(MBEDTLS_RSA_C)
235 {"rsa", mbedtls_rsa_self_test},
236#endif
237#if defined(MBEDTLS_X509_USE_C)
238 {"x509", mbedtls_x509_self_test},
239#endif
240#if defined(MBEDTLS_XTEA_C)
241 {"xtea", mbedtls_xtea_self_test},
242#endif
243#if defined(MBEDTLS_CAMELLIA_C)
244 {"camellia", mbedtls_camellia_self_test},
245#endif
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +0000246#if defined(MBEDTLS_ARIA_C)
247 {"aria", mbedtls_aria_self_test},
248#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100249#if defined(MBEDTLS_CTR_DRBG_C)
250 {"ctr_drbg", mbedtls_ctr_drbg_self_test},
251#endif
252#if defined(MBEDTLS_HMAC_DRBG_C)
253 {"hmac_drbg", mbedtls_hmac_drbg_self_test},
254#endif
255#if defined(MBEDTLS_ECP_C)
256 {"ecp", mbedtls_ecp_self_test},
257#endif
258#if defined(MBEDTLS_ECJPAKE_C)
259 {"ecjpake", mbedtls_ecjpake_self_test},
260#endif
261#if defined(MBEDTLS_DHM_C)
262 {"dhm", mbedtls_dhm_self_test},
263#endif
264#if defined(MBEDTLS_ENTROPY_C)
265 {"entropy", mbedtls_entropy_self_test_wrapper},
266#endif
267#if defined(MBEDTLS_PKCS5_C)
268 {"pkcs5", mbedtls_pkcs5_self_test},
269#endif
270/* Slower test after the faster ones */
271#if defined(MBEDTLS_TIMING_C)
272 {"timing", mbedtls_timing_self_test},
273#endif
274/* Heap test comes last */
275#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
276 {"memory_buffer_alloc", mbedtls_memory_buffer_alloc_free_and_self_test},
277#endif
278 {NULL, NULL}
279};
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100280#endif /* MBEDTLS_SELF_TEST */
Gilles Peskine319ac802017-12-15 14:57:18 +0100281
Paul Bakker5121ce52009-01-03 21:22:43 +0000282int main( int argc, char *argv[] )
283{
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100284#if defined(MBEDTLS_SELF_TEST)
Gilles Peskine319ac802017-12-15 14:57:18 +0100285 const selftest_t *test;
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100286#endif /* MBEDTLS_SELF_TEST */
Gilles Peskineff79d272017-12-20 18:09:27 +0100287 char **argp;
288 int v = 1; /* v=1 for verbose mode */
289 int exclude_mode = 0;
290 int suites_tested = 0, suites_failed = 0;
Paul Bakker70940ca2016-07-14 14:30:45 +0100291#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && defined(MBEDTLS_SELF_TEST)
Paul Bakker6e339b52013-07-03 13:37:05 +0200292 unsigned char buf[1000000];
293#endif
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200294 void *pointer;
295
296 /*
297 * The C standard doesn't guarantee that all-bits-0 is the representation
298 * of a NULL pointer. We do however use that in our code for initializing
299 * structures, which should work on every modern platform. Let's be sure.
300 */
301 memset( &pointer, 0, sizeof( void * ) );
302 if( pointer != NULL )
303 {
304 mbedtls_printf( "all-bits-zero is not a NULL pointer\n" );
Janos Follath2e3aca22016-03-18 16:25:52 +0000305 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200306 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000307
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200308 /*
309 * Make sure we have a snprintf that correctly zero-terminates
310 */
311 if( run_test_snprintf() != 0 )
312 {
313 mbedtls_printf( "the snprintf implementation is broken\n" );
Janos Follath2e3aca22016-03-18 16:25:52 +0000314 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200315 }
316
Gilles Peskineff79d272017-12-20 18:09:27 +0100317 for( argp = argv + ( argc >= 1 ? 1 : argc ); *argp != NULL; ++argp )
SimonB5a8afb82016-03-11 00:40:54 +0000318 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100319 if( strcmp( *argp, "--quiet" ) == 0 ||
320 strcmp( *argp, "-q" ) == 0 )
321 {
322 v = 0;
323 }
324 else if( strcmp( *argp, "--exclude" ) == 0 ||
325 strcmp( *argp, "-x" ) == 0 )
326 {
327 exclude_mode = 1;
328 }
329 else
330 break;
SimonB5a8afb82016-03-11 00:40:54 +0000331 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100332
333 if( v != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200334 mbedtls_printf( "\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000335
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200336#if defined(MBEDTLS_SELF_TEST)
Paul Bakker135b98e2011-05-25 11:13:47 +0000337
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200338#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
339 mbedtls_memory_buffer_alloc_init( buf, sizeof(buf) );
Paul Bakker6e339b52013-07-03 13:37:05 +0200340#endif
341
Gilles Peskineff79d272017-12-20 18:09:27 +0100342 if( *argp != NULL && exclude_mode == 0 )
SimonB5a8afb82016-03-11 00:40:54 +0000343 {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100344 /* Run the specified tests */
345 for( ; *argp != NULL; argp++ )
Gilles Peskine319ac802017-12-15 14:57:18 +0100346 {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100347 for( test = selftests; test->name != NULL; test++ )
348 {
349 if( !strcmp( *argp, test->name ) )
350 {
351 if( test->function( v ) != 0 )
352 {
353 suites_failed++;
354 }
355 suites_tested++;
356 break;
357 }
358 }
359 if( test->name == NULL )
360 {
361 mbedtls_printf( " Test suite %s not available -> failed\n\n", *argp );
362 suites_failed++;
363 }
Gilles Peskine319ac802017-12-15 14:57:18 +0100364 }
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100365 }
366 else
367 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100368 /* Run all the tests except excluded ones */
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100369 for( test = selftests; test->name != NULL; test++ )
370 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100371 if( exclude_mode )
372 {
373 char **excluded;
374 for( excluded = argp; *excluded != NULL; ++excluded )
375 {
376 if( !strcmp( *excluded, test->name ) )
377 break;
378 }
379 if( *excluded )
380 {
381 if( v )
382 mbedtls_printf( " Skip: %s\n", test->name );
383 continue;
384 }
385 }
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100386 if( test->function( v ) != 0 )
387 {
388 suites_failed++;
389 }
390 suites_tested++;
391 }
SimonB5a8afb82016-03-11 00:40:54 +0000392 }
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100393
Paul Bakker70940ca2016-07-14 14:30:45 +0100394#else
Gilles Peskineff79d272017-12-20 18:09:27 +0100395 (void) exclude_mode;
Paul Bakker70940ca2016-07-14 14:30:45 +0100396 mbedtls_printf( " MBEDTLS_SELF_TEST not defined.\n" );
397#endif
398
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100399 if( v != 0 )
400 {
Simon Butcherf1547632016-03-14 23:09:39 +0000401 mbedtls_printf( " Executed %d test suites\n\n", suites_tested );
SimonB5a8afb82016-03-11 00:40:54 +0000402
403 if( suites_failed > 0)
404 {
405 mbedtls_printf( " [ %d tests FAIL ]\n\n", suites_failed );
406 }
407 else
408 {
409 mbedtls_printf( " [ All tests PASS ]\n\n" );
410 }
Paul Bakkercce9d772011-11-18 14:26:47 +0000411#if defined(_WIN32)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200412 mbedtls_printf( " Press Enter to exit this program.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000413 fflush( stdout ); getchar();
414#endif
415 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000416
SimonB5a8afb82016-03-11 00:40:54 +0000417 if( suites_failed > 0)
Janos Follath2e3aca22016-03-18 16:25:52 +0000418 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
SimonB5a8afb82016-03-11 00:40:54 +0000419
k-stachowiak6d10a562019-08-16 08:15:04 +0200420 mbedtls_exit( MBEDTLS_EXIT_SUCCESS );
Paul Bakker5121ce52009-01-03 21:22:43 +0000421}