blob: 5fc1370a57e37ef1644e80ccb406bdcb73187006 [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
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 Bakker4fc45522010-03-18 20:11:58 +000018 */
19
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020020#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000021#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020022#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020023#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020024#endif
Paul Bakker4fc45522010-03-18 20:11:58 +000025
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000026#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#if !defined(MBEDTLS_BIGNUM_C) || !defined(MBEDTLS_ENTROPY_C) || \
29 !defined(MBEDTLS_SSL_TLS_C) || !defined(MBEDTLS_SSL_CLI_C) || \
30 !defined(MBEDTLS_NET_C) || !defined(MBEDTLS_RSA_C) || \
31 !defined(MBEDTLS_X509_CRT_PARSE_C) || !defined(MBEDTLS_FS_IO) || \
32 !defined(MBEDTLS_CTR_DRBG_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010033int main(void)
Manuel Pégourié-Gonnard8d649c62015-03-31 15:10:03 +020034{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020035 mbedtls_printf("MBEDTLS_BIGNUM_C and/or MBEDTLS_ENTROPY_C and/or "
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010036 "MBEDTLS_SSL_TLS_C and/or MBEDTLS_SSL_CLI_C and/or "
37 "MBEDTLS_NET_C and/or MBEDTLS_RSA_C and/or "
38 "MBEDTLS_X509_CRT_PARSE_C and/or MBEDTLS_FS_IO and/or "
39 "MBEDTLS_CTR_DRBG_C not defined.\n");
40 mbedtls_exit(0);
Manuel Pégourié-Gonnard8d649c62015-03-31 15:10:03 +020041}
42#else
43
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000044#include "mbedtls/entropy.h"
45#include "mbedtls/ctr_drbg.h"
Andres AG788aa4a2016-09-14 14:32:09 +010046#include "mbedtls/net_sockets.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000047#include "mbedtls/ssl.h"
48#include "mbedtls/x509.h"
Paul Bakkerf2b92bb2016-08-11 10:45:14 +010049#include "mbedtls/debug.h"
Paul Bakker4fc45522010-03-18 20:11:58 +000050
Rich Evans18b78c72015-02-11 14:06:19 +000051#include <stdio.h>
52#include <stdlib.h>
53#include <string.h>
Paul Bakker80d44fe2013-09-09 15:59:20 +020054
Paul Bakker4fc45522010-03-18 20:11:58 +000055#define MODE_NONE 0
56#define MODE_FILE 1
57#define MODE_SSL 2
58
59#define DFL_MODE MODE_NONE
60#define DFL_FILENAME "cert.crt"
Paul Bakker777a5752013-05-21 16:20:04 +020061#define DFL_CA_FILE ""
Paul Bakker1fd32532014-05-28 11:36:16 +020062#define DFL_CRL_FILE ""
Paul Bakker777a5752013-05-21 16:20:04 +020063#define DFL_CA_PATH ""
Paul Bakker4fc45522010-03-18 20:11:58 +000064#define DFL_SERVER_NAME "localhost"
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +020065#define DFL_SERVER_PORT "4433"
Paul Bakker4fc45522010-03-18 20:11:58 +000066#define DFL_DEBUG_LEVEL 0
Paul Bakker6c0ceb32011-12-04 12:24:18 +000067#define DFL_PERMISSIVE 0
Paul Bakker4fc45522010-03-18 20:11:58 +000068
Rich Evans85b05ec2015-02-12 11:37:29 +000069#define USAGE_IO \
70 " ca_file=%%s The single file containing the top-level CA(s) you fully trust\n" \
71 " default: \"\" (none)\n" \
72 " crl_file=%%s The single CRL file you want to use\n" \
73 " default: \"\" (none)\n" \
74 " ca_path=%%s The path containing the top-level CA(s) you fully trust\n" \
75 " default: \"\" (none) (overrides ca_file)\n"
76
77#define USAGE \
78 "\n usage: cert_app param=<>...\n" \
79 "\n acceptable parameters:\n" \
80 " mode=file|ssl default: none\n" \
81 " filename=%%s default: cert.crt\n" \
82 USAGE_IO \
83 " server_name=%%s default: localhost\n" \
84 " server_port=%%d default: 4433\n" \
85 " debug_level=%%d default: 0 (disabled)\n" \
86 " permissive=%%d default: 0 (disabled)\n" \
87 "\n"
88
Simon Butcher63cb97e2018-12-06 17:43:31 +000089
Paul Bakker4fc45522010-03-18 20:11:58 +000090/*
91 * global options
92 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010093struct options {
Paul Bakker4fc45522010-03-18 20:11:58 +000094 int mode; /* the mode to run the application in */
Paul Bakkeref3f8c72013-06-24 13:01:08 +020095 const char *filename; /* filename of the certificate file */
96 const char *ca_file; /* the file with the CA certificate(s) */
Paul Bakker1fd32532014-05-28 11:36:16 +020097 const char *crl_file; /* the file with the CRL to use */
Paul Bakkeref3f8c72013-06-24 13:01:08 +020098 const char *ca_path; /* the path with the CA certificate(s) reside */
99 const char *server_name; /* hostname of the server (client only) */
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200100 const char *server_port; /* port on which the ssl service runs */
Paul Bakker4fc45522010-03-18 20:11:58 +0000101 int debug_level; /* level of debugging */
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000102 int permissive; /* permissive parsing */
Paul Bakker4fc45522010-03-18 20:11:58 +0000103} opt;
104
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100105static void my_debug(void *ctx, int level,
106 const char *file, int line,
107 const char *str)
Paul Bakker4fc45522010-03-18 20:11:58 +0000108{
Manuel Pégourié-Gonnard61ee3512015-06-23 17:35:03 +0200109 ((void) level);
110
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100111 mbedtls_fprintf((FILE *) ctx, "%s:%04d: %s", file, line, str);
112 fflush((FILE *) ctx);
Paul Bakker4fc45522010-03-18 20:11:58 +0000113}
114
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100115static int my_verify(void *data, mbedtls_x509_crt *crt, int depth, uint32_t *flags)
Paul Bakker777a5752013-05-21 16:20:04 +0200116{
117 char buf[1024];
118 ((void) data);
119
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100120 mbedtls_printf("\nVerify requested for (Depth %d):\n", depth);
121 mbedtls_x509_crt_info(buf, sizeof(buf) - 1, "", crt);
122 mbedtls_printf("%s", buf);
Paul Bakker777a5752013-05-21 16:20:04 +0200123
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100124 if ((*flags) == 0) {
125 mbedtls_printf(" This certificate has no flags\n");
126 } else {
127 mbedtls_x509_crt_verify_info(buf, sizeof(buf), " ! ", *flags);
128 mbedtls_printf("%s\n", buf);
Manuel Pégourié-Gonnard89addc42015-04-20 10:56:18 +0100129 }
Paul Bakker777a5752013-05-21 16:20:04 +0200130
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100131 return 0;
Paul Bakker777a5752013-05-21 16:20:04 +0200132}
133
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100134int main(int argc, char *argv[])
Paul Bakker4fc45522010-03-18 20:11:58 +0000135{
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100136 int ret = 1;
137 int exit_code = MBEDTLS_EXIT_FAILURE;
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200138 mbedtls_net_context server_fd;
Paul Bakker4fc45522010-03-18 20:11:58 +0000139 unsigned char buf[1024];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200140 mbedtls_entropy_context entropy;
141 mbedtls_ctr_drbg_context ctr_drbg;
142 mbedtls_ssl_context ssl;
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200143 mbedtls_ssl_config conf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200144 mbedtls_x509_crt cacert;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145 mbedtls_x509_crl cacrl;
Paul Bakker36713e82013-09-17 13:25:29 +0200146 int i, j;
Manuel Pégourié-Gonnarde6ef16f2015-05-11 19:54:43 +0200147 uint32_t flags;
148 int verify = 0;
Paul Bakker4fc45522010-03-18 20:11:58 +0000149 char *p, *q;
Paul Bakkeref3f8c72013-06-24 13:01:08 +0200150 const char *pers = "cert_app";
Paul Bakker4fc45522010-03-18 20:11:58 +0000151
Przemek Stekield381d2d2023-04-14 09:26:39 +0200152#if defined(MBEDTLS_USE_PSA_CRYPTO)
153 psa_status_t status = psa_crypto_init();
154 if (status != PSA_SUCCESS) {
155 mbedtls_fprintf(stderr, "Failed to initialize PSA Crypto implementation: %d\n",
156 (int) status);
157 goto exit;
158 }
159#endif /* MBEDTLS_USE_PSA_CRYPTO */
160
Paul Bakker1a207ec2011-02-06 13:22:40 +0000161 /*
162 * Set to sane values
163 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100164 mbedtls_net_init(&server_fd);
165 mbedtls_ctr_drbg_init(&ctr_drbg);
166 mbedtls_ssl_init(&ssl);
167 mbedtls_ssl_config_init(&conf);
168 mbedtls_x509_crt_init(&cacert);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200169#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100170 mbedtls_x509_crl_init(&cacrl);
Paul Bakker8880cb52014-06-12 23:22:26 +0200171#else
172 /* Zeroize structure as CRL parsing is not supported and we have to pass
173 it to the verify function */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100174 memset(&cacrl, 0, sizeof(mbedtls_x509_crl));
Paul Bakker8880cb52014-06-12 23:22:26 +0200175#endif
Paul Bakker1a207ec2011-02-06 13:22:40 +0000176
Aditya Deshpande0504ac22023-01-30 15:58:50 +0000177 if (argc < 2) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100178usage:
179 mbedtls_printf(USAGE);
Paul Bakker4fc45522010-03-18 20:11:58 +0000180 goto exit;
181 }
182
183 opt.mode = DFL_MODE;
184 opt.filename = DFL_FILENAME;
Paul Bakker777a5752013-05-21 16:20:04 +0200185 opt.ca_file = DFL_CA_FILE;
Paul Bakker1fd32532014-05-28 11:36:16 +0200186 opt.crl_file = DFL_CRL_FILE;
Paul Bakker777a5752013-05-21 16:20:04 +0200187 opt.ca_path = DFL_CA_PATH;
Paul Bakker4fc45522010-03-18 20:11:58 +0000188 opt.server_name = DFL_SERVER_NAME;
189 opt.server_port = DFL_SERVER_PORT;
190 opt.debug_level = DFL_DEBUG_LEVEL;
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000191 opt.permissive = DFL_PERMISSIVE;
Paul Bakker4fc45522010-03-18 20:11:58 +0000192
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100193 for (i = 1; i < argc; i++) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000194 p = argv[i];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100195 if ((q = strchr(p, '=')) == NULL) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000196 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100197 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000198 *q++ = '\0';
199
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100200 for (j = 0; p + j < q; j++) {
201 if (argv[i][j] >= 'A' && argv[i][j] <= 'Z') {
Paul Bakkerace02862013-09-16 21:40:34 +0200202 argv[i][j] |= 0x20;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100203 }
Paul Bakkerace02862013-09-16 21:40:34 +0200204 }
205
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100206 if (strcmp(p, "mode") == 0) {
207 if (strcmp(q, "file") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000208 opt.mode = MODE_FILE;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100209 } else if (strcmp(q, "ssl") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000210 opt.mode = MODE_SSL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100211 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000212 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100213 }
214 } else if (strcmp(p, "filename") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000215 opt.filename = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100216 } else if (strcmp(p, "ca_file") == 0) {
Paul Bakker777a5752013-05-21 16:20:04 +0200217 opt.ca_file = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100218 } else if (strcmp(p, "crl_file") == 0) {
Paul Bakker1fd32532014-05-28 11:36:16 +0200219 opt.crl_file = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100220 } else if (strcmp(p, "ca_path") == 0) {
Paul Bakker777a5752013-05-21 16:20:04 +0200221 opt.ca_path = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100222 } else if (strcmp(p, "server_name") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000223 opt.server_name = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100224 } else if (strcmp(p, "server_port") == 0) {
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200225 opt.server_port = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100226 } else if (strcmp(p, "debug_level") == 0) {
227 opt.debug_level = atoi(q);
228 if (opt.debug_level < 0 || opt.debug_level > 65535) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000229 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100230 }
231 } else if (strcmp(p, "permissive") == 0) {
232 opt.permissive = atoi(q);
233 if (opt.permissive < 0 || opt.permissive > 1) {
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000234 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100235 }
236 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000237 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100238 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000239 }
240
Paul Bakker777a5752013-05-21 16:20:04 +0200241 /*
242 * 1.1. Load the trusted CA
243 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100244 mbedtls_printf(" . Loading the CA root certificate ...");
245 fflush(stdout);
Paul Bakker777a5752013-05-21 16:20:04 +0200246
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100247 if (strlen(opt.ca_path)) {
248 if ((ret = mbedtls_x509_crt_parse_path(&cacert, opt.ca_path)) < 0) {
249 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_path returned -0x%x\n\n",
250 (unsigned int) -ret);
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100251 goto exit;
252 }
253
Paul Bakker777a5752013-05-21 16:20:04 +0200254 verify = 1;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100255 } else if (strlen(opt.ca_file)) {
256 if ((ret = mbedtls_x509_crt_parse_file(&cacert, opt.ca_file)) < 0) {
257 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned -0x%x\n\n",
258 (unsigned int) -ret);
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100259 goto exit;
260 }
Paul Bakker777a5752013-05-21 16:20:04 +0200261
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100262 verify = 1;
Paul Bakker777a5752013-05-21 16:20:04 +0200263 }
264
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100265 mbedtls_printf(" ok (%d skipped)\n", ret);
Paul Bakker777a5752013-05-21 16:20:04 +0200266
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100268 if (strlen(opt.crl_file)) {
269 if ((ret = mbedtls_x509_crl_parse_file(&cacrl, opt.crl_file)) != 0) {
270 mbedtls_printf(" failed\n ! mbedtls_x509_crl_parse returned -0x%x\n\n",
271 (unsigned int) -ret);
Paul Bakker8880cb52014-06-12 23:22:26 +0200272 goto exit;
273 }
274
Paul Bakker1fd32532014-05-28 11:36:16 +0200275 verify = 1;
276 }
Paul Bakker8880cb52014-06-12 23:22:26 +0200277#endif
Paul Bakker1fd32532014-05-28 11:36:16 +0200278
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100279 if (opt.mode == MODE_FILE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200280 mbedtls_x509_crt crt;
281 mbedtls_x509_crt *cur = &crt;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100282 mbedtls_x509_crt_init(&crt);
Paul Bakker4fc45522010-03-18 20:11:58 +0000283
284 /*
Paul Bakker14cb63a2011-11-25 12:44:31 +0000285 * 1.1. Load the certificate(s)
Paul Bakker4fc45522010-03-18 20:11:58 +0000286 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100287 mbedtls_printf("\n . Loading the certificate(s) ...");
288 fflush(stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000289
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100290 ret = mbedtls_x509_crt_parse_file(&crt, opt.filename);
Paul Bakker4fc45522010-03-18 20:11:58 +0000291
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100292 if (ret < 0) {
293 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned %d\n\n", ret);
294 mbedtls_x509_crt_free(&crt);
Paul Bakker4fc45522010-03-18 20:11:58 +0000295 goto exit;
296 }
297
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100298 if (opt.permissive == 0 && ret > 0) {
299 mbedtls_printf(
300 " failed\n ! mbedtls_x509_crt_parse failed to parse %d certificates\n\n",
301 ret);
302 mbedtls_x509_crt_free(&crt);
Paul Bakker69e095c2011-12-10 21:55:01 +0000303 goto exit;
304 }
305
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100306 mbedtls_printf(" ok\n");
Paul Bakker4fc45522010-03-18 20:11:58 +0000307
308 /*
Paul Bakker14cb63a2011-11-25 12:44:31 +0000309 * 1.2 Print the certificate(s)
Paul Bakker4fc45522010-03-18 20:11:58 +0000310 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100311 while (cur != NULL) {
312 mbedtls_printf(" . Peer certificate information ...\n");
313 ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ",
314 cur);
315 if (ret == -1) {
316 mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret);
317 mbedtls_x509_crt_free(&crt);
Paul Bakker14cb63a2011-11-25 12:44:31 +0000318 goto exit;
319 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000320
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100321 mbedtls_printf("%s\n", buf);
Paul Bakker14cb63a2011-11-25 12:44:31 +0000322
323 cur = cur->next;
324 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000325
Paul Bakker777a5752013-05-21 16:20:04 +0200326 /*
327 * 1.3 Verify the certificate
328 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100329 if (verify) {
330 mbedtls_printf(" . Verifying X.509 certificate...");
Paul Bakker777a5752013-05-21 16:20:04 +0200331
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100332 if ((ret = mbedtls_x509_crt_verify(&crt, &cacert, &cacrl, NULL, &flags,
333 my_verify, NULL)) != 0) {
Manuel Pégourié-Gonnard89addc42015-04-20 10:56:18 +0100334 char vrfy_buf[512];
335
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100336 mbedtls_printf(" failed\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200337
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100338 mbedtls_x509_crt_verify_info(vrfy_buf, sizeof(vrfy_buf), " ! ", flags);
Paul Bakker777a5752013-05-21 16:20:04 +0200339
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100340 mbedtls_printf("%s\n", vrfy_buf);
341 } else {
342 mbedtls_printf(" ok\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200343 }
Paul Bakker777a5752013-05-21 16:20:04 +0200344 }
345
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100346 mbedtls_x509_crt_free(&crt);
347 } else if (opt.mode == MODE_SSL) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000348 /*
349 * 1. Initialize the RNG and the session data
350 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100351 mbedtls_printf("\n . Seeding the random number generator...");
352 fflush(stdout);
Paul Bakker508ad5a2011-12-04 17:09:26 +0000353
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100354 mbedtls_entropy_init(&entropy);
355 if ((ret = mbedtls_ctr_drbg_seed(&ctr_drbg, mbedtls_entropy_func, &entropy,
356 (const unsigned char *) pers,
357 strlen(pers))) != 0) {
358 mbedtls_printf(" failed\n ! mbedtls_ctr_drbg_seed returned %d\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200359 goto ssl_exit;
Paul Bakker508ad5a2011-12-04 17:09:26 +0000360 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000361
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100362 mbedtls_printf(" ok\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200363
Paul Bakkerf2b92bb2016-08-11 10:45:14 +0100364#if defined(MBEDTLS_DEBUG_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100365 mbedtls_debug_set_threshold(opt.debug_level);
Paul Bakkerf2b92bb2016-08-11 10:45:14 +0100366#endif
367
Paul Bakker4fc45522010-03-18 20:11:58 +0000368 /*
369 * 2. Start the connection
370 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100371 mbedtls_printf(" . SSL connection to tcp/%s/%s...", opt.server_name,
372 opt.server_port);
373 fflush(stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000374
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100375 if ((ret = mbedtls_net_connect(&server_fd, opt.server_name,
376 opt.server_port, MBEDTLS_NET_PROTO_TCP)) != 0) {
377 mbedtls_printf(" failed\n ! mbedtls_net_connect returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200378 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000379 }
380
381 /*
382 * 3. Setup stuff
383 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100384 if ((ret = mbedtls_ssl_config_defaults(&conf,
385 MBEDTLS_SSL_IS_CLIENT,
386 MBEDTLS_SSL_TRANSPORT_STREAM,
387 MBEDTLS_SSL_PRESET_DEFAULT)) != 0) {
388 mbedtls_printf(" failed\n ! mbedtls_ssl_config_defaults returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200389 goto exit;
390 }
391
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100392 if (verify) {
393 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_REQUIRED);
394 mbedtls_ssl_conf_ca_chain(&conf, &cacert, NULL);
395 mbedtls_ssl_conf_verify(&conf, my_verify, NULL);
396 } else {
397 mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_NONE);
Paul Bakker777a5752013-05-21 16:20:04 +0200398 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000399
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100400 mbedtls_ssl_conf_rng(&conf, mbedtls_ctr_drbg_random, &ctr_drbg);
401 mbedtls_ssl_conf_dbg(&conf, my_debug, stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000402
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100403 if ((ret = mbedtls_ssl_setup(&ssl, &conf)) != 0) {
404 mbedtls_printf(" failed\n ! mbedtls_ssl_setup returned %d\n\n", ret);
Manuel Pégourié-Gonnard06939ce2015-05-11 11:25:46 +0200405 goto ssl_exit;
406 }
407
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100408 if ((ret = mbedtls_ssl_set_hostname(&ssl, opt.server_name)) != 0) {
409 mbedtls_printf(" failed\n ! mbedtls_ssl_set_hostname returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200410 goto ssl_exit;
Manuel Pégourié-Gonnardc5fd3912014-07-08 14:05:52 +0200411 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000412
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100413 mbedtls_ssl_set_bio(&ssl, &server_fd, mbedtls_net_send, mbedtls_net_recv, NULL);
Manuel Pégourié-Gonnard06939ce2015-05-11 11:25:46 +0200414
Paul Bakker4fc45522010-03-18 20:11:58 +0000415 /*
416 * 4. Handshake
417 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100418 while ((ret = mbedtls_ssl_handshake(&ssl)) != 0) {
419 if (ret != MBEDTLS_ERR_SSL_WANT_READ && ret != MBEDTLS_ERR_SSL_WANT_WRITE) {
420 mbedtls_printf(" failed\n ! mbedtls_ssl_handshake returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200421 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000422 }
423 }
424
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100425 mbedtls_printf(" ok\n");
Paul Bakker4fc45522010-03-18 20:11:58 +0000426
427 /*
428 * 5. Print the certificate
429 */
Hanno Becker57b33c92019-02-07 13:28:57 +0000430#if !defined(MBEDTLS_SSL_KEEP_PEER_CERTIFICATE)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100431 mbedtls_printf(" . Peer certificate information ... skipped\n");
Hanno Becker57b33c92019-02-07 13:28:57 +0000432#else
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100433 mbedtls_printf(" . Peer certificate information ...\n");
434 ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ",
435 mbedtls_ssl_get_peer_cert(&ssl));
436 if (ret == -1) {
437 mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200438 goto ssl_exit;
Paul Bakker4fc45522010-03-18 20:11:58 +0000439 }
440
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100441 mbedtls_printf("%s\n", buf);
Hanno Becker57b33c92019-02-07 13:28:57 +0000442#endif /* MBEDTLS_SSL_KEEP_PEER_CERTIFICATE */
Paul Bakker4fc45522010-03-18 20:11:58 +0000443
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100444 mbedtls_ssl_close_notify(&ssl);
Manuel Pégourié-Gonnarddef0bbe2015-05-04 14:56:36 +0200445
446ssl_exit:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100447 mbedtls_ssl_free(&ssl);
448 mbedtls_ssl_config_free(&conf);
449 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000450 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100451 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000452
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100453 exit_code = MBEDTLS_EXIT_SUCCESS;
454
Paul Bakker4fc45522010-03-18 20:11:58 +0000455exit:
456
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100457 mbedtls_net_free(&server_fd);
458 mbedtls_x509_crt_free(&cacert);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200459#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100460 mbedtls_x509_crl_free(&cacrl);
Paul Bakker8880cb52014-06-12 23:22:26 +0200461#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100462 mbedtls_ctr_drbg_free(&ctr_drbg);
463 mbedtls_entropy_free(&entropy);
Paul Bakker4fc45522010-03-18 20:11:58 +0000464
Paul Bakkercce9d772011-11-18 14:26:47 +0000465#if defined(_WIN32)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100466 mbedtls_printf(" + Press Enter to exit this program.\n");
467 fflush(stdout); getchar();
Paul Bakker4fc45522010-03-18 20:11:58 +0000468#endif
469
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100470 mbedtls_exit(exit_code);
Paul Bakker4fc45522010-03-18 20:11:58 +0000471}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200472#endif /* MBEDTLS_BIGNUM_C && MBEDTLS_ENTROPY_C && MBEDTLS_SSL_TLS_C &&
473 MBEDTLS_SSL_CLI_C && MBEDTLS_NET_C && MBEDTLS_RSA_C &&
474 MBEDTLS_X509_CRT_PARSE_C && MBEDTLS_FS_IO && MBEDTLS_CTR_DRBG_C */