blob: 933d06b2197a164e97d99e8c37fb909c0d2281fc [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"
Pol Henarejos7dbd5d12022-05-20 20:42:33 +020036#include "mbedtls/sha3.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000037#include "mbedtls/des.h"
38#include "mbedtls/aes.h"
39#include "mbedtls/camellia.h"
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +000040#include "mbedtls/aria.h"
Daniel King4d8f87b2016-05-18 10:09:28 -030041#include "mbedtls/chacha20.h"
42#include "mbedtls/poly1305.h"
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +020043#include "mbedtls/chachapoly.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000044#include "mbedtls/base64.h"
45#include "mbedtls/bignum.h"
46#include "mbedtls/rsa.h"
47#include "mbedtls/x509.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000048#include "mbedtls/pkcs5.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000049#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnard4d8685b2015-08-05 15:44:42 +020050#include "mbedtls/ecjpake.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000051#include "mbedtls/timing.h"
Ron Eldor9ab746c2018-07-15 09:33:07 +030052#include "mbedtls/nist_kw.h"
Dave Rodgman8f5a29a2022-04-11 12:59:45 +010053#include "mbedtls/debug.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000054
Hanno Becker4ab38502018-10-16 13:22:44 +010055#include <limits.h>
Rich Evans18b78c72015-02-11 14:06:19 +000056#include <string.h>
57
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000058#include "mbedtls/platform.h"
Rich Evans18b78c72015-02-11 14:06:19 +000059
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020060#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000061#include "mbedtls/memory_buffer_alloc.h"
Paul Bakker6e339b52013-07-03 13:37:05 +020062#endif
63
Simon Butcher63cb97e2018-12-06 17:43:31 +000064
Gilles Peskine6fc21f62019-09-17 18:18:58 +020065#if defined MBEDTLS_SELF_TEST
66/* Sanity check for malloc. This is not expected to fail, and is rather
67 * intended to display potentially useful information about the platform,
68 * in particular the behavior of malloc(0). */
Gilles Peskine449bd832023-01-11 14:50:10 +010069static int calloc_self_test(int verbose)
Gilles Peskine6fc21f62019-09-17 18:18:58 +020070{
71 int failures = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +010072 void *empty1 = mbedtls_calloc(0, 1);
73 void *empty2 = mbedtls_calloc(0, 1);
74 void *buffer1 = mbedtls_calloc(1, 1);
75 void *buffer2 = mbedtls_calloc(1, 1);
Andrzej Kureke35f3a22023-05-04 17:29:55 -040076 unsigned int buffer_3_size = 256;
77 unsigned int buffer_4_size = 4097; /* Allocate more than the usual page size */
78 unsigned char *buffer3 = mbedtls_calloc(buffer_3_size, 1);
79 unsigned char *buffer4 = mbedtls_calloc(buffer_4_size, 1);
Andrzej Kurekaae32082023-05-06 08:52:50 -040080#pragma GCC diagnostic push
81#pragma GCC diagnostic ignored "-Walloc-size-larger-than="
82 unsigned char *buffer5 = mbedtls_calloc(SIZE_MAX/2, SIZE_MAX/2);
83#pragma GCC diagnostic pop
Gilles Peskine449bd832023-01-11 14:50:10 +010084 if (empty1 == NULL && empty2 == NULL) {
85 if (verbose) {
Andrzej Kurek90327112023-04-27 09:30:18 -040086 mbedtls_printf(" CALLOC(0,1): passed (NULL)\n");
Gilles Peskine449bd832023-01-11 14:50:10 +010087 }
88 } else if (empty1 == NULL || empty2 == NULL) {
89 if (verbose) {
Andrzej Kurek90327112023-04-27 09:30:18 -040090 mbedtls_printf(" CALLOC(0,1): failed (mix of NULL and non-NULL)\n");
Gilles Peskine449bd832023-01-11 14:50:10 +010091 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +020092 ++failures;
Gilles Peskine449bd832023-01-11 14:50:10 +010093 } else if (empty1 == empty2) {
94 if (verbose) {
Andrzej Kurek90327112023-04-27 09:30:18 -040095 mbedtls_printf(" CALLOC(0,1): passed (same non-null)\n");
Gilles Peskine449bd832023-01-11 14:50:10 +010096 }
97 } else {
98 if (verbose) {
Andrzej Kurek90327112023-04-27 09:30:18 -040099 mbedtls_printf(" CALLOC(0,1): passed (distinct non-null)\n");
100 }
101 }
102
103 mbedtls_free(empty1);
104 mbedtls_free(empty2);
105
106 empty1 = mbedtls_calloc(1, 0);
107 empty2 = mbedtls_calloc(1, 0);
108 if (empty1 == NULL && empty2 == NULL) {
109 if (verbose) {
110 mbedtls_printf(" CALLOC(1,0): passed (NULL)\n");
111 }
112 } else if (empty1 == NULL || empty2 == NULL) {
113 if (verbose) {
114 mbedtls_printf(" CALLOC(1,0): failed (mix of NULL and non-NULL)\n");
115 }
116 ++failures;
117 } else if (empty1 == empty2) {
118 if (verbose) {
119 mbedtls_printf(" CALLOC(1,0): passed (same non-null)\n");
120 }
121 } else {
122 if (verbose) {
123 mbedtls_printf(" CALLOC(1,0): passed (distinct non-null)\n");
Gilles Peskine449bd832023-01-11 14:50:10 +0100124 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200125 }
126
Gilles Peskine449bd832023-01-11 14:50:10 +0100127 if (buffer1 == NULL || buffer2 == NULL) {
128 if (verbose) {
129 mbedtls_printf(" CALLOC(1): failed (NULL)\n");
130 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200131 ++failures;
Gilles Peskine449bd832023-01-11 14:50:10 +0100132 } else if (buffer1 == buffer2) {
133 if (verbose) {
134 mbedtls_printf(" CALLOC(1): failed (same buffer twice)\n");
135 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200136 ++failures;
Gilles Peskine449bd832023-01-11 14:50:10 +0100137 } else {
138 if (verbose) {
139 mbedtls_printf(" CALLOC(1): passed\n");
140 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200141 }
142
Gilles Peskine449bd832023-01-11 14:50:10 +0100143 mbedtls_free(buffer1);
144 buffer1 = mbedtls_calloc(1, 1);
145 if (buffer1 == NULL) {
146 if (verbose) {
147 mbedtls_printf(" CALLOC(1 again): failed (NULL)\n");
148 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200149 ++failures;
Gilles Peskine449bd832023-01-11 14:50:10 +0100150 } else {
151 if (verbose) {
152 mbedtls_printf(" CALLOC(1 again): passed\n");
153 }
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200154 }
155
Andrzej Kureke35f3a22023-05-04 17:29:55 -0400156 for (unsigned int i = 0; i < buffer_3_size; i++) {
Andrzej Kurek90327112023-04-27 09:30:18 -0400157 if (buffer3[i] != 0) {
158 ++failures;
159 if (verbose) {
Andrzej Kureke35f3a22023-05-04 17:29:55 -0400160 mbedtls_printf(" CALLOC(%u): failed (memory not initialized to 0)\n",
161 buffer_3_size);
162 }
163 break;
164 }
165 }
166
167 for (unsigned int i = 0; i < buffer_4_size; i++) {
168 if (buffer4[i] != 0) {
169 ++failures;
170 if (verbose) {
171 mbedtls_printf(" CALLOC(%u): failed (memory not initialized to 0)\n",
172 buffer_4_size);
Andrzej Kurek90327112023-04-27 09:30:18 -0400173 }
174 break;
175 }
176 }
177
Andrzej Kurekaae32082023-05-06 08:52:50 -0400178 if (buffer5 != NULL) {
179 ++failures;
180 if (verbose) {
181 mbedtls_printf(" CALLOC(SIZE_MAX/2, SIZE_MAX/2): failed (returned a valid pointer)\n");
182 }
183 }
184
Gilles Peskine449bd832023-01-11 14:50:10 +0100185 if (verbose) {
186 mbedtls_printf("\n");
187 }
188 mbedtls_free(empty1);
189 mbedtls_free(empty2);
190 mbedtls_free(buffer1);
191 mbedtls_free(buffer2);
Andrzej Kurek90327112023-04-27 09:30:18 -0400192 mbedtls_free(buffer3);
Andrzej Kureke35f3a22023-05-04 17:29:55 -0400193 mbedtls_free(buffer4);
Andrzej Kurekaae32082023-05-06 08:52:50 -0400194 mbedtls_free(buffer5);
Gilles Peskine449bd832023-01-11 14:50:10 +0100195 return failures;
Gilles Peskine6fc21f62019-09-17 18:18:58 +0200196}
197#endif /* MBEDTLS_SELF_TEST */
198
Gilles Peskine449bd832023-01-11 14:50:10 +0100199static int test_snprintf(size_t n, const char *ref_buf, int ref_ret)
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200200{
201 int ret;
202 char buf[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard4b00f082015-06-26 11:24:32 +0200203 const char ref[10] = "xxxxxxxxx";
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200204
Gilles Peskine449bd832023-01-11 14:50:10 +0100205 ret = mbedtls_snprintf(buf, n, "%s", "123");
206 if (ret < 0 || (size_t) ret >= n) {
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200207 ret = -1;
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200208 }
209
Gilles Peskine449bd832023-01-11 14:50:10 +0100210 if (strncmp(ref_buf, buf, sizeof(buf)) != 0 ||
211 ref_ret != ret ||
212 memcmp(buf + n, ref + n, sizeof(buf) - n) != 0) {
213 return 1;
214 }
215
216 return 0;
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200217}
218
Gilles Peskine449bd832023-01-11 14:50:10 +0100219static int run_test_snprintf(void)
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200220{
Gilles Peskine449bd832023-01-11 14:50:10 +0100221 return test_snprintf(0, "xxxxxxxxx", -1) != 0 ||
222 test_snprintf(1, "", -1) != 0 ||
223 test_snprintf(2, "1", -1) != 0 ||
224 test_snprintf(3, "12", -1) != 0 ||
225 test_snprintf(4, "123", 3) != 0 ||
226 test_snprintf(5, "123", 3) != 0;
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200227}
228
Simon Butcherb6a73c92016-06-18 22:45:37 +0100229/*
230 * Check if a seed file is present, and if not create one for the entropy
231 * self-test. If this fails, we attempt the test anyway, so no error is passed
232 * back.
233 */
Gilles Peskine319ac802017-12-15 14:57:18 +0100234#if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_ENTROPY_C)
235#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Gilles Peskine449bd832023-01-11 14:50:10 +0100236static void create_entropy_seed_file(void)
Simon Butcherb6a73c92016-06-18 22:45:37 +0100237{
238 int result;
239 size_t output_len = 0;
240 unsigned char seed_value[MBEDTLS_ENTROPY_BLOCK_SIZE];
241
242 /* Attempt to read the entropy seed file. If this fails - attempt to write
243 * to the file to ensure one is present. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100244 result = mbedtls_platform_std_nv_seed_read(seed_value,
245 MBEDTLS_ENTROPY_BLOCK_SIZE);
246 if (0 == result) {
Simon Butcherb6a73c92016-06-18 22:45:37 +0100247 return;
Gilles Peskine449bd832023-01-11 14:50:10 +0100248 }
Simon Butcherb6a73c92016-06-18 22:45:37 +0100249
Gilles Peskine449bd832023-01-11 14:50:10 +0100250 result = mbedtls_platform_entropy_poll(NULL,
251 seed_value,
252 MBEDTLS_ENTROPY_BLOCK_SIZE,
253 &output_len);
254 if (0 != result) {
Simon Butcherb6a73c92016-06-18 22:45:37 +0100255 return;
Gilles Peskine449bd832023-01-11 14:50:10 +0100256 }
Simon Butcherb6a73c92016-06-18 22:45:37 +0100257
Gilles Peskine449bd832023-01-11 14:50:10 +0100258 if (MBEDTLS_ENTROPY_BLOCK_SIZE != output_len) {
Simon Butcherb6a73c92016-06-18 22:45:37 +0100259 return;
Gilles Peskine449bd832023-01-11 14:50:10 +0100260 }
Simon Butcherb6a73c92016-06-18 22:45:37 +0100261
Gilles Peskine449bd832023-01-11 14:50:10 +0100262 mbedtls_platform_std_nv_seed_write(seed_value, MBEDTLS_ENTROPY_BLOCK_SIZE);
Simon Butcherb6a73c92016-06-18 22:45:37 +0100263}
264#endif
265
Gilles Peskine449bd832023-01-11 14:50:10 +0100266int mbedtls_entropy_self_test_wrapper(int verbose)
Gilles Peskine319ac802017-12-15 14:57:18 +0100267{
268#if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
Gilles Peskine449bd832023-01-11 14:50:10 +0100269 create_entropy_seed_file();
Gilles Peskine319ac802017-12-15 14:57:18 +0100270#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100271 return mbedtls_entropy_self_test(verbose);
Gilles Peskine319ac802017-12-15 14:57:18 +0100272}
273#endif
274
275#if defined(MBEDTLS_SELF_TEST)
276#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100277int mbedtls_memory_buffer_alloc_free_and_self_test(int verbose)
Gilles Peskine319ac802017-12-15 14:57:18 +0100278{
Gilles Peskine449bd832023-01-11 14:50:10 +0100279 if (verbose != 0) {
Gilles Peskine319ac802017-12-15 14:57:18 +0100280#if defined(MBEDTLS_MEMORY_DEBUG)
Gilles Peskine449bd832023-01-11 14:50:10 +0100281 mbedtls_memory_buffer_alloc_status();
Gilles Peskine319ac802017-12-15 14:57:18 +0100282#endif
283 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100284 mbedtls_memory_buffer_alloc_free();
285 return mbedtls_memory_buffer_alloc_self_test(verbose);
Gilles Peskine319ac802017-12-15 14:57:18 +0100286}
287#endif
288
Gilles Peskine449bd832023-01-11 14:50:10 +0100289typedef struct {
Gilles Peskine319ac802017-12-15 14:57:18 +0100290 const char *name;
Gilles Peskine449bd832023-01-11 14:50:10 +0100291 int (*function)(int);
Gilles Peskine319ac802017-12-15 14:57:18 +0100292} selftest_t;
293
294const selftest_t selftests[] =
295{
Gilles Peskine449bd832023-01-11 14:50:10 +0100296 { "calloc", calloc_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100297#if defined(MBEDTLS_MD5_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100298 { "md5", mbedtls_md5_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100299#endif
300#if defined(MBEDTLS_RIPEMD160_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100301 { "ripemd160", mbedtls_ripemd160_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100302#endif
303#if defined(MBEDTLS_SHA1_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100304 { "sha1", mbedtls_sha1_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100305#endif
Valerio Setti46e8fd82022-12-14 10:58:02 +0100306#if defined(MBEDTLS_SHA224_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100307 { "sha224", mbedtls_sha224_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100308#endif
309#if defined(MBEDTLS_SHA256_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100310 { "sha256", mbedtls_sha256_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100311#endif
Valerio Setti898e7a32022-12-14 08:55:53 +0100312#if defined(MBEDTLS_SHA384_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100313 { "sha384", mbedtls_sha384_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100314#endif
315#if defined(MBEDTLS_SHA512_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100316 { "sha512", mbedtls_sha512_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100317#endif
Pol Henarejos7dbd5d12022-05-20 20:42:33 +0200318#if defined(MBEDTLS_SHA3_C)
Pol Henarejosb3b220c2023-02-08 12:52:18 +0100319 { "sha3", mbedtls_sha3_self_test },
Pol Henarejos7dbd5d12022-05-20 20:42:33 +0200320#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100321#if defined(MBEDTLS_DES_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100322 { "des", mbedtls_des_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100323#endif
324#if defined(MBEDTLS_AES_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100325 { "aes", mbedtls_aes_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100326#endif
327#if defined(MBEDTLS_GCM_C) && defined(MBEDTLS_AES_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100328 { "gcm", mbedtls_gcm_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100329#endif
330#if defined(MBEDTLS_CCM_C) && defined(MBEDTLS_AES_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100331 { "ccm", mbedtls_ccm_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100332#endif
Ron Eldor9ab746c2018-07-15 09:33:07 +0300333#if defined(MBEDTLS_NIST_KW_C) && defined(MBEDTLS_AES_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100334 { "nist_kw", mbedtls_nist_kw_self_test },
Ron Eldor9ab746c2018-07-15 09:33:07 +0300335#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100336#if defined(MBEDTLS_CMAC_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100337 { "cmac", mbedtls_cmac_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100338#endif
Daniel King4d8f87b2016-05-18 10:09:28 -0300339#if defined(MBEDTLS_CHACHA20_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100340 { "chacha20", mbedtls_chacha20_self_test },
Daniel King4d8f87b2016-05-18 10:09:28 -0300341#endif
342#if defined(MBEDTLS_POLY1305_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100343 { "poly1305", mbedtls_poly1305_self_test },
Daniel King4d8f87b2016-05-18 10:09:28 -0300344#endif
Manuel Pégourié-Gonnarddca3a5d2018-05-07 10:43:27 +0200345#if defined(MBEDTLS_CHACHAPOLY_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100346 { "chacha20-poly1305", mbedtls_chachapoly_self_test },
Daniel King4d8f87b2016-05-18 10:09:28 -0300347#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100348#if defined(MBEDTLS_BASE64_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100349 { "base64", mbedtls_base64_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100350#endif
351#if defined(MBEDTLS_BIGNUM_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100352 { "mpi", mbedtls_mpi_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100353#endif
354#if defined(MBEDTLS_RSA_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100355 { "rsa", mbedtls_rsa_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100356#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100357#if defined(MBEDTLS_CAMELLIA_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100358 { "camellia", mbedtls_camellia_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100359#endif
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +0000360#if defined(MBEDTLS_ARIA_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100361 { "aria", mbedtls_aria_self_test },
Markku-Juhani O. Saarinen3c0b53b2017-11-30 16:00:34 +0000362#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100363#if defined(MBEDTLS_CTR_DRBG_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100364 { "ctr_drbg", mbedtls_ctr_drbg_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100365#endif
366#if defined(MBEDTLS_HMAC_DRBG_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100367 { "hmac_drbg", mbedtls_hmac_drbg_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100368#endif
369#if defined(MBEDTLS_ECP_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100370 { "ecp", mbedtls_ecp_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100371#endif
372#if defined(MBEDTLS_ECJPAKE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100373 { "ecjpake", mbedtls_ecjpake_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100374#endif
375#if defined(MBEDTLS_DHM_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100376 { "dhm", mbedtls_dhm_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100377#endif
378#if defined(MBEDTLS_ENTROPY_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100379 { "entropy", mbedtls_entropy_self_test_wrapper },
Gilles Peskine319ac802017-12-15 14:57:18 +0100380#endif
381#if defined(MBEDTLS_PKCS5_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100382 { "pkcs5", mbedtls_pkcs5_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100383#endif
Gilles Peskine319ac802017-12-15 14:57:18 +0100384/* Heap test comes last */
385#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100386 { "memory_buffer_alloc", mbedtls_memory_buffer_alloc_free_and_self_test },
Gilles Peskine319ac802017-12-15 14:57:18 +0100387#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100388 { NULL, NULL }
Gilles Peskine319ac802017-12-15 14:57:18 +0100389};
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100390#endif /* MBEDTLS_SELF_TEST */
Gilles Peskine319ac802017-12-15 14:57:18 +0100391
Gilles Peskine449bd832023-01-11 14:50:10 +0100392int main(int argc, char *argv[])
Paul Bakker5121ce52009-01-03 21:22:43 +0000393{
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100394#if defined(MBEDTLS_SELF_TEST)
Gilles Peskine319ac802017-12-15 14:57:18 +0100395 const selftest_t *test;
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100396#endif /* MBEDTLS_SELF_TEST */
Gilles Peskineff79d272017-12-20 18:09:27 +0100397 char **argp;
398 int v = 1; /* v=1 for verbose mode */
399 int exclude_mode = 0;
400 int suites_tested = 0, suites_failed = 0;
Paul Bakker70940ca2016-07-14 14:30:45 +0100401#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && defined(MBEDTLS_SELF_TEST)
Paul Bakker6e339b52013-07-03 13:37:05 +0200402 unsigned char buf[1000000];
403#endif
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200404 void *pointer;
405
406 /*
Dave Rodgman54647732023-02-10 16:16:17 +0000407 * Check some basic platform requirements as specified in README.md
408 */
409 if (SIZE_MAX < INT_MAX || SIZE_MAX < UINT_MAX) {
410 mbedtls_printf("SIZE_MAX must be at least as big as INT_MAX and UINT_MAX\n");
411 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
412 }
413
414 if (sizeof(int) < 4) {
415 mbedtls_printf("int must be at least 32 bits\n");
416 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
417 }
418
419 if (sizeof(size_t) < 4) {
420 mbedtls_printf("size_t must be at least 32 bits\n");
421 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
422 }
423
424 uint32_t endian_test = 0x12345678;
425 char *p = (char *) &endian_test;
426 if (!(p[0] == 0x12 && p[1] == 0x34 && p[2] == 0x56 && p[3] == 0x78) &&
427 !(p[3] == 0x12 && p[2] == 0x34 && p[1] == 0x56 && p[0] == 0x78)) {
428 mbedtls_printf("Mixed-endian platforms are not supported\n");
429 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
430 }
431
432 /*
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200433 * The C standard doesn't guarantee that all-bits-0 is the representation
434 * of a NULL pointer. We do however use that in our code for initializing
435 * structures, which should work on every modern platform. Let's be sure.
436 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100437 memset(&pointer, 0, sizeof(void *));
438 if (pointer != NULL) {
439 mbedtls_printf("all-bits-zero is not a NULL pointer\n");
440 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
Manuel Pégourié-Gonnardd14acbc2015-05-29 11:26:37 +0200441 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000442
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200443 /*
Hanno Becker4ab38502018-10-16 13:22:44 +0100444 * The C standard allows padding bits in the representation
445 * of standard integer types, but our code does currently not
446 * support them.
447 *
448 * Here we check that the underlying C implementation doesn't
449 * use padding bits, and fail cleanly if it does.
450 *
451 * The check works by casting the maximum value representable
452 * by a given integer type into the unpadded integer type of the
453 * same bit-width and checking that it agrees with the maximum value
454 * of that unpadded type. For example, for a 4-byte int,
455 * MAX_INT should be 0x7fffffff in int32_t. This assumes that
456 * CHAR_BIT == 8, which is checked in check_config.h.
Hanno Beckerbaae59c2018-10-19 17:32:45 +0100457 *
458 * We assume that [u]intxx_t exist and that they don't
459 * have padding bits, as the standard requires.
Hanno Becker4ab38502018-10-16 13:22:44 +0100460 */
461
462#define CHECK_PADDING_SIGNED(TYPE, NAME) \
463 do \
464 { \
Gilles Peskine449bd832023-01-11 14:50:10 +0100465 if (sizeof(TYPE) == 2 || sizeof(TYPE) == 4 || \
466 sizeof(TYPE) == 8) { \
467 if ((sizeof(TYPE) == 2 && \
468 (int16_t) NAME ## _MAX != 0x7FFF) || \
469 (sizeof(TYPE) == 4 && \
470 (int32_t) NAME ## _MAX != 0x7FFFFFFF) || \
471 (sizeof(TYPE) == 8 && \
472 (int64_t) NAME ## _MAX != 0x7FFFFFFFFFFFFFFF)) \
Dave Rodgmane2e7e942022-04-08 12:41:23 +0100473 { \
Gilles Peskine449bd832023-01-11 14:50:10 +0100474 mbedtls_printf("Type '" #TYPE "' has padding bits\n"); \
475 mbedtls_exit(MBEDTLS_EXIT_FAILURE); \
Dave Rodgmane2e7e942022-04-08 12:41:23 +0100476 } \
477 } else { \
Gilles Peskine449bd832023-01-11 14:50:10 +0100478 mbedtls_printf("Padding checks only implemented for types of size 2, 4 or 8" \
479 " - cannot check type '" #TYPE "' of size %" MBEDTLS_PRINTF_SIZET "\n", \
480 sizeof(TYPE)); \
481 mbedtls_exit(MBEDTLS_EXIT_FAILURE); \
Hanno Becker4ab38502018-10-16 13:22:44 +0100482 } \
Gilles Peskine449bd832023-01-11 14:50:10 +0100483 } while (0)
Hanno Becker4ab38502018-10-16 13:22:44 +0100484
485#define CHECK_PADDING_UNSIGNED(TYPE, NAME) \
486 do \
487 { \
Gilles Peskine449bd832023-01-11 14:50:10 +0100488 if ((sizeof(TYPE) == 2 && \
489 (uint16_t) NAME ## _MAX != 0xFFFF) || \
490 (sizeof(TYPE) == 4 && \
491 (uint32_t) NAME ## _MAX != 0xFFFFFFFF) || \
492 (sizeof(TYPE) == 8 && \
493 (uint64_t) NAME ## _MAX != 0xFFFFFFFFFFFFFFFF)) \
Hanno Becker4ab38502018-10-16 13:22:44 +0100494 { \
Gilles Peskine449bd832023-01-11 14:50:10 +0100495 mbedtls_printf("Type '" #TYPE "' has padding bits\n"); \
496 mbedtls_exit(MBEDTLS_EXIT_FAILURE); \
Hanno Becker4ab38502018-10-16 13:22:44 +0100497 } \
Gilles Peskine449bd832023-01-11 14:50:10 +0100498 } while (0)
Hanno Becker4ab38502018-10-16 13:22:44 +0100499
Gilles Peskine449bd832023-01-11 14:50:10 +0100500 CHECK_PADDING_SIGNED(short, SHRT);
501 CHECK_PADDING_SIGNED(int, INT);
502 CHECK_PADDING_SIGNED(long, LONG);
503 CHECK_PADDING_SIGNED(long long, LLONG);
504 CHECK_PADDING_SIGNED(ptrdiff_t, PTRDIFF);
Hanno Becker4ab38502018-10-16 13:22:44 +0100505
Gilles Peskine449bd832023-01-11 14:50:10 +0100506 CHECK_PADDING_UNSIGNED(unsigned short, USHRT);
507 CHECK_PADDING_UNSIGNED(unsigned, UINT);
508 CHECK_PADDING_UNSIGNED(unsigned long, ULONG);
509 CHECK_PADDING_UNSIGNED(unsigned long long, ULLONG);
510 CHECK_PADDING_UNSIGNED(size_t, SIZE);
Hanno Becker4ab38502018-10-16 13:22:44 +0100511
512#undef CHECK_PADDING_SIGNED
513#undef CHECK_PADDING_UNSIGNED
514
515 /*
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200516 * Make sure we have a snprintf that correctly zero-terminates
517 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100518 if (run_test_snprintf() != 0) {
519 mbedtls_printf("the snprintf implementation is broken\n");
520 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
Manuel Pégourié-Gonnard7b6dcbe2015-06-22 10:48:01 +0200521 }
522
Gilles Peskine449bd832023-01-11 14:50:10 +0100523 for (argp = argv + (argc >= 1 ? 1 : argc); *argp != NULL; ++argp) {
524 if (strcmp(*argp, "--quiet") == 0 ||
525 strcmp(*argp, "-q") == 0) {
Gilles Peskineff79d272017-12-20 18:09:27 +0100526 v = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100527 } else if (strcmp(*argp, "--exclude") == 0 ||
528 strcmp(*argp, "-x") == 0) {
Gilles Peskineff79d272017-12-20 18:09:27 +0100529 exclude_mode = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100530 } else {
Gilles Peskineff79d272017-12-20 18:09:27 +0100531 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100532 }
SimonB5a8afb82016-03-11 00:40:54 +0000533 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100534
Gilles Peskine449bd832023-01-11 14:50:10 +0100535 if (v != 0) {
536 mbedtls_printf("\n");
537 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000538
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200539#if defined(MBEDTLS_SELF_TEST)
Paul Bakker135b98e2011-05-25 11:13:47 +0000540
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200541#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100542 mbedtls_memory_buffer_alloc_init(buf, sizeof(buf));
Paul Bakker6e339b52013-07-03 13:37:05 +0200543#endif
544
Gilles Peskine449bd832023-01-11 14:50:10 +0100545 if (*argp != NULL && exclude_mode == 0) {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100546 /* Run the specified tests */
Gilles Peskine449bd832023-01-11 14:50:10 +0100547 for (; *argp != NULL; argp++) {
548 for (test = selftests; test->name != NULL; test++) {
549 if (!strcmp(*argp, test->name)) {
550 if (test->function(v) != 0) {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100551 suites_failed++;
552 }
553 suites_tested++;
554 break;
555 }
556 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100557 if (test->name == NULL) {
558 mbedtls_printf(" Test suite %s not available -> failed\n\n", *argp);
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100559 suites_failed++;
560 }
Gilles Peskine319ac802017-12-15 14:57:18 +0100561 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100562 } else {
Gilles Peskineff79d272017-12-20 18:09:27 +0100563 /* Run all the tests except excluded ones */
Gilles Peskine449bd832023-01-11 14:50:10 +0100564 for (test = selftests; test->name != NULL; test++) {
565 if (exclude_mode) {
Gilles Peskineff79d272017-12-20 18:09:27 +0100566 char **excluded;
Gilles Peskine449bd832023-01-11 14:50:10 +0100567 for (excluded = argp; *excluded != NULL; ++excluded) {
568 if (!strcmp(*excluded, test->name)) {
Gilles Peskineff79d272017-12-20 18:09:27 +0100569 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100570 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100571 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100572 if (*excluded) {
573 if (v) {
574 mbedtls_printf(" Skip: %s\n", test->name);
575 }
Gilles Peskineff79d272017-12-20 18:09:27 +0100576 continue;
577 }
578 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100579 if (test->function(v) != 0) {
Gilles Peskinec82fbb42017-12-15 15:01:27 +0100580 suites_failed++;
581 }
582 suites_tested++;
583 }
SimonB5a8afb82016-03-11 00:40:54 +0000584 }
Manuel Pégourié-Gonnard5ba1d522014-11-27 11:33:55 +0100585
Paul Bakker70940ca2016-07-14 14:30:45 +0100586#else
Gilles Peskineff79d272017-12-20 18:09:27 +0100587 (void) exclude_mode;
Gilles Peskine449bd832023-01-11 14:50:10 +0100588 mbedtls_printf(" MBEDTLS_SELF_TEST not defined.\n");
Paul Bakker70940ca2016-07-14 14:30:45 +0100589#endif
590
Gilles Peskine449bd832023-01-11 14:50:10 +0100591 if (v != 0) {
592 mbedtls_printf(" Executed %d test suites\n\n", suites_tested);
SimonB5a8afb82016-03-11 00:40:54 +0000593
Gilles Peskine449bd832023-01-11 14:50:10 +0100594 if (suites_failed > 0) {
595 mbedtls_printf(" [ %d tests FAIL ]\n\n", suites_failed);
596 } else {
597 mbedtls_printf(" [ All tests PASS ]\n\n");
SimonB5a8afb82016-03-11 00:40:54 +0000598 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000599 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000600
Gilles Peskine449bd832023-01-11 14:50:10 +0100601 if (suites_failed > 0) {
602 mbedtls_exit(MBEDTLS_EXIT_FAILURE);
603 }
SimonB5a8afb82016-03-11 00:40:54 +0000604
Gilles Peskine449bd832023-01-11 14:50:10 +0100605 mbedtls_exit(MBEDTLS_EXIT_SUCCESS);
Paul Bakker5121ce52009-01-03 21:22:43 +0000606}