Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Certificate reading application |
| 3 | * |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 4 | * Copyright The Mbed TLS Contributors |
Manuel Pégourié-Gonnard | 37ff140 | 2015-09-04 14:21:07 +0200 | [diff] [blame] | 5 | * 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 Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 18 | */ |
| 19 | |
Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 20 | #include "mbedtls/build_info.h" |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 21 | |
Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 22 | #include "mbedtls/platform.h" |
Rich Evans | f90016a | 2015-01-19 14:26:37 +0000 | [diff] [blame] | 23 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 24 | #if !defined(MBEDTLS_BIGNUM_C) || !defined(MBEDTLS_ENTROPY_C) || \ |
| 25 | !defined(MBEDTLS_SSL_TLS_C) || !defined(MBEDTLS_SSL_CLI_C) || \ |
| 26 | !defined(MBEDTLS_NET_C) || !defined(MBEDTLS_RSA_C) || \ |
| 27 | !defined(MBEDTLS_X509_CRT_PARSE_C) || !defined(MBEDTLS_FS_IO) || \ |
Chris Jones | ee33c60 | 2020-12-16 11:52:37 +0000 | [diff] [blame] | 28 | !defined(MBEDTLS_CTR_DRBG_C) || defined(MBEDTLS_X509_REMOVE_INFO) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 29 | int main(void) |
Manuel Pégourié-Gonnard | 8d649c6 | 2015-03-31 15:10:03 +0200 | [diff] [blame] | 30 | { |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 31 | mbedtls_printf("MBEDTLS_BIGNUM_C and/or MBEDTLS_ENTROPY_C and/or " |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 32 | "MBEDTLS_SSL_TLS_C and/or MBEDTLS_SSL_CLI_C and/or " |
| 33 | "MBEDTLS_NET_C and/or MBEDTLS_RSA_C and/or " |
| 34 | "MBEDTLS_X509_CRT_PARSE_C and/or MBEDTLS_FS_IO and/or " |
| 35 | "MBEDTLS_CTR_DRBG_C not defined and/or MBEDTLS_X509_REMOVE_INFO defined.\n"); |
| 36 | mbedtls_exit(0); |
Manuel Pégourié-Gonnard | 8d649c6 | 2015-03-31 15:10:03 +0200 | [diff] [blame] | 37 | } |
| 38 | #else |
| 39 | |
Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 40 | #include "mbedtls/entropy.h" |
| 41 | #include "mbedtls/ctr_drbg.h" |
Andres AG | 788aa4a | 2016-09-14 14:32:09 +0100 | [diff] [blame] | 42 | #include "mbedtls/net_sockets.h" |
Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 43 | #include "mbedtls/ssl.h" |
| 44 | #include "mbedtls/x509.h" |
Paul Bakker | f2b92bb | 2016-08-11 10:45:14 +0100 | [diff] [blame] | 45 | #include "mbedtls/debug.h" |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 46 | |
Rich Evans | 18b78c7 | 2015-02-11 14:06:19 +0000 | [diff] [blame] | 47 | #include <stdio.h> |
| 48 | #include <stdlib.h> |
| 49 | #include <string.h> |
Paul Bakker | 80d44fe | 2013-09-09 15:59:20 +0200 | [diff] [blame] | 50 | |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 51 | #define MODE_NONE 0 |
| 52 | #define MODE_FILE 1 |
| 53 | #define MODE_SSL 2 |
| 54 | |
| 55 | #define DFL_MODE MODE_NONE |
| 56 | #define DFL_FILENAME "cert.crt" |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 57 | #define DFL_CA_FILE "" |
Paul Bakker | 1fd3253 | 2014-05-28 11:36:16 +0200 | [diff] [blame] | 58 | #define DFL_CRL_FILE "" |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 59 | #define DFL_CA_PATH "" |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 60 | #define DFL_SERVER_NAME "localhost" |
Manuel Pégourié-Gonnard | c0d7494 | 2015-06-23 12:30:57 +0200 | [diff] [blame] | 61 | #define DFL_SERVER_PORT "4433" |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 62 | #define DFL_DEBUG_LEVEL 0 |
Paul Bakker | 6c0ceb3 | 2011-12-04 12:24:18 +0000 | [diff] [blame] | 63 | #define DFL_PERMISSIVE 0 |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 64 | |
Rich Evans | 85b05ec | 2015-02-12 11:37:29 +0000 | [diff] [blame] | 65 | #define USAGE_IO \ |
| 66 | " ca_file=%%s The single file containing the top-level CA(s) you fully trust\n" \ |
| 67 | " default: \"\" (none)\n" \ |
| 68 | " crl_file=%%s The single CRL file you want to use\n" \ |
| 69 | " default: \"\" (none)\n" \ |
| 70 | " ca_path=%%s The path containing the top-level CA(s) you fully trust\n" \ |
| 71 | " default: \"\" (none) (overrides ca_file)\n" |
| 72 | |
| 73 | #define USAGE \ |
| 74 | "\n usage: cert_app param=<>...\n" \ |
| 75 | "\n acceptable parameters:\n" \ |
| 76 | " mode=file|ssl default: none\n" \ |
| 77 | " filename=%%s default: cert.crt\n" \ |
| 78 | USAGE_IO \ |
| 79 | " server_name=%%s default: localhost\n" \ |
| 80 | " server_port=%%d default: 4433\n" \ |
| 81 | " debug_level=%%d default: 0 (disabled)\n" \ |
| 82 | " permissive=%%d default: 0 (disabled)\n" \ |
| 83 | "\n" |
| 84 | |
Simon Butcher | 63cb97e | 2018-12-06 17:43:31 +0000 | [diff] [blame] | 85 | |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 86 | /* |
| 87 | * global options |
| 88 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 89 | struct options { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 90 | int mode; /* the mode to run the application in */ |
Paul Bakker | ef3f8c7 | 2013-06-24 13:01:08 +0200 | [diff] [blame] | 91 | const char *filename; /* filename of the certificate file */ |
| 92 | const char *ca_file; /* the file with the CA certificate(s) */ |
Paul Bakker | 1fd3253 | 2014-05-28 11:36:16 +0200 | [diff] [blame] | 93 | const char *crl_file; /* the file with the CRL to use */ |
Paul Bakker | ef3f8c7 | 2013-06-24 13:01:08 +0200 | [diff] [blame] | 94 | const char *ca_path; /* the path with the CA certificate(s) reside */ |
| 95 | const char *server_name; /* hostname of the server (client only) */ |
Manuel Pégourié-Gonnard | c0d7494 | 2015-06-23 12:30:57 +0200 | [diff] [blame] | 96 | const char *server_port; /* port on which the ssl service runs */ |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 97 | int debug_level; /* level of debugging */ |
Paul Bakker | 6c0ceb3 | 2011-12-04 12:24:18 +0000 | [diff] [blame] | 98 | int permissive; /* permissive parsing */ |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 99 | } opt; |
| 100 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 101 | static void my_debug(void *ctx, int level, |
| 102 | const char *file, int line, |
| 103 | const char *str) |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 104 | { |
Manuel Pégourié-Gonnard | 61ee351 | 2015-06-23 17:35:03 +0200 | [diff] [blame] | 105 | ((void) level); |
| 106 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 107 | mbedtls_fprintf((FILE *) ctx, "%s:%04d: %s", file, line, str); |
| 108 | fflush((FILE *) ctx); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 109 | } |
| 110 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 111 | static int my_verify(void *data, mbedtls_x509_crt *crt, int depth, uint32_t *flags) |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 112 | { |
| 113 | char buf[1024]; |
| 114 | ((void) data); |
| 115 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 116 | mbedtls_printf("\nVerify requested for (Depth %d):\n", depth); |
| 117 | mbedtls_x509_crt_info(buf, sizeof(buf) - 1, "", crt); |
| 118 | mbedtls_printf("%s", buf); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 119 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 120 | if ((*flags) == 0) { |
| 121 | mbedtls_printf(" This certificate has no flags\n"); |
| 122 | } else { |
| 123 | mbedtls_x509_crt_verify_info(buf, sizeof(buf), " ! ", *flags); |
| 124 | mbedtls_printf("%s\n", buf); |
Manuel Pégourié-Gonnard | 89addc4 | 2015-04-20 10:56:18 +0100 | [diff] [blame] | 125 | } |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 126 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 127 | return 0; |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 128 | } |
| 129 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 130 | int main(int argc, char *argv[]) |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 131 | { |
Andres Amaya Garcia | 7a9d01c | 2018-04-30 20:05:57 +0100 | [diff] [blame] | 132 | int ret = 1; |
| 133 | int exit_code = MBEDTLS_EXIT_FAILURE; |
Manuel Pégourié-Gonnard | 5db6432 | 2015-06-30 15:40:39 +0200 | [diff] [blame] | 134 | mbedtls_net_context server_fd; |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 135 | unsigned char buf[1024]; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 136 | mbedtls_entropy_context entropy; |
| 137 | mbedtls_ctr_drbg_context ctr_drbg; |
| 138 | mbedtls_ssl_context ssl; |
Manuel Pégourié-Gonnard | def0bbe | 2015-05-04 14:56:36 +0200 | [diff] [blame] | 139 | mbedtls_ssl_config conf; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 140 | mbedtls_x509_crt cacert; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 141 | mbedtls_x509_crl cacrl; |
Paul Bakker | 36713e8 | 2013-09-17 13:25:29 +0200 | [diff] [blame] | 142 | int i, j; |
Manuel Pégourié-Gonnard | e6ef16f | 2015-05-11 19:54:43 +0200 | [diff] [blame] | 143 | uint32_t flags; |
| 144 | int verify = 0; |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 145 | char *p, *q; |
Paul Bakker | ef3f8c7 | 2013-06-24 13:01:08 +0200 | [diff] [blame] | 146 | const char *pers = "cert_app"; |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 147 | |
Przemek Stekiel | 89c636e | 2023-04-14 09:26:39 +0200 | [diff] [blame^] | 148 | #if defined(MBEDTLS_USE_PSA_CRYPTO) |
| 149 | psa_status_t status = psa_crypto_init(); |
| 150 | if (status != PSA_SUCCESS) { |
| 151 | mbedtls_fprintf(stderr, "Failed to initialize PSA Crypto implementation: %d\n", |
| 152 | (int) status); |
| 153 | goto exit; |
| 154 | } |
| 155 | #endif /* MBEDTLS_USE_PSA_CRYPTO */ |
| 156 | |
Paul Bakker | 1a207ec | 2011-02-06 13:22:40 +0000 | [diff] [blame] | 157 | /* |
| 158 | * Set to sane values |
| 159 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 160 | mbedtls_net_init(&server_fd); |
| 161 | mbedtls_ctr_drbg_init(&ctr_drbg); |
| 162 | mbedtls_ssl_init(&ssl); |
| 163 | mbedtls_ssl_config_init(&conf); |
| 164 | mbedtls_x509_crt_init(&cacert); |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 165 | #if defined(MBEDTLS_X509_CRL_PARSE_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 166 | mbedtls_x509_crl_init(&cacrl); |
Paul Bakker | 8880cb5 | 2014-06-12 23:22:26 +0200 | [diff] [blame] | 167 | #else |
| 168 | /* Zeroize structure as CRL parsing is not supported and we have to pass |
| 169 | it to the verify function */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 170 | memset(&cacrl, 0, sizeof(mbedtls_x509_crl)); |
Paul Bakker | 8880cb5 | 2014-06-12 23:22:26 +0200 | [diff] [blame] | 171 | #endif |
Paul Bakker | 1a207ec | 2011-02-06 13:22:40 +0000 | [diff] [blame] | 172 | |
Aditya Deshpande | 644a5c0 | 2023-01-30 15:58:50 +0000 | [diff] [blame] | 173 | if (argc < 2) { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 174 | usage: |
| 175 | mbedtls_printf(USAGE); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 176 | goto exit; |
| 177 | } |
| 178 | |
| 179 | opt.mode = DFL_MODE; |
| 180 | opt.filename = DFL_FILENAME; |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 181 | opt.ca_file = DFL_CA_FILE; |
Paul Bakker | 1fd3253 | 2014-05-28 11:36:16 +0200 | [diff] [blame] | 182 | opt.crl_file = DFL_CRL_FILE; |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 183 | opt.ca_path = DFL_CA_PATH; |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 184 | opt.server_name = DFL_SERVER_NAME; |
| 185 | opt.server_port = DFL_SERVER_PORT; |
| 186 | opt.debug_level = DFL_DEBUG_LEVEL; |
Paul Bakker | 6c0ceb3 | 2011-12-04 12:24:18 +0000 | [diff] [blame] | 187 | opt.permissive = DFL_PERMISSIVE; |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 188 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 189 | for (i = 1; i < argc; i++) { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 190 | p = argv[i]; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 191 | if ((q = strchr(p, '=')) == NULL) { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 192 | goto usage; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 193 | } |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 194 | *q++ = '\0'; |
| 195 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 196 | for (j = 0; p + j < q; j++) { |
| 197 | if (argv[i][j] >= 'A' && argv[i][j] <= 'Z') { |
Paul Bakker | ace0286 | 2013-09-16 21:40:34 +0200 | [diff] [blame] | 198 | argv[i][j] |= 0x20; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 199 | } |
Paul Bakker | ace0286 | 2013-09-16 21:40:34 +0200 | [diff] [blame] | 200 | } |
| 201 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 202 | if (strcmp(p, "mode") == 0) { |
| 203 | if (strcmp(q, "file") == 0) { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 204 | opt.mode = MODE_FILE; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 205 | } else if (strcmp(q, "ssl") == 0) { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 206 | opt.mode = MODE_SSL; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 207 | } else { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 208 | goto usage; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 209 | } |
| 210 | } else if (strcmp(p, "filename") == 0) { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 211 | opt.filename = q; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 212 | } else if (strcmp(p, "ca_file") == 0) { |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 213 | opt.ca_file = q; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 214 | } else if (strcmp(p, "crl_file") == 0) { |
Paul Bakker | 1fd3253 | 2014-05-28 11:36:16 +0200 | [diff] [blame] | 215 | opt.crl_file = q; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 216 | } else if (strcmp(p, "ca_path") == 0) { |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 217 | opt.ca_path = q; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 218 | } else if (strcmp(p, "server_name") == 0) { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 219 | opt.server_name = q; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 220 | } else if (strcmp(p, "server_port") == 0) { |
Manuel Pégourié-Gonnard | c0d7494 | 2015-06-23 12:30:57 +0200 | [diff] [blame] | 221 | opt.server_port = q; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 222 | } else if (strcmp(p, "debug_level") == 0) { |
| 223 | opt.debug_level = atoi(q); |
| 224 | if (opt.debug_level < 0 || opt.debug_level > 65535) { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 225 | goto usage; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 226 | } |
| 227 | } else if (strcmp(p, "permissive") == 0) { |
| 228 | opt.permissive = atoi(q); |
| 229 | if (opt.permissive < 0 || opt.permissive > 1) { |
Paul Bakker | 6c0ceb3 | 2011-12-04 12:24:18 +0000 | [diff] [blame] | 230 | goto usage; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 231 | } |
| 232 | } else { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 233 | goto usage; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 234 | } |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 235 | } |
| 236 | |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 237 | /* |
| 238 | * 1.1. Load the trusted CA |
| 239 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 240 | mbedtls_printf(" . Loading the CA root certificate ..."); |
| 241 | fflush(stdout); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 242 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 243 | if (strlen(opt.ca_path)) { |
| 244 | if ((ret = mbedtls_x509_crt_parse_path(&cacert, opt.ca_path)) < 0) { |
| 245 | mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_path returned -0x%x\n\n", |
| 246 | (unsigned int) -ret); |
Andres Amaya Garcia | 7a9d01c | 2018-04-30 20:05:57 +0100 | [diff] [blame] | 247 | goto exit; |
| 248 | } |
| 249 | |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 250 | verify = 1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 251 | } else if (strlen(opt.ca_file)) { |
| 252 | if ((ret = mbedtls_x509_crt_parse_file(&cacert, opt.ca_file)) < 0) { |
| 253 | mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned -0x%x\n\n", |
| 254 | (unsigned int) -ret); |
Andres Amaya Garcia | 7a9d01c | 2018-04-30 20:05:57 +0100 | [diff] [blame] | 255 | goto exit; |
| 256 | } |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 257 | |
Andres Amaya Garcia | 7a9d01c | 2018-04-30 20:05:57 +0100 | [diff] [blame] | 258 | verify = 1; |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 259 | } |
| 260 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 261 | mbedtls_printf(" ok (%d skipped)\n", ret); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 262 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 263 | #if defined(MBEDTLS_X509_CRL_PARSE_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 264 | if (strlen(opt.crl_file)) { |
| 265 | if ((ret = mbedtls_x509_crl_parse_file(&cacrl, opt.crl_file)) != 0) { |
| 266 | mbedtls_printf(" failed\n ! mbedtls_x509_crl_parse returned -0x%x\n\n", |
| 267 | (unsigned int) -ret); |
Paul Bakker | 8880cb5 | 2014-06-12 23:22:26 +0200 | [diff] [blame] | 268 | goto exit; |
| 269 | } |
| 270 | |
Paul Bakker | 1fd3253 | 2014-05-28 11:36:16 +0200 | [diff] [blame] | 271 | verify = 1; |
| 272 | } |
Paul Bakker | 8880cb5 | 2014-06-12 23:22:26 +0200 | [diff] [blame] | 273 | #endif |
Paul Bakker | 1fd3253 | 2014-05-28 11:36:16 +0200 | [diff] [blame] | 274 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 275 | if (opt.mode == MODE_FILE) { |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 276 | mbedtls_x509_crt crt; |
| 277 | mbedtls_x509_crt *cur = &crt; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 278 | mbedtls_x509_crt_init(&crt); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 279 | |
| 280 | /* |
Paul Bakker | 14cb63a | 2011-11-25 12:44:31 +0000 | [diff] [blame] | 281 | * 1.1. Load the certificate(s) |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 282 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 283 | mbedtls_printf("\n . Loading the certificate(s) ..."); |
| 284 | fflush(stdout); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 285 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 286 | ret = mbedtls_x509_crt_parse_file(&crt, opt.filename); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 287 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 288 | if (ret < 0) { |
| 289 | mbedtls_printf(" failed\n ! mbedtls_x509_crt_parse_file returned %d\n\n", ret); |
| 290 | mbedtls_x509_crt_free(&crt); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 291 | goto exit; |
| 292 | } |
| 293 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 294 | if (opt.permissive == 0 && ret > 0) { |
| 295 | mbedtls_printf( |
| 296 | " failed\n ! mbedtls_x509_crt_parse failed to parse %d certificates\n\n", |
| 297 | ret); |
| 298 | mbedtls_x509_crt_free(&crt); |
Paul Bakker | 69e095c | 2011-12-10 21:55:01 +0000 | [diff] [blame] | 299 | goto exit; |
| 300 | } |
| 301 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 302 | mbedtls_printf(" ok\n"); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 303 | |
| 304 | /* |
Paul Bakker | 14cb63a | 2011-11-25 12:44:31 +0000 | [diff] [blame] | 305 | * 1.2 Print the certificate(s) |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 306 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 307 | while (cur != NULL) { |
| 308 | mbedtls_printf(" . Peer certificate information ...\n"); |
| 309 | ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ", |
| 310 | cur); |
| 311 | if (ret == -1) { |
| 312 | mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret); |
| 313 | mbedtls_x509_crt_free(&crt); |
Paul Bakker | 14cb63a | 2011-11-25 12:44:31 +0000 | [diff] [blame] | 314 | goto exit; |
| 315 | } |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 316 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 317 | mbedtls_printf("%s\n", buf); |
Paul Bakker | 14cb63a | 2011-11-25 12:44:31 +0000 | [diff] [blame] | 318 | |
Gilles Peskine | ca93995 | 2021-08-31 23:18:07 +0200 | [diff] [blame] | 319 | cur = cur->next; |
Paul Bakker | 14cb63a | 2011-11-25 12:44:31 +0000 | [diff] [blame] | 320 | } |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 321 | |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 322 | /* |
| 323 | * 1.3 Verify the certificate |
| 324 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 325 | if (verify) { |
| 326 | mbedtls_printf(" . Verifying X.509 certificate..."); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 327 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 328 | if ((ret = mbedtls_x509_crt_verify(&crt, &cacert, &cacrl, NULL, &flags, |
| 329 | my_verify, NULL)) != 0) { |
Manuel Pégourié-Gonnard | 89addc4 | 2015-04-20 10:56:18 +0100 | [diff] [blame] | 330 | char vrfy_buf[512]; |
| 331 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 332 | mbedtls_printf(" failed\n"); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 333 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 334 | mbedtls_x509_crt_verify_info(vrfy_buf, sizeof(vrfy_buf), " ! ", flags); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 335 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 336 | mbedtls_printf("%s\n", vrfy_buf); |
| 337 | } else { |
| 338 | mbedtls_printf(" ok\n"); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 339 | } |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 340 | } |
| 341 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 342 | mbedtls_x509_crt_free(&crt); |
| 343 | } else if (opt.mode == MODE_SSL) { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 344 | /* |
| 345 | * 1. Initialize the RNG and the session data |
| 346 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 347 | mbedtls_printf("\n . Seeding the random number generator..."); |
| 348 | fflush(stdout); |
Paul Bakker | 508ad5a | 2011-12-04 17:09:26 +0000 | [diff] [blame] | 349 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 350 | mbedtls_entropy_init(&entropy); |
| 351 | if ((ret = mbedtls_ctr_drbg_seed(&ctr_drbg, mbedtls_entropy_func, &entropy, |
| 352 | (const unsigned char *) pers, |
| 353 | strlen(pers))) != 0) { |
| 354 | mbedtls_printf(" failed\n ! mbedtls_ctr_drbg_seed returned %d\n", ret); |
Manuel Pégourié-Gonnard | def0bbe | 2015-05-04 14:56:36 +0200 | [diff] [blame] | 355 | goto ssl_exit; |
Paul Bakker | 508ad5a | 2011-12-04 17:09:26 +0000 | [diff] [blame] | 356 | } |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 357 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 358 | mbedtls_printf(" ok\n"); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 359 | |
Paul Bakker | f2b92bb | 2016-08-11 10:45:14 +0100 | [diff] [blame] | 360 | #if defined(MBEDTLS_DEBUG_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 361 | mbedtls_debug_set_threshold(opt.debug_level); |
Paul Bakker | f2b92bb | 2016-08-11 10:45:14 +0100 | [diff] [blame] | 362 | #endif |
| 363 | |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 364 | /* |
| 365 | * 2. Start the connection |
| 366 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 367 | mbedtls_printf(" . SSL connection to tcp/%s/%s...", opt.server_name, |
| 368 | opt.server_port); |
| 369 | fflush(stdout); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 370 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 371 | if ((ret = mbedtls_net_connect(&server_fd, opt.server_name, |
| 372 | opt.server_port, MBEDTLS_NET_PROTO_TCP)) != 0) { |
| 373 | mbedtls_printf(" failed\n ! mbedtls_net_connect returned %d\n\n", ret); |
Manuel Pégourié-Gonnard | def0bbe | 2015-05-04 14:56:36 +0200 | [diff] [blame] | 374 | goto ssl_exit; |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 375 | } |
| 376 | |
| 377 | /* |
| 378 | * 3. Setup stuff |
| 379 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 380 | if ((ret = mbedtls_ssl_config_defaults(&conf, |
| 381 | MBEDTLS_SSL_IS_CLIENT, |
| 382 | MBEDTLS_SSL_TRANSPORT_STREAM, |
| 383 | MBEDTLS_SSL_PRESET_DEFAULT)) != 0) { |
| 384 | mbedtls_printf(" failed\n ! mbedtls_ssl_config_defaults returned %d\n\n", ret); |
Manuel Pégourié-Gonnard | def0bbe | 2015-05-04 14:56:36 +0200 | [diff] [blame] | 385 | goto exit; |
| 386 | } |
| 387 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 388 | if (verify) { |
| 389 | mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_REQUIRED); |
| 390 | mbedtls_ssl_conf_ca_chain(&conf, &cacert, NULL); |
| 391 | mbedtls_ssl_conf_verify(&conf, my_verify, NULL); |
| 392 | } else { |
| 393 | mbedtls_ssl_conf_authmode(&conf, MBEDTLS_SSL_VERIFY_NONE); |
Paul Bakker | 777a575 | 2013-05-21 16:20:04 +0200 | [diff] [blame] | 394 | } |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 395 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 396 | mbedtls_ssl_conf_rng(&conf, mbedtls_ctr_drbg_random, &ctr_drbg); |
| 397 | mbedtls_ssl_conf_dbg(&conf, my_debug, stdout); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 398 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 399 | if ((ret = mbedtls_ssl_setup(&ssl, &conf)) != 0) { |
| 400 | mbedtls_printf(" failed\n ! mbedtls_ssl_setup returned %d\n\n", ret); |
Manuel Pégourié-Gonnard | 06939ce | 2015-05-11 11:25:46 +0200 | [diff] [blame] | 401 | goto ssl_exit; |
| 402 | } |
| 403 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 404 | if ((ret = mbedtls_ssl_set_hostname(&ssl, opt.server_name)) != 0) { |
| 405 | mbedtls_printf(" failed\n ! mbedtls_ssl_set_hostname returned %d\n\n", ret); |
Manuel Pégourié-Gonnard | def0bbe | 2015-05-04 14:56:36 +0200 | [diff] [blame] | 406 | goto ssl_exit; |
Manuel Pégourié-Gonnard | c5fd391 | 2014-07-08 14:05:52 +0200 | [diff] [blame] | 407 | } |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 408 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 409 | mbedtls_ssl_set_bio(&ssl, &server_fd, mbedtls_net_send, mbedtls_net_recv, NULL); |
Manuel Pégourié-Gonnard | 06939ce | 2015-05-11 11:25:46 +0200 | [diff] [blame] | 410 | |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 411 | /* |
| 412 | * 4. Handshake |
| 413 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 414 | while ((ret = mbedtls_ssl_handshake(&ssl)) != 0) { |
| 415 | if (ret != MBEDTLS_ERR_SSL_WANT_READ && ret != MBEDTLS_ERR_SSL_WANT_WRITE) { |
| 416 | mbedtls_printf(" failed\n ! mbedtls_ssl_handshake returned %d\n\n", ret); |
Manuel Pégourié-Gonnard | def0bbe | 2015-05-04 14:56:36 +0200 | [diff] [blame] | 417 | goto ssl_exit; |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 418 | } |
| 419 | } |
| 420 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 421 | mbedtls_printf(" ok\n"); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 422 | |
| 423 | /* |
| 424 | * 5. Print the certificate |
| 425 | */ |
Hanno Becker | 57b33c9 | 2019-02-07 13:28:57 +0000 | [diff] [blame] | 426 | #if !defined(MBEDTLS_SSL_KEEP_PEER_CERTIFICATE) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 427 | mbedtls_printf(" . Peer certificate information ... skipped\n"); |
Hanno Becker | 57b33c9 | 2019-02-07 13:28:57 +0000 | [diff] [blame] | 428 | #else |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 429 | mbedtls_printf(" . Peer certificate information ...\n"); |
| 430 | ret = mbedtls_x509_crt_info((char *) buf, sizeof(buf) - 1, " ", |
| 431 | mbedtls_ssl_get_peer_cert(&ssl)); |
| 432 | if (ret == -1) { |
| 433 | mbedtls_printf(" failed\n ! mbedtls_x509_crt_info returned %d\n\n", ret); |
Manuel Pégourié-Gonnard | def0bbe | 2015-05-04 14:56:36 +0200 | [diff] [blame] | 434 | goto ssl_exit; |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 435 | } |
| 436 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 437 | mbedtls_printf("%s\n", buf); |
Hanno Becker | 57b33c9 | 2019-02-07 13:28:57 +0000 | [diff] [blame] | 438 | #endif /* MBEDTLS_SSL_KEEP_PEER_CERTIFICATE */ |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 439 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 440 | mbedtls_ssl_close_notify(&ssl); |
Manuel Pégourié-Gonnard | def0bbe | 2015-05-04 14:56:36 +0200 | [diff] [blame] | 441 | |
| 442 | ssl_exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 443 | mbedtls_ssl_free(&ssl); |
| 444 | mbedtls_ssl_config_free(&conf); |
| 445 | } else { |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 446 | goto usage; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 447 | } |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 448 | |
Andres Amaya Garcia | 7a9d01c | 2018-04-30 20:05:57 +0100 | [diff] [blame] | 449 | exit_code = MBEDTLS_EXIT_SUCCESS; |
| 450 | |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 451 | exit: |
| 452 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 453 | mbedtls_net_free(&server_fd); |
| 454 | mbedtls_x509_crt_free(&cacert); |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 455 | #if defined(MBEDTLS_X509_CRL_PARSE_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 456 | mbedtls_x509_crl_free(&cacrl); |
Paul Bakker | 8880cb5 | 2014-06-12 23:22:26 +0200 | [diff] [blame] | 457 | #endif |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 458 | mbedtls_ctr_drbg_free(&ctr_drbg); |
| 459 | mbedtls_entropy_free(&entropy); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 460 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 461 | mbedtls_exit(exit_code); |
Paul Bakker | 4fc4552 | 2010-03-18 20:11:58 +0000 | [diff] [blame] | 462 | } |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 463 | #endif /* MBEDTLS_BIGNUM_C && MBEDTLS_ENTROPY_C && MBEDTLS_SSL_TLS_C && |
| 464 | MBEDTLS_SSL_CLI_C && MBEDTLS_NET_C && MBEDTLS_RSA_C && |
| 465 | MBEDTLS_X509_CRT_PARSE_C && MBEDTLS_FS_IO && MBEDTLS_CTR_DRBG_C */ |