blob: ea5dbecb89c23c1b0c8b0052d97be143c64f7ad1 [file] [log] [blame]
Gilles Peskinea3ed34f2021-01-05 21:11:16 +01001/*
2 * Common code for SSL test programs
3 *
4 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Gilles Peskinea3ed34f2021-01-05 21:11:16 +01006 */
7
8#ifndef MBEDTLS_PROGRAMS_SSL_SSL_TEST_LIB_H
9#define MBEDTLS_PROGRAMS_SSL_SSL_TEST_LIB_H
10
Bence Szépkútic662b362021-05-27 11:25:03 +020011#include "mbedtls/build_info.h"
Gilles Peskineab7ce962021-01-05 21:27:53 +010012
Gilles Peskineab7ce962021-01-05 21:27:53 +010013#include "mbedtls/platform.h"
Manuel Pégourié-Gonnard23fc4372023-03-17 13:34:11 +010014#include "mbedtls/md.h"
Gilles Peskineab7ce962021-01-05 21:27:53 +010015
Gilles Peskine8133abd2021-02-08 21:20:12 +010016#undef HAVE_RNG
Ben Taylor4bb98be2025-05-07 14:21:20 +010017#if defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) || \
18 defined(MBEDTLS_TEST_USE_PSA_CRYPTO_RNG)
Gilles Peskine8133abd2021-02-08 21:20:12 +010019#define HAVE_RNG
20#elif defined(MBEDTLS_ENTROPY_C) && defined(MBEDTLS_CTR_DRBG_C)
21#define HAVE_RNG
22#elif defined(MBEDTLS_ENTROPY_C) && defined(MBEDTLS_HMAC_DRBG_C) && \
Gabor Mezeic15ef932024-06-13 12:53:54 +020023 (defined(PSA_WANT_ALG_SHA_256) || defined(PSA_WANT_ALG_SHA_512))
Gilles Peskine8133abd2021-02-08 21:20:12 +010024#define HAVE_RNG
25#endif
26
27#if !defined(MBEDTLS_NET_C) || \
Andrzej Kurek03e01462022-01-03 12:53:24 +010028 !defined(MBEDTLS_SSL_TLS_C)
29#define MBEDTLS_SSL_TEST_IMPOSSIBLE \
30 "MBEDTLS_NET_C and/or " \
31 "MBEDTLS_SSL_TLS_C not defined."
Gilles Peskine8133abd2021-02-08 21:20:12 +010032#elif !defined(HAVE_RNG)
Andrzej Kurek03e01462022-01-03 12:53:24 +010033#define MBEDTLS_SSL_TEST_IMPOSSIBLE \
Gilles Peskine8133abd2021-02-08 21:20:12 +010034 "No random generator is available.\n"
Gilles Peskineab7ce962021-01-05 21:27:53 +010035#else
36#undef MBEDTLS_SSL_TEST_IMPOSSIBLE
Gilles Peskine67638d62021-01-05 21:36:29 +010037
Gilles Peskine8133abd2021-02-08 21:20:12 +010038#undef HAVE_RNG
39
Gilles Peskine67638d62021-01-05 21:36:29 +010040#include <stdio.h>
41#include <stdlib.h>
42#include <string.h>
43
44#include "mbedtls/net_sockets.h"
45#include "mbedtls/ssl.h"
Glenn Strauss6eef5632022-01-23 08:37:02 -050046#include "mbedtls/ssl_ciphersuites.h"
Gilles Peskine67638d62021-01-05 21:36:29 +010047#include "mbedtls/entropy.h"
48#include "mbedtls/ctr_drbg.h"
Gilles Peskineba749042021-01-13 20:02:03 +010049#include "mbedtls/hmac_drbg.h"
Gilles Peskine67638d62021-01-05 21:36:29 +010050#include "mbedtls/x509.h"
51#include "mbedtls/error.h"
52#include "mbedtls/debug.h"
53#include "mbedtls/timing.h"
54#include "mbedtls/base64.h"
Mateusz Starzyk1aec6462021-02-08 15:34:42 +010055#include "test/certs.h"
Gilles Peskine67638d62021-01-05 21:36:29 +010056
Gilles Peskine67638d62021-01-05 21:36:29 +010057#include "psa/crypto.h"
58#include "mbedtls/psa_util.h"
Gilles Peskineab7ce962021-01-05 21:27:53 +010059
Gilles Peskine67638d62021-01-05 21:36:29 +010060#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
61#include "mbedtls/memory_buffer_alloc.h"
62#endif
63
64#include <test/helpers.h>
65
Harry Ramseyc19b8e82025-02-11 14:14:00 +000066#include "query_config.h"
Gilles Peskine7c818d62021-01-05 22:33:13 +010067
Przemek Stekielda4fba62023-06-02 14:52:28 +020068#define ALPN_LIST_SIZE 10
Przemek Stekiel45255e42023-06-29 13:56:36 +020069#define GROUP_LIST_SIZE 25
Przemek Stekielda4fba62023-06-02 14:52:28 +020070#define SIG_ALG_LIST_SIZE 5
71
Gilles Peskine449bd832023-01-11 14:50:10 +010072typedef struct eap_tls_keys {
Gilles Peskine7c818d62021-01-05 22:33:13 +010073 unsigned char master_secret[48];
74 unsigned char randbytes[64];
75 mbedtls_tls_prf_types tls_prf_type;
76} eap_tls_keys;
77
Gilles Peskine449bd832023-01-11 14:50:10 +010078#if defined(MBEDTLS_SSL_DTLS_SRTP)
Gilles Peskine7c818d62021-01-05 22:33:13 +010079
80/* Supported SRTP mode needs a maximum of :
81 * - 16 bytes for key (AES-128)
82 * - 14 bytes SALT
83 * One for sender, one for receiver context
84 */
85#define MBEDTLS_TLS_SRTP_MAX_KEY_MATERIAL_LENGTH 60
86
Gilles Peskine449bd832023-01-11 14:50:10 +010087typedef struct dtls_srtp_keys {
Gilles Peskine7c818d62021-01-05 22:33:13 +010088 unsigned char master_secret[48];
89 unsigned char randbytes[64];
90 mbedtls_tls_prf_types tls_prf_type;
91} dtls_srtp_keys;
92
93#endif /* MBEDTLS_SSL_DTLS_SRTP */
94
Gilles Peskine449bd832023-01-11 14:50:10 +010095typedef struct {
Gilles Peskine7c818d62021-01-05 22:33:13 +010096 mbedtls_ssl_context *ssl;
97 mbedtls_net_context *net;
98} io_ctx_t;
99
Gilles Peskine449bd832023-01-11 14:50:10 +0100100void my_debug(void *ctx, int level,
101 const char *file, int line,
102 const char *str);
Gilles Peskine67638d62021-01-05 21:36:29 +0100103
Raoul Strackx9ed9bc92020-06-22 14:08:57 +0200104#if defined(MBEDTLS_HAVE_TIME)
Gilles Peskine449bd832023-01-11 14:50:10 +0100105mbedtls_time_t dummy_constant_time(mbedtls_time_t *time);
Raoul Strackx9ed9bc92020-06-22 14:08:57 +0200106#endif
Gilles Peskine504c1a32021-01-05 23:40:14 +0100107
Ben Taylor4bb98be2025-05-07 14:21:20 +0100108#if !defined(MBEDTLS_TEST_USE_PSA_CRYPTO_RNG)
Gilles Peskine8eb29432021-02-03 20:07:11 +0100109/* If MBEDTLS_TEST_USE_PSA_CRYPTO_RNG is defined, the SSL test programs will use
110 * mbedtls_psa_get_random() rather than entropy+DRBG as a random generator.
111 *
112 * The constraints are:
113 * - Without the entropy module, the PSA RNG is the only option.
114 * - Without at least one of the DRBG modules, the PSA RNG is the only option.
115 * - The PSA RNG does not support explicit seeding, so it is incompatible with
116 * the reproducible mode used by test programs.
117 * - For good overall test coverage, there should be at least one configuration
118 * where the test programs use the PSA RNG while the PSA RNG is itself based
119 * on entropy+DRBG, and at least one configuration where the test programs
120 * do not use the PSA RNG even though it's there.
Gilles Peskine8eb29432021-02-03 20:07:11 +0100121 */
122#define MBEDTLS_TEST_USE_PSA_CRYPTO_RNG
123#endif
124
Gilles Peskinedaa94c42021-01-13 18:38:27 +0100125/** A context for random number generation (RNG).
Gilles Peskine8a8492b2021-01-13 18:17:32 +0100126 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100127typedef struct {
Gilles Peskine8eb29432021-02-03 20:07:11 +0100128#if defined(MBEDTLS_TEST_USE_PSA_CRYPTO_RNG)
129 unsigned char dummy;
130#else /* MBEDTLS_TEST_USE_PSA_CRYPTO_RNG */
Gilles Peskine8a8492b2021-01-13 18:17:32 +0100131 mbedtls_entropy_context entropy;
Gilles Peskineba749042021-01-13 20:02:03 +0100132#if defined(MBEDTLS_CTR_DRBG_C)
Gilles Peskine8a8492b2021-01-13 18:17:32 +0100133 mbedtls_ctr_drbg_context drbg;
Gilles Peskineba749042021-01-13 20:02:03 +0100134#elif defined(MBEDTLS_HMAC_DRBG_C)
135 mbedtls_hmac_drbg_context drbg;
136#else
137#error "No DRBG available"
138#endif
Gilles Peskine8eb29432021-02-03 20:07:11 +0100139#endif /* MBEDTLS_TEST_USE_PSA_CRYPTO_RNG */
Gilles Peskine8a8492b2021-01-13 18:17:32 +0100140} rng_context_t;
141
Gilles Peskinedaa94c42021-01-13 18:38:27 +0100142/** Initialize the RNG.
143 *
144 * This function only initializes the memory used by the RNG context.
145 * Before using the RNG, it must be seeded with rng_seed().
146 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100147void rng_init(rng_context_t *rng);
Gilles Peskinedaa94c42021-01-13 18:38:27 +0100148
149/* Seed the random number generator.
150 *
151 * \param rng The RNG context to use. It must have been initialized
152 * with rng_init().
153 * \param reproducible If zero, seed the RNG from entropy.
154 * If nonzero, use a fixed seed, so that the program
155 * will produce the same sequence of random numbers
156 * each time it is invoked.
157 * \param pers A null-terminated string. Different values for this
158 * string cause the RNG to emit different output for
159 * the same seed.
160 *
161 * return 0 on success, a negative value on error.
162 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100163int rng_seed(rng_context_t *rng, int reproducible, const char *pers);
Gilles Peskinedaa94c42021-01-13 18:38:27 +0100164
165/** Deinitialize the RNG. Free any embedded resource.
166 *
167 * \param rng The RNG context to deinitialize. It must have been
168 * initialized with rng_init().
169 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100170void rng_free(rng_context_t *rng);
Gilles Peskinedaa94c42021-01-13 18:38:27 +0100171
Gilles Peskine535fb372021-01-13 18:59:46 +0100172/** Generate random data.
173 *
174 * This function is suitable for use as the \c f_rng argument to Mbed TLS
175 * library functions.
176 *
Gilles Peskineda9529f2021-01-25 13:42:42 +0100177 * \param p_rng The random generator context. This must be a pointer to
178 * a #rng_context_t structure.
Gilles Peskine535fb372021-01-13 18:59:46 +0100179 * \param output The buffer to fill.
180 * \param output_len The length of the buffer in bytes.
181 *
182 * \return \c 0 on success.
183 * \return An Mbed TLS error code on error.
184 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100185int rng_get(void *p_rng, unsigned char *output, size_t output_len);
Gilles Peskine535fb372021-01-13 18:59:46 +0100186
Przemek Stekiel85d692d2022-04-25 12:42:55 +0200187/** Parse command-line option: key_opaque_algs
188 *
189 *
190 * \param arg String value of key_opaque_algs
191 * Coma-separated pair of values among the following:
192 * - "rsa-sign-pkcs1"
193 * - "rsa-sign-pss"
Przemek Stekiel85d692d2022-04-25 12:42:55 +0200194 * - "ecdsa-sign"
195 * - "ecdh"
196 * - "none" (only acceptable for the second value).
197 * \param alg1 Address of pointer to alg #1
198 * \param alg2 Address of pointer to alg #2
199 *
200 * \return \c 0 on success.
201 * \return \c 1 on parse failure.
202 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100203int key_opaque_alg_parse(const char *arg, const char **alg1, const char **alg2);
Przemek Stekiel85d692d2022-04-25 12:42:55 +0200204
bootstrap-prime6dbbf442022-05-17 19:30:44 -0400205/** Parse given opaque key algorithms to obtain psa algs and usage
Przemek Stekiel01396a12022-05-02 13:41:53 +0200206 * that will be passed to mbedtls_pk_wrap_as_opaque().
207 *
208 *
209 * \param alg1 input string opaque key algorithm #1
Przemek Stekielcb20d202022-05-06 08:42:34 +0200210 * \param alg2 input string opaque key algorithm #2
Przemek Stekiel01396a12022-05-02 13:41:53 +0200211 * \param psa_alg1 output PSA algorithm #1
212 * \param psa_alg2 output PSA algorithm #2
213 * \param usage output key usage
Przemek Stekielcb20d202022-05-06 08:42:34 +0200214 * \param key_type key type used to set default psa algorithm/usage
215 * when alg1 in "none"
Przemek Stekiel01396a12022-05-02 13:41:53 +0200216 *
217 * \return \c 0 on success.
218 * \return \c 1 on parse failure.
219 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100220int key_opaque_set_alg_usage(const char *alg1, const char *alg2,
221 psa_algorithm_t *psa_alg1,
222 psa_algorithm_t *psa_alg2,
223 psa_key_usage_t *usage,
224 mbedtls_pk_type_t key_type);
Valerio Setti7541ebe2024-02-27 10:44:33 +0100225
Valerio Setti90eca2a2024-02-28 10:45:43 +0100226#if defined(MBEDTLS_PK_C)
Valerio Setti7541ebe2024-02-27 10:44:33 +0100227/** Turn a non-opaque PK context into an opaque one with folowing steps:
228 * - extract the key data and attributes from the PK context.
229 * - import the key material into PSA.
230 * - free the provided PK context and re-initilize it as an opaque PK context
231 * wrapping the PSA key imported in the above step.
232 *
Gilles Peskine2e5a7ea2025-02-12 23:11:09 +0100233 * \param[in,out] pk On input, the non-opaque PK context which contains the
234 * key to be wrapped. On output, the re-initialized PK
Valerio Setti7541ebe2024-02-27 10:44:33 +0100235 * context which represents the opaque version of the one
236 * provided as input.
237 * \param[in] psa_alg The primary algorithm that will be associated to the
238 * PSA key.
239 * \param[in] psa_alg2 The enrollment algorithm that will be associated to the
240 * PSA key.
241 * \param[in] psa_usage The PSA key usage policy.
242 * \param[out] key_id The PSA key identifier of the imported key.
243 *
244 * \return \c 0 on sucess.
245 * \return \c -1 on failure.
246 */
247int pk_wrap_as_opaque(mbedtls_pk_context *pk, psa_algorithm_t psa_alg, psa_algorithm_t psa_alg2,
248 psa_key_usage_t psa_usage, mbedtls_svc_key_id_t *key_id);
Valerio Setti90eca2a2024-02-28 10:45:43 +0100249#endif /* MBEDTLS_PK_C */
Przemek Stekiel01396a12022-05-02 13:41:53 +0200250
Ben Taylor4bb98be2025-05-07 14:21:20 +0100251#if defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG)
Gilles Peskine21462112021-01-13 23:53:09 +0100252/* The test implementation of the PSA external RNG is insecure. When
253 * MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG is enabled, before using any PSA crypto
254 * function that makes use of an RNG, you must call
255 * mbedtls_test_enable_insecure_external_rng(). */
Gilles Peskine1af872d2021-01-20 20:02:01 +0100256#include <test/fake_external_rng_for_test.h>
Gilles Peskine21462112021-01-13 23:53:09 +0100257#endif
Gilles Peskine504c1a32021-01-05 23:40:14 +0100258
259#if defined(MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK)
Gilles Peskine449bd832023-01-11 14:50:10 +0100260int ca_callback(void *data, mbedtls_x509_crt const *child,
261 mbedtls_x509_crt **candidates);
Gilles Peskine504c1a32021-01-05 23:40:14 +0100262#endif /* MBEDTLS_X509_TRUSTED_CERTIFICATE_CALLBACK */
263
264/*
265 * Test recv/send functions that make sure each try returns
Shaun Case8b0ecbc2021-12-20 21:14:10 -0800266 * WANT_READ/WANT_WRITE at least once before succeeding
Gilles Peskine504c1a32021-01-05 23:40:14 +0100267 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100268int delayed_recv(void *ctx, unsigned char *buf, size_t len);
269int delayed_send(void *ctx, const unsigned char *buf, size_t len);
Gilles Peskine504c1a32021-01-05 23:40:14 +0100270
271/*
272 * Wait for an event from the underlying transport or the timer
273 * (Used in event-driven IO mode).
274 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100275int idle(mbedtls_net_context *fd,
Gilles Peskine504c1a32021-01-05 23:40:14 +0100276#if defined(MBEDTLS_TIMING_C)
Gilles Peskine449bd832023-01-11 14:50:10 +0100277 mbedtls_timing_delay_context *timer,
Gilles Peskine504c1a32021-01-05 23:40:14 +0100278#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100279 int idle_reason);
Gilles Peskine504c1a32021-01-05 23:40:14 +0100280
Gilles Peskine53dea742021-02-02 22:55:06 +0100281#if defined(MBEDTLS_TEST_HOOKS)
282/** Initialize whatever test hooks are enabled by the compile-time
283 * configuration and make sense for the TLS test programs. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100284void test_hooks_init(void);
Gilles Peskine53dea742021-02-02 22:55:06 +0100285
286/** Check if any test hooks detected a problem.
287 *
Gilles Peskine00d0ad42021-02-15 11:02:51 +0100288 * If a problem was detected, it's ok for the calling program to keep going,
289 * but it should ultimately exit with an error status.
290 *
291 * \note When implementing a test hook that detects errors on its own
292 * (as opposed to e.g. leaving the error for a memory sanitizer to
293 * report), make sure to print a message to standard error either at
294 * the time the problem is detected or during the execution of this
295 * function. This function does not indicate what problem was detected,
296 * so printing a message is the only way to provide feedback in the
297 * logs of the calling program.
Gilles Peskine53dea742021-02-02 22:55:06 +0100298 *
299 * \return Nonzero if a problem was detected.
300 * \c 0 if no problem was detected.
301 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100302int test_hooks_failure_detected(void);
Gilles Peskine53dea742021-02-02 22:55:06 +0100303
304/** Free any resources allocated for the sake of test hooks.
305 *
306 * Call this at the end of the program so that resource leak analyzers
307 * don't complain.
308 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100309void test_hooks_free(void);
Gilles Peskine53dea742021-02-02 22:55:06 +0100310
Gilles Peskine53dea742021-02-02 22:55:06 +0100311#endif /* !MBEDTLS_TEST_HOOKS */
312
Przemek Stekiele7db09b2023-05-31 11:29:55 +0200313/* Helper functions for FFDH groups. */
Przemek Stekiel68e75442023-07-06 11:21:39 +0200314int parse_groups(const char *groups, uint16_t *group_list, size_t group_list_len);
Przemek Stekiele7db09b2023-05-31 11:29:55 +0200315
Gilles Peskine504c1a32021-01-05 23:40:14 +0100316#endif /* MBEDTLS_SSL_TEST_IMPOSSIBLE conditions: else */
Gilles Peskinea3ed34f2021-01-05 21:11:16 +0100317#endif /* MBEDTLS_PROGRAMS_SSL_SSL_TEST_LIB_H */