blob: d9d5bb60ac2d840b4e0604de371ee0ff943d7d3a [file] [log] [blame]
Paul Bakker4fc45522010-03-18 20:11:58 +00001/*
2 * Certificate reading application
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakker4fc45522010-03-18 20:11:58 +00006 */
7
Felix Conway998760a2025-03-24 11:37:33 +00008#define MBEDTLS_DECLARE_PRIVATE_IDENTIFIERS
9
Bence Szépkútic662b362021-05-27 11:25:03 +020010#include "mbedtls/build_info.h"
Paul Bakker4fc45522010-03-18 20:11:58 +000011
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000012#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000013
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020014#if !defined(MBEDTLS_BIGNUM_C) || !defined(MBEDTLS_ENTROPY_C) || \
15 !defined(MBEDTLS_SSL_TLS_C) || !defined(MBEDTLS_SSL_CLI_C) || \
16 !defined(MBEDTLS_NET_C) || !defined(MBEDTLS_RSA_C) || \
17 !defined(MBEDTLS_X509_CRT_PARSE_C) || !defined(MBEDTLS_FS_IO) || \
Chris Jonesee33c602020-12-16 11:52:37 +000018 !defined(MBEDTLS_CTR_DRBG_C) || defined(MBEDTLS_X509_REMOVE_INFO)
Gilles Peskine449bd832023-01-11 14:50:10 +010019int main(void)
Manuel Pégourié-Gonnard8d649c62015-03-31 15:10:03 +020020{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020021 mbedtls_printf("MBEDTLS_BIGNUM_C and/or MBEDTLS_ENTROPY_C and/or "
Gilles Peskine449bd832023-01-11 14:50:10 +010022 "MBEDTLS_SSL_TLS_C and/or MBEDTLS_SSL_CLI_C and/or "
23 "MBEDTLS_NET_C and/or MBEDTLS_RSA_C and/or "
24 "MBEDTLS_X509_CRT_PARSE_C and/or MBEDTLS_FS_IO and/or "
25 "MBEDTLS_CTR_DRBG_C not defined and/or MBEDTLS_X509_REMOVE_INFO defined.\n");
26 mbedtls_exit(0);
Manuel Pégourié-Gonnard8d649c62015-03-31 15:10:03 +020027}
28#else
29
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000030#include "mbedtls/entropy.h"
31#include "mbedtls/ctr_drbg.h"
Andres AG788aa4a2016-09-14 14:32:09 +010032#include "mbedtls/net_sockets.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000033#include "mbedtls/ssl.h"
34#include "mbedtls/x509.h"
Paul Bakkerf2b92bb2016-08-11 10:45:14 +010035#include "mbedtls/debug.h"
Paul Bakker4fc45522010-03-18 20:11:58 +000036
Rich Evans18b78c72015-02-11 14:06:19 +000037#include <stdio.h>
38#include <stdlib.h>
39#include <string.h>
Paul Bakker80d44fe2013-09-09 15:59:20 +020040
Paul Bakker4fc45522010-03-18 20:11:58 +000041#define MODE_NONE 0
42#define MODE_FILE 1
43#define MODE_SSL 2
44
45#define DFL_MODE MODE_NONE
46#define DFL_FILENAME "cert.crt"
Paul Bakker777a5752013-05-21 16:20:04 +020047#define DFL_CA_FILE ""
Paul Bakker1fd32532014-05-28 11:36:16 +020048#define DFL_CRL_FILE ""
Paul Bakker777a5752013-05-21 16:20:04 +020049#define DFL_CA_PATH ""
Paul Bakker4fc45522010-03-18 20:11:58 +000050#define DFL_SERVER_NAME "localhost"
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +020051#define DFL_SERVER_PORT "4433"
Paul Bakker4fc45522010-03-18 20:11:58 +000052#define DFL_DEBUG_LEVEL 0
Paul Bakker6c0ceb32011-12-04 12:24:18 +000053#define DFL_PERMISSIVE 0
Paul Bakker4fc45522010-03-18 20:11:58 +000054
Rich Evans85b05ec2015-02-12 11:37:29 +000055#define USAGE_IO \
56 " ca_file=%%s The single file containing the top-level CA(s) you fully trust\n" \
57 " default: \"\" (none)\n" \
58 " crl_file=%%s The single CRL file you want to use\n" \
59 " default: \"\" (none)\n" \
60 " ca_path=%%s The path containing the top-level CA(s) you fully trust\n" \
61 " default: \"\" (none) (overrides ca_file)\n"
62
63#define USAGE \
64 "\n usage: cert_app param=<>...\n" \
65 "\n acceptable parameters:\n" \
66 " mode=file|ssl default: none\n" \
67 " filename=%%s default: cert.crt\n" \
68 USAGE_IO \
69 " server_name=%%s default: localhost\n" \
70 " server_port=%%d default: 4433\n" \
71 " debug_level=%%d default: 0 (disabled)\n" \
72 " permissive=%%d default: 0 (disabled)\n" \
73 "\n"
74
Simon Butcher63cb97e2018-12-06 17:43:31 +000075
Paul Bakker4fc45522010-03-18 20:11:58 +000076/*
77 * global options
78 */
Gilles Peskine449bd832023-01-11 14:50:10 +010079struct options {
Paul Bakker4fc45522010-03-18 20:11:58 +000080 int mode; /* the mode to run the application in */
Paul Bakkeref3f8c72013-06-24 13:01:08 +020081 const char *filename; /* filename of the certificate file */
82 const char *ca_file; /* the file with the CA certificate(s) */
Paul Bakker1fd32532014-05-28 11:36:16 +020083 const char *crl_file; /* the file with the CRL to use */
Paul Bakkeref3f8c72013-06-24 13:01:08 +020084 const char *ca_path; /* the path with the CA certificate(s) reside */
85 const char *server_name; /* hostname of the server (client only) */
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +020086 const char *server_port; /* port on which the ssl service runs */
Paul Bakker4fc45522010-03-18 20:11:58 +000087 int debug_level; /* level of debugging */
Paul Bakker6c0ceb32011-12-04 12:24:18 +000088 int permissive; /* permissive parsing */
Paul Bakker4fc45522010-03-18 20:11:58 +000089} opt;
90
Gilles Peskine449bd832023-01-11 14:50:10 +010091static void my_debug(void *ctx, int level,
92 const char *file, int line,
93 const char *str)
Paul Bakker4fc45522010-03-18 20:11:58 +000094{
Manuel Pégourié-Gonnard61ee3512015-06-23 17:35:03 +020095 ((void) level);
96
Gilles Peskine449bd832023-01-11 14:50:10 +010097 mbedtls_fprintf((FILE *) ctx, "%s:%04d: %s", file, line, str);
98 fflush((FILE *) ctx);
Paul Bakker4fc45522010-03-18 20:11:58 +000099}
100
Gilles Peskine449bd832023-01-11 14:50:10 +0100101static int my_verify(void *data, mbedtls_x509_crt *crt, int depth, uint32_t *flags)
Paul Bakker777a5752013-05-21 16:20:04 +0200102{
103 char buf[1024];
104 ((void) data);
105
Gilles Peskine449bd832023-01-11 14:50:10 +0100106 mbedtls_printf("\nVerify requested for (Depth %d):\n", depth);
107 mbedtls_x509_crt_info(buf, sizeof(buf) - 1, "", crt);
108 mbedtls_printf("%s", buf);
Paul Bakker777a5752013-05-21 16:20:04 +0200109
Gilles Peskine449bd832023-01-11 14:50:10 +0100110 if ((*flags) == 0) {
111 mbedtls_printf(" This certificate has no flags\n");
112 } else {
113 mbedtls_x509_crt_verify_info(buf, sizeof(buf), " ! ", *flags);
114 mbedtls_printf("%s\n", buf);
Manuel Pégourié-Gonnard89addc42015-04-20 10:56:18 +0100115 }
Paul Bakker777a5752013-05-21 16:20:04 +0200116
Gilles Peskine449bd832023-01-11 14:50:10 +0100117 return 0;
Paul Bakker777a5752013-05-21 16:20:04 +0200118}
119
Gilles Peskine449bd832023-01-11 14:50:10 +0100120int main(int argc, char *argv[])
Paul Bakker4fc45522010-03-18 20:11:58 +0000121{
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100122 int ret = 1;
123 int exit_code = MBEDTLS_EXIT_FAILURE;
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200124 mbedtls_net_context server_fd;
Paul Bakker4fc45522010-03-18 20:11:58 +0000125 unsigned char buf[1024];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200126 mbedtls_entropy_context entropy;
127 mbedtls_ctr_drbg_context ctr_drbg;
128 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200129 mbedtls_ssl_config conf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200130 mbedtls_x509_crt cacert;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200131 mbedtls_x509_crl cacrl;
Paul Bakker36713e82013-09-17 13:25:29 +0200132 int i, j;
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +0200133 uint32_t flags;
134 int verify = 0;
Paul Bakker4fc45522010-03-18 20:11:58 +0000135 char *p, *q;
Paul Bakkeref3f8c72013-06-24 13:01:08 +0200136 const char *pers = "cert_app";
Paul Bakker4fc45522010-03-18 20:11:58 +0000137
Paul Bakker1a207ec2011-02-06 13:22:40 +0000138 /*
139 * Set to sane values
140 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100141 mbedtls_net_init(&server_fd);
142 mbedtls_ctr_drbg_init(&ctr_drbg);
143 mbedtls_ssl_init(&ssl);
144 mbedtls_ssl_config_init(&conf);
145 mbedtls_x509_crt_init(&cacert);
Przemek Stekiel6260ee92023-04-14 12:28:16 +0200146 mbedtls_entropy_init(&entropy);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200147#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100148 mbedtls_x509_crl_init(&cacrl);
Paul Bakker8880cb52014-06-12 23:22:26 +0200149#else
150 /* Zeroize structure as CRL parsing is not supported and we have to pass
151 it to the verify function */
Gilles Peskine449bd832023-01-11 14:50:10 +0100152 memset(&cacrl, 0, sizeof(mbedtls_x509_crl));
Paul Bakker8880cb52014-06-12 23:22:26 +0200153#endif
Paul Bakker1a207ec2011-02-06 13:22:40 +0000154
Przemek Stekiela0a1c1e2023-04-17 11:10:05 +0200155#if defined(MBEDTLS_USE_PSA_CRYPTO)
156 psa_status_t status = psa_crypto_init();
157 if (status != PSA_SUCCESS) {
158 mbedtls_fprintf(stderr, "Failed to initialize PSA Crypto implementation: %d\n",
159 (int) status);
160 goto exit;
161 }
162#endif /* MBEDTLS_USE_PSA_CRYPTO */
163
Aditya Deshpande644a5c02023-01-30 15:58:50 +0000164 if (argc < 2) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100165usage:
166 mbedtls_printf(USAGE);
Paul Bakker4fc45522010-03-18 20:11:58 +0000167 goto exit;
168 }
169
170 opt.mode = DFL_MODE;
171 opt.filename = DFL_FILENAME;
Paul Bakker777a5752013-05-21 16:20:04 +0200172 opt.ca_file = DFL_CA_FILE;
Paul Bakker1fd32532014-05-28 11:36:16 +0200173 opt.crl_file = DFL_CRL_FILE;
Paul Bakker777a5752013-05-21 16:20:04 +0200174 opt.ca_path = DFL_CA_PATH;
Paul Bakker4fc45522010-03-18 20:11:58 +0000175 opt.server_name = DFL_SERVER_NAME;
176 opt.server_port = DFL_SERVER_PORT;
177 opt.debug_level = DFL_DEBUG_LEVEL;
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000178 opt.permissive = DFL_PERMISSIVE;
Paul Bakker4fc45522010-03-18 20:11:58 +0000179
Gilles Peskine449bd832023-01-11 14:50:10 +0100180 for (i = 1; i < argc; i++) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000181 p = argv[i];
Gilles Peskine449bd832023-01-11 14:50:10 +0100182 if ((q = strchr(p, '=')) == NULL) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000183 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100184 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000185 *q++ = '\0';
186
Gilles Peskine449bd832023-01-11 14:50:10 +0100187 for (j = 0; p + j < q; j++) {
188 if (argv[i][j] >= 'A' && argv[i][j] <= 'Z') {
Paul Bakkerace02862013-09-16 21:40:34 +0200189 argv[i][j] |= 0x20;
Gilles Peskine449bd832023-01-11 14:50:10 +0100190 }
Paul Bakkerace02862013-09-16 21:40:34 +0200191 }
192
Gilles Peskine449bd832023-01-11 14:50:10 +0100193 if (strcmp(p, "mode") == 0) {
194 if (strcmp(q, "file") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000195 opt.mode = MODE_FILE;
Gilles Peskine449bd832023-01-11 14:50:10 +0100196 } else if (strcmp(q, "ssl") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000197 opt.mode = MODE_SSL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100198 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000199 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100200 }
201 } else if (strcmp(p, "filename") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000202 opt.filename = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100203 } else if (strcmp(p, "ca_file") == 0) {
Paul Bakker777a5752013-05-21 16:20:04 +0200204 opt.ca_file = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100205 } else if (strcmp(p, "crl_file") == 0) {
Paul Bakker1fd32532014-05-28 11:36:16 +0200206 opt.crl_file = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100207 } else if (strcmp(p, "ca_path") == 0) {
Paul Bakker777a5752013-05-21 16:20:04 +0200208 opt.ca_path = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100209 } else if (strcmp(p, "server_name") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000210 opt.server_name = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100211 } else if (strcmp(p, "server_port") == 0) {
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200212 opt.server_port = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100213 } else if (strcmp(p, "debug_level") == 0) {
214 opt.debug_level = atoi(q);
215 if (opt.debug_level < 0 || opt.debug_level > 65535) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000216 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100217 }
218 } else if (strcmp(p, "permissive") == 0) {
219 opt.permissive = atoi(q);
220 if (opt.permissive < 0 || opt.permissive > 1) {
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000221 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100222 }
223 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000224 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100225 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000226 }
227
Paul Bakker777a5752013-05-21 16:20:04 +0200228 /*
229 * 1.1. Load the trusted CA
230 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100231 mbedtls_printf(" . Loading the CA root certificate ...");
232 fflush(stdout);
Paul Bakker777a5752013-05-21 16:20:04 +0200233
Gilles Peskine449bd832023-01-11 14:50:10 +0100234 if (strlen(opt.ca_path)) {
235 if ((ret = mbedtls_x509_crt_parse_path(&cacert, opt.ca_path)) < 0) {
236 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_path returned -0x%x\n\n",
237 (unsigned int) -ret);
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100238 goto exit;
239 }
240
Paul Bakker777a5752013-05-21 16:20:04 +0200241 verify = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100242 } else if (strlen(opt.ca_file)) {
243 if ((ret = mbedtls_x509_crt_parse_file(&cacert, opt.ca_file)) < 0) {
244 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned -0x%x\n\n",
245 (unsigned int) -ret);
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100246 goto exit;
247 }
Paul Bakker777a5752013-05-21 16:20:04 +0200248
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100249 verify = 1;
Paul Bakker777a5752013-05-21 16:20:04 +0200250 }
251
Gilles Peskine449bd832023-01-11 14:50:10 +0100252 mbedtls_printf(" ok (%d skipped)\n", ret);
Paul Bakker777a5752013-05-21 16:20:04 +0200253
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200254#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100255 if (strlen(opt.crl_file)) {
256 if ((ret = mbedtls_x509_crl_parse_file(&cacrl, opt.crl_file)) != 0) {
257 mbedtls_printf(" failed\n ! mbedtls_x509_crl_parse returned -0x%x\n\n",
258 (unsigned int) -ret);
Paul Bakker8880cb52014-06-12 23:22:26 +0200259 goto exit;
260 }
261
Paul Bakker1fd32532014-05-28 11:36:16 +0200262 verify = 1;
263 }
Paul Bakker8880cb52014-06-12 23:22:26 +0200264#endif
Paul Bakker1fd32532014-05-28 11:36:16 +0200265
Gilles Peskine449bd832023-01-11 14:50:10 +0100266 if (opt.mode == MODE_FILE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267 mbedtls_x509_crt crt;
268 mbedtls_x509_crt *cur = &crt;
Gilles Peskine449bd832023-01-11 14:50:10 +0100269 mbedtls_x509_crt_init(&crt);
Paul Bakker4fc45522010-03-18 20:11:58 +0000270
271 /*
Paul Bakker14cb63a2011-11-25 12:44:31 +0000272 * 1.1. Load the certificate(s)
Paul Bakker4fc45522010-03-18 20:11:58 +0000273 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100274 mbedtls_printf("\n . Loading the certificate(s) ...");
275 fflush(stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000276
Gilles Peskine449bd832023-01-11 14:50:10 +0100277 ret = mbedtls_x509_crt_parse_file(&crt, opt.filename);
Paul Bakker4fc45522010-03-18 20:11:58 +0000278
Gilles Peskine449bd832023-01-11 14:50:10 +0100279 if (ret < 0) {
280 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned %d\n\n", ret);
281 mbedtls_x509_crt_free(&crt);
Paul Bakker4fc45522010-03-18 20:11:58 +0000282 goto exit;
283 }
284
Gilles Peskine449bd832023-01-11 14:50:10 +0100285 if (opt.permissive == 0 && ret > 0) {
286 mbedtls_printf(
287 " failed\n ! mbedtls_x509_crt_parse failed to parse %d certificates\n\n",
288 ret);
289 mbedtls_x509_crt_free(&crt);
Paul Bakker69e095c2011-12-10 21:55:01 +0000290 goto exit;
291 }
292
Gilles Peskine449bd832023-01-11 14:50:10 +0100293 mbedtls_printf(" ok\n");
Paul Bakker4fc45522010-03-18 20:11:58 +0000294
295 /*
Paul Bakker14cb63a2011-11-25 12:44:31 +0000296 * 1.2 Print the certificate(s)
Paul Bakker4fc45522010-03-18 20:11:58 +0000297 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100298 while (cur != NULL) {
299 mbedtls_printf(" . Peer certificate information ...\n");
300 ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ",
301 cur);
302 if (ret == -1) {
303 mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret);
304 mbedtls_x509_crt_free(&crt);
Paul Bakker14cb63a2011-11-25 12:44:31 +0000305 goto exit;
306 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000307
Gilles Peskine449bd832023-01-11 14:50:10 +0100308 mbedtls_printf("%s\n", buf);
Paul Bakker14cb63a2011-11-25 12:44:31 +0000309
Gilles Peskineca939952021-08-31 23:18:07 +0200310 cur = cur->next;
Paul Bakker14cb63a2011-11-25 12:44:31 +0000311 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000312
Paul Bakker777a5752013-05-21 16:20:04 +0200313 /*
314 * 1.3 Verify the certificate
315 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100316 if (verify) {
317 mbedtls_printf(" . Verifying X.509 certificate...");
Paul Bakker777a5752013-05-21 16:20:04 +0200318
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 if ((ret = mbedtls_x509_crt_verify(&crt, &cacert, &cacrl, NULL, &flags,
320 my_verify, NULL)) != 0) {
Manuel Pégourié-Gonnard89addc42015-04-20 10:56:18 +0100321 char vrfy_buf[512];
322
Gilles Peskine449bd832023-01-11 14:50:10 +0100323 mbedtls_printf(" failed\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200324
Gilles Peskine449bd832023-01-11 14:50:10 +0100325 mbedtls_x509_crt_verify_info(vrfy_buf, sizeof(vrfy_buf), " ! ", flags);
Paul Bakker777a5752013-05-21 16:20:04 +0200326
Gilles Peskine449bd832023-01-11 14:50:10 +0100327 mbedtls_printf("%s\n", vrfy_buf);
328 } else {
329 mbedtls_printf(" ok\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200330 }
Paul Bakker777a5752013-05-21 16:20:04 +0200331 }
332
Gilles Peskine449bd832023-01-11 14:50:10 +0100333 mbedtls_x509_crt_free(&crt);
334 } else if (opt.mode == MODE_SSL) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000335 /*
336 * 1. Initialize the RNG and the session data
337 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100338 mbedtls_printf("\n . Seeding the random number generator...");
339 fflush(stdout);
Paul Bakker508ad5a2011-12-04 17:09:26 +0000340
Gilles Peskine449bd832023-01-11 14:50:10 +0100341 if ((ret = mbedtls_ctr_drbg_seed(&ctr_drbg, mbedtls_entropy_func, &entropy,
342 (const unsigned char *) pers,
343 strlen(pers))) != 0) {
344 mbedtls_printf(" failed\n ! mbedtls_ctr_drbg_seed returned %d\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200345 goto ssl_exit;
Paul Bakker508ad5a2011-12-04 17:09:26 +0000346 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000347
Gilles Peskine449bd832023-01-11 14:50:10 +0100348 mbedtls_printf(" ok\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200349
Paul Bakkerf2b92bb2016-08-11 10:45:14 +0100350#if defined(MBEDTLS_DEBUG_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100351 mbedtls_debug_set_threshold(opt.debug_level);
Paul Bakkerf2b92bb2016-08-11 10:45:14 +0100352#endif
353
Paul Bakker4fc45522010-03-18 20:11:58 +0000354 /*
355 * 2. Start the connection
356 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100357 mbedtls_printf(" . SSL connection to tcp/%s/%s...", opt.server_name,
358 opt.server_port);
359 fflush(stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000360
Gilles Peskine449bd832023-01-11 14:50:10 +0100361 if ((ret = mbedtls_net_connect(&server_fd, opt.server_name,
362 opt.server_port, MBEDTLS_NET_PROTO_TCP)) != 0) {
363 mbedtls_printf(" failed\n ! mbedtls_net_connect returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200364 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000365 }
366
367 /*
368 * 3. Setup stuff
369 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100370 if ((ret = mbedtls_ssl_config_defaults(&conf,
371 MBEDTLS_SSL_IS_CLIENT,
372 MBEDTLS_SSL_TRANSPORT_STREAM,
373 MBEDTLS_SSL_PRESET_DEFAULT)) != 0) {
374 mbedtls_printf(" failed\n ! mbedtls_ssl_config_defaults returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200375 goto exit;
376 }
377
Gilles Peskine449bd832023-01-11 14:50:10 +0100378 if (verify) {
379 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_REQUIRED);
380 mbedtls_ssl_conf_ca_chain(&conf, &cacert, NULL);
381 mbedtls_ssl_conf_verify(&conf, my_verify, NULL);
382 } else {
383 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_NONE);
Paul Bakker777a5752013-05-21 16:20:04 +0200384 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000385
Gilles Peskine449bd832023-01-11 14:50:10 +0100386 mbedtls_ssl_conf_dbg(&conf, my_debug, stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000387
Gilles Peskine449bd832023-01-11 14:50:10 +0100388 if ((ret = mbedtls_ssl_setup(&ssl, &conf)) != 0) {
389 mbedtls_printf(" failed\n ! mbedtls_ssl_setup returned %d\n\n", ret);
Manuel Pégourié-Gonnard06939ce2015-05-11 11:25:46 +0200390 goto ssl_exit;
391 }
392
Gilles Peskine449bd832023-01-11 14:50:10 +0100393 if ((ret = mbedtls_ssl_set_hostname(&ssl, opt.server_name)) != 0) {
394 mbedtls_printf(" failed\n ! mbedtls_ssl_set_hostname returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200395 goto ssl_exit;
Manuel Pégourié-Gonnardc5fd3912014-07-08 14:05:52 +0200396 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000397
Gilles Peskine449bd832023-01-11 14:50:10 +0100398 mbedtls_ssl_set_bio(&ssl, &server_fd, mbedtls_net_send, mbedtls_net_recv, NULL);
Manuel Pégourié-Gonnard06939ce2015-05-11 11:25:46 +0200399
Paul Bakker4fc45522010-03-18 20:11:58 +0000400 /*
401 * 4. Handshake
402 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100403 while ((ret = mbedtls_ssl_handshake(&ssl)) != 0) {
404 if (ret != MBEDTLS_ERR_SSL_WANT_READ && ret != MBEDTLS_ERR_SSL_WANT_WRITE) {
405 mbedtls_printf(" failed\n ! mbedtls_ssl_handshake returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200406 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000407 }
408 }
409
Gilles Peskine449bd832023-01-11 14:50:10 +0100410 mbedtls_printf(" ok\n");
Paul Bakker4fc45522010-03-18 20:11:58 +0000411
412 /*
413 * 5. Print the certificate
414 */
Hanno Becker57b33c92019-02-07 13:28:57 +0000415#if !defined(MBEDTLS_SSL_KEEP_PEER_CERTIFICATE)
Gilles Peskine449bd832023-01-11 14:50:10 +0100416 mbedtls_printf(" . Peer certificate information ... skipped\n");
Hanno Becker57b33c92019-02-07 13:28:57 +0000417#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100418 mbedtls_printf(" . Peer certificate information ...\n");
419 ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ",
420 mbedtls_ssl_get_peer_cert(&ssl));
421 if (ret == -1) {
422 mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200423 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000424 }
425
Gilles Peskine449bd832023-01-11 14:50:10 +0100426 mbedtls_printf("%s\n", buf);
Hanno Becker57b33c92019-02-07 13:28:57 +0000427#endif /* MBEDTLS_SSL_KEEP_PEER_CERTIFICATE */
Paul Bakker4fc45522010-03-18 20:11:58 +0000428
Gilles Peskine449bd832023-01-11 14:50:10 +0100429 mbedtls_ssl_close_notify(&ssl);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200430
431ssl_exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100432 mbedtls_ssl_free(&ssl);
433 mbedtls_ssl_config_free(&conf);
434 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000435 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100436 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000437
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100438 exit_code = MBEDTLS_EXIT_SUCCESS;
439
Paul Bakker4fc45522010-03-18 20:11:58 +0000440exit:
441
Gilles Peskine449bd832023-01-11 14:50:10 +0100442 mbedtls_net_free(&server_fd);
443 mbedtls_x509_crt_free(&cacert);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200444#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100445 mbedtls_x509_crl_free(&cacrl);
Paul Bakker8880cb52014-06-12 23:22:26 +0200446#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100447 mbedtls_ctr_drbg_free(&ctr_drbg);
448 mbedtls_entropy_free(&entropy);
Przemek Stekiel758aef62023-04-19 13:47:43 +0200449#if defined(MBEDTLS_USE_PSA_CRYPTO)
Przemek Stekiela8c560a2023-04-19 10:15:26 +0200450 mbedtls_psa_crypto_free();
Przemek Stekiel758aef62023-04-19 13:47:43 +0200451#endif /* MBEDTLS_USE_PSA_CRYPTO */
Paul Bakker4fc45522010-03-18 20:11:58 +0000452
Gilles Peskine449bd832023-01-11 14:50:10 +0100453 mbedtls_exit(exit_code);
Paul Bakker4fc45522010-03-18 20:11:58 +0000454}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200455#endif /* MBEDTLS_BIGNUM_C && MBEDTLS_ENTROPY_C && MBEDTLS_SSL_TLS_C &&
456 MBEDTLS_SSL_CLI_C && MBEDTLS_NET_C && MBEDTLS_RSA_C &&
457 MBEDTLS_X509_CRT_PARSE_C && MBEDTLS_FS_IO && MBEDTLS_CTR_DRBG_C */