1*62c56f98SSadaf Ebrahimi /*
2*62c56f98SSadaf Ebrahimi * Self-test demonstration program
3*62c56f98SSadaf Ebrahimi *
4*62c56f98SSadaf Ebrahimi * Copyright The Mbed TLS Contributors
5*62c56f98SSadaf Ebrahimi * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
6*62c56f98SSadaf Ebrahimi */
7*62c56f98SSadaf Ebrahimi
8*62c56f98SSadaf Ebrahimi #define MBEDTLS_ALLOW_PRIVATE_ACCESS
9*62c56f98SSadaf Ebrahimi
10*62c56f98SSadaf Ebrahimi #include "mbedtls/build_info.h"
11*62c56f98SSadaf Ebrahimi
12*62c56f98SSadaf Ebrahimi #include "mbedtls/entropy.h"
13*62c56f98SSadaf Ebrahimi #include "mbedtls/hmac_drbg.h"
14*62c56f98SSadaf Ebrahimi #include "mbedtls/ctr_drbg.h"
15*62c56f98SSadaf Ebrahimi #include "mbedtls/dhm.h"
16*62c56f98SSadaf Ebrahimi #include "mbedtls/gcm.h"
17*62c56f98SSadaf Ebrahimi #include "mbedtls/ccm.h"
18*62c56f98SSadaf Ebrahimi #include "mbedtls/cmac.h"
19*62c56f98SSadaf Ebrahimi #include "mbedtls/md5.h"
20*62c56f98SSadaf Ebrahimi #include "mbedtls/ripemd160.h"
21*62c56f98SSadaf Ebrahimi #include "mbedtls/sha1.h"
22*62c56f98SSadaf Ebrahimi #include "mbedtls/sha256.h"
23*62c56f98SSadaf Ebrahimi #include "mbedtls/sha512.h"
24*62c56f98SSadaf Ebrahimi #include "mbedtls/sha3.h"
25*62c56f98SSadaf Ebrahimi #include "mbedtls/des.h"
26*62c56f98SSadaf Ebrahimi #include "mbedtls/aes.h"
27*62c56f98SSadaf Ebrahimi #include "mbedtls/camellia.h"
28*62c56f98SSadaf Ebrahimi #include "mbedtls/aria.h"
29*62c56f98SSadaf Ebrahimi #include "mbedtls/chacha20.h"
30*62c56f98SSadaf Ebrahimi #include "mbedtls/poly1305.h"
31*62c56f98SSadaf Ebrahimi #include "mbedtls/chachapoly.h"
32*62c56f98SSadaf Ebrahimi #include "mbedtls/base64.h"
33*62c56f98SSadaf Ebrahimi #include "mbedtls/bignum.h"
34*62c56f98SSadaf Ebrahimi #include "mbedtls/rsa.h"
35*62c56f98SSadaf Ebrahimi #include "mbedtls/x509.h"
36*62c56f98SSadaf Ebrahimi #include "mbedtls/pkcs5.h"
37*62c56f98SSadaf Ebrahimi #include "mbedtls/ecp.h"
38*62c56f98SSadaf Ebrahimi #include "mbedtls/ecjpake.h"
39*62c56f98SSadaf Ebrahimi #include "mbedtls/timing.h"
40*62c56f98SSadaf Ebrahimi #include "mbedtls/nist_kw.h"
41*62c56f98SSadaf Ebrahimi #include "mbedtls/debug.h"
42*62c56f98SSadaf Ebrahimi
43*62c56f98SSadaf Ebrahimi #include <limits.h>
44*62c56f98SSadaf Ebrahimi #include <string.h>
45*62c56f98SSadaf Ebrahimi
46*62c56f98SSadaf Ebrahimi #include "mbedtls/platform.h"
47*62c56f98SSadaf Ebrahimi
48*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
49*62c56f98SSadaf Ebrahimi #include "mbedtls/memory_buffer_alloc.h"
50*62c56f98SSadaf Ebrahimi #endif
51*62c56f98SSadaf Ebrahimi
52*62c56f98SSadaf Ebrahimi
53*62c56f98SSadaf Ebrahimi #if defined MBEDTLS_SELF_TEST
54*62c56f98SSadaf Ebrahimi /* Sanity check for malloc. This is not expected to fail, and is rather
55*62c56f98SSadaf Ebrahimi * intended to display potentially useful information about the platform,
56*62c56f98SSadaf Ebrahimi * in particular the behavior of malloc(0). */
calloc_self_test(int verbose)57*62c56f98SSadaf Ebrahimi static int calloc_self_test(int verbose)
58*62c56f98SSadaf Ebrahimi {
59*62c56f98SSadaf Ebrahimi int failures = 0;
60*62c56f98SSadaf Ebrahimi void *empty1 = mbedtls_calloc(0, 1);
61*62c56f98SSadaf Ebrahimi void *empty2 = mbedtls_calloc(0, 1);
62*62c56f98SSadaf Ebrahimi void *buffer1 = mbedtls_calloc(1, 1);
63*62c56f98SSadaf Ebrahimi void *buffer2 = mbedtls_calloc(1, 1);
64*62c56f98SSadaf Ebrahimi unsigned int buffer_3_size = 256;
65*62c56f98SSadaf Ebrahimi unsigned int buffer_4_size = 4097; /* Allocate more than the usual page size */
66*62c56f98SSadaf Ebrahimi unsigned char *buffer3 = mbedtls_calloc(buffer_3_size, 1);
67*62c56f98SSadaf Ebrahimi unsigned char *buffer4 = mbedtls_calloc(buffer_4_size, 1);
68*62c56f98SSadaf Ebrahimi
69*62c56f98SSadaf Ebrahimi if (empty1 == NULL && empty2 == NULL) {
70*62c56f98SSadaf Ebrahimi if (verbose) {
71*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(0,1): passed (NULL)\n");
72*62c56f98SSadaf Ebrahimi }
73*62c56f98SSadaf Ebrahimi } else if (empty1 == NULL || empty2 == NULL) {
74*62c56f98SSadaf Ebrahimi if (verbose) {
75*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(0,1): failed (mix of NULL and non-NULL)\n");
76*62c56f98SSadaf Ebrahimi }
77*62c56f98SSadaf Ebrahimi ++failures;
78*62c56f98SSadaf Ebrahimi } else if (empty1 == empty2) {
79*62c56f98SSadaf Ebrahimi if (verbose) {
80*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(0,1): passed (same non-null)\n");
81*62c56f98SSadaf Ebrahimi }
82*62c56f98SSadaf Ebrahimi } else {
83*62c56f98SSadaf Ebrahimi if (verbose) {
84*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(0,1): passed (distinct non-null)\n");
85*62c56f98SSadaf Ebrahimi }
86*62c56f98SSadaf Ebrahimi }
87*62c56f98SSadaf Ebrahimi
88*62c56f98SSadaf Ebrahimi mbedtls_free(empty1);
89*62c56f98SSadaf Ebrahimi mbedtls_free(empty2);
90*62c56f98SSadaf Ebrahimi
91*62c56f98SSadaf Ebrahimi empty1 = mbedtls_calloc(1, 0);
92*62c56f98SSadaf Ebrahimi empty2 = mbedtls_calloc(1, 0);
93*62c56f98SSadaf Ebrahimi if (empty1 == NULL && empty2 == NULL) {
94*62c56f98SSadaf Ebrahimi if (verbose) {
95*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1,0): passed (NULL)\n");
96*62c56f98SSadaf Ebrahimi }
97*62c56f98SSadaf Ebrahimi } else if (empty1 == NULL || empty2 == NULL) {
98*62c56f98SSadaf Ebrahimi if (verbose) {
99*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1,0): failed (mix of NULL and non-NULL)\n");
100*62c56f98SSadaf Ebrahimi }
101*62c56f98SSadaf Ebrahimi ++failures;
102*62c56f98SSadaf Ebrahimi } else if (empty1 == empty2) {
103*62c56f98SSadaf Ebrahimi if (verbose) {
104*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1,0): passed (same non-null)\n");
105*62c56f98SSadaf Ebrahimi }
106*62c56f98SSadaf Ebrahimi } else {
107*62c56f98SSadaf Ebrahimi if (verbose) {
108*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1,0): passed (distinct non-null)\n");
109*62c56f98SSadaf Ebrahimi }
110*62c56f98SSadaf Ebrahimi }
111*62c56f98SSadaf Ebrahimi
112*62c56f98SSadaf Ebrahimi if (buffer1 == NULL || buffer2 == NULL) {
113*62c56f98SSadaf Ebrahimi if (verbose) {
114*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1): failed (NULL)\n");
115*62c56f98SSadaf Ebrahimi }
116*62c56f98SSadaf Ebrahimi ++failures;
117*62c56f98SSadaf Ebrahimi } else if (buffer1 == buffer2) {
118*62c56f98SSadaf Ebrahimi if (verbose) {
119*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1): failed (same buffer twice)\n");
120*62c56f98SSadaf Ebrahimi }
121*62c56f98SSadaf Ebrahimi ++failures;
122*62c56f98SSadaf Ebrahimi } else {
123*62c56f98SSadaf Ebrahimi if (verbose) {
124*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1): passed\n");
125*62c56f98SSadaf Ebrahimi }
126*62c56f98SSadaf Ebrahimi }
127*62c56f98SSadaf Ebrahimi
128*62c56f98SSadaf Ebrahimi mbedtls_free(buffer1);
129*62c56f98SSadaf Ebrahimi buffer1 = mbedtls_calloc(1, 1);
130*62c56f98SSadaf Ebrahimi if (buffer1 == NULL) {
131*62c56f98SSadaf Ebrahimi if (verbose) {
132*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1 again): failed (NULL)\n");
133*62c56f98SSadaf Ebrahimi }
134*62c56f98SSadaf Ebrahimi ++failures;
135*62c56f98SSadaf Ebrahimi } else {
136*62c56f98SSadaf Ebrahimi if (verbose) {
137*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(1 again): passed\n");
138*62c56f98SSadaf Ebrahimi }
139*62c56f98SSadaf Ebrahimi }
140*62c56f98SSadaf Ebrahimi
141*62c56f98SSadaf Ebrahimi for (unsigned int i = 0; i < buffer_3_size; i++) {
142*62c56f98SSadaf Ebrahimi if (buffer3[i] != 0) {
143*62c56f98SSadaf Ebrahimi ++failures;
144*62c56f98SSadaf Ebrahimi if (verbose) {
145*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(%u): failed (memory not initialized to 0)\n",
146*62c56f98SSadaf Ebrahimi buffer_3_size);
147*62c56f98SSadaf Ebrahimi }
148*62c56f98SSadaf Ebrahimi break;
149*62c56f98SSadaf Ebrahimi }
150*62c56f98SSadaf Ebrahimi }
151*62c56f98SSadaf Ebrahimi
152*62c56f98SSadaf Ebrahimi for (unsigned int i = 0; i < buffer_4_size; i++) {
153*62c56f98SSadaf Ebrahimi if (buffer4[i] != 0) {
154*62c56f98SSadaf Ebrahimi ++failures;
155*62c56f98SSadaf Ebrahimi if (verbose) {
156*62c56f98SSadaf Ebrahimi mbedtls_printf(" CALLOC(%u): failed (memory not initialized to 0)\n",
157*62c56f98SSadaf Ebrahimi buffer_4_size);
158*62c56f98SSadaf Ebrahimi }
159*62c56f98SSadaf Ebrahimi break;
160*62c56f98SSadaf Ebrahimi }
161*62c56f98SSadaf Ebrahimi }
162*62c56f98SSadaf Ebrahimi
163*62c56f98SSadaf Ebrahimi if (verbose) {
164*62c56f98SSadaf Ebrahimi mbedtls_printf("\n");
165*62c56f98SSadaf Ebrahimi }
166*62c56f98SSadaf Ebrahimi mbedtls_free(empty1);
167*62c56f98SSadaf Ebrahimi mbedtls_free(empty2);
168*62c56f98SSadaf Ebrahimi mbedtls_free(buffer1);
169*62c56f98SSadaf Ebrahimi mbedtls_free(buffer2);
170*62c56f98SSadaf Ebrahimi mbedtls_free(buffer3);
171*62c56f98SSadaf Ebrahimi mbedtls_free(buffer4);
172*62c56f98SSadaf Ebrahimi return failures;
173*62c56f98SSadaf Ebrahimi }
174*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_SELF_TEST */
175*62c56f98SSadaf Ebrahimi
test_snprintf(size_t n,const char * ref_buf,int ref_ret)176*62c56f98SSadaf Ebrahimi static int test_snprintf(size_t n, const char *ref_buf, int ref_ret)
177*62c56f98SSadaf Ebrahimi {
178*62c56f98SSadaf Ebrahimi int ret;
179*62c56f98SSadaf Ebrahimi char buf[10] = "xxxxxxxxx";
180*62c56f98SSadaf Ebrahimi const char ref[10] = "xxxxxxxxx";
181*62c56f98SSadaf Ebrahimi
182*62c56f98SSadaf Ebrahimi ret = mbedtls_snprintf(buf, n, "%s", "123");
183*62c56f98SSadaf Ebrahimi if (ret < 0 || (size_t) ret >= n) {
184*62c56f98SSadaf Ebrahimi ret = -1;
185*62c56f98SSadaf Ebrahimi }
186*62c56f98SSadaf Ebrahimi
187*62c56f98SSadaf Ebrahimi if (strncmp(ref_buf, buf, sizeof(buf)) != 0 ||
188*62c56f98SSadaf Ebrahimi ref_ret != ret ||
189*62c56f98SSadaf Ebrahimi memcmp(buf + n, ref + n, sizeof(buf) - n) != 0) {
190*62c56f98SSadaf Ebrahimi return 1;
191*62c56f98SSadaf Ebrahimi }
192*62c56f98SSadaf Ebrahimi
193*62c56f98SSadaf Ebrahimi return 0;
194*62c56f98SSadaf Ebrahimi }
195*62c56f98SSadaf Ebrahimi
run_test_snprintf(void)196*62c56f98SSadaf Ebrahimi static int run_test_snprintf(void)
197*62c56f98SSadaf Ebrahimi {
198*62c56f98SSadaf Ebrahimi return test_snprintf(0, "xxxxxxxxx", -1) != 0 ||
199*62c56f98SSadaf Ebrahimi test_snprintf(1, "", -1) != 0 ||
200*62c56f98SSadaf Ebrahimi test_snprintf(2, "1", -1) != 0 ||
201*62c56f98SSadaf Ebrahimi test_snprintf(3, "12", -1) != 0 ||
202*62c56f98SSadaf Ebrahimi test_snprintf(4, "123", 3) != 0 ||
203*62c56f98SSadaf Ebrahimi test_snprintf(5, "123", 3) != 0;
204*62c56f98SSadaf Ebrahimi }
205*62c56f98SSadaf Ebrahimi
206*62c56f98SSadaf Ebrahimi /*
207*62c56f98SSadaf Ebrahimi * Check if a seed file is present, and if not create one for the entropy
208*62c56f98SSadaf Ebrahimi * self-test. If this fails, we attempt the test anyway, so no error is passed
209*62c56f98SSadaf Ebrahimi * back.
210*62c56f98SSadaf Ebrahimi */
211*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SELF_TEST) && defined(MBEDTLS_ENTROPY_C)
212*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
create_entropy_seed_file(void)213*62c56f98SSadaf Ebrahimi static void create_entropy_seed_file(void)
214*62c56f98SSadaf Ebrahimi {
215*62c56f98SSadaf Ebrahimi int result;
216*62c56f98SSadaf Ebrahimi size_t output_len = 0;
217*62c56f98SSadaf Ebrahimi unsigned char seed_value[MBEDTLS_ENTROPY_BLOCK_SIZE];
218*62c56f98SSadaf Ebrahimi
219*62c56f98SSadaf Ebrahimi /* Attempt to read the entropy seed file. If this fails - attempt to write
220*62c56f98SSadaf Ebrahimi * to the file to ensure one is present. */
221*62c56f98SSadaf Ebrahimi result = mbedtls_platform_std_nv_seed_read(seed_value,
222*62c56f98SSadaf Ebrahimi MBEDTLS_ENTROPY_BLOCK_SIZE);
223*62c56f98SSadaf Ebrahimi if (0 == result) {
224*62c56f98SSadaf Ebrahimi return;
225*62c56f98SSadaf Ebrahimi }
226*62c56f98SSadaf Ebrahimi
227*62c56f98SSadaf Ebrahimi result = mbedtls_platform_entropy_poll(NULL,
228*62c56f98SSadaf Ebrahimi seed_value,
229*62c56f98SSadaf Ebrahimi MBEDTLS_ENTROPY_BLOCK_SIZE,
230*62c56f98SSadaf Ebrahimi &output_len);
231*62c56f98SSadaf Ebrahimi if (0 != result) {
232*62c56f98SSadaf Ebrahimi return;
233*62c56f98SSadaf Ebrahimi }
234*62c56f98SSadaf Ebrahimi
235*62c56f98SSadaf Ebrahimi if (MBEDTLS_ENTROPY_BLOCK_SIZE != output_len) {
236*62c56f98SSadaf Ebrahimi return;
237*62c56f98SSadaf Ebrahimi }
238*62c56f98SSadaf Ebrahimi
239*62c56f98SSadaf Ebrahimi mbedtls_platform_std_nv_seed_write(seed_value, MBEDTLS_ENTROPY_BLOCK_SIZE);
240*62c56f98SSadaf Ebrahimi }
241*62c56f98SSadaf Ebrahimi #endif
242*62c56f98SSadaf Ebrahimi
mbedtls_entropy_self_test_wrapper(int verbose)243*62c56f98SSadaf Ebrahimi int mbedtls_entropy_self_test_wrapper(int verbose)
244*62c56f98SSadaf Ebrahimi {
245*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_ENTROPY_NV_SEED) && !defined(MBEDTLS_NO_PLATFORM_ENTROPY)
246*62c56f98SSadaf Ebrahimi create_entropy_seed_file();
247*62c56f98SSadaf Ebrahimi #endif
248*62c56f98SSadaf Ebrahimi return mbedtls_entropy_self_test(verbose);
249*62c56f98SSadaf Ebrahimi }
250*62c56f98SSadaf Ebrahimi #endif
251*62c56f98SSadaf Ebrahimi
252*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SELF_TEST)
253*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
mbedtls_memory_buffer_alloc_free_and_self_test(int verbose)254*62c56f98SSadaf Ebrahimi int mbedtls_memory_buffer_alloc_free_and_self_test(int verbose)
255*62c56f98SSadaf Ebrahimi {
256*62c56f98SSadaf Ebrahimi if (verbose != 0) {
257*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_MEMORY_DEBUG)
258*62c56f98SSadaf Ebrahimi mbedtls_memory_buffer_alloc_status();
259*62c56f98SSadaf Ebrahimi #endif
260*62c56f98SSadaf Ebrahimi }
261*62c56f98SSadaf Ebrahimi mbedtls_memory_buffer_alloc_free();
262*62c56f98SSadaf Ebrahimi return mbedtls_memory_buffer_alloc_self_test(verbose);
263*62c56f98SSadaf Ebrahimi }
264*62c56f98SSadaf Ebrahimi #endif
265*62c56f98SSadaf Ebrahimi
266*62c56f98SSadaf Ebrahimi typedef struct {
267*62c56f98SSadaf Ebrahimi const char *name;
268*62c56f98SSadaf Ebrahimi int (*function)(int);
269*62c56f98SSadaf Ebrahimi } selftest_t;
270*62c56f98SSadaf Ebrahimi
271*62c56f98SSadaf Ebrahimi const selftest_t selftests[] =
272*62c56f98SSadaf Ebrahimi {
273*62c56f98SSadaf Ebrahimi { "calloc", calloc_self_test },
274*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_MD5_C)
275*62c56f98SSadaf Ebrahimi { "md5", mbedtls_md5_self_test },
276*62c56f98SSadaf Ebrahimi #endif
277*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_RIPEMD160_C)
278*62c56f98SSadaf Ebrahimi { "ripemd160", mbedtls_ripemd160_self_test },
279*62c56f98SSadaf Ebrahimi #endif
280*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SHA1_C)
281*62c56f98SSadaf Ebrahimi { "sha1", mbedtls_sha1_self_test },
282*62c56f98SSadaf Ebrahimi #endif
283*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SHA224_C)
284*62c56f98SSadaf Ebrahimi { "sha224", mbedtls_sha224_self_test },
285*62c56f98SSadaf Ebrahimi #endif
286*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SHA256_C)
287*62c56f98SSadaf Ebrahimi { "sha256", mbedtls_sha256_self_test },
288*62c56f98SSadaf Ebrahimi #endif
289*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SHA384_C)
290*62c56f98SSadaf Ebrahimi { "sha384", mbedtls_sha384_self_test },
291*62c56f98SSadaf Ebrahimi #endif
292*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SHA512_C)
293*62c56f98SSadaf Ebrahimi { "sha512", mbedtls_sha512_self_test },
294*62c56f98SSadaf Ebrahimi #endif
295*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SHA3_C)
296*62c56f98SSadaf Ebrahimi { "sha3", mbedtls_sha3_self_test },
297*62c56f98SSadaf Ebrahimi #endif
298*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_DES_C)
299*62c56f98SSadaf Ebrahimi { "des", mbedtls_des_self_test },
300*62c56f98SSadaf Ebrahimi #endif
301*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_AES_C)
302*62c56f98SSadaf Ebrahimi { "aes", mbedtls_aes_self_test },
303*62c56f98SSadaf Ebrahimi #endif
304*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_GCM_C) && defined(MBEDTLS_AES_C)
305*62c56f98SSadaf Ebrahimi { "gcm", mbedtls_gcm_self_test },
306*62c56f98SSadaf Ebrahimi #endif
307*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_CCM_C) && defined(MBEDTLS_AES_C)
308*62c56f98SSadaf Ebrahimi { "ccm", mbedtls_ccm_self_test },
309*62c56f98SSadaf Ebrahimi #endif
310*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_NIST_KW_C) && defined(MBEDTLS_AES_C)
311*62c56f98SSadaf Ebrahimi { "nist_kw", mbedtls_nist_kw_self_test },
312*62c56f98SSadaf Ebrahimi #endif
313*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_CMAC_C)
314*62c56f98SSadaf Ebrahimi { "cmac", mbedtls_cmac_self_test },
315*62c56f98SSadaf Ebrahimi #endif
316*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_CHACHA20_C)
317*62c56f98SSadaf Ebrahimi { "chacha20", mbedtls_chacha20_self_test },
318*62c56f98SSadaf Ebrahimi #endif
319*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_POLY1305_C)
320*62c56f98SSadaf Ebrahimi { "poly1305", mbedtls_poly1305_self_test },
321*62c56f98SSadaf Ebrahimi #endif
322*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_CHACHAPOLY_C)
323*62c56f98SSadaf Ebrahimi { "chacha20-poly1305", mbedtls_chachapoly_self_test },
324*62c56f98SSadaf Ebrahimi #endif
325*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_BASE64_C)
326*62c56f98SSadaf Ebrahimi { "base64", mbedtls_base64_self_test },
327*62c56f98SSadaf Ebrahimi #endif
328*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_BIGNUM_C)
329*62c56f98SSadaf Ebrahimi { "mpi", mbedtls_mpi_self_test },
330*62c56f98SSadaf Ebrahimi #endif
331*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_RSA_C)
332*62c56f98SSadaf Ebrahimi { "rsa", mbedtls_rsa_self_test },
333*62c56f98SSadaf Ebrahimi #endif
334*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_CAMELLIA_C)
335*62c56f98SSadaf Ebrahimi { "camellia", mbedtls_camellia_self_test },
336*62c56f98SSadaf Ebrahimi #endif
337*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_ARIA_C)
338*62c56f98SSadaf Ebrahimi { "aria", mbedtls_aria_self_test },
339*62c56f98SSadaf Ebrahimi #endif
340*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_CTR_DRBG_C)
341*62c56f98SSadaf Ebrahimi { "ctr_drbg", mbedtls_ctr_drbg_self_test },
342*62c56f98SSadaf Ebrahimi #endif
343*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_HMAC_DRBG_C)
344*62c56f98SSadaf Ebrahimi { "hmac_drbg", mbedtls_hmac_drbg_self_test },
345*62c56f98SSadaf Ebrahimi #endif
346*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_ECP_C)
347*62c56f98SSadaf Ebrahimi { "ecp", mbedtls_ecp_self_test },
348*62c56f98SSadaf Ebrahimi #endif
349*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_ECJPAKE_C)
350*62c56f98SSadaf Ebrahimi { "ecjpake", mbedtls_ecjpake_self_test },
351*62c56f98SSadaf Ebrahimi #endif
352*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_DHM_C)
353*62c56f98SSadaf Ebrahimi { "dhm", mbedtls_dhm_self_test },
354*62c56f98SSadaf Ebrahimi #endif
355*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_ENTROPY_C)
356*62c56f98SSadaf Ebrahimi { "entropy", mbedtls_entropy_self_test_wrapper },
357*62c56f98SSadaf Ebrahimi #endif
358*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_PKCS5_C)
359*62c56f98SSadaf Ebrahimi { "pkcs5", mbedtls_pkcs5_self_test },
360*62c56f98SSadaf Ebrahimi #endif
361*62c56f98SSadaf Ebrahimi /* Heap test comes last */
362*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
363*62c56f98SSadaf Ebrahimi { "memory_buffer_alloc", mbedtls_memory_buffer_alloc_free_and_self_test },
364*62c56f98SSadaf Ebrahimi #endif
365*62c56f98SSadaf Ebrahimi { NULL, NULL }
366*62c56f98SSadaf Ebrahimi };
367*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_SELF_TEST */
368*62c56f98SSadaf Ebrahimi
main(int argc,char * argv[])369*62c56f98SSadaf Ebrahimi int main(int argc, char *argv[])
370*62c56f98SSadaf Ebrahimi {
371*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SELF_TEST)
372*62c56f98SSadaf Ebrahimi const selftest_t *test;
373*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_SELF_TEST */
374*62c56f98SSadaf Ebrahimi char **argp;
375*62c56f98SSadaf Ebrahimi int v = 1; /* v=1 for verbose mode */
376*62c56f98SSadaf Ebrahimi int exclude_mode = 0;
377*62c56f98SSadaf Ebrahimi int suites_tested = 0, suites_failed = 0;
378*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && defined(MBEDTLS_SELF_TEST)
379*62c56f98SSadaf Ebrahimi unsigned char buf[1000000];
380*62c56f98SSadaf Ebrahimi #endif
381*62c56f98SSadaf Ebrahimi void *pointer;
382*62c56f98SSadaf Ebrahimi
383*62c56f98SSadaf Ebrahimi /*
384*62c56f98SSadaf Ebrahimi * Check some basic platform requirements as specified in README.md
385*62c56f98SSadaf Ebrahimi */
386*62c56f98SSadaf Ebrahimi if (SIZE_MAX < INT_MAX || SIZE_MAX < UINT_MAX) {
387*62c56f98SSadaf Ebrahimi mbedtls_printf("SIZE_MAX must be at least as big as INT_MAX and UINT_MAX\n");
388*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE);
389*62c56f98SSadaf Ebrahimi }
390*62c56f98SSadaf Ebrahimi
391*62c56f98SSadaf Ebrahimi if (sizeof(int) < 4) {
392*62c56f98SSadaf Ebrahimi mbedtls_printf("int must be at least 32 bits\n");
393*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE);
394*62c56f98SSadaf Ebrahimi }
395*62c56f98SSadaf Ebrahimi
396*62c56f98SSadaf Ebrahimi if (sizeof(size_t) < 4) {
397*62c56f98SSadaf Ebrahimi mbedtls_printf("size_t must be at least 32 bits\n");
398*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE);
399*62c56f98SSadaf Ebrahimi }
400*62c56f98SSadaf Ebrahimi
401*62c56f98SSadaf Ebrahimi uint32_t endian_test = 0x12345678;
402*62c56f98SSadaf Ebrahimi char *p = (char *) &endian_test;
403*62c56f98SSadaf Ebrahimi if (!(p[0] == 0x12 && p[1] == 0x34 && p[2] == 0x56 && p[3] == 0x78) &&
404*62c56f98SSadaf Ebrahimi !(p[3] == 0x12 && p[2] == 0x34 && p[1] == 0x56 && p[0] == 0x78)) {
405*62c56f98SSadaf Ebrahimi mbedtls_printf("Mixed-endian platforms are not supported\n");
406*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE);
407*62c56f98SSadaf Ebrahimi }
408*62c56f98SSadaf Ebrahimi
409*62c56f98SSadaf Ebrahimi /*
410*62c56f98SSadaf Ebrahimi * The C standard doesn't guarantee that all-bits-0 is the representation
411*62c56f98SSadaf Ebrahimi * of a NULL pointer. We do however use that in our code for initializing
412*62c56f98SSadaf Ebrahimi * structures, which should work on every modern platform. Let's be sure.
413*62c56f98SSadaf Ebrahimi */
414*62c56f98SSadaf Ebrahimi memset(&pointer, 0, sizeof(void *));
415*62c56f98SSadaf Ebrahimi if (pointer != NULL) {
416*62c56f98SSadaf Ebrahimi mbedtls_printf("all-bits-zero is not a NULL pointer\n");
417*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE);
418*62c56f98SSadaf Ebrahimi }
419*62c56f98SSadaf Ebrahimi
420*62c56f98SSadaf Ebrahimi /*
421*62c56f98SSadaf Ebrahimi * The C standard allows padding bits in the representation
422*62c56f98SSadaf Ebrahimi * of standard integer types, but our code does currently not
423*62c56f98SSadaf Ebrahimi * support them.
424*62c56f98SSadaf Ebrahimi *
425*62c56f98SSadaf Ebrahimi * Here we check that the underlying C implementation doesn't
426*62c56f98SSadaf Ebrahimi * use padding bits, and fail cleanly if it does.
427*62c56f98SSadaf Ebrahimi *
428*62c56f98SSadaf Ebrahimi * The check works by casting the maximum value representable
429*62c56f98SSadaf Ebrahimi * by a given integer type into the unpadded integer type of the
430*62c56f98SSadaf Ebrahimi * same bit-width and checking that it agrees with the maximum value
431*62c56f98SSadaf Ebrahimi * of that unpadded type. For example, for a 4-byte int,
432*62c56f98SSadaf Ebrahimi * MAX_INT should be 0x7fffffff in int32_t. This assumes that
433*62c56f98SSadaf Ebrahimi * CHAR_BIT == 8, which is checked in check_config.h.
434*62c56f98SSadaf Ebrahimi *
435*62c56f98SSadaf Ebrahimi * We assume that [u]intxx_t exist and that they don't
436*62c56f98SSadaf Ebrahimi * have padding bits, as the standard requires.
437*62c56f98SSadaf Ebrahimi */
438*62c56f98SSadaf Ebrahimi
439*62c56f98SSadaf Ebrahimi #define CHECK_PADDING_SIGNED(TYPE, NAME) \
440*62c56f98SSadaf Ebrahimi do \
441*62c56f98SSadaf Ebrahimi { \
442*62c56f98SSadaf Ebrahimi if (sizeof(TYPE) == 2 || sizeof(TYPE) == 4 || \
443*62c56f98SSadaf Ebrahimi sizeof(TYPE) == 8) { \
444*62c56f98SSadaf Ebrahimi if ((sizeof(TYPE) == 2 && \
445*62c56f98SSadaf Ebrahimi (int16_t) NAME ## _MAX != 0x7FFF) || \
446*62c56f98SSadaf Ebrahimi (sizeof(TYPE) == 4 && \
447*62c56f98SSadaf Ebrahimi (int32_t) NAME ## _MAX != 0x7FFFFFFF) || \
448*62c56f98SSadaf Ebrahimi (sizeof(TYPE) == 8 && \
449*62c56f98SSadaf Ebrahimi (int64_t) NAME ## _MAX != 0x7FFFFFFFFFFFFFFF)) \
450*62c56f98SSadaf Ebrahimi { \
451*62c56f98SSadaf Ebrahimi mbedtls_printf("Type '" #TYPE "' has padding bits\n"); \
452*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE); \
453*62c56f98SSadaf Ebrahimi } \
454*62c56f98SSadaf Ebrahimi } else { \
455*62c56f98SSadaf Ebrahimi mbedtls_printf("Padding checks only implemented for types of size 2, 4 or 8" \
456*62c56f98SSadaf Ebrahimi " - cannot check type '" #TYPE "' of size %" MBEDTLS_PRINTF_SIZET "\n", \
457*62c56f98SSadaf Ebrahimi sizeof(TYPE)); \
458*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE); \
459*62c56f98SSadaf Ebrahimi } \
460*62c56f98SSadaf Ebrahimi } while (0)
461*62c56f98SSadaf Ebrahimi
462*62c56f98SSadaf Ebrahimi #define CHECK_PADDING_UNSIGNED(TYPE, NAME) \
463*62c56f98SSadaf Ebrahimi do \
464*62c56f98SSadaf Ebrahimi { \
465*62c56f98SSadaf Ebrahimi if ((sizeof(TYPE) == 2 && \
466*62c56f98SSadaf Ebrahimi (uint16_t) NAME ## _MAX != 0xFFFF) || \
467*62c56f98SSadaf Ebrahimi (sizeof(TYPE) == 4 && \
468*62c56f98SSadaf Ebrahimi (uint32_t) NAME ## _MAX != 0xFFFFFFFF) || \
469*62c56f98SSadaf Ebrahimi (sizeof(TYPE) == 8 && \
470*62c56f98SSadaf Ebrahimi (uint64_t) NAME ## _MAX != 0xFFFFFFFFFFFFFFFF)) \
471*62c56f98SSadaf Ebrahimi { \
472*62c56f98SSadaf Ebrahimi mbedtls_printf("Type '" #TYPE "' has padding bits\n"); \
473*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE); \
474*62c56f98SSadaf Ebrahimi } \
475*62c56f98SSadaf Ebrahimi } while (0)
476*62c56f98SSadaf Ebrahimi
477*62c56f98SSadaf Ebrahimi CHECK_PADDING_SIGNED(short, SHRT);
478*62c56f98SSadaf Ebrahimi CHECK_PADDING_SIGNED(int, INT);
479*62c56f98SSadaf Ebrahimi CHECK_PADDING_SIGNED(long, LONG);
480*62c56f98SSadaf Ebrahimi CHECK_PADDING_SIGNED(long long, LLONG);
481*62c56f98SSadaf Ebrahimi CHECK_PADDING_SIGNED(ptrdiff_t, PTRDIFF);
482*62c56f98SSadaf Ebrahimi
483*62c56f98SSadaf Ebrahimi CHECK_PADDING_UNSIGNED(unsigned short, USHRT);
484*62c56f98SSadaf Ebrahimi CHECK_PADDING_UNSIGNED(unsigned, UINT);
485*62c56f98SSadaf Ebrahimi CHECK_PADDING_UNSIGNED(unsigned long, ULONG);
486*62c56f98SSadaf Ebrahimi CHECK_PADDING_UNSIGNED(unsigned long long, ULLONG);
487*62c56f98SSadaf Ebrahimi CHECK_PADDING_UNSIGNED(size_t, SIZE);
488*62c56f98SSadaf Ebrahimi
489*62c56f98SSadaf Ebrahimi #undef CHECK_PADDING_SIGNED
490*62c56f98SSadaf Ebrahimi #undef CHECK_PADDING_UNSIGNED
491*62c56f98SSadaf Ebrahimi
492*62c56f98SSadaf Ebrahimi /*
493*62c56f98SSadaf Ebrahimi * Make sure we have a snprintf that correctly zero-terminates
494*62c56f98SSadaf Ebrahimi */
495*62c56f98SSadaf Ebrahimi if (run_test_snprintf() != 0) {
496*62c56f98SSadaf Ebrahimi mbedtls_printf("the snprintf implementation is broken\n");
497*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE);
498*62c56f98SSadaf Ebrahimi }
499*62c56f98SSadaf Ebrahimi
500*62c56f98SSadaf Ebrahimi for (argp = argv + (argc >= 1 ? 1 : argc); *argp != NULL; ++argp) {
501*62c56f98SSadaf Ebrahimi if (strcmp(*argp, "--quiet") == 0 ||
502*62c56f98SSadaf Ebrahimi strcmp(*argp, "-q") == 0) {
503*62c56f98SSadaf Ebrahimi v = 0;
504*62c56f98SSadaf Ebrahimi } else if (strcmp(*argp, "--exclude") == 0 ||
505*62c56f98SSadaf Ebrahimi strcmp(*argp, "-x") == 0) {
506*62c56f98SSadaf Ebrahimi exclude_mode = 1;
507*62c56f98SSadaf Ebrahimi } else {
508*62c56f98SSadaf Ebrahimi break;
509*62c56f98SSadaf Ebrahimi }
510*62c56f98SSadaf Ebrahimi }
511*62c56f98SSadaf Ebrahimi
512*62c56f98SSadaf Ebrahimi if (v != 0) {
513*62c56f98SSadaf Ebrahimi mbedtls_printf("\n");
514*62c56f98SSadaf Ebrahimi }
515*62c56f98SSadaf Ebrahimi
516*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_SELF_TEST)
517*62c56f98SSadaf Ebrahimi
518*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
519*62c56f98SSadaf Ebrahimi mbedtls_memory_buffer_alloc_init(buf, sizeof(buf));
520*62c56f98SSadaf Ebrahimi #endif
521*62c56f98SSadaf Ebrahimi
522*62c56f98SSadaf Ebrahimi if (*argp != NULL && exclude_mode == 0) {
523*62c56f98SSadaf Ebrahimi /* Run the specified tests */
524*62c56f98SSadaf Ebrahimi for (; *argp != NULL; argp++) {
525*62c56f98SSadaf Ebrahimi for (test = selftests; test->name != NULL; test++) {
526*62c56f98SSadaf Ebrahimi if (!strcmp(*argp, test->name)) {
527*62c56f98SSadaf Ebrahimi if (test->function(v) != 0) {
528*62c56f98SSadaf Ebrahimi suites_failed++;
529*62c56f98SSadaf Ebrahimi }
530*62c56f98SSadaf Ebrahimi suites_tested++;
531*62c56f98SSadaf Ebrahimi break;
532*62c56f98SSadaf Ebrahimi }
533*62c56f98SSadaf Ebrahimi }
534*62c56f98SSadaf Ebrahimi if (test->name == NULL) {
535*62c56f98SSadaf Ebrahimi mbedtls_printf(" Test suite %s not available -> failed\n\n", *argp);
536*62c56f98SSadaf Ebrahimi suites_failed++;
537*62c56f98SSadaf Ebrahimi }
538*62c56f98SSadaf Ebrahimi }
539*62c56f98SSadaf Ebrahimi } else {
540*62c56f98SSadaf Ebrahimi /* Run all the tests except excluded ones */
541*62c56f98SSadaf Ebrahimi for (test = selftests; test->name != NULL; test++) {
542*62c56f98SSadaf Ebrahimi if (exclude_mode) {
543*62c56f98SSadaf Ebrahimi char **excluded;
544*62c56f98SSadaf Ebrahimi for (excluded = argp; *excluded != NULL; ++excluded) {
545*62c56f98SSadaf Ebrahimi if (!strcmp(*excluded, test->name)) {
546*62c56f98SSadaf Ebrahimi break;
547*62c56f98SSadaf Ebrahimi }
548*62c56f98SSadaf Ebrahimi }
549*62c56f98SSadaf Ebrahimi if (*excluded) {
550*62c56f98SSadaf Ebrahimi if (v) {
551*62c56f98SSadaf Ebrahimi mbedtls_printf(" Skip: %s\n", test->name);
552*62c56f98SSadaf Ebrahimi }
553*62c56f98SSadaf Ebrahimi continue;
554*62c56f98SSadaf Ebrahimi }
555*62c56f98SSadaf Ebrahimi }
556*62c56f98SSadaf Ebrahimi if (test->function(v) != 0) {
557*62c56f98SSadaf Ebrahimi suites_failed++;
558*62c56f98SSadaf Ebrahimi }
559*62c56f98SSadaf Ebrahimi suites_tested++;
560*62c56f98SSadaf Ebrahimi }
561*62c56f98SSadaf Ebrahimi }
562*62c56f98SSadaf Ebrahimi
563*62c56f98SSadaf Ebrahimi #else
564*62c56f98SSadaf Ebrahimi (void) exclude_mode;
565*62c56f98SSadaf Ebrahimi mbedtls_printf(" MBEDTLS_SELF_TEST not defined.\n");
566*62c56f98SSadaf Ebrahimi #endif
567*62c56f98SSadaf Ebrahimi
568*62c56f98SSadaf Ebrahimi if (v != 0) {
569*62c56f98SSadaf Ebrahimi mbedtls_printf(" Executed %d test suites\n\n", suites_tested);
570*62c56f98SSadaf Ebrahimi
571*62c56f98SSadaf Ebrahimi if (suites_failed > 0) {
572*62c56f98SSadaf Ebrahimi mbedtls_printf(" [ %d tests FAIL ]\n\n", suites_failed);
573*62c56f98SSadaf Ebrahimi } else {
574*62c56f98SSadaf Ebrahimi mbedtls_printf(" [ All tests PASS ]\n\n");
575*62c56f98SSadaf Ebrahimi }
576*62c56f98SSadaf Ebrahimi }
577*62c56f98SSadaf Ebrahimi
578*62c56f98SSadaf Ebrahimi if (suites_failed > 0) {
579*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_FAILURE);
580*62c56f98SSadaf Ebrahimi }
581*62c56f98SSadaf Ebrahimi
582*62c56f98SSadaf Ebrahimi mbedtls_exit(MBEDTLS_EXIT_SUCCESS);
583*62c56f98SSadaf Ebrahimi }
584