blob: b9ba1e4524b52fc61e88b2b3592f9d4c4105fa49 [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
Dave Rodgman7ff79652023-11-03 12:04:52 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakker5121ce52009-01-03 21:22:43 +00006 */
7
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02008#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00009#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020010#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020011#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020012#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000013
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000014#include "mbedtls/entropy.h"
Simon Butcherb6a73c92016-06-18 22:45:37 +010015#include "mbedtls/entropy_poll.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000016#include "mbedtls/hmac_drbg.h"
17#include "mbedtls/ctr_drbg.h"
18#include "mbedtls/dhm.h"
19#include "mbedtls/gcm.h"
20#include "mbedtls/ccm.h"
Robert Cragiedc5c7b92015-12-11 15:49:45 +000021#include "mbedtls/cmac.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000022#include "mbedtls/md2.h"
23#include "mbedtls/md4.h"
24#include "mbedtls/md5.h"
25#include "mbedtls/ripemd160.h"
26#include "mbedtls/sha1.h"
27#include "mbedtls/sha256.h"
28#include "mbedtls/sha512.h"
29#include "mbedtls/arc4.h"
30#include "mbedtls/des.h"
31#include "mbedtls/aes.h"
32#include "mbedtls/camellia.h"
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +000033#include "mbedtls/aria.h"
Daniel King4d8f87b2016-05-18 10:09:28 -030034#include "mbedtls/chacha20.h"
35#include "mbedtls/poly1305.h"
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020036#include "mbedtls/chachapoly.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000037#include "mbedtls/base64.h"
38#include "mbedtls/bignum.h"
39#include "mbedtls/rsa.h"
40#include "mbedtls/x509.h"
41#include "mbedtls/xtea.h"
42#include "mbedtls/pkcs5.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000043#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard4d8685b2015-08-05 15:44:42 +020044#include "mbedtls/ecjpake.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000045#include "mbedtls/timing.h"
Ron Eldor9ab746c2018-07-15 09:33:07 +030046#include "mbedtls/nist_kw.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000047
Rich Evans18b78c72015-02-11 14:06:19 +000048#include <string.h>
49
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000050#include "mbedtls/platform.h"
Rich Evans18b78c72015-02-11 14:06:19 +000051
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000053#include "mbedtls/memory_buffer_alloc.h"
Paul Bakker6e339b52013-07-03 13:37:05 +020054#endif
55
Simon Butcher63cb97e2018-12-06 17:43:31 +000056
Gilles Peskine6fc21f62019-09-17 18:18:58 +020057#if defined MBEDTLS_SELF_TEST
58/* Sanity check for malloc. This is not expected to fail, and is rather
59 * intended to display potentially useful information about the platform,
60 * in particular the behavior of malloc(0). */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010061static int calloc_self_test(int verbose)
Gilles Peskine6fc21f62019-09-17 18:18:58 +020062{
63 int failures = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010064 void *empty1 = mbedtls_calloc(0, 1);
65 void *empty2 = mbedtls_calloc(0, 1);
66 void *buffer1 = mbedtls_calloc(1, 1);
67 void *buffer2 = mbedtls_calloc(1, 1);
Andrzej Kurekc8bf0592023-05-04 17:29:55 -040068 unsigned int buffer_3_size = 256;
69 unsigned int buffer_4_size = 4097; /* Allocate more than the usual page size */
70 unsigned char *buffer3 = mbedtls_calloc(buffer_3_size, 1);
71 unsigned char *buffer4 = mbedtls_calloc(buffer_4_size, 1);
Andrzej Kurekf35490e2023-07-14 10:12:11 -040072
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010073 if (empty1 == NULL && empty2 == NULL) {
74 if (verbose) {
Andrzej Kurek5ffea9d2023-07-14 09:53:08 -040075 mbedtls_printf(" CALLOC(0,1): passed (NULL)\n");
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010076 }
77 } else if (empty1 == NULL || empty2 == NULL) {
78 if (verbose) {
Andrzej Kurek5ffea9d2023-07-14 09:53:08 -040079 mbedtls_printf(" CALLOC(0,1): failed (mix of NULL and non-NULL)\n");
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010080 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +020081 ++failures;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010082 } else if (empty1 == empty2) {
83 if (verbose) {
Andrzej Kurek5ffea9d2023-07-14 09:53:08 -040084 mbedtls_printf(" CALLOC(0,1): passed (same non-null)\n");
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010085 }
David Horstmann05fde602023-12-07 14:14:21 +000086 empty2 = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010087 } else {
88 if (verbose) {
Andrzej Kurek5ffea9d2023-07-14 09:53:08 -040089 mbedtls_printf(" CALLOC(0,1): passed (distinct non-null)\n");
90 }
91 }
92
93 mbedtls_free(empty1);
94 mbedtls_free(empty2);
95
96 empty1 = mbedtls_calloc(1, 0);
97 empty2 = mbedtls_calloc(1, 0);
98 if (empty1 == NULL && empty2 == NULL) {
99 if (verbose) {
100 mbedtls_printf(" CALLOC(1,0): passed (NULL)\n");
101 }
102 } else if (empty1 == NULL || empty2 == NULL) {
103 if (verbose) {
104 mbedtls_printf(" CALLOC(1,0): failed (mix of NULL and non-NULL)\n");
105 }
106 ++failures;
107 } else if (empty1 == empty2) {
108 if (verbose) {
109 mbedtls_printf(" CALLOC(1,0): passed (same non-null)\n");
110 }
David Horstmann05fde602023-12-07 14:14:21 +0000111 empty2 = NULL;
Andrzej Kurek5ffea9d2023-07-14 09:53:08 -0400112 } else {
113 if (verbose) {
114 mbedtls_printf(" CALLOC(1,0): passed (distinct non-null)\n");
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100115 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200116 }
117
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100118 if (buffer1 == NULL || buffer2 == NULL) {
119 if (verbose) {
120 mbedtls_printf(" CALLOC(1): failed (NULL)\n");
121 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200122 ++failures;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100123 } else if (buffer1 == buffer2) {
124 if (verbose) {
125 mbedtls_printf(" CALLOC(1): failed (same buffer twice)\n");
126 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200127 ++failures;
David Horstmann05fde602023-12-07 14:14:21 +0000128 buffer2 = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100129 } else {
130 if (verbose) {
131 mbedtls_printf(" CALLOC(1): passed\n");
132 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200133 }
134
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100135 mbedtls_free(buffer1);
136 buffer1 = mbedtls_calloc(1, 1);
137 if (buffer1 == NULL) {
138 if (verbose) {
139 mbedtls_printf(" CALLOC(1 again): failed (NULL)\n");
140 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200141 ++failures;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100142 } else {
143 if (verbose) {
144 mbedtls_printf(" CALLOC(1 again): passed\n");
145 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200146 }
147
Andrzej Kurekc8bf0592023-05-04 17:29:55 -0400148 for (unsigned int i = 0; i < buffer_3_size; i++) {
Andrzej Kurek5ffea9d2023-07-14 09:53:08 -0400149 if (buffer3[i] != 0) {
150 ++failures;
151 if (verbose) {
Andrzej Kurekc8bf0592023-05-04 17:29:55 -0400152 mbedtls_printf(" CALLOC(%u): failed (memory not initialized to 0)\n",
153 buffer_3_size);
154 }
155 break;
156 }
157 }
158
159 for (unsigned int i = 0; i < buffer_4_size; i++) {
160 if (buffer4[i] != 0) {
161 ++failures;
162 if (verbose) {
163 mbedtls_printf(" CALLOC(%u): failed (memory not initialized to 0)\n",
164 buffer_4_size);
Andrzej Kurek5ffea9d2023-07-14 09:53:08 -0400165 }
166 break;
167 }
168 }
169
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100170 if (verbose) {
171 mbedtls_printf("\n");
172 }
173 mbedtls_free(empty1);
174 mbedtls_free(empty2);
175 mbedtls_free(buffer1);
176 mbedtls_free(buffer2);
Andrzej Kurek5ffea9d2023-07-14 09:53:08 -0400177 mbedtls_free(buffer3);
Andrzej Kurekc8bf0592023-05-04 17:29:55 -0400178 mbedtls_free(buffer4);
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100179 return failures;
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200180}
181#endif /* MBEDTLS_SELF_TEST */
182
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100183static int test_snprintf(size_t n, const char *ref_buf, int ref_ret)
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200184{
185 int ret;
186 char buf[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200187 const char ref[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200188
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100189 ret = mbedtls_snprintf(buf, n, "%s", "123");
190 if (ret < 0 || (size_t) ret >= n) {
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200191 ret = -1;
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200192 }
193
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100194 if (strncmp(ref_buf, buf, sizeof(buf)) != 0 ||
195 ref_ret != ret ||
196 memcmp(buf + n, ref + n, sizeof(buf) - n) != 0) {
197 return 1;
198 }
199
200 return 0;
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200201}
202
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100203static int run_test_snprintf(void)
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200204{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100205 return test_snprintf(0, "xxxxxxxxx", -1) != 0 ||
206 test_snprintf(1, "", -1) != 0 ||
207 test_snprintf(2, "1", -1) != 0 ||
208 test_snprintf(3, "12", -1) != 0 ||
209 test_snprintf(4, "123", 3) != 0 ||
210 test_snprintf(5, "123", 3) != 0;
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200211}
212
Simon Butcherb6a73c92016-06-18 22:45:37 +0100213/*
214 * Check if a seed file is present, and if not create one for the entropy
215 * self-test. If this fails, we attempt the test anyway, so no error is passed
216 * back.
217 */
Gilles Peskine319ac802017-12-15 14:57:18 +0100218#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_ENTROPY_C)
219#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100220static void create_entropy_seed_file(void)
Simon Butcherb6a73c92016-06-18 22:45:37 +0100221{
222 int result;
223 size_t output_len = 0;
224 unsigned char seed_value[MBEDTLS_ENTROPY_BLOCK_SIZE];
225
226 /* Attempt to read the entropy seed file. If this fails - attempt to write
227 * to the file to ensure one is present. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100228 result = mbedtls_platform_std_nv_seed_read(seed_value,
229 MBEDTLS_ENTROPY_BLOCK_SIZE);
230 if (0 == result) {
Simon Butcherb6a73c92016-06-18 22:45:37 +0100231 return;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100232 }
Simon Butcherb6a73c92016-06-18 22:45:37 +0100233
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100234 result = mbedtls_platform_entropy_poll(NULL,
235 seed_value,
236 MBEDTLS_ENTROPY_BLOCK_SIZE,
237 &output_len);
238 if (0 != result) {
Simon Butcherb6a73c92016-06-18 22:45:37 +0100239 return;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100240 }
Simon Butcherb6a73c92016-06-18 22:45:37 +0100241
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100242 if (MBEDTLS_ENTROPY_BLOCK_SIZE != output_len) {
Simon Butcherb6a73c92016-06-18 22:45:37 +0100243 return;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100244 }
Simon Butcherb6a73c92016-06-18 22:45:37 +0100245
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100246 mbedtls_platform_std_nv_seed_write(seed_value, MBEDTLS_ENTROPY_BLOCK_SIZE);
Simon Butcherb6a73c92016-06-18 22:45:37 +0100247}
248#endif
249
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100250int mbedtls_entropy_self_test_wrapper(int verbose)
Gilles Peskine319ac802017-12-15 14:57:18 +0100251{
252#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100253 create_entropy_seed_file();
Gilles Peskine319ac802017-12-15 14:57:18 +0100254#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100255 return mbedtls_entropy_self_test(verbose);
Gilles Peskine319ac802017-12-15 14:57:18 +0100256}
257#endif
258
259#if defined(MBEDTLS_SELF_TEST)
260#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100261int mbedtls_memory_buffer_alloc_free_and_self_test(int verbose)
Gilles Peskine319ac802017-12-15 14:57:18 +0100262{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100263 if (verbose != 0) {
Gilles Peskine319ac802017-12-15 14:57:18 +0100264#if defined(MBEDTLS_MEMORY_DEBUG)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100265 mbedtls_memory_buffer_alloc_status();
Gilles Peskine319ac802017-12-15 14:57:18 +0100266#endif
267 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100268 mbedtls_memory_buffer_alloc_free();
269 return mbedtls_memory_buffer_alloc_self_test(verbose);
Gilles Peskine319ac802017-12-15 14:57:18 +0100270}
271#endif
272
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100273typedef struct {
Gilles Peskine319ac802017-12-15 14:57:18 +0100274 const char *name;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100275 int (*function)(int);
Gilles Peskine319ac802017-12-15 14:57:18 +0100276} selftest_t;
277
278const selftest_t selftests[] =
279{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100280 { "calloc", calloc_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100281#if defined(MBEDTLS_MD2_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100282 { "md2", mbedtls_md2_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100283#endif
284#if defined(MBEDTLS_MD4_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100285 { "md4", mbedtls_md4_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100286#endif
287#if defined(MBEDTLS_MD5_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100288 { "md5", mbedtls_md5_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100289#endif
290#if defined(MBEDTLS_RIPEMD160_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100291 { "ripemd160", mbedtls_ripemd160_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100292#endif
293#if defined(MBEDTLS_SHA1_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100294 { "sha1", mbedtls_sha1_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100295#endif
296#if defined(MBEDTLS_SHA256_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100297 { "sha256", mbedtls_sha256_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100298#endif
299#if defined(MBEDTLS_SHA512_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100300 { "sha512", mbedtls_sha512_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100301#endif
302#if defined(MBEDTLS_ARC4_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100303 { "arc4", mbedtls_arc4_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100304#endif
305#if defined(MBEDTLS_DES_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100306 { "des", mbedtls_des_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100307#endif
308#if defined(MBEDTLS_AES_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100309 { "aes", mbedtls_aes_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100310#endif
311#if defined(MBEDTLS_GCM_C) && defined(MBEDTLS_AES_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100312 { "gcm", mbedtls_gcm_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100313#endif
314#if defined(MBEDTLS_CCM_C) && defined(MBEDTLS_AES_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100315 { "ccm", mbedtls_ccm_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100316#endif
Ron Eldor9ab746c2018-07-15 09:33:07 +0300317#if defined(MBEDTLS_NIST_KW_C) && defined(MBEDTLS_AES_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100318 { "nist_kw", mbedtls_nist_kw_self_test },
Ron Eldor9ab746c2018-07-15 09:33:07 +0300319#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100320#if defined(MBEDTLS_CMAC_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100321 { "cmac", mbedtls_cmac_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100322#endif
Daniel King4d8f87b2016-05-18 10:09:28 -0300323#if defined(MBEDTLS_CHACHA20_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100324 { "chacha20", mbedtls_chacha20_self_test },
Daniel King4d8f87b2016-05-18 10:09:28 -0300325#endif
326#if defined(MBEDTLS_POLY1305_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100327 { "poly1305", mbedtls_poly1305_self_test },
Daniel King4d8f87b2016-05-18 10:09:28 -0300328#endif
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200329#if defined(MBEDTLS_CHACHAPOLY_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100330 { "chacha20-poly1305", mbedtls_chachapoly_self_test },
Daniel King4d8f87b2016-05-18 10:09:28 -0300331#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100332#if defined(MBEDTLS_BASE64_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100333 { "base64", mbedtls_base64_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100334#endif
335#if defined(MBEDTLS_BIGNUM_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100336 { "mpi", mbedtls_mpi_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100337#endif
338#if defined(MBEDTLS_RSA_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100339 { "rsa", mbedtls_rsa_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100340#endif
341#if defined(MBEDTLS_X509_USE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100342 { "x509", mbedtls_x509_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100343#endif
344#if defined(MBEDTLS_XTEA_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100345 { "xtea", mbedtls_xtea_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100346#endif
347#if defined(MBEDTLS_CAMELLIA_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100348 { "camellia", mbedtls_camellia_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100349#endif
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +0000350#if defined(MBEDTLS_ARIA_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100351 { "aria", mbedtls_aria_self_test },
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +0000352#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100353#if defined(MBEDTLS_CTR_DRBG_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100354 { "ctr_drbg", mbedtls_ctr_drbg_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100355#endif
356#if defined(MBEDTLS_HMAC_DRBG_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100357 { "hmac_drbg", mbedtls_hmac_drbg_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100358#endif
359#if defined(MBEDTLS_ECP_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100360 { "ecp", mbedtls_ecp_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100361#endif
362#if defined(MBEDTLS_ECJPAKE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100363 { "ecjpake", mbedtls_ecjpake_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100364#endif
365#if defined(MBEDTLS_DHM_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100366 { "dhm", mbedtls_dhm_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100367#endif
368#if defined(MBEDTLS_ENTROPY_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100369 { "entropy", mbedtls_entropy_self_test_wrapper },
Gilles Peskine319ac802017-12-15 14:57:18 +0100370#endif
371#if defined(MBEDTLS_PKCS5_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100372 { "pkcs5", mbedtls_pkcs5_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100373#endif
374/* Slower test after the faster ones */
375#if defined(MBEDTLS_TIMING_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100376 { "timing", mbedtls_timing_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100377#endif
378/* Heap test comes last */
379#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100380 { "memory_buffer_alloc", mbedtls_memory_buffer_alloc_free_and_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100381#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100382 { NULL, NULL }
Gilles Peskine319ac802017-12-15 14:57:18 +0100383};
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100384#endif /* MBEDTLS_SELF_TEST */
Gilles Peskine319ac802017-12-15 14:57:18 +0100385
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100386int main(int argc, char *argv[])
Paul Bakker5121ce52009-01-03 21:22:43 +0000387{
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100388#if defined(MBEDTLS_SELF_TEST)
Gilles Peskine319ac802017-12-15 14:57:18 +0100389 const selftest_t *test;
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100390#endif /* MBEDTLS_SELF_TEST */
Gilles Peskineff79d272017-12-20 18:09:27 +0100391 char **argp;
392 int v = 1; /* v=1 for verbose mode */
393 int exclude_mode = 0;
394 int suites_tested = 0, suites_failed = 0;
Paul Bakker70940ca2016-07-14 14:30:45 +0100395#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && defined(MBEDTLS_SELF_TEST)
Paul Bakker6e339b52013-07-03 13:37:05 +0200396 unsigned char buf[1000000];
397#endif
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200398 void *pointer;
Tom Cosgrove9149e122023-03-18 14:49:07 +0000399#if defined(_WIN32)
400 int ci = 0; /* ci = 1 => running in CI, so don't wait for a key press */
401#endif
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200402
403 /*
404 * The C standard doesn't guarantee that all-bits-0 is the representation
405 * of a NULL pointer. We do however use that in our code for initializing
406 * structures, which should work on every modern platform. Let's be sure.
407 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100408 memset(&pointer, 0, sizeof(void *));
409 if (pointer != NULL) {
410 mbedtls_printf("all-bits-zero is not a NULL pointer\n");
411 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200412 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000413
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200414 /*
415 * Make sure we have a snprintf that correctly zero-terminates
416 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100417 if (run_test_snprintf() != 0) {
418 mbedtls_printf("the snprintf implementation is broken\n");
419 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200420 }
421
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100422 for (argp = argv + (argc >= 1 ? 1 : argc); *argp != NULL; ++argp) {
423 if (strcmp(*argp, "--quiet") == 0 ||
424 strcmp(*argp, "-q") == 0) {
Gilles Peskineff79d272017-12-20 18:09:27 +0100425 v = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100426 } else if (strcmp(*argp, "--exclude") == 0 ||
427 strcmp(*argp, "-x") == 0) {
Gilles Peskineff79d272017-12-20 18:09:27 +0100428 exclude_mode = 1;
Tom Cosgrove9149e122023-03-18 14:49:07 +0000429#if defined(_WIN32)
430 } else if (strcmp(*argp, "--ci") == 0) {
431 ci = 1;
432#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100433 } else {
Gilles Peskineff79d272017-12-20 18:09:27 +0100434 break;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100435 }
SimonB5a8afb82016-03-11 00:40:54 +0000436 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100437
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100438 if (v != 0) {
439 mbedtls_printf("\n");
440 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000441
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200442#if defined(MBEDTLS_SELF_TEST)
Paul Bakker135b98e2011-05-25 11:13:47 +0000443
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200444#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100445 mbedtls_memory_buffer_alloc_init(buf, sizeof(buf));
Paul Bakker6e339b52013-07-03 13:37:05 +0200446#endif
447
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100448 if (*argp != NULL && exclude_mode == 0) {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100449 /* Run the specified tests */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100450 for (; *argp != NULL; argp++) {
451 for (test = selftests; test->name != NULL; test++) {
452 if (!strcmp(*argp, test->name)) {
453 if (test->function(v) != 0) {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100454 suites_failed++;
455 }
456 suites_tested++;
457 break;
458 }
459 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100460 if (test->name == NULL) {
461 mbedtls_printf(" Test suite %s not available -> failed\n\n", *argp);
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100462 suites_failed++;
463 }
Gilles Peskine319ac802017-12-15 14:57:18 +0100464 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100465 } else {
Gilles Peskineff79d272017-12-20 18:09:27 +0100466 /* Run all the tests except excluded ones */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100467 for (test = selftests; test->name != NULL; test++) {
468 if (exclude_mode) {
Gilles Peskineff79d272017-12-20 18:09:27 +0100469 char **excluded;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100470 for (excluded = argp; *excluded != NULL; ++excluded) {
471 if (!strcmp(*excluded, test->name)) {
Gilles Peskineff79d272017-12-20 18:09:27 +0100472 break;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100473 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100474 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100475 if (*excluded) {
476 if (v) {
477 mbedtls_printf(" Skip: %s\n", test->name);
478 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100479 continue;
480 }
481 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100482 if (test->function(v) != 0) {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100483 suites_failed++;
484 }
485 suites_tested++;
486 }
SimonB5a8afb82016-03-11 00:40:54 +0000487 }
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100488
Paul Bakker70940ca2016-07-14 14:30:45 +0100489#else
Gilles Peskineff79d272017-12-20 18:09:27 +0100490 (void) exclude_mode;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100491 mbedtls_printf(" MBEDTLS_SELF_TEST not defined.\n");
Paul Bakker70940ca2016-07-14 14:30:45 +0100492#endif
493
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100494 if (v != 0) {
495 mbedtls_printf(" Executed %d test suites\n\n", suites_tested);
SimonB5a8afb82016-03-11 00:40:54 +0000496
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100497 if (suites_failed > 0) {
498 mbedtls_printf(" [ %d tests FAIL ]\n\n", suites_failed);
499 } else {
500 mbedtls_printf(" [ All tests PASS ]\n\n");
SimonB5a8afb82016-03-11 00:40:54 +0000501 }
Paul Bakkercce9d772011-11-18 14:26:47 +0000502#if defined(_WIN32)
Tom Cosgrove9149e122023-03-18 14:49:07 +0000503 if (!ci) {
504 mbedtls_printf(" Press Enter to exit this program.\n");
505 fflush(stdout); getchar();
506 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000507#endif
508 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000509
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100510 if (suites_failed > 0) {
511 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
512 }
SimonB5a8afb82016-03-11 00:40:54 +0000513
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100514 mbedtls_exit(MBEDTLS_EXIT_SUCCESS);
Paul Bakker5121ce52009-01-03 21:22:43 +0000515}