blob: 57f9924cec4848b3c58a1466a43c59651a01d5c7 [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"
Daniel King4d8f87b2016-05-18 10:09:28 -030047#include "mbedtls/chacha20.h"
48#include "mbedtls/poly1305.h"
49#include "mbedtls/aead_chacha20_poly1305.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000050#include "mbedtls/base64.h"
51#include "mbedtls/bignum.h"
52#include "mbedtls/rsa.h"
53#include "mbedtls/x509.h"
54#include "mbedtls/xtea.h"
55#include "mbedtls/pkcs5.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000056#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard4d8685b2015-08-05 15:44:42 +020057#include "mbedtls/ecjpake.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000058#include "mbedtls/timing.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000059
Rich Evans18b78c72015-02-11 14:06:19 +000060#include <string.h>
61
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000063#include "mbedtls/platform.h"
Rich Evans18b78c72015-02-11 14:06:19 +000064#else
65#include <stdio.h>
Janos Follath2e3aca22016-03-18 16:25:52 +000066#include <stdlib.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020067#define mbedtls_printf printf
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +020068#define mbedtls_snprintf snprintf
Janos Follath2e3aca22016-03-18 16:25:52 +000069#define mbedtls_exit exit
70#define MBEDTLS_EXIT_SUCCESS EXIT_SUCCESS
71#define MBEDTLS_EXIT_FAILURE EXIT_FAILURE
Rich Evans18b78c72015-02-11 14:06:19 +000072#endif
73
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020074#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000075#include "mbedtls/memory_buffer_alloc.h"
Paul Bakker6e339b52013-07-03 13:37:05 +020076#endif
77
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +020078static int test_snprintf( size_t n, const char ref_buf[10], int ref_ret )
79{
80 int ret;
81 char buf[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +020082 const char ref[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +020083
84 ret = mbedtls_snprintf( buf, n, "%s", "123" );
85 if( ret < 0 || (size_t) ret >= n )
86 ret = -1;
87
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +020088 if( strncmp( ref_buf, buf, sizeof( buf ) ) != 0 ||
89 ref_ret != ret ||
90 memcmp( buf + n, ref + n, sizeof( buf ) - n ) != 0 )
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +020091 {
92 return( 1 );
93 }
94
95 return( 0 );
96}
97
98static int run_test_snprintf( void )
99{
100 return( test_snprintf( 0, "xxxxxxxxx", -1 ) != 0 ||
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200101 test_snprintf( 1, "", -1 ) != 0 ||
102 test_snprintf( 2, "1", -1 ) != 0 ||
103 test_snprintf( 3, "12", -1 ) != 0 ||
104 test_snprintf( 4, "123", 3 ) != 0 ||
105 test_snprintf( 5, "123", 3 ) != 0 );
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200106}
107
Simon Butcherb6a73c92016-06-18 22:45:37 +0100108/*
109 * Check if a seed file is present, and if not create one for the entropy
110 * self-test. If this fails, we attempt the test anyway, so no error is passed
111 * back.
112 */
Gilles Peskine319ac802017-12-15 14:57:18 +0100113#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_ENTROPY_C)
114#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Simon Butcherb6a73c92016-06-18 22:45:37 +0100115static void create_entropy_seed_file( void )
116{
117 int result;
118 size_t output_len = 0;
119 unsigned char seed_value[MBEDTLS_ENTROPY_BLOCK_SIZE];
120
121 /* Attempt to read the entropy seed file. If this fails - attempt to write
122 * to the file to ensure one is present. */
123 result = mbedtls_platform_std_nv_seed_read( seed_value,
124 MBEDTLS_ENTROPY_BLOCK_SIZE );
125 if( 0 == result )
126 return;
127
128 result = mbedtls_platform_entropy_poll( NULL,
129 seed_value,
130 MBEDTLS_ENTROPY_BLOCK_SIZE,
131 &output_len );
132 if( 0 != result )
133 return;
134
135 if( MBEDTLS_ENTROPY_BLOCK_SIZE != output_len )
136 return;
137
138 mbedtls_platform_std_nv_seed_write( seed_value, MBEDTLS_ENTROPY_BLOCK_SIZE );
139}
140#endif
141
Gilles Peskine319ac802017-12-15 14:57:18 +0100142int mbedtls_entropy_self_test_wrapper( int verbose )
143{
144#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
145 create_entropy_seed_file( );
146#endif
147 return( mbedtls_entropy_self_test( verbose ) );
148}
149#endif
150
151#if defined(MBEDTLS_SELF_TEST)
152#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
153int mbedtls_memory_buffer_alloc_free_and_self_test( int verbose )
154{
155 if( verbose != 0 )
156 {
157#if defined(MBEDTLS_MEMORY_DEBUG)
158 mbedtls_memory_buffer_alloc_status( );
159#endif
160 }
161 mbedtls_memory_buffer_alloc_free( );
162 return( mbedtls_memory_buffer_alloc_self_test( verbose ) );
163}
164#endif
165
166typedef struct
167{
168 const char *name;
169 int ( *function )( int );
170} selftest_t;
171
172const selftest_t selftests[] =
173{
174#if defined(MBEDTLS_MD2_C)
175 {"md2", mbedtls_md2_self_test},
176#endif
177#if defined(MBEDTLS_MD4_C)
178 {"md4", mbedtls_md4_self_test},
179#endif
180#if defined(MBEDTLS_MD5_C)
181 {"md5", mbedtls_md5_self_test},
182#endif
183#if defined(MBEDTLS_RIPEMD160_C)
184 {"ripemd160", mbedtls_ripemd160_self_test},
185#endif
186#if defined(MBEDTLS_SHA1_C)
187 {"sha1", mbedtls_sha1_self_test},
188#endif
189#if defined(MBEDTLS_SHA256_C)
190 {"sha256", mbedtls_sha256_self_test},
191#endif
192#if defined(MBEDTLS_SHA512_C)
193 {"sha512", mbedtls_sha512_self_test},
194#endif
195#if defined(MBEDTLS_ARC4_C)
196 {"arc4", mbedtls_arc4_self_test},
197#endif
198#if defined(MBEDTLS_DES_C)
199 {"des", mbedtls_des_self_test},
200#endif
201#if defined(MBEDTLS_AES_C)
202 {"aes", mbedtls_aes_self_test},
203#endif
204#if defined(MBEDTLS_GCM_C) && defined(MBEDTLS_AES_C)
205 {"gcm", mbedtls_gcm_self_test},
206#endif
207#if defined(MBEDTLS_CCM_C) && defined(MBEDTLS_AES_C)
208 {"ccm", mbedtls_ccm_self_test},
209#endif
210#if defined(MBEDTLS_CMAC_C)
211 {"cmac", mbedtls_cmac_self_test},
212#endif
Daniel King4d8f87b2016-05-18 10:09:28 -0300213#if defined(MBEDTLS_CHACHA20_C)
214 {"chacha20", mbedtls_chacha20_self_test},
215#endif
216#if defined(MBEDTLS_POLY1305_C)
217 {"poly1305", mbedtls_poly1305_self_test},
218#endif
219#if defined(MBEDTLS_AEAD_CHACHA20_POLY1305_C)
220 {"chacha20-poly1305", mbedtls_aead_chacha20_poly1305_self_test},
221#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100222#if defined(MBEDTLS_BASE64_C)
223 {"base64", mbedtls_base64_self_test},
224#endif
225#if defined(MBEDTLS_BIGNUM_C)
226 {"mpi", mbedtls_mpi_self_test},
227#endif
228#if defined(MBEDTLS_RSA_C)
229 {"rsa", mbedtls_rsa_self_test},
230#endif
231#if defined(MBEDTLS_X509_USE_C)
232 {"x509", mbedtls_x509_self_test},
233#endif
234#if defined(MBEDTLS_XTEA_C)
235 {"xtea", mbedtls_xtea_self_test},
236#endif
237#if defined(MBEDTLS_CAMELLIA_C)
238 {"camellia", mbedtls_camellia_self_test},
239#endif
240#if defined(MBEDTLS_CTR_DRBG_C)
241 {"ctr_drbg", mbedtls_ctr_drbg_self_test},
242#endif
243#if defined(MBEDTLS_HMAC_DRBG_C)
244 {"hmac_drbg", mbedtls_hmac_drbg_self_test},
245#endif
246#if defined(MBEDTLS_ECP_C)
247 {"ecp", mbedtls_ecp_self_test},
248#endif
249#if defined(MBEDTLS_ECJPAKE_C)
250 {"ecjpake", mbedtls_ecjpake_self_test},
251#endif
252#if defined(MBEDTLS_DHM_C)
253 {"dhm", mbedtls_dhm_self_test},
254#endif
255#if defined(MBEDTLS_ENTROPY_C)
256 {"entropy", mbedtls_entropy_self_test_wrapper},
257#endif
258#if defined(MBEDTLS_PKCS5_C)
259 {"pkcs5", mbedtls_pkcs5_self_test},
260#endif
261/* Slower test after the faster ones */
262#if defined(MBEDTLS_TIMING_C)
263 {"timing", mbedtls_timing_self_test},
264#endif
265/* Heap test comes last */
266#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
267 {"memory_buffer_alloc", mbedtls_memory_buffer_alloc_free_and_self_test},
268#endif
269 {NULL, NULL}
270};
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100271#endif /* MBEDTLS_SELF_TEST */
Gilles Peskine319ac802017-12-15 14:57:18 +0100272
Paul Bakker5121ce52009-01-03 21:22:43 +0000273int main( int argc, char *argv[] )
274{
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100275#if defined(MBEDTLS_SELF_TEST)
Gilles Peskine319ac802017-12-15 14:57:18 +0100276 const selftest_t *test;
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100277#endif /* MBEDTLS_SELF_TEST */
Gilles Peskineff79d272017-12-20 18:09:27 +0100278 char **argp;
279 int v = 1; /* v=1 for verbose mode */
280 int exclude_mode = 0;
281 int suites_tested = 0, suites_failed = 0;
Paul Bakker70940ca2016-07-14 14:30:45 +0100282#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && defined(MBEDTLS_SELF_TEST)
Paul Bakker6e339b52013-07-03 13:37:05 +0200283 unsigned char buf[1000000];
284#endif
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200285 void *pointer;
286
287 /*
288 * The C standard doesn't guarantee that all-bits-0 is the representation
289 * of a NULL pointer. We do however use that in our code for initializing
290 * structures, which should work on every modern platform. Let's be sure.
291 */
292 memset( &pointer, 0, sizeof( void * ) );
293 if( pointer != NULL )
294 {
295 mbedtls_printf( "all-bits-zero is not a NULL pointer\n" );
Janos Follath2e3aca22016-03-18 16:25:52 +0000296 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200297 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000298
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200299 /*
300 * Make sure we have a snprintf that correctly zero-terminates
301 */
302 if( run_test_snprintf() != 0 )
303 {
304 mbedtls_printf( "the snprintf implementation is broken\n" );
Janos Follath2e3aca22016-03-18 16:25:52 +0000305 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200306 }
307
Gilles Peskineff79d272017-12-20 18:09:27 +0100308 for( argp = argv + ( argc >= 1 ? 1 : argc ); *argp != NULL; ++argp )
SimonB5a8afb82016-03-11 00:40:54 +0000309 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100310 if( strcmp( *argp, "--quiet" ) == 0 ||
311 strcmp( *argp, "-q" ) == 0 )
312 {
313 v = 0;
314 }
315 else if( strcmp( *argp, "--exclude" ) == 0 ||
316 strcmp( *argp, "-x" ) == 0 )
317 {
318 exclude_mode = 1;
319 }
320 else
321 break;
SimonB5a8afb82016-03-11 00:40:54 +0000322 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100323
324 if( v != 0 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200325 mbedtls_printf( "\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000326
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200327#if defined(MBEDTLS_SELF_TEST)
Paul Bakker135b98e2011-05-25 11:13:47 +0000328
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200329#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
330 mbedtls_memory_buffer_alloc_init( buf, sizeof(buf) );
Paul Bakker6e339b52013-07-03 13:37:05 +0200331#endif
332
Gilles Peskineff79d272017-12-20 18:09:27 +0100333 if( *argp != NULL && exclude_mode == 0 )
SimonB5a8afb82016-03-11 00:40:54 +0000334 {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100335 /* Run the specified tests */
336 for( ; *argp != NULL; argp++ )
Gilles Peskine319ac802017-12-15 14:57:18 +0100337 {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100338 for( test = selftests; test->name != NULL; test++ )
339 {
340 if( !strcmp( *argp, test->name ) )
341 {
342 if( test->function( v ) != 0 )
343 {
344 suites_failed++;
345 }
346 suites_tested++;
347 break;
348 }
349 }
350 if( test->name == NULL )
351 {
352 mbedtls_printf( " Test suite %s not available -> failed\n\n", *argp );
353 suites_failed++;
354 }
Gilles Peskine319ac802017-12-15 14:57:18 +0100355 }
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100356 }
357 else
358 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100359 /* Run all the tests except excluded ones */
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100360 for( test = selftests; test->name != NULL; test++ )
361 {
Gilles Peskineff79d272017-12-20 18:09:27 +0100362 if( exclude_mode )
363 {
364 char **excluded;
365 for( excluded = argp; *excluded != NULL; ++excluded )
366 {
367 if( !strcmp( *excluded, test->name ) )
368 break;
369 }
370 if( *excluded )
371 {
372 if( v )
373 mbedtls_printf( " Skip: %s\n", test->name );
374 continue;
375 }
376 }
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100377 if( test->function( v ) != 0 )
378 {
379 suites_failed++;
380 }
381 suites_tested++;
382 }
SimonB5a8afb82016-03-11 00:40:54 +0000383 }
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100384
Paul Bakker70940ca2016-07-14 14:30:45 +0100385#else
Gilles Peskineff79d272017-12-20 18:09:27 +0100386 (void) exclude_mode;
Paul Bakker70940ca2016-07-14 14:30:45 +0100387 mbedtls_printf( " MBEDTLS_SELF_TEST not defined.\n" );
388#endif
389
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100390 if( v != 0 )
391 {
Simon Butcherf1547632016-03-14 23:09:39 +0000392 mbedtls_printf( " Executed %d test suites\n\n", suites_tested );
SimonB5a8afb82016-03-11 00:40:54 +0000393
394 if( suites_failed > 0)
395 {
396 mbedtls_printf( " [ %d tests FAIL ]\n\n", suites_failed );
397 }
398 else
399 {
400 mbedtls_printf( " [ All tests PASS ]\n\n" );
401 }
Paul Bakkercce9d772011-11-18 14:26:47 +0000402#if defined(_WIN32)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200403 mbedtls_printf( " Press Enter to exit this program.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000404 fflush( stdout ); getchar();
405#endif
406 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000407
SimonB5a8afb82016-03-11 00:40:54 +0000408 if( suites_failed > 0)
Janos Follath2e3aca22016-03-18 16:25:52 +0000409 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
SimonB5a8afb82016-03-11 00:40:54 +0000410
Janos Follath98e28a72016-05-31 14:03:54 +0100411 /* return() is here to prevent compiler warnings */
Janos Follath0c539442016-04-18 09:59:16 +0100412 return( MBEDTLS_EXIT_SUCCESS );
Paul Bakker5121ce52009-01-03 21:22:43 +0000413}
SimonB5a8afb82016-03-11 00:40:54 +0000414