blob: cb1e5bc4e72485b657f812453d13f0b779b7fdbf [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
Bence Szépkútic662b362021-05-27 11:25:03 +02008#include "mbedtls/build_info.h"
Paul Bakker4fc45522010-03-18 20:11:58 +00009
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000010#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000011
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020012#if !defined(MBEDTLS_BIGNUM_C) || !defined(MBEDTLS_ENTROPY_C) || \
13 !defined(MBEDTLS_SSL_TLS_C) || !defined(MBEDTLS_SSL_CLI_C) || \
14 !defined(MBEDTLS_NET_C) || !defined(MBEDTLS_RSA_C) || \
15 !defined(MBEDTLS_X509_CRT_PARSE_C) || !defined(MBEDTLS_FS_IO) || \
Chris Jonesee33c602020-12-16 11:52:37 +000016 !defined(MBEDTLS_CTR_DRBG_C) || defined(MBEDTLS_X509_REMOVE_INFO)
Gilles Peskine449bd832023-01-11 14:50:10 +010017int main(void)
Manuel Pégourié-Gonnard8d649c62015-03-31 15:10:03 +020018{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020019 mbedtls_printf("MBEDTLS_BIGNUM_C and/or MBEDTLS_ENTROPY_C and/or "
Gilles Peskine449bd832023-01-11 14:50:10 +010020 "MBEDTLS_SSL_TLS_C and/or MBEDTLS_SSL_CLI_C and/or "
21 "MBEDTLS_NET_C and/or MBEDTLS_RSA_C and/or "
22 "MBEDTLS_X509_CRT_PARSE_C and/or MBEDTLS_FS_IO and/or "
23 "MBEDTLS_CTR_DRBG_C not defined and/or MBEDTLS_X509_REMOVE_INFO defined.\n");
24 mbedtls_exit(0);
Manuel Pégourié-Gonnard8d649c62015-03-31 15:10:03 +020025}
26#else
27
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000028#include "mbedtls/entropy.h"
29#include "mbedtls/ctr_drbg.h"
Andres AG788aa4a2016-09-14 14:32:09 +010030#include "mbedtls/net_sockets.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000031#include "mbedtls/ssl.h"
32#include "mbedtls/x509.h"
Paul Bakkerf2b92bb2016-08-11 10:45:14 +010033#include "mbedtls/debug.h"
Paul Bakker4fc45522010-03-18 20:11:58 +000034
Rich Evans18b78c72015-02-11 14:06:19 +000035#include <stdio.h>
36#include <stdlib.h>
37#include <string.h>
Paul Bakker80d44fe2013-09-09 15:59:20 +020038
Paul Bakker4fc45522010-03-18 20:11:58 +000039#define MODE_NONE 0
40#define MODE_FILE 1
41#define MODE_SSL 2
42
43#define DFL_MODE MODE_NONE
44#define DFL_FILENAME "cert.crt"
Paul Bakker777a5752013-05-21 16:20:04 +020045#define DFL_CA_FILE ""
Paul Bakker1fd32532014-05-28 11:36:16 +020046#define DFL_CRL_FILE ""
Paul Bakker777a5752013-05-21 16:20:04 +020047#define DFL_CA_PATH ""
Paul Bakker4fc45522010-03-18 20:11:58 +000048#define DFL_SERVER_NAME "localhost"
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +020049#define DFL_SERVER_PORT "4433"
Paul Bakker4fc45522010-03-18 20:11:58 +000050#define DFL_DEBUG_LEVEL 0
Paul Bakker6c0ceb32011-12-04 12:24:18 +000051#define DFL_PERMISSIVE 0
Paul Bakker4fc45522010-03-18 20:11:58 +000052
Rich Evans85b05ec2015-02-12 11:37:29 +000053#define USAGE_IO \
54 " ca_file=%%s The single file containing the top-level CA(s) you fully trust\n" \
55 " default: \"\" (none)\n" \
56 " crl_file=%%s The single CRL file you want to use\n" \
57 " default: \"\" (none)\n" \
58 " ca_path=%%s The path containing the top-level CA(s) you fully trust\n" \
59 " default: \"\" (none) (overrides ca_file)\n"
60
61#define USAGE \
62 "\n usage: cert_app param=<>...\n" \
63 "\n acceptable parameters:\n" \
64 " mode=file|ssl default: none\n" \
65 " filename=%%s default: cert.crt\n" \
66 USAGE_IO \
67 " server_name=%%s default: localhost\n" \
68 " server_port=%%d default: 4433\n" \
69 " debug_level=%%d default: 0 (disabled)\n" \
70 " permissive=%%d default: 0 (disabled)\n" \
71 "\n"
72
Simon Butcher63cb97e2018-12-06 17:43:31 +000073
Paul Bakker4fc45522010-03-18 20:11:58 +000074/*
75 * global options
76 */
Gilles Peskine449bd832023-01-11 14:50:10 +010077struct options {
Paul Bakker4fc45522010-03-18 20:11:58 +000078 int mode; /* the mode to run the application in */
Paul Bakkeref3f8c72013-06-24 13:01:08 +020079 const char *filename; /* filename of the certificate file */
80 const char *ca_file; /* the file with the CA certificate(s) */
Paul Bakker1fd32532014-05-28 11:36:16 +020081 const char *crl_file; /* the file with the CRL to use */
Paul Bakkeref3f8c72013-06-24 13:01:08 +020082 const char *ca_path; /* the path with the CA certificate(s) reside */
83 const char *server_name; /* hostname of the server (client only) */
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +020084 const char *server_port; /* port on which the ssl service runs */
Paul Bakker4fc45522010-03-18 20:11:58 +000085 int debug_level; /* level of debugging */
Paul Bakker6c0ceb32011-12-04 12:24:18 +000086 int permissive; /* permissive parsing */
Paul Bakker4fc45522010-03-18 20:11:58 +000087} opt;
88
Gilles Peskine449bd832023-01-11 14:50:10 +010089static void my_debug(void *ctx, int level,
90 const char *file, int line,
91 const char *str)
Paul Bakker4fc45522010-03-18 20:11:58 +000092{
Manuel Pégourié-Gonnard61ee3512015-06-23 17:35:03 +020093 ((void) level);
94
Gilles Peskine449bd832023-01-11 14:50:10 +010095 mbedtls_fprintf((FILE *) ctx, "%s:%04d: %s", file, line, str);
96 fflush((FILE *) ctx);
Paul Bakker4fc45522010-03-18 20:11:58 +000097}
98
Gilles Peskine449bd832023-01-11 14:50:10 +010099static int my_verify(void *data, mbedtls_x509_crt *crt, int depth, uint32_t *flags)
Paul Bakker777a5752013-05-21 16:20:04 +0200100{
101 char buf[1024];
102 ((void) data);
103
Gilles Peskine449bd832023-01-11 14:50:10 +0100104 mbedtls_printf("\nVerify requested for (Depth %d):\n", depth);
105 mbedtls_x509_crt_info(buf, sizeof(buf) - 1, "", crt);
106 mbedtls_printf("%s", buf);
Paul Bakker777a5752013-05-21 16:20:04 +0200107
Gilles Peskine449bd832023-01-11 14:50:10 +0100108 if ((*flags) == 0) {
109 mbedtls_printf(" This certificate has no flags\n");
110 } else {
111 mbedtls_x509_crt_verify_info(buf, sizeof(buf), " ! ", *flags);
112 mbedtls_printf("%s\n", buf);
Manuel Pégourié-Gonnard89addc42015-04-20 10:56:18 +0100113 }
Paul Bakker777a5752013-05-21 16:20:04 +0200114
Gilles Peskine449bd832023-01-11 14:50:10 +0100115 return 0;
Paul Bakker777a5752013-05-21 16:20:04 +0200116}
117
Gilles Peskine449bd832023-01-11 14:50:10 +0100118int main(int argc, char *argv[])
Paul Bakker4fc45522010-03-18 20:11:58 +0000119{
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100120 int ret = 1;
121 int exit_code = MBEDTLS_EXIT_FAILURE;
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200122 mbedtls_net_context server_fd;
Paul Bakker4fc45522010-03-18 20:11:58 +0000123 unsigned char buf[1024];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124 mbedtls_entropy_context entropy;
125 mbedtls_ctr_drbg_context ctr_drbg;
126 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200127 mbedtls_ssl_config conf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200128 mbedtls_x509_crt cacert;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129 mbedtls_x509_crl cacrl;
Paul Bakker36713e82013-09-17 13:25:29 +0200130 int i, j;
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +0200131 uint32_t flags;
132 int verify = 0;
Paul Bakker4fc45522010-03-18 20:11:58 +0000133 char *p, *q;
Paul Bakkeref3f8c72013-06-24 13:01:08 +0200134 const char *pers = "cert_app";
Paul Bakker4fc45522010-03-18 20:11:58 +0000135
Paul Bakker1a207ec2011-02-06 13:22:40 +0000136 /*
137 * Set to sane values
138 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100139 mbedtls_net_init(&server_fd);
140 mbedtls_ctr_drbg_init(&ctr_drbg);
141 mbedtls_ssl_init(&ssl);
142 mbedtls_ssl_config_init(&conf);
143 mbedtls_x509_crt_init(&cacert);
Przemek Stekiel6260ee92023-04-14 12:28:16 +0200144 mbedtls_entropy_init(&entropy);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100146 mbedtls_x509_crl_init(&cacrl);
Paul Bakker8880cb52014-06-12 23:22:26 +0200147#else
148 /* Zeroize structure as CRL parsing is not supported and we have to pass
149 it to the verify function */
Gilles Peskine449bd832023-01-11 14:50:10 +0100150 memset(&cacrl, 0, sizeof(mbedtls_x509_crl));
Paul Bakker8880cb52014-06-12 23:22:26 +0200151#endif
Paul Bakker1a207ec2011-02-06 13:22:40 +0000152
Przemek Stekiela0a1c1e2023-04-17 11:10:05 +0200153#if defined(MBEDTLS_USE_PSA_CRYPTO)
154 psa_status_t status = psa_crypto_init();
155 if (status != PSA_SUCCESS) {
156 mbedtls_fprintf(stderr, "Failed to initialize PSA Crypto implementation: %d\n",
157 (int) status);
158 goto exit;
159 }
160#endif /* MBEDTLS_USE_PSA_CRYPTO */
161
Aditya Deshpande644a5c02023-01-30 15:58:50 +0000162 if (argc < 2) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100163usage:
164 mbedtls_printf(USAGE);
Paul Bakker4fc45522010-03-18 20:11:58 +0000165 goto exit;
166 }
167
168 opt.mode = DFL_MODE;
169 opt.filename = DFL_FILENAME;
Paul Bakker777a5752013-05-21 16:20:04 +0200170 opt.ca_file = DFL_CA_FILE;
Paul Bakker1fd32532014-05-28 11:36:16 +0200171 opt.crl_file = DFL_CRL_FILE;
Paul Bakker777a5752013-05-21 16:20:04 +0200172 opt.ca_path = DFL_CA_PATH;
Paul Bakker4fc45522010-03-18 20:11:58 +0000173 opt.server_name = DFL_SERVER_NAME;
174 opt.server_port = DFL_SERVER_PORT;
175 opt.debug_level = DFL_DEBUG_LEVEL;
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000176 opt.permissive = DFL_PERMISSIVE;
Paul Bakker4fc45522010-03-18 20:11:58 +0000177
Gilles Peskine449bd832023-01-11 14:50:10 +0100178 for (i = 1; i < argc; i++) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000179 p = argv[i];
Gilles Peskine449bd832023-01-11 14:50:10 +0100180 if ((q = strchr(p, '=')) == NULL) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000181 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100182 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000183 *q++ = '\0';
184
Gilles Peskine449bd832023-01-11 14:50:10 +0100185 for (j = 0; p + j < q; j++) {
186 if (argv[i][j] >= 'A' && argv[i][j] <= 'Z') {
Paul Bakkerace02862013-09-16 21:40:34 +0200187 argv[i][j] |= 0x20;
Gilles Peskine449bd832023-01-11 14:50:10 +0100188 }
Paul Bakkerace02862013-09-16 21:40:34 +0200189 }
190
Gilles Peskine449bd832023-01-11 14:50:10 +0100191 if (strcmp(p, "mode") == 0) {
192 if (strcmp(q, "file") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000193 opt.mode = MODE_FILE;
Gilles Peskine449bd832023-01-11 14:50:10 +0100194 } else if (strcmp(q, "ssl") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000195 opt.mode = MODE_SSL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100196 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000197 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100198 }
199 } else if (strcmp(p, "filename") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000200 opt.filename = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100201 } else if (strcmp(p, "ca_file") == 0) {
Paul Bakker777a5752013-05-21 16:20:04 +0200202 opt.ca_file = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100203 } else if (strcmp(p, "crl_file") == 0) {
Paul Bakker1fd32532014-05-28 11:36:16 +0200204 opt.crl_file = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100205 } else if (strcmp(p, "ca_path") == 0) {
Paul Bakker777a5752013-05-21 16:20:04 +0200206 opt.ca_path = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100207 } else if (strcmp(p, "server_name") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000208 opt.server_name = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100209 } else if (strcmp(p, "server_port") == 0) {
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200210 opt.server_port = q;
Gilles Peskine449bd832023-01-11 14:50:10 +0100211 } else if (strcmp(p, "debug_level") == 0) {
212 opt.debug_level = atoi(q);
213 if (opt.debug_level < 0 || opt.debug_level > 65535) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000214 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100215 }
216 } else if (strcmp(p, "permissive") == 0) {
217 opt.permissive = atoi(q);
218 if (opt.permissive < 0 || opt.permissive > 1) {
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000219 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100220 }
221 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000222 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100223 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000224 }
225
Paul Bakker777a5752013-05-21 16:20:04 +0200226 /*
227 * 1.1. Load the trusted CA
228 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100229 mbedtls_printf(" . Loading the CA root certificate ...");
230 fflush(stdout);
Paul Bakker777a5752013-05-21 16:20:04 +0200231
Gilles Peskine449bd832023-01-11 14:50:10 +0100232 if (strlen(opt.ca_path)) {
233 if ((ret = mbedtls_x509_crt_parse_path(&cacert, opt.ca_path)) < 0) {
234 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_path returned -0x%x\n\n",
235 (unsigned int) -ret);
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100236 goto exit;
237 }
238
Paul Bakker777a5752013-05-21 16:20:04 +0200239 verify = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100240 } else if (strlen(opt.ca_file)) {
241 if ((ret = mbedtls_x509_crt_parse_file(&cacert, opt.ca_file)) < 0) {
242 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned -0x%x\n\n",
243 (unsigned int) -ret);
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100244 goto exit;
245 }
Paul Bakker777a5752013-05-21 16:20:04 +0200246
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100247 verify = 1;
Paul Bakker777a5752013-05-21 16:20:04 +0200248 }
249
Gilles Peskine449bd832023-01-11 14:50:10 +0100250 mbedtls_printf(" ok (%d skipped)\n", ret);
Paul Bakker777a5752013-05-21 16:20:04 +0200251
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200252#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100253 if (strlen(opt.crl_file)) {
254 if ((ret = mbedtls_x509_crl_parse_file(&cacrl, opt.crl_file)) != 0) {
255 mbedtls_printf(" failed\n ! mbedtls_x509_crl_parse returned -0x%x\n\n",
256 (unsigned int) -ret);
Paul Bakker8880cb52014-06-12 23:22:26 +0200257 goto exit;
258 }
259
Paul Bakker1fd32532014-05-28 11:36:16 +0200260 verify = 1;
261 }
Paul Bakker8880cb52014-06-12 23:22:26 +0200262#endif
Paul Bakker1fd32532014-05-28 11:36:16 +0200263
Gilles Peskine449bd832023-01-11 14:50:10 +0100264 if (opt.mode == MODE_FILE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200265 mbedtls_x509_crt crt;
266 mbedtls_x509_crt *cur = &crt;
Gilles Peskine449bd832023-01-11 14:50:10 +0100267 mbedtls_x509_crt_init(&crt);
Paul Bakker4fc45522010-03-18 20:11:58 +0000268
269 /*
Paul Bakker14cb63a2011-11-25 12:44:31 +0000270 * 1.1. Load the certificate(s)
Paul Bakker4fc45522010-03-18 20:11:58 +0000271 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100272 mbedtls_printf("\n . Loading the certificate(s) ...");
273 fflush(stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000274
Gilles Peskine449bd832023-01-11 14:50:10 +0100275 ret = mbedtls_x509_crt_parse_file(&crt, opt.filename);
Paul Bakker4fc45522010-03-18 20:11:58 +0000276
Gilles Peskine449bd832023-01-11 14:50:10 +0100277 if (ret < 0) {
278 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned %d\n\n", ret);
279 mbedtls_x509_crt_free(&crt);
Paul Bakker4fc45522010-03-18 20:11:58 +0000280 goto exit;
281 }
282
Gilles Peskine449bd832023-01-11 14:50:10 +0100283 if (opt.permissive == 0 && ret > 0) {
284 mbedtls_printf(
285 " failed\n ! mbedtls_x509_crt_parse failed to parse %d certificates\n\n",
286 ret);
287 mbedtls_x509_crt_free(&crt);
Paul Bakker69e095c2011-12-10 21:55:01 +0000288 goto exit;
289 }
290
Gilles Peskine449bd832023-01-11 14:50:10 +0100291 mbedtls_printf(" ok\n");
Paul Bakker4fc45522010-03-18 20:11:58 +0000292
293 /*
Paul Bakker14cb63a2011-11-25 12:44:31 +0000294 * 1.2 Print the certificate(s)
Paul Bakker4fc45522010-03-18 20:11:58 +0000295 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100296 while (cur != NULL) {
297 mbedtls_printf(" . Peer certificate information ...\n");
298 ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ",
299 cur);
300 if (ret == -1) {
301 mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret);
302 mbedtls_x509_crt_free(&crt);
Paul Bakker14cb63a2011-11-25 12:44:31 +0000303 goto exit;
304 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000305
Gilles Peskine449bd832023-01-11 14:50:10 +0100306 mbedtls_printf("%s\n", buf);
Paul Bakker14cb63a2011-11-25 12:44:31 +0000307
Gilles Peskineca939952021-08-31 23:18:07 +0200308 cur = cur->next;
Paul Bakker14cb63a2011-11-25 12:44:31 +0000309 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000310
Paul Bakker777a5752013-05-21 16:20:04 +0200311 /*
312 * 1.3 Verify the certificate
313 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100314 if (verify) {
315 mbedtls_printf(" . Verifying X.509 certificate...");
Paul Bakker777a5752013-05-21 16:20:04 +0200316
Gilles Peskine449bd832023-01-11 14:50:10 +0100317 if ((ret = mbedtls_x509_crt_verify(&crt, &cacert, &cacrl, NULL, &flags,
318 my_verify, NULL)) != 0) {
Manuel Pégourié-Gonnard89addc42015-04-20 10:56:18 +0100319 char vrfy_buf[512];
320
Gilles Peskine449bd832023-01-11 14:50:10 +0100321 mbedtls_printf(" failed\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200322
Gilles Peskine449bd832023-01-11 14:50:10 +0100323 mbedtls_x509_crt_verify_info(vrfy_buf, sizeof(vrfy_buf), " ! ", flags);
Paul Bakker777a5752013-05-21 16:20:04 +0200324
Gilles Peskine449bd832023-01-11 14:50:10 +0100325 mbedtls_printf("%s\n", vrfy_buf);
326 } else {
327 mbedtls_printf(" ok\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200328 }
Paul Bakker777a5752013-05-21 16:20:04 +0200329 }
330
Gilles Peskine449bd832023-01-11 14:50:10 +0100331 mbedtls_x509_crt_free(&crt);
332 } else if (opt.mode == MODE_SSL) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000333 /*
334 * 1. Initialize the RNG and the session data
335 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100336 mbedtls_printf("\n . Seeding the random number generator...");
337 fflush(stdout);
Paul Bakker508ad5a2011-12-04 17:09:26 +0000338
Gilles Peskine449bd832023-01-11 14:50:10 +0100339 if ((ret = mbedtls_ctr_drbg_seed(&ctr_drbg, mbedtls_entropy_func, &entropy,
340 (const unsigned char *) pers,
341 strlen(pers))) != 0) {
342 mbedtls_printf(" failed\n ! mbedtls_ctr_drbg_seed returned %d\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200343 goto ssl_exit;
Paul Bakker508ad5a2011-12-04 17:09:26 +0000344 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000345
Gilles Peskine449bd832023-01-11 14:50:10 +0100346 mbedtls_printf(" ok\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200347
Paul Bakkerf2b92bb2016-08-11 10:45:14 +0100348#if defined(MBEDTLS_DEBUG_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100349 mbedtls_debug_set_threshold(opt.debug_level);
Paul Bakkerf2b92bb2016-08-11 10:45:14 +0100350#endif
351
Paul Bakker4fc45522010-03-18 20:11:58 +0000352 /*
353 * 2. Start the connection
354 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100355 mbedtls_printf(" . SSL connection to tcp/%s/%s...", opt.server_name,
356 opt.server_port);
357 fflush(stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000358
Gilles Peskine449bd832023-01-11 14:50:10 +0100359 if ((ret = mbedtls_net_connect(&server_fd, opt.server_name,
360 opt.server_port, MBEDTLS_NET_PROTO_TCP)) != 0) {
361 mbedtls_printf(" failed\n ! mbedtls_net_connect returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200362 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000363 }
364
365 /*
366 * 3. Setup stuff
367 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100368 if ((ret = mbedtls_ssl_config_defaults(&conf,
369 MBEDTLS_SSL_IS_CLIENT,
370 MBEDTLS_SSL_TRANSPORT_STREAM,
371 MBEDTLS_SSL_PRESET_DEFAULT)) != 0) {
372 mbedtls_printf(" failed\n ! mbedtls_ssl_config_defaults returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200373 goto exit;
374 }
375
Gilles Peskine449bd832023-01-11 14:50:10 +0100376 if (verify) {
377 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_REQUIRED);
378 mbedtls_ssl_conf_ca_chain(&conf, &cacert, NULL);
379 mbedtls_ssl_conf_verify(&conf, my_verify, NULL);
380 } else {
381 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_NONE);
Paul Bakker777a5752013-05-21 16:20:04 +0200382 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000383
Gilles Peskine449bd832023-01-11 14:50:10 +0100384 mbedtls_ssl_conf_rng(&conf, mbedtls_ctr_drbg_random, &ctr_drbg);
385 mbedtls_ssl_conf_dbg(&conf, my_debug, stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000386
Gilles Peskine449bd832023-01-11 14:50:10 +0100387 if ((ret = mbedtls_ssl_setup(&ssl, &conf)) != 0) {
388 mbedtls_printf(" failed\n ! mbedtls_ssl_setup returned %d\n\n", ret);
Manuel Pégourié-Gonnard06939ce2015-05-11 11:25:46 +0200389 goto ssl_exit;
390 }
391
Gilles Peskine449bd832023-01-11 14:50:10 +0100392 if ((ret = mbedtls_ssl_set_hostname(&ssl, opt.server_name)) != 0) {
393 mbedtls_printf(" failed\n ! mbedtls_ssl_set_hostname returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200394 goto ssl_exit;
Manuel Pégourié-Gonnardc5fd3912014-07-08 14:05:52 +0200395 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000396
Gilles Peskine449bd832023-01-11 14:50:10 +0100397 mbedtls_ssl_set_bio(&ssl, &server_fd, mbedtls_net_send, mbedtls_net_recv, NULL);
Manuel Pégourié-Gonnard06939ce2015-05-11 11:25:46 +0200398
Paul Bakker4fc45522010-03-18 20:11:58 +0000399 /*
400 * 4. Handshake
401 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100402 while ((ret = mbedtls_ssl_handshake(&ssl)) != 0) {
403 if (ret != MBEDTLS_ERR_SSL_WANT_READ && ret != MBEDTLS_ERR_SSL_WANT_WRITE) {
404 mbedtls_printf(" failed\n ! mbedtls_ssl_handshake returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200405 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000406 }
407 }
408
Gilles Peskine449bd832023-01-11 14:50:10 +0100409 mbedtls_printf(" ok\n");
Paul Bakker4fc45522010-03-18 20:11:58 +0000410
411 /*
412 * 5. Print the certificate
413 */
Hanno Becker57b33c92019-02-07 13:28:57 +0000414#if !defined(MBEDTLS_SSL_KEEP_PEER_CERTIFICATE)
Gilles Peskine449bd832023-01-11 14:50:10 +0100415 mbedtls_printf(" . Peer certificate information ... skipped\n");
Hanno Becker57b33c92019-02-07 13:28:57 +0000416#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100417 mbedtls_printf(" . Peer certificate information ...\n");
418 ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ",
419 mbedtls_ssl_get_peer_cert(&ssl));
420 if (ret == -1) {
421 mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200422 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000423 }
424
Gilles Peskine449bd832023-01-11 14:50:10 +0100425 mbedtls_printf("%s\n", buf);
Hanno Becker57b33c92019-02-07 13:28:57 +0000426#endif /* MBEDTLS_SSL_KEEP_PEER_CERTIFICATE */
Paul Bakker4fc45522010-03-18 20:11:58 +0000427
Gilles Peskine449bd832023-01-11 14:50:10 +0100428 mbedtls_ssl_close_notify(&ssl);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200429
430ssl_exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100431 mbedtls_ssl_free(&ssl);
432 mbedtls_ssl_config_free(&conf);
433 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000434 goto usage;
Gilles Peskine449bd832023-01-11 14:50:10 +0100435 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000436
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100437 exit_code = MBEDTLS_EXIT_SUCCESS;
438
Paul Bakker4fc45522010-03-18 20:11:58 +0000439exit:
440
Gilles Peskine449bd832023-01-11 14:50:10 +0100441 mbedtls_net_free(&server_fd);
442 mbedtls_x509_crt_free(&cacert);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200443#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100444 mbedtls_x509_crl_free(&cacrl);
Paul Bakker8880cb52014-06-12 23:22:26 +0200445#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100446 mbedtls_ctr_drbg_free(&ctr_drbg);
447 mbedtls_entropy_free(&entropy);
Przemek Stekiel758aef62023-04-19 13:47:43 +0200448#if defined(MBEDTLS_USE_PSA_CRYPTO)
Przemek Stekiela8c560a2023-04-19 10:15:26 +0200449 mbedtls_psa_crypto_free();
Przemek Stekiel758aef62023-04-19 13:47:43 +0200450#endif /* MBEDTLS_USE_PSA_CRYPTO */
Paul Bakker4fc45522010-03-18 20:11:58 +0000451
Gilles Peskine449bd832023-01-11 14:50:10 +0100452 mbedtls_exit(exit_code);
Paul Bakker4fc45522010-03-18 20:11:58 +0000453}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200454#endif /* MBEDTLS_BIGNUM_C && MBEDTLS_ENTROPY_C && MBEDTLS_SSL_TLS_C &&
455 MBEDTLS_SSL_CLI_C && MBEDTLS_NET_C && MBEDTLS_RSA_C &&
456 MBEDTLS_X509_CRT_PARSE_C && MBEDTLS_FS_IO && MBEDTLS_CTR_DRBG_C */