blob: 07016e49f1a2c4fd463b518a0b344ce89cf08df7 [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
Paul Bakker1a207ec2011-02-06 13:22:40 +0000152 /*
153 * Set to sane values
154 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100155 mbedtls_net_init(&server_fd);
156 mbedtls_ctr_drbg_init(&ctr_drbg);
157 mbedtls_ssl_init(&ssl);
158 mbedtls_ssl_config_init(&conf);
159 mbedtls_x509_crt_init(&cacert);
Przemek Stekiel0c9d0482023-04-14 12:28:16 +0200160 mbedtls_entropy_init(&entropy);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200161#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100162 mbedtls_x509_crl_init(&cacrl);
Paul Bakker8880cb52014-06-12 23:22:26 +0200163#else
164 /* Zeroize structure as CRL parsing is not supported and we have to pass
165 it to the verify function */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100166 memset(&cacrl, 0, sizeof(mbedtls_x509_crl));
Paul Bakker8880cb52014-06-12 23:22:26 +0200167#endif
Paul Bakker1a207ec2011-02-06 13:22:40 +0000168
Przemek Stekielb00688f2023-04-17 11:10:05 +0200169#if defined(MBEDTLS_USE_PSA_CRYPTO)
170 psa_status_t status = psa_crypto_init();
171 if (status != PSA_SUCCESS) {
172 mbedtls_fprintf(stderr, "Failed to initialize PSA Crypto implementation: %d\n",
173 (int) status);
174 goto exit;
175 }
176#endif /* MBEDTLS_USE_PSA_CRYPTO */
177
Aditya Deshpande0504ac22023-01-30 15:58:50 +0000178 if (argc < 2) {
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100179usage:
180 mbedtls_printf(USAGE);
Paul Bakker4fc45522010-03-18 20:11:58 +0000181 goto exit;
182 }
183
184 opt.mode = DFL_MODE;
185 opt.filename = DFL_FILENAME;
Paul Bakker777a5752013-05-21 16:20:04 +0200186 opt.ca_file = DFL_CA_FILE;
Paul Bakker1fd32532014-05-28 11:36:16 +0200187 opt.crl_file = DFL_CRL_FILE;
Paul Bakker777a5752013-05-21 16:20:04 +0200188 opt.ca_path = DFL_CA_PATH;
Paul Bakker4fc45522010-03-18 20:11:58 +0000189 opt.server_name = DFL_SERVER_NAME;
190 opt.server_port = DFL_SERVER_PORT;
191 opt.debug_level = DFL_DEBUG_LEVEL;
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000192 opt.permissive = DFL_PERMISSIVE;
Paul Bakker4fc45522010-03-18 20:11:58 +0000193
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100194 for (i = 1; i < argc; i++) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000195 p = argv[i];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100196 if ((q = strchr(p, '=')) == NULL) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000197 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100198 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000199 *q++ = '\0';
200
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100201 for (j = 0; p + j < q; j++) {
202 if (argv[i][j] >= 'A' && argv[i][j] <= 'Z') {
Paul Bakkerace02862013-09-16 21:40:34 +0200203 argv[i][j] |= 0x20;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100204 }
Paul Bakkerace02862013-09-16 21:40:34 +0200205 }
206
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100207 if (strcmp(p, "mode") == 0) {
208 if (strcmp(q, "file") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000209 opt.mode = MODE_FILE;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100210 } else if (strcmp(q, "ssl") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000211 opt.mode = MODE_SSL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100212 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000213 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100214 }
215 } else if (strcmp(p, "filename") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000216 opt.filename = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100217 } else if (strcmp(p, "ca_file") == 0) {
Paul Bakker777a5752013-05-21 16:20:04 +0200218 opt.ca_file = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100219 } else if (strcmp(p, "crl_file") == 0) {
Paul Bakker1fd32532014-05-28 11:36:16 +0200220 opt.crl_file = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100221 } else if (strcmp(p, "ca_path") == 0) {
Paul Bakker777a5752013-05-21 16:20:04 +0200222 opt.ca_path = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100223 } else if (strcmp(p, "server_name") == 0) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000224 opt.server_name = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100225 } else if (strcmp(p, "server_port") == 0) {
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200226 opt.server_port = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100227 } else if (strcmp(p, "debug_level") == 0) {
228 opt.debug_level = atoi(q);
229 if (opt.debug_level < 0 || opt.debug_level > 65535) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000230 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100231 }
232 } else if (strcmp(p, "permissive") == 0) {
233 opt.permissive = atoi(q);
234 if (opt.permissive < 0 || opt.permissive > 1) {
Paul Bakker6c0ceb32011-12-04 12:24:18 +0000235 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100236 }
237 } else {
Paul Bakker4fc45522010-03-18 20:11:58 +0000238 goto usage;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100239 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000240 }
241
Paul Bakker777a5752013-05-21 16:20:04 +0200242 /*
243 * 1.1. Load the trusted CA
244 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100245 mbedtls_printf(" . Loading the CA root certificate ...");
246 fflush(stdout);
Paul Bakker777a5752013-05-21 16:20:04 +0200247
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100248 if (strlen(opt.ca_path)) {
249 if ((ret = mbedtls_x509_crt_parse_path(&cacert, opt.ca_path)) < 0) {
250 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_path returned -0x%x\n\n",
251 (unsigned int) -ret);
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100252 goto exit;
253 }
254
Paul Bakker777a5752013-05-21 16:20:04 +0200255 verify = 1;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100256 } else if (strlen(opt.ca_file)) {
257 if ((ret = mbedtls_x509_crt_parse_file(&cacert, opt.ca_file)) < 0) {
258 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned -0x%x\n\n",
259 (unsigned int) -ret);
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100260 goto exit;
261 }
Paul Bakker777a5752013-05-21 16:20:04 +0200262
Andres Amaya Garcia7a9d01c2018-04-30 20:05:57 +0100263 verify = 1;
Paul Bakker777a5752013-05-21 16:20:04 +0200264 }
265
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100266 mbedtls_printf(" ok (%d skipped)\n", ret);
Paul Bakker777a5752013-05-21 16:20:04 +0200267
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200268#if defined(MBEDTLS_X509_CRL_PARSE_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100269 if (strlen(opt.crl_file)) {
270 if ((ret = mbedtls_x509_crl_parse_file(&cacrl, opt.crl_file)) != 0) {
271 mbedtls_printf(" failed\n ! mbedtls_x509_crl_parse returned -0x%x\n\n",
272 (unsigned int) -ret);
Paul Bakker8880cb52014-06-12 23:22:26 +0200273 goto exit;
274 }
275
Paul Bakker1fd32532014-05-28 11:36:16 +0200276 verify = 1;
277 }
Paul Bakker8880cb52014-06-12 23:22:26 +0200278#endif
Paul Bakker1fd32532014-05-28 11:36:16 +0200279
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100280 if (opt.mode == MODE_FILE) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200281 mbedtls_x509_crt crt;
282 mbedtls_x509_crt *cur = &crt;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100283 mbedtls_x509_crt_init(&crt);
Paul Bakker4fc45522010-03-18 20:11:58 +0000284
285 /*
Paul Bakker14cb63a2011-11-25 12:44:31 +0000286 * 1.1. Load the certificate(s)
Paul Bakker4fc45522010-03-18 20:11:58 +0000287 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100288 mbedtls_printf("\n . Loading the certificate(s) ...");
289 fflush(stdout);
Paul Bakker4fc45522010-03-18 20:11:58 +0000290
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100291 ret = mbedtls_x509_crt_parse_file(&crt, opt.filename);
Paul Bakker4fc45522010-03-18 20:11:58 +0000292
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100293 if (ret < 0) {
294 mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned %d\n\n", ret);
295 mbedtls_x509_crt_free(&crt);
Paul Bakker4fc45522010-03-18 20:11:58 +0000296 goto exit;
297 }
298
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100299 if (opt.permissive == 0 && ret > 0) {
300 mbedtls_printf(
301 " failed\n ! mbedtls_x509_crt_parse failed to parse %d certificates\n\n",
302 ret);
303 mbedtls_x509_crt_free(&crt);
Paul Bakker69e095c2011-12-10 21:55:01 +0000304 goto exit;
305 }
306
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100307 mbedtls_printf(" ok\n");
Paul Bakker4fc45522010-03-18 20:11:58 +0000308
309 /*
Paul Bakker14cb63a2011-11-25 12:44:31 +0000310 * 1.2 Print the certificate(s)
Paul Bakker4fc45522010-03-18 20:11:58 +0000311 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100312 while (cur != NULL) {
313 mbedtls_printf(" . Peer certificate information ...\n");
314 ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ",
315 cur);
316 if (ret == -1) {
317 mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret);
318 mbedtls_x509_crt_free(&crt);
Paul Bakker14cb63a2011-11-25 12:44:31 +0000319 goto exit;
320 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000321
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100322 mbedtls_printf("%s\n", buf);
Paul Bakker14cb63a2011-11-25 12:44:31 +0000323
324 cur = cur->next;
325 }
Paul Bakker4fc45522010-03-18 20:11:58 +0000326
Paul Bakker777a5752013-05-21 16:20:04 +0200327 /*
328 * 1.3 Verify the certificate
329 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100330 if (verify) {
331 mbedtls_printf(" . Verifying X.509 certificate...");
Paul Bakker777a5752013-05-21 16:20:04 +0200332
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100333 if ((ret = mbedtls_x509_crt_verify(&crt, &cacert, &cacrl, NULL, &flags,
334 my_verify, NULL)) != 0) {
Manuel Pégourié-Gonnard89addc42015-04-20 10:56:18 +0100335 char vrfy_buf[512];
336
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100337 mbedtls_printf(" failed\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200338
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100339 mbedtls_x509_crt_verify_info(vrfy_buf, sizeof(vrfy_buf), " ! ", flags);
Paul Bakker777a5752013-05-21 16:20:04 +0200340
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100341 mbedtls_printf("%s\n", vrfy_buf);
342 } else {
343 mbedtls_printf(" ok\n");
Paul Bakker777a5752013-05-21 16:20:04 +0200344 }
Paul Bakker777a5752013-05-21 16:20:04 +0200345 }
346
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100347 mbedtls_x509_crt_free(&crt);
348 } else if (opt.mode == MODE_SSL) {
Paul Bakker4fc45522010-03-18 20:11:58 +0000349 /*
350 * 1. Initialize the RNG and the session data
351 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100352 mbedtls_printf("\n . Seeding the random number generator...");
353 fflush(stdout);
Paul Bakker508ad5a2011-12-04 17:09:26 +0000354
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100355 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 */