blob: c6e665836d0ee552a8078fa499087182979c89c3 [file] [log] [blame]
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +02001/*
Shaun Case0e7791f2021-12-20 21:14:10 -08002 * UDP proxy: emulate an unreliable UDP connection for DTLS testing
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +02003 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
Dave Rodgman7ff79652023-11-03 12:04:52 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +02006 */
7
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +02008/*
9 * Warning: this is an internal utility program we use for tests.
10 * It does break some abstractions from the NET layer, and is thus NOT an
11 * example of good general usage.
12 */
13
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020014#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000015#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020016#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020017#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020018#endif
19
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020020#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000021#include "mbedtls/platform.h"
Manuel Pégourié-Gonnardf2246782015-01-29 13:29:20 +000022#else
Simon Butcherd3138c32016-04-27 01:26:50 +010023#include <stdio.h>
24#include <stdlib.h>
David Horstmann0e4a1aa2021-11-29 17:28:13 +000025#if defined(MBEDTLS_HAVE_TIME)
Simon Butcherd3138c32016-04-27 01:26:50 +010026#include <time.h>
Andres Amaya Garcia80081a62018-04-29 21:58:53 +010027#define mbedtls_time time
28#define mbedtls_time_t time_t
David Horstmann0e4a1aa2021-11-29 17:28:13 +000029#endif
Andres Amaya Garcia80081a62018-04-29 21:58:53 +010030#define mbedtls_printf printf
Hanno Becker01ea7782018-08-17 13:33:41 +010031#define mbedtls_calloc calloc
32#define mbedtls_free free
k-stachowiak776521a2019-05-23 09:46:47 +020033#define mbedtls_exit exit
Andres Amaya Garcia7d429652018-04-30 22:42:33 +010034#define MBEDTLS_EXIT_SUCCESS EXIT_SUCCESS
Andres Amaya Garcia80081a62018-04-29 21:58:53 +010035#define MBEDTLS_EXIT_FAILURE EXIT_FAILURE
36#endif /* MBEDTLS_PLATFORM_C */
Manuel Pégourié-Gonnardf2246782015-01-29 13:29:20 +000037
Gilles Peskinea8cd2e62024-05-17 19:00:46 +020038#include <limits.h>
39
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#if !defined(MBEDTLS_NET_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010041int main(void)
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020042{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010043 mbedtls_printf("MBEDTLS_NET_C not defined.\n");
44 mbedtls_exit(0);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020045}
46#else
47
Andres AG788aa4a2016-09-14 14:32:09 +010048#include "mbedtls/net_sockets.h"
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000049#include "mbedtls/error.h"
50#include "mbedtls/ssl.h"
Hanno Becker0cc77742017-10-31 14:10:07 +000051#include "mbedtls/timing.h"
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020052
Manuel Pégourié-Gonnardd901d172015-02-16 18:37:53 +000053#include <string.h>
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020054
55/* For select() */
56#if (defined(_WIN32) || defined(_WIN32_WCE)) && !defined(EFIX64) && \
57 !defined(EFI32)
58#include <winsock2.h>
59#include <windows.h>
60#if defined(_MSC_VER)
61#if defined(_WIN32_WCE)
62#pragma comment( lib, "ws2.lib" )
63#else
64#pragma comment( lib, "ws2_32.lib" )
65#endif
66#endif /* _MSC_VER */
67#else /* ( _WIN32 || _WIN32_WCE ) && !EFIX64 && !EFI32 */
Andrzej Kurek65f93d52022-03-04 15:18:09 -050068#if defined(MBEDTLS_HAVE_TIME)
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020069#include <sys/time.h>
Andrzej Kurek65f93d52022-03-04 15:18:09 -050070#endif
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020071#include <sys/types.h>
72#include <unistd.h>
73#endif /* ( _WIN32 || _WIN32_WCE ) && !EFIX64 && !EFI32 */
74
Manuel Pégourié-Gonnardb46780e2014-09-23 12:17:30 +020075#define MAX_MSG_SIZE 16384 + 2048 /* max record/datagram size */
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020076
77#define DFL_SERVER_ADDR "localhost"
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +020078#define DFL_SERVER_PORT "4433"
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020079#define DFL_LISTEN_ADDR "localhost"
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +020080#define DFL_LISTEN_PORT "5556"
Hanno Becker1dd62ea2017-05-22 14:30:59 +010081#define DFL_PACK 0
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020082
Hanno Becker0cc77742017-10-31 14:10:07 +000083#if defined(MBEDTLS_TIMING_C)
84#define USAGE_PACK \
85 " pack=%%d default: 0 (don't pack)\n" \
86 " options: t > 0 (pack for t milliseconds)\n"
87#else
88#define USAGE_PACK
89#endif
90
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020091#define USAGE \
92 "\n usage: udp_proxy param=<>...\n" \
93 "\n acceptable parameters:\n" \
Manuel Pégourié-Gonnardd0fd1da2014-09-25 17:00:27 +020094 " server_addr=%%s default: localhost\n" \
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020095 " server_port=%%d default: 4433\n" \
Manuel Pégourié-Gonnardd0fd1da2014-09-25 17:00:27 +020096 " listen_addr=%%s default: localhost\n" \
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +020097 " listen_port=%%d default: 4433\n" \
Manuel Pégourié-Gonnard2c41bd82014-09-06 08:14:47 +020098 "\n" \
99 " duplicate=%%d default: 0 (no duplication)\n" \
Manuel Pégourié-Gonnard992e1362014-09-20 18:06:23 +0200100 " duplicate about 1:N packets randomly\n" \
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200101 " delay=%%d default: 0 (no delayed packets)\n" \
Manuel Pégourié-Gonnard992e1362014-09-20 18:06:23 +0200102 " delay about 1:N packets randomly\n" \
Manuel Pégourié-Gonnardd0fd1da2014-09-25 17:00:27 +0200103 " delay_ccs=0/1 default: 0 (don't delay ChangeCipherSpec)\n" \
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100104 " delay_cli=%%s Handshake message from client that should be\n" \
Hanno Becker01ea7782018-08-17 13:33:41 +0100105 " delayed. Possible values are 'ClientHello',\n" \
106 " 'Certificate', 'CertificateVerify', and\n" \
107 " 'ClientKeyExchange'.\n" \
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100108 " May be used multiple times, even for the same\n" \
109 " message, in which case the respective message\n" \
Hanno Becker01ea7782018-08-17 13:33:41 +0100110 " gets delayed multiple times.\n" \
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100111 " delay_srv=%%s Handshake message from server that should be\n" \
112 " delayed. Possible values are 'HelloRequest',\n" \
113 " 'ServerHello', 'ServerHelloDone', 'Certificate'\n" \
114 " 'ServerKeyExchange', 'NewSessionTicket',\n" \
115 " 'HelloVerifyRequest' and ''CertificateRequest'.\n" \
116 " May be used multiple times, even for the same\n" \
117 " message, in which case the respective message\n" \
Hanno Becker01ea7782018-08-17 13:33:41 +0100118 " gets delayed multiple times.\n" \
Manuel Pégourié-Gonnard60fdd7e2014-09-06 14:49:52 +0200119 " drop=%%d default: 0 (no dropped packets)\n" \
Manuel Pégourié-Gonnard992e1362014-09-20 18:06:23 +0200120 " drop about 1:N packets randomly\n" \
Manuel Pégourié-Gonnardeb00bfd2014-09-08 11:11:42 +0200121 " mtu=%%d default: 0 (unlimited)\n" \
122 " drop packets larger than N bytes\n" \
Manuel Pégourié-Gonnardd0fd1da2014-09-25 17:00:27 +0200123 " bad_ad=0/1 default: 0 (don't add bad ApplicationData)\n" \
Hanno Becker98aaf252019-05-24 10:07:42 +0100124 " bad_cid=%%d default: 0 (don't corrupt Connection IDs)\n" \
125 " duplicate 1:N packets containing a CID,\n" \
126 " modifying CID in first instance of the packet.\n" \
Manuel Pégourié-Gonnardd0fd1da2014-09-25 17:00:27 +0200127 " protect_hvr=0/1 default: 0 (don't protect HelloVerifyRequest)\n" \
Hanno Becker0cc77742017-10-31 14:10:07 +0000128 " protect_len=%%d default: (don't protect packets of this size)\n" \
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100129 " inject_clihlo=0/1 default: 0 (don't inject fake ClientHello)\n" \
Manuel Pégourié-Gonnard992e1362014-09-20 18:06:23 +0200130 "\n" \
131 " seed=%%d default: (use current time)\n" \
Hanno Becker0cc77742017-10-31 14:10:07 +0000132 USAGE_PACK \
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200133 "\n"
134
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200135/*
136 * global options
137 */
Hanno Becker01ea7782018-08-17 13:33:41 +0100138
139#define MAX_DELAYED_HS 10
140
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100141static struct options {
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200142 const char *server_addr; /* address to forward packets to */
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200143 const char *server_port; /* port to forward packets to */
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200144 const char *listen_addr; /* address for accepting client connections */
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200145 const char *listen_port; /* port for accepting client connections */
Manuel Pégourié-Gonnard2c41bd82014-09-06 08:14:47 +0200146
147 int duplicate; /* duplicate 1 in N packets (none if 0) */
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200148 int delay; /* delay 1 packet in N (none if 0) */
Manuel Pégourié-Gonnard81f2fe92014-09-08 10:44:57 +0200149 int delay_ccs; /* delay ChangeCipherSpec */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100150 char *delay_cli[MAX_DELAYED_HS]; /* handshake types of messages from
Hanno Becker41038102018-08-28 11:15:32 +0100151 * client that should be delayed. */
Hanno Becker01ea7782018-08-17 13:33:41 +0100152 uint8_t delay_cli_cnt; /* Number of entries in delay_cli. */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100153 char *delay_srv[MAX_DELAYED_HS]; /* handshake types of messages from
Hanno Becker41038102018-08-28 11:15:32 +0100154 * server that should be delayed. */
Hanno Becker01ea7782018-08-17 13:33:41 +0100155 uint8_t delay_srv_cnt; /* Number of entries in delay_srv. */
Manuel Pégourié-Gonnard60fdd7e2014-09-06 14:49:52 +0200156 int drop; /* drop 1 packet in N (none if 0) */
Manuel Pégourié-Gonnardeb00bfd2014-09-08 11:11:42 +0200157 int mtu; /* drop packets larger than this */
Manuel Pégourié-Gonnard6c18a392014-09-08 11:24:58 +0200158 int bad_ad; /* inject corrupted ApplicationData record */
Hanno Becker98aaf252019-05-24 10:07:42 +0100159 unsigned bad_cid; /* inject corrupted CID record */
Manuel Pégourié-Gonnardd0fd1da2014-09-25 17:00:27 +0200160 int protect_hvr; /* never drop or delay HelloVerifyRequest */
Manuel Pégourié-Gonnardba958b82014-10-09 16:13:44 +0200161 int protect_len; /* never drop/delay packet of the given size*/
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100162 int inject_clihlo; /* inject fake ClientHello after handshake */
Hanno Becker77abef52017-11-02 10:50:28 +0000163 unsigned pack; /* merge packets into single datagram for
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100164 * at most \c merge milliseconds if > 0 */
Manuel Pégourié-Gonnard992e1362014-09-20 18:06:23 +0200165 unsigned int seed; /* seed for "random" events */
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200166} opt;
167
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100168static void exit_usage(const char *name, const char *value)
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200169{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100170 if (value == NULL) {
171 mbedtls_printf(" unknown option or missing value: %s\n", name);
172 } else {
173 mbedtls_printf(" option %s: illegal value: %s\n", name, value);
174 }
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200175
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100176 mbedtls_printf(USAGE);
177 mbedtls_exit(1);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200178}
179
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100180static void get_options(int argc, char *argv[])
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200181{
182 int i;
183 char *p, *q;
184
185 opt.server_addr = DFL_SERVER_ADDR;
186 opt.server_port = DFL_SERVER_PORT;
187 opt.listen_addr = DFL_LISTEN_ADDR;
188 opt.listen_port = DFL_LISTEN_PORT;
Hanno Becker211f44c2017-10-31 14:08:10 +0000189 opt.pack = DFL_PACK;
Manuel Pégourié-Gonnard60fdd7e2014-09-06 14:49:52 +0200190 /* Other members default to 0 */
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200191
Hanno Becker01ea7782018-08-17 13:33:41 +0100192 opt.delay_cli_cnt = 0;
193 opt.delay_srv_cnt = 0;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100194 memset(opt.delay_cli, 0, sizeof(opt.delay_cli));
195 memset(opt.delay_srv, 0, sizeof(opt.delay_srv));
Hanno Becker01ea7782018-08-17 13:33:41 +0100196
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100197 for (i = 1; i < argc; i++) {
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200198 p = argv[i];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100199 if ((q = strchr(p, '=')) == NULL) {
200 exit_usage(p, NULL);
201 }
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200202 *q++ = '\0';
203
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100204 if (strcmp(p, "server_addr") == 0) {
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200205 opt.server_addr = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100206 } else if (strcmp(p, "server_port") == 0) {
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200207 opt.server_port = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100208 } else if (strcmp(p, "listen_addr") == 0) {
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200209 opt.listen_addr = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100210 } else if (strcmp(p, "listen_port") == 0) {
Manuel Pégourié-Gonnardc0d74942015-06-23 12:30:57 +0200211 opt.listen_port = q;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100212 } else if (strcmp(p, "duplicate") == 0) {
213 opt.duplicate = atoi(q);
214 if (opt.duplicate < 0 || opt.duplicate > 20) {
215 exit_usage(p, q);
216 }
217 } else if (strcmp(p, "delay") == 0) {
218 opt.delay = atoi(q);
219 if (opt.delay < 0 || opt.delay > 20 || opt.delay == 1) {
220 exit_usage(p, q);
221 }
222 } else if (strcmp(p, "delay_ccs") == 0) {
223 opt.delay_ccs = atoi(q);
224 if (opt.delay_ccs < 0 || opt.delay_ccs > 1) {
225 exit_usage(p, q);
226 }
227 } else if (strcmp(p, "delay_cli") == 0 ||
228 strcmp(p, "delay_srv") == 0) {
Hanno Becker01ea7782018-08-17 13:33:41 +0100229 uint8_t *delay_cnt;
230 char **delay_list;
231 size_t len;
232 char *buf;
233
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100234 if (strcmp(p, "delay_cli") == 0) {
Hanno Becker01ea7782018-08-17 13:33:41 +0100235 delay_cnt = &opt.delay_cli_cnt;
236 delay_list = opt.delay_cli;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100237 } else {
Hanno Becker01ea7782018-08-17 13:33:41 +0100238 delay_cnt = &opt.delay_srv_cnt;
239 delay_list = opt.delay_srv;
240 }
241
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100242 if (*delay_cnt == MAX_DELAYED_HS) {
243 mbedtls_printf(" too many uses of %s: only %d allowed\n",
244 p, MAX_DELAYED_HS);
245 exit_usage(p, NULL);
Hanno Becker01ea7782018-08-17 13:33:41 +0100246 }
247
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100248 len = strlen(q);
249 buf = mbedtls_calloc(1, len + 1);
250 if (buf == NULL) {
251 mbedtls_printf(" Allocation failure\n");
252 exit(1);
Hanno Becker01ea7782018-08-17 13:33:41 +0100253 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100254 memcpy(buf, q, len + 1);
Hanno Becker01ea7782018-08-17 13:33:41 +0100255
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100256 delay_list[(*delay_cnt)++] = buf;
257 } else if (strcmp(p, "drop") == 0) {
258 opt.drop = atoi(q);
259 if (opt.drop < 0 || opt.drop > 20 || opt.drop == 1) {
260 exit_usage(p, q);
261 }
262 } else if (strcmp(p, "pack") == 0) {
Hanno Becker0cc77742017-10-31 14:10:07 +0000263#if defined(MBEDTLS_TIMING_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100264 opt.pack = (unsigned) atoi(q);
Hanno Becker0cc77742017-10-31 14:10:07 +0000265#else
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100266 mbedtls_printf(" option pack only defined if MBEDTLS_TIMING_C is enabled\n");
267 exit(1);
Hanno Becker0cc77742017-10-31 14:10:07 +0000268#endif
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100269 } else if (strcmp(p, "mtu") == 0) {
270 opt.mtu = atoi(q);
271 if (opt.mtu < 0 || opt.mtu > MAX_MSG_SIZE) {
272 exit_usage(p, q);
273 }
274 } else if (strcmp(p, "bad_ad") == 0) {
275 opt.bad_ad = atoi(q);
276 if (opt.bad_ad < 0 || opt.bad_ad > 1) {
277 exit_usage(p, q);
278 }
Manuel Pégourié-Gonnard6c18a392014-09-08 11:24:58 +0200279 }
Hanno Becker98aaf252019-05-24 10:07:42 +0100280#if defined(MBEDTLS_SSL_DTLS_CONNECTION_ID)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100281 else if (strcmp(p, "bad_cid") == 0) {
282 opt.bad_cid = (unsigned) atoi(q);
Hanno Becker98aaf252019-05-24 10:07:42 +0100283 }
284#endif /* MBEDTLS_SSL_DTLS_CONNECTION_ID */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100285 else if (strcmp(p, "protect_hvr") == 0) {
286 opt.protect_hvr = atoi(q);
287 if (opt.protect_hvr < 0 || opt.protect_hvr > 1) {
288 exit_usage(p, q);
289 }
290 } else if (strcmp(p, "protect_len") == 0) {
291 opt.protect_len = atoi(q);
292 if (opt.protect_len < 0) {
293 exit_usage(p, q);
294 }
295 } else if (strcmp(p, "inject_clihlo") == 0) {
296 opt.inject_clihlo = atoi(q);
297 if (opt.inject_clihlo < 0 || opt.inject_clihlo > 1) {
298 exit_usage(p, q);
299 }
300 } else if (strcmp(p, "seed") == 0) {
301 opt.seed = atoi(q);
302 if (opt.seed == 0) {
303 exit_usage(p, q);
304 }
305 } else {
306 exit_usage(p, NULL);
Manuel Pégourié-Gonnardd0fd1da2014-09-25 17:00:27 +0200307 }
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200308 }
309}
310
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100311static const char *msg_type(unsigned char *msg, size_t len)
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200312{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100313 if (len < 1) {
314 return "Invalid";
315 }
316 switch (msg[0]) {
317 case MBEDTLS_SSL_MSG_CHANGE_CIPHER_SPEC: return "ChangeCipherSpec";
318 case MBEDTLS_SSL_MSG_ALERT: return "Alert";
319 case MBEDTLS_SSL_MSG_APPLICATION_DATA: return "ApplicationData";
320 case MBEDTLS_SSL_MSG_CID: return "CID";
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200321 case MBEDTLS_SSL_MSG_HANDSHAKE: break; /* See below */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100322 default: return "Unknown";
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200323 }
324
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100325 if (len < 13 + 12) {
326 return "Invalid handshake";
327 }
Manuel Pégourié-Gonnard8cc7e032014-09-25 12:59:05 +0200328
329 /*
330 * Our handshake message are less than 2^16 bytes long, so they should
331 * have 0 as the first byte of length, frag_offset and frag_length.
332 * Otherwise, assume they are encrypted.
333 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100334 if (msg[14] || msg[19] || msg[22]) {
335 return "Encrypted handshake";
336 }
Manuel Pégourié-Gonnard8cc7e032014-09-25 12:59:05 +0200337
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100338 switch (msg[13]) {
339 case MBEDTLS_SSL_HS_HELLO_REQUEST: return "HelloRequest";
340 case MBEDTLS_SSL_HS_CLIENT_HELLO: return "ClientHello";
341 case MBEDTLS_SSL_HS_SERVER_HELLO: return "ServerHello";
342 case MBEDTLS_SSL_HS_HELLO_VERIFY_REQUEST: return "HelloVerifyRequest";
343 case MBEDTLS_SSL_HS_NEW_SESSION_TICKET: return "NewSessionTicket";
344 case MBEDTLS_SSL_HS_CERTIFICATE: return "Certificate";
345 case MBEDTLS_SSL_HS_SERVER_KEY_EXCHANGE: return "ServerKeyExchange";
346 case MBEDTLS_SSL_HS_CERTIFICATE_REQUEST: return "CertificateRequest";
347 case MBEDTLS_SSL_HS_SERVER_HELLO_DONE: return "ServerHelloDone";
348 case MBEDTLS_SSL_HS_CERTIFICATE_VERIFY: return "CertificateVerify";
349 case MBEDTLS_SSL_HS_CLIENT_KEY_EXCHANGE: return "ClientKeyExchange";
350 case MBEDTLS_SSL_HS_FINISHED: return "Finished";
351 default: return "Unknown handshake";
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200352 }
353}
354
Hanno Becker0cc77742017-10-31 14:10:07 +0000355#if defined(MBEDTLS_TIMING_C)
Manuel Pégourié-Gonnard7cf35182014-09-20 09:43:48 +0200356/* Return elapsed time in milliseconds since the first call */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100357static unsigned elapsed_time(void)
Manuel Pégourié-Gonnard7cf35182014-09-20 09:43:48 +0200358{
Hanno Becker92474da2017-10-31 14:09:30 +0000359 static int initialized = 0;
360 static struct mbedtls_timing_hr_time hires;
Manuel Pégourié-Gonnard7cf35182014-09-20 09:43:48 +0200361
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100362 if (initialized == 0) {
363 (void) mbedtls_timing_get_timer(&hires, 1);
Hanno Becker92474da2017-10-31 14:09:30 +0000364 initialized = 1;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100365 return 0;
Manuel Pégourié-Gonnard7cf35182014-09-20 09:43:48 +0200366 }
367
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100368 return mbedtls_timing_get_timer(&hires, 0);
Manuel Pégourié-Gonnard7cf35182014-09-20 09:43:48 +0200369}
370
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100371typedef struct {
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100372 mbedtls_net_context *ctx;
373
374 const char *description;
375
Hanno Becker77abef52017-11-02 10:50:28 +0000376 unsigned packet_lifetime;
377 unsigned num_datagrams;
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100378
379 unsigned char data[MAX_MSG_SIZE];
Hanno Beckera5e68972017-12-06 08:35:02 +0000380 size_t len;
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100381
382} ctx_buffer;
383
384static ctx_buffer outbuf[2];
385
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100386static int ctx_buffer_flush(ctx_buffer *buf)
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100387{
388 int ret;
389
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100390 mbedtls_printf(" %05u flush %s: %u bytes, %u datagrams, last %u ms\n",
391 elapsed_time(), buf->description,
392 (unsigned) buf->len, buf->num_datagrams,
393 elapsed_time() - buf->packet_lifetime);
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100394
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100395 ret = mbedtls_net_send(buf->ctx, buf->data, buf->len);
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100396
397 buf->len = 0;
398 buf->num_datagrams = 0;
399
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100400 return ret;
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100401}
402
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100403static unsigned ctx_buffer_time_remaining(ctx_buffer *buf)
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100404{
Tom Cosgrove49f99bc2022-12-04 16:44:21 +0000405 unsigned const cur_time = elapsed_time();
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100406
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100407 if (buf->num_datagrams == 0) {
408 return (unsigned) -1;
409 }
Hanno Becker77abef52017-11-02 10:50:28 +0000410
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100411 if (cur_time - buf->packet_lifetime >= opt.pack) {
412 return 0;
413 }
Hanno Becker77abef52017-11-02 10:50:28 +0000414
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100415 return opt.pack - (cur_time - buf->packet_lifetime);
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100416}
417
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100418static int ctx_buffer_append(ctx_buffer *buf,
419 const unsigned char *data,
420 size_t len)
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100421{
422 int ret;
423
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100424 if (len > (size_t) INT_MAX) {
425 return -1;
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100426 }
427
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100428 if (len > sizeof(buf->data)) {
429 mbedtls_printf(" ! buffer size %u too large (max %u)\n",
430 (unsigned) len, (unsigned) sizeof(buf->data));
431 return -1;
432 }
433
434 if (sizeof(buf->data) - buf->len < len) {
435 if ((ret = ctx_buffer_flush(buf)) <= 0) {
436 mbedtls_printf("ctx_buffer_flush failed with -%#04x", (unsigned int) -ret);
437 return ret;
Hanno Becker31f6e372019-05-08 15:36:31 +0100438 }
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100439 }
440
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100441 memcpy(buf->data + buf->len, data, len);
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100442
443 buf->len += len;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100444 if (++buf->num_datagrams == 1) {
Tom Cosgrove49f99bc2022-12-04 16:44:21 +0000445 buf->packet_lifetime = elapsed_time();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100446 }
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100447
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100448 return (int) len;
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100449}
Hanno Becker77abef52017-11-02 10:50:28 +0000450#endif /* MBEDTLS_TIMING_C */
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100451
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100452static int dispatch_data(mbedtls_net_context *ctx,
453 const unsigned char *data,
454 size_t len)
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100455{
Hanno Becker31f6e372019-05-08 15:36:31 +0100456 int ret;
Hanno Becker77abef52017-11-02 10:50:28 +0000457#if defined(MBEDTLS_TIMING_C)
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100458 ctx_buffer *buf = NULL;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100459 if (opt.pack > 0) {
460 if (outbuf[0].ctx == ctx) {
Hanno Becker77abef52017-11-02 10:50:28 +0000461 buf = &outbuf[0];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100462 } else if (outbuf[1].ctx == ctx) {
Hanno Becker77abef52017-11-02 10:50:28 +0000463 buf = &outbuf[1];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100464 }
Hanno Becker0cc77742017-10-31 14:10:07 +0000465
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100466 if (buf == NULL) {
467 return -1;
468 }
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100469
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100470 return ctx_buffer_append(buf, data, len);
Hanno Becker77abef52017-11-02 10:50:28 +0000471 }
472#endif /* MBEDTLS_TIMING_C */
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100473
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100474 ret = mbedtls_net_send(ctx, data, len);
475 if (ret < 0) {
476 mbedtls_printf("net_send returned -%#04x\n", (unsigned int) -ret);
Hanno Becker31f6e372019-05-08 15:36:31 +0100477 }
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100478 return ret;
Hanno Becker0cc77742017-10-31 14:10:07 +0000479}
480
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100481typedef struct {
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200482 mbedtls_net_context *dst;
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200483 const char *way;
Manuel Pégourié-Gonnard2c41bd82014-09-06 08:14:47 +0200484 const char *type;
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200485 unsigned len;
486 unsigned char buf[MAX_MSG_SIZE];
487} packet;
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200488
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200489/* Print packet. Outgoing packets come with a reason (forward, dupl, etc.) */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100490void print_packet(const packet *p, const char *why)
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200491{
Hanno Becker0cc77742017-10-31 14:10:07 +0000492#if defined(MBEDTLS_TIMING_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100493 if (why == NULL) {
494 mbedtls_printf(" %05u dispatch %s %s (%u bytes)\n",
495 elapsed_time(), p->way, p->type, p->len);
496 } else {
497 mbedtls_printf(" %05u dispatch %s %s (%u bytes): %s\n",
498 elapsed_time(), p->way, p->type, p->len, why);
499 }
Hanno Becker0cc77742017-10-31 14:10:07 +0000500#else
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100501 if (why == NULL) {
502 mbedtls_printf(" dispatch %s %s (%u bytes)\n",
503 p->way, p->type, p->len);
504 } else {
505 mbedtls_printf(" dispatch %s %s (%u bytes): %s\n",
506 p->way, p->type, p->len, why);
507 }
Hanno Becker0cc77742017-10-31 14:10:07 +0000508#endif
509
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100510 fflush(stdout);
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200511}
512
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100513/*
514 * In order to test the server's behaviour when receiving a ClientHello after
515 * the connection is established (this could be a hard reset from the client,
516 * but the server must not drop the existing connection before establishing
517 * client reachability, see RFC 6347 Section 4.2.8), we memorize the first
518 * ClientHello we see (which can't have a cookie), then replay it after the
519 * first ApplicationData record - then we're done.
520 *
521 * This is controlled by the inject_clihlo option.
522 *
523 * We want an explicit state and a place to store the packet.
524 */
Manuel Pégourié-Gonnardf4563b42020-03-30 12:46:21 +0200525typedef enum {
526 ICH_INIT, /* haven't seen the first ClientHello yet */
527 ICH_CACHED, /* cached the initial ClientHello */
528 ICH_INJECTED, /* ClientHello already injected, done */
529} inject_clihlo_state_t;
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100530
Manuel Pégourié-Gonnardf4563b42020-03-30 12:46:21 +0200531static inject_clihlo_state_t inject_clihlo_state;
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100532static packet initial_clihlo;
533
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100534int send_packet(const packet *p, const char *why)
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200535{
536 int ret;
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200537 mbedtls_net_context *dst = p->dst;
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200538
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100539 /* save initial ClientHello? */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100540 if (opt.inject_clihlo != 0 &&
Manuel Pégourié-Gonnardf4563b42020-03-30 12:46:21 +0200541 inject_clihlo_state == ICH_INIT &&
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100542 strcmp(p->type, "ClientHello") == 0) {
543 memcpy(&initial_clihlo, p, sizeof(packet));
Manuel Pégourié-Gonnardf4563b42020-03-30 12:46:21 +0200544 inject_clihlo_state = ICH_CACHED;
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100545 }
546
Hanno Becker98aaf252019-05-24 10:07:42 +0100547 /* insert corrupted CID record? */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100548 if (opt.bad_cid != 0 &&
549 strcmp(p->type, "CID") == 0 &&
550 (rand() % opt.bad_cid) == 0) {
Hanno Becker98aaf252019-05-24 10:07:42 +0100551 unsigned char buf[MAX_MSG_SIZE];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100552 memcpy(buf, p->buf, p->len);
Hanno Becker98aaf252019-05-24 10:07:42 +0100553
554 /* The CID resides at offset 11 in the DTLS record header. */
555 buf[11] ^= 1;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100556 print_packet(p, "modified CID");
Hanno Becker98aaf252019-05-24 10:07:42 +0100557
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100558 if ((ret = dispatch_data(dst, buf, p->len)) <= 0) {
559 mbedtls_printf(" ! dispatch returned %d\n", ret);
560 return ret;
Hanno Becker98aaf252019-05-24 10:07:42 +0100561 }
562 }
563
Manuel Pégourié-Gonnard6c18a392014-09-08 11:24:58 +0200564 /* insert corrupted ApplicationData record? */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100565 if (opt.bad_ad &&
566 strcmp(p->type, "ApplicationData") == 0) {
Manuel Pégourié-Gonnard6c18a392014-09-08 11:24:58 +0200567 unsigned char buf[MAX_MSG_SIZE];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100568 memcpy(buf, p->buf, p->len);
Manuel Pégourié-Gonnard6c18a392014-09-08 11:24:58 +0200569
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100570 if (p->len <= 13) {
571 mbedtls_printf(" ! can't corrupt empty AD record");
572 } else {
Hanno Beckerfbb0b702017-05-26 16:55:07 +0100573 ++buf[13];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100574 print_packet(p, "corrupted");
Hanno Beckerfbb0b702017-05-26 16:55:07 +0100575 }
576
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100577 if ((ret = dispatch_data(dst, buf, p->len)) <= 0) {
578 mbedtls_printf(" ! dispatch returned %d\n", ret);
579 return ret;
Manuel Pégourié-Gonnard6c18a392014-09-08 11:24:58 +0200580 }
581 }
582
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100583 print_packet(p, why);
584 if ((ret = dispatch_data(dst, p->buf, p->len)) <= 0) {
585 mbedtls_printf(" ! dispatch returned %d\n", ret);
586 return ret;
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200587 }
588
Manuel Pégourié-Gonnard2c41bd82014-09-06 08:14:47 +0200589 /* Don't duplicate Application Data, only handshake covered */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100590 if (opt.duplicate != 0 &&
591 strcmp(p->type, "ApplicationData") != 0 &&
592 rand() % opt.duplicate == 0) {
593 print_packet(p, "duplicated");
Manuel Pégourié-Gonnard2c41bd82014-09-06 08:14:47 +0200594
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100595 if ((ret = dispatch_data(dst, p->buf, p->len)) <= 0) {
596 mbedtls_printf(" ! dispatch returned %d\n", ret);
597 return ret;
Manuel Pégourié-Gonnard2c41bd82014-09-06 08:14:47 +0200598 }
599 }
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200600
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100601 /* Inject ClientHello after first ApplicationData */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100602 if (opt.inject_clihlo != 0 &&
Manuel Pégourié-Gonnardf4563b42020-03-30 12:46:21 +0200603 inject_clihlo_state == ICH_CACHED &&
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100604 strcmp(p->type, "ApplicationData") == 0) {
605 print_packet(&initial_clihlo, "injected");
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100606
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100607 if ((ret = dispatch_data(dst, initial_clihlo.buf,
608 initial_clihlo.len)) <= 0) {
609 mbedtls_printf(" ! dispatch returned %d\n", ret);
610 return ret;
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100611 }
612
Manuel Pégourié-Gonnardf4563b42020-03-30 12:46:21 +0200613 inject_clihlo_state = ICH_INJECTED;
Manuel Pégourié-Gonnardbaad2de2020-03-13 11:11:02 +0100614 }
615
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100616 return 0;
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200617}
618
Hanno Becker101bcba2018-08-21 16:39:51 +0100619#define MAX_DELAYED_MSG 5
620static size_t prev_len;
621static packet prev[MAX_DELAYED_MSG];
Manuel Pégourié-Gonnard6312e0f2014-09-23 12:46:33 +0200622
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100623void clear_pending(void)
Manuel Pégourié-Gonnard6312e0f2014-09-23 12:46:33 +0200624{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100625 memset(&prev, 0, sizeof(prev));
Hanno Becker101bcba2018-08-21 16:39:51 +0100626 prev_len = 0;
627}
628
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100629void delay_packet(packet *delay)
Hanno Becker101bcba2018-08-21 16:39:51 +0100630{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100631 if (prev_len == MAX_DELAYED_MSG) {
Hanno Becker101bcba2018-08-21 16:39:51 +0100632 return;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100633 }
Hanno Becker101bcba2018-08-21 16:39:51 +0100634
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100635 memcpy(&prev[prev_len++], delay, sizeof(packet));
Hanno Becker101bcba2018-08-21 16:39:51 +0100636}
637
Gowtham Suresh Kumar34d8bd32023-07-26 17:18:55 +0100638int send_delayed(void)
Hanno Becker101bcba2018-08-21 16:39:51 +0100639{
640 uint8_t offset;
641 int ret;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100642 for (offset = 0; offset < prev_len; offset++) {
643 ret = send_packet(&prev[offset], "delayed");
644 if (ret != 0) {
645 return ret;
646 }
Hanno Becker101bcba2018-08-21 16:39:51 +0100647 }
648
649 clear_pending();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100650 return 0;
Manuel Pégourié-Gonnard6312e0f2014-09-23 12:46:33 +0200651}
652
Manuel Pégourié-Gonnardae666c52014-09-26 12:08:36 +0200653/*
Manuel Pégourié-Gonnard14134282021-07-06 12:39:43 +0200654 * Avoid dropping or delaying a packet that was already dropped or delayed
655 * ("held") twice: this only results in uninteresting timeouts. We can't rely
656 * on type to identify packets, since during renegotiation they're all
657 * encrypted. So, rely on size mod 2048 (which is usually just size).
658 *
659 * We only hold packets at the level of entire datagrams, not at the level
Hanno Becker961e6772019-06-04 13:04:28 +0100660 * of records. In particular, if the peer changes the way it packs multiple
661 * records into a single datagram, we don't necessarily count the number of
Manuel Pégourié-Gonnard14134282021-07-06 12:39:43 +0200662 * times a record has been held correctly. However, the only known reason
Hanno Becker961e6772019-06-04 13:04:28 +0100663 * why a peer would change datagram packing is disabling the latter on
Manuel Pégourié-Gonnard14134282021-07-06 12:39:43 +0200664 * retransmission, in which case we'd hold involved records at most
665 * HOLD_MAX + 1 times.
666 */
667static unsigned char held[2048] = { 0 };
668#define HOLD_MAX 2
Manuel Pégourié-Gonnardae666c52014-09-26 12:08:36 +0200669
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100670int handle_message(const char *way,
671 mbedtls_net_context *dst,
672 mbedtls_net_context *src)
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200673{
674 int ret;
675 packet cur;
Manuel Pégourié-Gonnardae666c52014-09-26 12:08:36 +0200676 size_t id;
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200677
Hanno Becker01ea7782018-08-17 13:33:41 +0100678 uint8_t delay_idx;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100679 char **delay_list;
Hanno Becker01ea7782018-08-17 13:33:41 +0100680 uint8_t delay_list_len;
681
Manuel Pégourié-Gonnard63eca932014-09-08 16:39:08 +0200682 /* receive packet */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100683 if ((ret = mbedtls_net_recv(src, cur.buf, sizeof(cur.buf))) <= 0) {
684 mbedtls_printf(" ! mbedtls_net_recv returned %d\n", ret);
685 return ret;
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200686 }
687
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200688 cur.len = ret;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100689 cur.type = msg_type(cur.buf, cur.len);
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200690 cur.way = way;
Manuel Pégourié-Gonnard6265d302014-09-24 17:42:09 +0200691 cur.dst = dst;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100692 print_packet(&cur, NULL);
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200693
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100694 id = cur.len % sizeof(held);
Manuel Pégourié-Gonnardae666c52014-09-26 12:08:36 +0200695
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100696 if (strcmp(way, "S <- C") == 0) {
Hanno Becker01ea7782018-08-17 13:33:41 +0100697 delay_list = opt.delay_cli;
698 delay_list_len = opt.delay_cli_cnt;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100699 } else {
Hanno Becker01ea7782018-08-17 13:33:41 +0100700 delay_list = opt.delay_srv;
701 delay_list_len = opt.delay_srv_cnt;
702 }
Hanno Beckercf469452018-08-28 10:09:47 +0100703
Hanno Becker01ea7782018-08-17 13:33:41 +0100704 /* Check if message type is in the list of messages
705 * that should be delayed */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100706 for (delay_idx = 0; delay_idx < delay_list_len; delay_idx++) {
707 if (delay_list[delay_idx] == NULL) {
Hanno Becker01ea7782018-08-17 13:33:41 +0100708 continue;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100709 }
Hanno Becker01ea7782018-08-17 13:33:41 +0100710
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100711 if (strcmp(delay_list[delay_idx], cur.type) == 0) {
Hanno Becker01ea7782018-08-17 13:33:41 +0100712 /* Delay message */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100713 delay_packet(&cur);
Hanno Becker01ea7782018-08-17 13:33:41 +0100714
715 /* Remove entry from list */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100716 mbedtls_free(delay_list[delay_idx]);
Hanno Becker01ea7782018-08-17 13:33:41 +0100717 delay_list[delay_idx] = NULL;
718
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100719 return 0;
Hanno Becker01ea7782018-08-17 13:33:41 +0100720 }
721 }
722
Manuel Pégourié-Gonnard60fdd7e2014-09-06 14:49:52 +0200723 /* do we want to drop, delay, or forward it? */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100724 if ((opt.mtu != 0 &&
725 cur.len > (unsigned) opt.mtu) ||
726 (opt.drop != 0 &&
727 strcmp(cur.type, "CID") != 0 &&
728 strcmp(cur.type, "ApplicationData") != 0 &&
729 !(opt.protect_hvr &&
730 strcmp(cur.type, "HelloVerifyRequest") == 0) &&
731 cur.len != (size_t) opt.protect_len &&
732 held[id] < HOLD_MAX &&
733 rand() % opt.drop == 0)) {
Manuel Pégourié-Gonnard14134282021-07-06 12:39:43 +0200734 ++held[id];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100735 } else if ((opt.delay_ccs == 1 &&
736 strcmp(cur.type, "ChangeCipherSpec") == 0) ||
737 (opt.delay != 0 &&
738 strcmp(cur.type, "CID") != 0 &&
739 strcmp(cur.type, "ApplicationData") != 0 &&
740 !(opt.protect_hvr &&
741 strcmp(cur.type, "HelloVerifyRequest") == 0) &&
742 cur.len != (size_t) opt.protect_len &&
743 held[id] < HOLD_MAX &&
744 rand() % opt.delay == 0)) {
Manuel Pégourié-Gonnard14134282021-07-06 12:39:43 +0200745 ++held[id];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100746 delay_packet(&cur);
747 } else {
Manuel Pégourié-Gonnard60fdd7e2014-09-06 14:49:52 +0200748 /* forward and possibly duplicate */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100749 if ((ret = send_packet(&cur, "forwarded")) != 0) {
750 return ret;
751 }
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200752
Hanno Becker101bcba2018-08-21 16:39:51 +0100753 /* send previously delayed messages if any */
754 ret = send_delayed();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100755 if (ret != 0) {
756 return ret;
757 }
Manuel Pégourié-Gonnard21398c32014-09-06 14:36:46 +0200758 }
759
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100760 return 0;
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200761}
762
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100763int main(int argc, char *argv[])
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200764{
Andres Amaya Garcia80081a62018-04-29 21:58:53 +0100765 int ret = 1;
766 int exit_code = MBEDTLS_EXIT_FAILURE;
Hanno Becker01ea7782018-08-17 13:33:41 +0100767 uint8_t delay_idx;
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200768
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200769 mbedtls_net_context listen_fd, client_fd, server_fd;
Hanno Becker77abef52017-11-02 10:50:28 +0000770
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100771#if defined(MBEDTLS_TIMING_C)
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100772 struct timeval tm;
Hanno Becker77abef52017-11-02 10:50:28 +0000773#endif
774
775 struct timeval *tm_ptr = NULL;
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200776
777 int nb_fds;
778 fd_set read_fds;
779
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100780 mbedtls_net_init(&listen_fd);
781 mbedtls_net_init(&client_fd);
782 mbedtls_net_init(&server_fd);
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200783
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100784 get_options(argc, argv);
Manuel Pégourié-Gonnard992e1362014-09-20 18:06:23 +0200785
786 /*
787 * Decisions to drop/delay/duplicate packets are pseudo-random: dropping
788 * exactly 1 in N packets would lead to problems when a flight has exactly
789 * N packets: the same packet would be dropped on every resend.
790 *
791 * In order to be able to reproduce problems reliably, the seed may be
792 * specified explicitly.
793 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100794 if (opt.seed == 0) {
Gilles Peskine7ece7682022-04-05 21:39:43 +0200795#if defined(MBEDTLS_HAVE_TIME)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100796 opt.seed = (unsigned int) mbedtls_time(NULL);
Gilles Peskine7ece7682022-04-05 21:39:43 +0200797#else
798 opt.seed = 1;
799#endif /* MBEDTLS_HAVE_TIME */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100800 mbedtls_printf(" . Pseudo-random seed: %u\n", opt.seed);
Manuel Pégourié-Gonnard992e1362014-09-20 18:06:23 +0200801 }
802
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100803 srand(opt.seed);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200804
805 /*
Manuel Pégourié-Gonnard44d5e632014-09-06 08:07:45 +0200806 * 0. "Connect" to the server
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200807 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100808 mbedtls_printf(" . Connect to server on UDP/%s/%s ...",
809 opt.server_addr, opt.server_port);
810 fflush(stdout);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200811
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100812 if ((ret = mbedtls_net_connect(&server_fd, opt.server_addr, opt.server_port,
813 MBEDTLS_NET_PROTO_UDP)) != 0) {
814 mbedtls_printf(" failed\n ! mbedtls_net_connect returned %d\n\n", ret);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200815 goto exit;
816 }
817
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100818 mbedtls_printf(" ok\n");
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200819
820 /*
821 * 1. Setup the "listening" UDP socket
822 */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100823 mbedtls_printf(" . Bind on UDP/%s/%s ...",
824 opt.listen_addr, opt.listen_port);
825 fflush(stdout);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200826
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100827 if ((ret = mbedtls_net_bind(&listen_fd, opt.listen_addr, opt.listen_port,
828 MBEDTLS_NET_PROTO_UDP)) != 0) {
829 mbedtls_printf(" failed\n ! mbedtls_net_bind returned %d\n\n", ret);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200830 goto exit;
831 }
832
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100833 mbedtls_printf(" ok\n");
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200834
835 /*
836 * 2. Wait until a client connects
837 */
Manuel Pégourié-Gonnard6312e0f2014-09-23 12:46:33 +0200838accept:
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100839 mbedtls_net_free(&client_fd);
Manuel Pégourié-Gonnardabc729e2015-07-01 01:28:24 +0200840
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100841 mbedtls_printf(" . Waiting for a remote connection ...");
842 fflush(stdout);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200843
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100844 if ((ret = mbedtls_net_accept(&listen_fd, &client_fd,
845 NULL, 0, NULL)) != 0) {
846 mbedtls_printf(" failed\n ! mbedtls_net_accept returned %d\n\n", ret);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200847 goto exit;
848 }
849
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100850 mbedtls_printf(" ok\n");
Manuel Pégourié-Gonnard6312e0f2014-09-23 12:46:33 +0200851
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200852 /*
853 * 3. Forward packets forever (kill the process to terminate it)
854 */
Manuel Pégourié-Gonnardce8588c2014-10-01 00:56:03 +0200855 clear_pending();
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100856 memset(held, 0, sizeof(held));
Manuel Pégourié-Gonnardce8588c2014-10-01 00:56:03 +0200857
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200858 nb_fds = client_fd.fd;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100859 if (nb_fds < server_fd.fd) {
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200860 nb_fds = server_fd.fd;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100861 }
862 if (nb_fds < listen_fd.fd) {
Manuel Pégourié-Gonnard5db64322015-06-30 15:40:39 +0200863 nb_fds = listen_fd.fd;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100864 }
Manuel Pégourié-Gonnard6312e0f2014-09-23 12:46:33 +0200865 ++nb_fds;
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200866
Hanno Becker0cc77742017-10-31 14:10:07 +0000867#if defined(MBEDTLS_TIMING_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100868 if (opt.pack > 0) {
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100869 outbuf[0].ctx = &server_fd;
870 outbuf[0].description = "S <- C";
871 outbuf[0].num_datagrams = 0;
872 outbuf[0].len = 0;
873
874 outbuf[1].ctx = &client_fd;
875 outbuf[1].description = "S -> C";
876 outbuf[1].num_datagrams = 0;
877 outbuf[1].len = 0;
878 }
Hanno Becker0cc77742017-10-31 14:10:07 +0000879#endif /* MBEDTLS_TIMING_C */
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100880
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100881 while (1) {
Hanno Becker77abef52017-11-02 10:50:28 +0000882#if defined(MBEDTLS_TIMING_C)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100883 if (opt.pack > 0) {
Hanno Becker77abef52017-11-02 10:50:28 +0000884 unsigned max_wait_server, max_wait_client, max_wait;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100885 max_wait_server = ctx_buffer_time_remaining(&outbuf[0]);
886 max_wait_client = ctx_buffer_time_remaining(&outbuf[1]);
Hanno Becker77abef52017-11-02 10:50:28 +0000887
888 max_wait = (unsigned) -1;
889
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100890 if (max_wait_server == 0) {
891 ctx_buffer_flush(&outbuf[0]);
892 } else {
Hanno Becker77abef52017-11-02 10:50:28 +0000893 max_wait = max_wait_server;
Hanno Becker77abef52017-11-02 10:50:28 +0000894 }
895
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100896 if (max_wait_client == 0) {
897 ctx_buffer_flush(&outbuf[1]);
898 } else {
899 if (max_wait_client < max_wait) {
900 max_wait = max_wait_client;
901 }
902 }
903
904 if (max_wait != (unsigned) -1) {
Hanno Becker77abef52017-11-02 10:50:28 +0000905 tm.tv_sec = max_wait / 1000;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100906 tm.tv_usec = (max_wait % 1000) * 1000;
Hanno Becker77abef52017-11-02 10:50:28 +0000907
908 tm_ptr = &tm;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100909 } else {
Hanno Becker77abef52017-11-02 10:50:28 +0000910 tm_ptr = NULL;
911 }
912 }
913#endif /* MBEDTLS_TIMING_C */
914
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100915 FD_ZERO(&read_fds);
916 FD_SET(server_fd.fd, &read_fds);
917 FD_SET(client_fd.fd, &read_fds);
918 FD_SET(listen_fd.fd, &read_fds);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200919
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100920 if ((ret = select(nb_fds, &read_fds, NULL, NULL, tm_ptr)) < 0) {
921 perror("select");
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200922 goto exit;
923 }
924
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100925 if (FD_ISSET(listen_fd.fd, &read_fds)) {
Manuel Pégourié-Gonnard6312e0f2014-09-23 12:46:33 +0200926 goto accept;
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200927 }
928
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100929 if (FD_ISSET(client_fd.fd, &read_fds)) {
930 if ((ret = handle_message("S <- C",
931 &server_fd, &client_fd)) != 0) {
Manuel Pégourié-Gonnardce8588c2014-10-01 00:56:03 +0200932 goto accept;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100933 }
934 }
935
936 if (FD_ISSET(server_fd.fd, &read_fds)) {
937 if ((ret = handle_message("S -> C",
938 &client_fd, &server_fd)) != 0) {
939 goto accept;
940 }
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200941 }
Hanno Becker1dd62ea2017-05-22 14:30:59 +0100942
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200943 }
944
Andres Amaya Garcia80081a62018-04-29 21:58:53 +0100945 exit_code = MBEDTLS_EXIT_SUCCESS;
946
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200947exit:
948
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200949#ifdef MBEDTLS_ERROR_C
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100950 if (exit_code != MBEDTLS_EXIT_SUCCESS) {
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200951 char error_buf[100];
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100952 mbedtls_strerror(ret, error_buf, 100);
953 mbedtls_printf("Last error was: -0x%04X - %s\n\n", (unsigned int) -ret, error_buf);
954 fflush(stdout);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200955 }
956#endif
957
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100958 for (delay_idx = 0; delay_idx < MAX_DELAYED_HS; delay_idx++) {
959 mbedtls_free(opt.delay_cli[delay_idx]);
960 mbedtls_free(opt.delay_srv[delay_idx]);
Hanno Becker01ea7782018-08-17 13:33:41 +0100961 }
962
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100963 mbedtls_net_free(&client_fd);
964 mbedtls_net_free(&server_fd);
965 mbedtls_net_free(&listen_fd);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200966
967#if defined(_WIN32)
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100968 mbedtls_printf(" Press Enter to exit this program.\n");
969 fflush(stdout); getchar();
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200970#endif
971
Gilles Peskine1b6c09a2023-01-11 14:52:35 +0100972 mbedtls_exit(exit_code);
Manuel Pégourié-Gonnardcb4137b2014-09-04 14:55:28 +0200973}
974
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200975#endif /* MBEDTLS_NET_C */