blob: 88caccb707644a35d243e102cfb0900f9eabd885 [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.]
56 */
57/* ====================================================================
58 * Copyright (c) 1998-2007 The OpenSSL Project. All rights reserved.
59 *
60 * Redistribution and use in source and binary forms, with or without
61 * modification, are permitted provided that the following conditions
62 * are met:
63 *
64 * 1. Redistributions of source code must retain the above copyright
65 * notice, this list of conditions and the following disclaimer.
66 *
67 * 2. Redistributions in binary form must reproduce the above copyright
68 * notice, this list of conditions and the following disclaimer in
69 * the documentation and/or other materials provided with the
70 * distribution.
71 *
72 * 3. All advertising materials mentioning features or use of this
73 * software must display the following acknowledgment:
74 * "This product includes software developed by the OpenSSL Project
75 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
76 *
77 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
78 * endorse or promote products derived from this software without
79 * prior written permission. For written permission, please contact
80 * openssl-core@openssl.org.
81 *
82 * 5. Products derived from this software may not be called "OpenSSL"
83 * nor may "OpenSSL" appear in their names without prior written
84 * permission of the OpenSSL Project.
85 *
86 * 6. Redistributions of any form whatsoever must retain the following
87 * acknowledgment:
88 * "This product includes software developed by the OpenSSL Project
89 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
90 *
91 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
92 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
93 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
94 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
95 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
96 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
97 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
98 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
99 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
100 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
101 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
102 * OF THE POSSIBILITY OF SUCH DAMAGE.
103 * ====================================================================
104 *
105 * This product includes cryptographic software written by Eric Young
106 * (eay@cryptsoft.com). This product includes software written by Tim
107 * Hudson (tjh@cryptsoft.com).
108 *
109 */
110/* ====================================================================
111 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
112 * ECC cipher suite support in OpenSSL originally developed by
113 * SUN MICROSYSTEMS, INC., and contributed to the OpenSSL project.
114 */
115/* ====================================================================
116 * Copyright 2005 Nokia. All rights reserved.
117 *
118 * The portions of the attached software ("Contribution") is developed by
119 * Nokia Corporation and is licensed pursuant to the OpenSSL open source
120 * license.
121 *
122 * The Contribution, originally written by Mika Kousa and Pasi Eronen of
123 * Nokia Corporation, consists of the "PSK" (Pre-Shared Key) ciphersuites
124 * support (see RFC 4279) to OpenSSL.
125 *
126 * No patent licenses or other rights except those expressly stated in
127 * the OpenSSL open source license shall be deemed granted or received
128 * expressly, by implication, estoppel, or otherwise.
129 *
130 * No assurances are provided by Nokia that the Contribution does not
131 * infringe the patent or other intellectual property rights of any third
132 * party or that the license provides you with all the necessary rights
133 * to make use of the Contribution.
134 *
135 * THE SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND. IN
136 * ADDITION TO THE DISCLAIMERS INCLUDED IN THE LICENSE, NOKIA
137 * SPECIFICALLY DISCLAIMS ANY LIABILITY FOR CLAIMS BROUGHT BY YOU OR ANY
138 * OTHER ENTITY BASED ON INFRINGEMENT OF INTELLECTUAL PROPERTY RIGHTS OR
139 * OTHERWISE.
140 */
141
David Benjamin2ee94aa2015-04-07 22:38:30 -0400142#ifndef OPENSSL_HEADER_SSL_INTERNAL_H
143#define OPENSSL_HEADER_SSL_INTERNAL_H
Adam Langley95c29f32014-06-20 12:00:00 -0700144
145#include <openssl/base.h>
146
Adam Langleyc9fb3752014-06-20 12:00:00 -0700147#include <openssl/aead.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700148#include <openssl/ssl.h>
149#include <openssl/stack.h>
150
Steven Valdezcb966542016-08-17 16:56:14 -0400151
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400152#if defined(OPENSSL_WINDOWS)
153/* Windows defines struct timeval in winsock2.h. */
David Benjamina353cdb2016-06-09 16:48:33 -0400154OPENSSL_MSVC_PRAGMA(warning(push, 3))
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400155#include <winsock2.h>
David Benjamina353cdb2016-06-09 16:48:33 -0400156OPENSSL_MSVC_PRAGMA(warning(pop))
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400157#else
David Benjamin0abd6f22015-12-04 21:49:53 -0500158#include <sys/time.h>
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400159#endif
160
Steven Valdez87eab492016-06-27 16:34:59 -0400161#if defined(__cplusplus)
162extern "C" {
163#endif
164
Adam Langleyfcf25832014-12-18 17:42:32 -0800165
David Benjamin71f07942015-04-08 02:36:59 -0400166/* Cipher suites. */
167
168/* Bits for |algorithm_mkey| (key exchange algorithm). */
169#define SSL_kRSA 0x00000001L
Matthew Braithwaite7e06de52017-04-10 15:52:14 -0700170#define SSL_kECDHE 0x00000002L
David Benjamin71f07942015-04-08 02:36:59 -0400171/* SSL_kPSK is only set for plain PSK, not ECDHE_PSK. */
Matthew Braithwaite7e06de52017-04-10 15:52:14 -0700172#define SSL_kPSK 0x00000004L
173#define SSL_kGENERIC 0x00000008L
David Benjamin71f07942015-04-08 02:36:59 -0400174
175/* Bits for |algorithm_auth| (server authentication). */
176#define SSL_aRSA 0x00000001L
177#define SSL_aECDSA 0x00000002L
178/* SSL_aPSK is set for both PSK and ECDHE_PSK. */
179#define SSL_aPSK 0x00000004L
Steven Valdez803c77a2016-09-06 14:13:43 -0400180#define SSL_aGENERIC 0x00000008L
David Benjamin71f07942015-04-08 02:36:59 -0400181
David Benjaminc032dfa2016-05-12 14:54:57 -0400182#define SSL_aCERT (SSL_aRSA | SSL_aECDSA)
183
David Benjamin71f07942015-04-08 02:36:59 -0400184/* Bits for |algorithm_enc| (symmetric encryption). */
Matthew Braithwaite8aaa9e12016-09-07 15:09:58 -0700185#define SSL_3DES 0x00000001L
186#define SSL_AES128 0x00000002L
187#define SSL_AES256 0x00000004L
188#define SSL_AES128GCM 0x00000008L
189#define SSL_AES256GCM 0x00000010L
Adam Langley2e839242017-01-19 15:12:44 -0800190#define SSL_eNULL 0x00000020L
191#define SSL_CHACHA20POLY1305 0x00000040L
David Benjamin71f07942015-04-08 02:36:59 -0400192
193#define SSL_AES (SSL_AES128 | SSL_AES256 | SSL_AES128GCM | SSL_AES256GCM)
194
195/* Bits for |algorithm_mac| (symmetric authentication). */
David Benjamin5fc99c62017-01-10 08:19:12 -0500196#define SSL_SHA1 0x00000001L
197#define SSL_SHA256 0x00000002L
198#define SSL_SHA384 0x00000004L
David Benjamin71f07942015-04-08 02:36:59 -0400199/* SSL_AEAD is set for all AEADs. */
David Benjamin5fc99c62017-01-10 08:19:12 -0500200#define SSL_AEAD 0x00000008L
David Benjamin71f07942015-04-08 02:36:59 -0400201
David Benjamin5055c762015-08-04 09:24:14 -0400202/* Bits for |algorithm_prf| (handshake digest). */
David Benjaminb0883312015-08-06 09:54:13 -0400203#define SSL_HANDSHAKE_MAC_DEFAULT 0x1
204#define SSL_HANDSHAKE_MAC_SHA256 0x2
205#define SSL_HANDSHAKE_MAC_SHA384 0x4
David Benjamin71f07942015-04-08 02:36:59 -0400206
207/* SSL_MAX_DIGEST is the number of digest types which exist. When adding a new
208 * one, update the table in ssl_cipher.c. */
209#define SSL_MAX_DIGEST 4
210
David Benjamin71f07942015-04-08 02:36:59 -0400211/* ssl_cipher_get_evp_aead sets |*out_aead| to point to the correct EVP_AEAD
212 * object for |cipher| protocol version |version|. It sets |*out_mac_secret_len|
213 * and |*out_fixed_iv_len| to the MAC key length and fixed IV length,
214 * respectively. The MAC key length is zero except for legacy block and stream
215 * ciphers. It returns 1 on success and 0 on error. */
216int ssl_cipher_get_evp_aead(const EVP_AEAD **out_aead,
217 size_t *out_mac_secret_len,
Steven Valdez2f3404b2017-05-24 16:54:35 -0400218 size_t *out_fixed_iv_len, const SSL_CIPHER *cipher,
219 uint16_t version, int is_dtls);
David Benjamin71f07942015-04-08 02:36:59 -0400220
David Benjaminb0883312015-08-06 09:54:13 -0400221/* ssl_get_handshake_digest returns the |EVP_MD| corresponding to
Steven Valdez908ac192017-01-12 13:17:07 -0500222 * |algorithm_prf| and the |version|. */
223const EVP_MD *ssl_get_handshake_digest(uint32_t algorithm_prf,
224 uint16_t version);
David Benjamin71f07942015-04-08 02:36:59 -0400225
226/* ssl_create_cipher_list evaluates |rule_str| according to the ciphers in
227 * |ssl_method|. It sets |*out_cipher_list| to a newly-allocated
Matthew Braithwaite6ad20dc2017-02-21 16:41:33 -0800228 * |ssl_cipher_preference_list_st| containing the result. It returns 1 on
229 * success and 0 on failure. If |strict| is true, nonsense will be rejected. If
230 * false, nonsense will be silently ignored. An empty result is considered an
231 * error regardless of |strict|. */
232int ssl_create_cipher_list(
233 const SSL_PROTOCOL_METHOD *ssl_method,
234 struct ssl_cipher_preference_list_st **out_cipher_list,
235 const char *rule_str, int strict);
David Benjamin71f07942015-04-08 02:36:59 -0400236
David Benjamina1c90a52015-05-30 17:03:14 -0400237/* ssl_cipher_get_value returns the cipher suite id of |cipher|. */
238uint16_t ssl_cipher_get_value(const SSL_CIPHER *cipher);
239
David Benjamin69522112017-03-28 15:38:29 -0500240/* ssl_cipher_auth_mask_for_key returns the mask of cipher |algorithm_auth|
241 * values suitable for use with |key| in TLS 1.2 and below. */
242uint32_t ssl_cipher_auth_mask_for_key(const EVP_PKEY *key);
David Benjamin71f07942015-04-08 02:36:59 -0400243
David Benjaminc032dfa2016-05-12 14:54:57 -0400244/* ssl_cipher_uses_certificate_auth returns one if |cipher| authenticates the
245 * server and, optionally, the client with a certificate. Otherwise it returns
246 * zero. */
247int ssl_cipher_uses_certificate_auth(const SSL_CIPHER *cipher);
David Benjamin71f07942015-04-08 02:36:59 -0400248
249/* ssl_cipher_requires_server_key_exchange returns 1 if |cipher| requires a
250 * ServerKeyExchange message. Otherwise it returns 0.
251 *
David Benjaminc032dfa2016-05-12 14:54:57 -0400252 * This function may return zero while still allowing |cipher| an optional
253 * ServerKeyExchange. This is the case for plain PSK ciphers. */
David Benjamin71f07942015-04-08 02:36:59 -0400254int ssl_cipher_requires_server_key_exchange(const SSL_CIPHER *cipher);
255
David Benjaminb8d28cf2015-07-28 21:34:45 -0400256/* ssl_cipher_get_record_split_len, for TLS 1.0 CBC mode ciphers, returns the
257 * length of an encrypted 1-byte record, for use in record-splitting. Otherwise
258 * it returns zero. */
259size_t ssl_cipher_get_record_split_len(const SSL_CIPHER *cipher);
260
David Benjamin71f07942015-04-08 02:36:59 -0400261
Steven Valdez908ac192017-01-12 13:17:07 -0500262/* Transcript layer. */
263
264/* SSL_TRANSCRIPT maintains the handshake transcript as a combination of a
265 * buffer and running hash. */
266typedef struct ssl_transcript_st {
267 /* buffer, if non-NULL, contains the handshake transcript. */
268 BUF_MEM *buffer;
269 /* hash, if initialized with an |EVP_MD|, maintains the handshake hash. For
270 * TLS 1.1 and below, it is the SHA-1 half. */
271 EVP_MD_CTX hash;
272 /* md5, if initialized with an |EVP_MD|, maintains the MD5 half of the
273 * handshake hash for TLS 1.1 and below. */
274 EVP_MD_CTX md5;
275} SSL_TRANSCRIPT;
276
277/* SSL_TRANSCRIPT_init initializes the handshake transcript. If called on an
278 * existing transcript, it resets the transcript and hash. It returns one on
279 * success and zero on failure. */
280int SSL_TRANSCRIPT_init(SSL_TRANSCRIPT *transcript);
281
282/* SSL_TRANSCRIPT_init_hash initializes the handshake hash based on the PRF and
283 * contents of the handshake transcript. Subsequent calls to
284 * |SSL_TRANSCRIPT_update| will update the rolling hash. It returns one on
285 * success and zero on failure. It is an error to call this function after the
286 * handshake buffer is released. */
287int SSL_TRANSCRIPT_init_hash(SSL_TRANSCRIPT *transcript, uint16_t version,
288 int algorithm_prf);
289
290/* SSL_TRANSCRIPT_cleanup cleans up the hash and transcript. */
291void SSL_TRANSCRIPT_cleanup(SSL_TRANSCRIPT *transcript);
292
293/* SSL_TRANSCRIPT_free_buffer releases the handshake buffer. Subsequent calls to
294 * |SSL_TRANSCRIPT_update| will not update the handshake buffer. */
295void SSL_TRANSCRIPT_free_buffer(SSL_TRANSCRIPT *transcript);
296
297/* SSL_TRANSCRIPT_digest_len returns the length of the PRF hash. */
298size_t SSL_TRANSCRIPT_digest_len(const SSL_TRANSCRIPT *transcript);
299
300/* SSL_TRANSCRIPT_md returns the PRF hash. For TLS 1.1 and below, this is
301 * |EVP_md5_sha1|. */
302const EVP_MD *SSL_TRANSCRIPT_md(const SSL_TRANSCRIPT *transcript);
303
304/* SSL_TRANSCRIPT_update adds |in| to the handshake buffer and handshake hash,
305 * whichever is enabled. It returns one on success and zero on failure. */
306int SSL_TRANSCRIPT_update(SSL_TRANSCRIPT *transcript, const uint8_t *in,
307 size_t in_len);
308
309/* SSL_TRANSCRIPT_get_hash writes the handshake hash to |out| which must have
310 * room for at least |SSL_TRANSCRIPT_digest_len| bytes. On success, it returns
311 * one and sets |*out_len| to the number of bytes written. Otherwise, it returns
312 * zero. */
313int SSL_TRANSCRIPT_get_hash(const SSL_TRANSCRIPT *transcript, uint8_t *out,
314 size_t *out_len);
315
316/* SSL_TRANSCRIPT_ssl3_cert_verify_hash writes the SSL 3.0 CertificateVerify
317 * hash into the bytes pointed to by |out| and writes the number of bytes to
318 * |*out_len|. |out| must have room for |EVP_MAX_MD_SIZE| bytes. It returns one
319 * on success and zero on failure. */
320int SSL_TRANSCRIPT_ssl3_cert_verify_hash(SSL_TRANSCRIPT *transcript,
321 uint8_t *out, size_t *out_len,
322 const SSL_SESSION *session,
323 int signature_algorithm);
324
325/* SSL_TRANSCRIPT_finish_mac computes the MAC for the Finished message into the
326 * bytes pointed by |out| and writes the number of bytes to |*out_len|. |out|
327 * must have room for |EVP_MAX_MD_SIZE| bytes. It returns one on success and
328 * zero on failure. */
329int SSL_TRANSCRIPT_finish_mac(SSL_TRANSCRIPT *transcript, uint8_t *out,
330 size_t *out_len, const SSL_SESSION *session,
331 int from_server, uint16_t version);
332
333/* tls1_prf computes the PRF function for |ssl|. It writes |out_len| bytes to
334 * |out|, using |secret| as the secret and |label| as the label. |seed1| and
335 * |seed2| are concatenated to form the seed parameter. It returns one on
336 * success and zero on failure. */
337int tls1_prf(const EVP_MD *digest, uint8_t *out, size_t out_len,
338 const uint8_t *secret, size_t secret_len, const char *label,
339 size_t label_len, const uint8_t *seed1, size_t seed1_len,
340 const uint8_t *seed2, size_t seed2_len);
341
342
David Benjamin31a07792015-03-03 14:20:26 -0500343/* Encryption layer. */
344
345/* SSL_AEAD_CTX contains information about an AEAD that is being used to encrypt
346 * an SSL connection. */
David Benjaminb9179092016-10-26 13:47:33 -0400347typedef struct ssl_aead_ctx_st {
David Benjamin31a07792015-03-03 14:20:26 -0500348 const SSL_CIPHER *cipher;
349 EVP_AEAD_CTX ctx;
350 /* fixed_nonce contains any bytes of the nonce that are fixed for all
351 * records. */
David Benjamin13414b32015-12-09 23:02:39 -0500352 uint8_t fixed_nonce[12];
David Benjamin31a07792015-03-03 14:20:26 -0500353 uint8_t fixed_nonce_len, variable_nonce_len;
Steven Valdez130d5292017-03-07 16:58:04 -0500354 /* version is the protocol version that should be used with this AEAD. */
355 uint16_t version;
David Benjamin31a07792015-03-03 14:20:26 -0500356 /* variable_nonce_included_in_record is non-zero if the variable nonce
357 * for a record is included as a prefix before the ciphertext. */
David Benjamine79fe702017-02-01 18:30:48 -0500358 unsigned variable_nonce_included_in_record : 1;
David Benjamin31a07792015-03-03 14:20:26 -0500359 /* random_variable_nonce is non-zero if the variable nonce is
360 * randomly generated, rather than derived from the sequence
361 * number. */
David Benjamine79fe702017-02-01 18:30:48 -0500362 unsigned random_variable_nonce : 1;
David Benjamin31a07792015-03-03 14:20:26 -0500363 /* omit_length_in_ad is non-zero if the length should be omitted in the
364 * AEAD's ad parameter. */
David Benjamine79fe702017-02-01 18:30:48 -0500365 unsigned omit_length_in_ad : 1;
David Benjamin31a07792015-03-03 14:20:26 -0500366 /* omit_version_in_ad is non-zero if the version should be omitted
367 * in the AEAD's ad parameter. */
David Benjamine79fe702017-02-01 18:30:48 -0500368 unsigned omit_version_in_ad : 1;
Steven Valdez494650c2016-05-24 12:43:04 -0400369 /* omit_ad is non-zero if the AEAD's ad parameter should be omitted. */
David Benjamine79fe702017-02-01 18:30:48 -0500370 unsigned omit_ad : 1;
David Benjamin13414b32015-12-09 23:02:39 -0500371 /* xor_fixed_nonce is non-zero if the fixed nonce should be XOR'd into the
372 * variable nonce rather than prepended. */
David Benjamine79fe702017-02-01 18:30:48 -0500373 unsigned xor_fixed_nonce : 1;
David Benjaminb9179092016-10-26 13:47:33 -0400374} SSL_AEAD_CTX;
David Benjamin31a07792015-03-03 14:20:26 -0500375
376/* SSL_AEAD_CTX_new creates a newly-allocated |SSL_AEAD_CTX| using the supplied
377 * key material. It returns NULL on error. Only one of |SSL_AEAD_CTX_open| or
378 * |SSL_AEAD_CTX_seal| may be used with the resulting object, depending on
379 * |direction|. |version| is the normalized protocol version, so DTLS 1.0 is
380 * represented as 0x0301, not 0xffef. */
381SSL_AEAD_CTX *SSL_AEAD_CTX_new(enum evp_aead_direction_t direction,
Steven Valdez2f3404b2017-05-24 16:54:35 -0400382 uint16_t version, int is_dtls,
383 const SSL_CIPHER *cipher, const uint8_t *enc_key,
384 size_t enc_key_len, const uint8_t *mac_key,
385 size_t mac_key_len, const uint8_t *fixed_iv,
386 size_t fixed_iv_len);
David Benjamin31a07792015-03-03 14:20:26 -0500387
388/* SSL_AEAD_CTX_free frees |ctx|. */
389void SSL_AEAD_CTX_free(SSL_AEAD_CTX *ctx);
390
391/* SSL_AEAD_CTX_explicit_nonce_len returns the length of the explicit nonce for
392 * |ctx|, if any. |ctx| may be NULL to denote the null cipher. */
David Benjamina772b162017-01-24 17:51:33 -0500393size_t SSL_AEAD_CTX_explicit_nonce_len(const SSL_AEAD_CTX *ctx);
David Benjamin31a07792015-03-03 14:20:26 -0500394
395/* SSL_AEAD_CTX_max_overhead returns the maximum overhead of calling
396 * |SSL_AEAD_CTX_seal|. |ctx| may be NULL to denote the null cipher. */
David Benjamina772b162017-01-24 17:51:33 -0500397size_t SSL_AEAD_CTX_max_overhead(const SSL_AEAD_CTX *ctx);
David Benjamin31a07792015-03-03 14:20:26 -0500398
David Benjamina7810c12016-06-06 18:54:51 -0400399/* SSL_AEAD_CTX_open authenticates and decrypts |in_len| bytes from |in|
400 * in-place. On success, it sets |*out| to the plaintext in |in| and returns
401 * one. Otherwise, it returns zero. |ctx| may be NULL to denote the null cipher.
402 * The output will always be |explicit_nonce_len| bytes ahead of |in|. */
403int SSL_AEAD_CTX_open(SSL_AEAD_CTX *ctx, CBS *out, uint8_t type,
404 uint16_t wire_version, const uint8_t seqnum[8],
405 uint8_t *in, size_t in_len);
David Benjamin31a07792015-03-03 14:20:26 -0500406
407/* SSL_AEAD_CTX_seal encrypts and authenticates |in_len| bytes from |in| and
408 * writes the result to |out|. It returns one on success and zero on
409 * error. |ctx| may be NULL to denote the null cipher.
410 *
David Benjamin2446db02016-06-08 18:31:42 -0400411 * If |in| and |out| alias then |out| + |explicit_nonce_len| must be == |in|. */
David Benjamin31a07792015-03-03 14:20:26 -0500412int SSL_AEAD_CTX_seal(SSL_AEAD_CTX *ctx, uint8_t *out, size_t *out_len,
413 size_t max_out, uint8_t type, uint16_t wire_version,
414 const uint8_t seqnum[8], const uint8_t *in,
415 size_t in_len);
416
417
David Benjamin7446a3b2015-07-25 17:53:57 -0400418/* DTLS replay bitmap. */
419
420/* DTLS1_BITMAP maintains a sliding window of 64 sequence numbers to detect
421 * replayed packets. It should be initialized by zeroing every field. */
422typedef struct dtls1_bitmap_st {
423 /* map is a bit mask of the last 64 sequence numbers. Bit
424 * |1<<i| corresponds to |max_seq_num - i|. */
425 uint64_t map;
426 /* max_seq_num is the largest sequence number seen so far as a 64-bit
427 * integer. */
428 uint64_t max_seq_num;
429} DTLS1_BITMAP;
430
431
David Benjaminb8d28cf2015-07-28 21:34:45 -0400432/* Record layer. */
433
David Benjamin1db21562015-12-25 15:11:39 -0500434/* ssl_record_sequence_update increments the sequence number in |seq|. It
435 * returns one on success and zero on wraparound. */
436int ssl_record_sequence_update(uint8_t *seq, size_t seq_len);
437
David Benjaminb8d28cf2015-07-28 21:34:45 -0400438/* ssl_record_prefix_len returns the length of the prefix before the ciphertext
439 * of a record for |ssl|.
440 *
441 * TODO(davidben): Expose this as part of public API once the high-level
442 * buffer-free APIs are available. */
443size_t ssl_record_prefix_len(const SSL *ssl);
444
445enum ssl_open_record_t {
446 ssl_open_record_success,
447 ssl_open_record_discard,
448 ssl_open_record_partial,
David Benjamin728f3542016-06-02 15:42:01 -0400449 ssl_open_record_close_notify,
450 ssl_open_record_fatal_alert,
David Benjaminb8d28cf2015-07-28 21:34:45 -0400451 ssl_open_record_error,
452};
453
David Benjamina7810c12016-06-06 18:54:51 -0400454/* tls_open_record decrypts a record from |in| in-place.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400455 *
David Benjaminb8d28cf2015-07-28 21:34:45 -0400456 * If the input did not contain a complete record, it returns
457 * |ssl_open_record_partial|. It sets |*out_consumed| to the total number of
458 * bytes necessary. It is guaranteed that a successful call to |tls_open_record|
459 * will consume at least that many bytes.
460 *
David Benjamin728f3542016-06-02 15:42:01 -0400461 * Otherwise, it sets |*out_consumed| to the number of bytes of input
462 * consumed. Note that input may be consumed on all return codes if a record was
463 * decrypted.
464 *
465 * On success, it returns |ssl_open_record_success|. It sets |*out_type| to the
David Benjamina7810c12016-06-06 18:54:51 -0400466 * record type and |*out| to the record body in |in|. Note that |*out| may be
467 * empty.
David Benjamin728f3542016-06-02 15:42:01 -0400468 *
469 * If a record was successfully processed but should be discarded, it returns
470 * |ssl_open_record_discard|.
471 *
472 * If a record was successfully processed but is a close_notify or fatal alert,
473 * it returns |ssl_open_record_close_notify| or |ssl_open_record_fatal_alert|.
474 *
David Benjaminb8d28cf2015-07-28 21:34:45 -0400475 * On failure, it returns |ssl_open_record_error| and sets |*out_alert| to an
David Benjamina7810c12016-06-06 18:54:51 -0400476 * alert to emit. */
477enum ssl_open_record_t tls_open_record(SSL *ssl, uint8_t *out_type, CBS *out,
478 size_t *out_consumed, uint8_t *out_alert,
479 uint8_t *in, size_t in_len);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400480
481/* dtls_open_record implements |tls_open_record| for DTLS. It never returns
482 * |ssl_open_record_partial| but otherwise behaves analogously. */
David Benjamina7810c12016-06-06 18:54:51 -0400483enum ssl_open_record_t dtls_open_record(SSL *ssl, uint8_t *out_type, CBS *out,
484 size_t *out_consumed,
485 uint8_t *out_alert, uint8_t *in,
486 size_t in_len);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400487
David Benjamin1a01e1f2016-06-08 18:31:24 -0400488/* ssl_seal_align_prefix_len returns the length of the prefix before the start
489 * of the bulk of the ciphertext when sealing a record with |ssl|. Callers may
490 * use this to align buffers.
491 *
492 * Note when TLS 1.0 CBC record-splitting is enabled, this includes the one byte
David Benjamina772b162017-01-24 17:51:33 -0500493 * record and is the offset into second record's ciphertext. Thus sealing a
494 * small record may result in a smaller output than this value.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400495 *
David Benjamina772b162017-01-24 17:51:33 -0500496 * TODO(davidben): Is this alignment valuable? Record-splitting makes this a
497 * mess. */
David Benjamin1a01e1f2016-06-08 18:31:24 -0400498size_t ssl_seal_align_prefix_len(const SSL *ssl);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400499
David Benjaminb8d28cf2015-07-28 21:34:45 -0400500/* tls_seal_record seals a new record of type |type| and body |in| and writes it
501 * to |out|. At most |max_out| bytes will be written. It returns one on success
502 * and zero on error. If enabled, |tls_seal_record| implements TLS 1.0 CBC 1/n-1
503 * record splitting and may write two records concatenated.
504 *
David Benjamin1a01e1f2016-06-08 18:31:24 -0400505 * For a large record, the bulk of the ciphertext will begin
506 * |ssl_seal_align_prefix_len| bytes into out. Aligning |out| appropriately may
David Benjaminda863602016-11-04 15:44:28 -0400507 * improve performance. It writes at most |in_len| + |SSL_max_seal_overhead|
David Benjamin1a01e1f2016-06-08 18:31:24 -0400508 * bytes to |out|.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400509 *
David Benjamin1a01e1f2016-06-08 18:31:24 -0400510 * |in| and |out| may not alias. */
David Benjaminb8d28cf2015-07-28 21:34:45 -0400511int tls_seal_record(SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
512 uint8_t type, const uint8_t *in, size_t in_len);
513
514enum dtls1_use_epoch_t {
515 dtls1_use_previous_epoch,
516 dtls1_use_current_epoch,
517};
518
David Benjamin1a999cf2017-01-03 10:30:35 -0500519/* dtls_max_seal_overhead returns the maximum overhead, in bytes, of sealing a
520 * record. */
521size_t dtls_max_seal_overhead(const SSL *ssl, enum dtls1_use_epoch_t use_epoch);
522
David Benjamina772b162017-01-24 17:51:33 -0500523/* dtls_seal_prefix_len returns the number of bytes of prefix to reserve in
524 * front of the plaintext when sealing a record in-place. */
525size_t dtls_seal_prefix_len(const SSL *ssl, enum dtls1_use_epoch_t use_epoch);
526
David Benjaminb8d28cf2015-07-28 21:34:45 -0400527/* dtls_seal_record implements |tls_seal_record| for DTLS. |use_epoch| selects
David Benjamina772b162017-01-24 17:51:33 -0500528 * which epoch's cipher state to use. Unlike |tls_seal_record|, |in| and |out|
529 * may alias but, if they do, |in| must be exactly |dtls_seal_prefix_len| bytes
530 * ahead of |out|. */
David Benjaminb8d28cf2015-07-28 21:34:45 -0400531int dtls_seal_record(SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
532 uint8_t type, const uint8_t *in, size_t in_len,
533 enum dtls1_use_epoch_t use_epoch);
534
David Benjamin728f3542016-06-02 15:42:01 -0400535/* ssl_process_alert processes |in| as an alert and updates |ssl|'s shutdown
536 * state. It returns one of |ssl_open_record_discard|, |ssl_open_record_error|,
537 * |ssl_open_record_close_notify|, or |ssl_open_record_fatal_alert| as
538 * appropriate. */
539enum ssl_open_record_t ssl_process_alert(SSL *ssl, uint8_t *out_alert,
540 const uint8_t *in, size_t in_len);
541
David Benjaminb8d28cf2015-07-28 21:34:45 -0400542
David Benjaminb4d65fd2015-05-29 17:11:21 -0400543/* Private key operations. */
544
David Benjamina232a712017-03-30 15:51:53 -0500545typedef struct ssl_handshake_st SSL_HANDSHAKE;
546
nagendra modadugu601448a2015-07-24 09:31:31 -0700547/* ssl_has_private_key returns one if |ssl| has a private key
548 * configured and zero otherwise. */
David Benjamin32a66d52016-07-13 22:03:11 -0400549int ssl_has_private_key(const SSL *ssl);
nagendra modadugu601448a2015-07-24 09:31:31 -0700550
David Benjamin44148742017-06-17 13:20:59 -0400551/* ssl_private_key_* perform the corresponding operation on
552 * |SSL_PRIVATE_KEY_METHOD|. If there is a custom private key configured, they
553 * call the corresponding function or |complete| depending on whether there is a
554 * pending operation. Otherwise, they implement the operation with
555 * |EVP_PKEY|. */
David Benjaminb4d65fd2015-05-29 17:11:21 -0400556
David Benjaminb4d65fd2015-05-29 17:11:21 -0400557enum ssl_private_key_result_t ssl_private_key_sign(
David Benjamin44148742017-06-17 13:20:59 -0400558 SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len, size_t max_out,
Steven Valdezf0451ca2016-06-29 13:16:27 -0400559 uint16_t signature_algorithm, const uint8_t *in, size_t in_len);
David Benjaminb4d65fd2015-05-29 17:11:21 -0400560
nagendra modadugu3398dbf2015-08-07 14:07:52 -0700561enum ssl_private_key_result_t ssl_private_key_decrypt(
David Benjamin44148742017-06-17 13:20:59 -0400562 SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len, size_t max_out,
nagendra modadugu3398dbf2015-08-07 14:07:52 -0700563 const uint8_t *in, size_t in_len);
564
David Benjamina232a712017-03-30 15:51:53 -0500565/* ssl_private_key_supports_signature_algorithm returns one if |hs|'s private
David Benjamin6114c3c2017-03-30 16:37:54 -0500566 * key supports |sigalg| and zero otherwise. */
David Benjamina232a712017-03-30 15:51:53 -0500567int ssl_private_key_supports_signature_algorithm(SSL_HANDSHAKE *hs,
David Benjamin6114c3c2017-03-30 16:37:54 -0500568 uint16_t sigalg);
David Benjamin1fb125c2016-07-08 18:52:12 -0700569
Steven Valdez2b8415e2016-06-30 13:27:23 -0400570/* ssl_public_key_verify verifies that the |signature| is valid for the public
571 * key |pkey| and input |in|, using the |signature_algorithm| specified. */
572int ssl_public_key_verify(
573 SSL *ssl, const uint8_t *signature, size_t signature_len,
574 uint16_t signature_algorithm, EVP_PKEY *pkey,
575 const uint8_t *in, size_t in_len);
David Benjaminb4d65fd2015-05-29 17:11:21 -0400576
David Benjamin1fb125c2016-07-08 18:52:12 -0700577
Adam Langley09505632015-07-30 18:10:13 -0700578/* Custom extensions */
579
580/* ssl_custom_extension (a.k.a. SSL_CUSTOM_EXTENSION) is a structure that
581 * contains information about custom-extension callbacks. */
582struct ssl_custom_extension {
583 SSL_custom_ext_add_cb add_callback;
584 void *add_arg;
585 SSL_custom_ext_free_cb free_callback;
586 SSL_custom_ext_parse_cb parse_callback;
587 void *parse_arg;
588 uint16_t value;
589};
590
591void SSL_CUSTOM_EXTENSION_free(SSL_CUSTOM_EXTENSION *custom_extension);
592
David Benjamin01f8a8c2017-04-15 18:12:55 -0400593DEFINE_STACK_OF(SSL_CUSTOM_EXTENSION)
594
David Benjamin2bd19172016-11-17 16:47:15 +0900595int custom_ext_add_clienthello(SSL_HANDSHAKE *hs, CBB *extensions);
596int custom_ext_parse_serverhello(SSL_HANDSHAKE *hs, int *out_alert,
597 uint16_t value, const CBS *extension);
598int custom_ext_parse_clienthello(SSL_HANDSHAKE *hs, int *out_alert,
599 uint16_t value, const CBS *extension);
600int custom_ext_add_serverhello(SSL_HANDSHAKE *hs, CBB *extensions);
Adam Langley09505632015-07-30 18:10:13 -0700601
602
Steven Valdezce902a92016-05-17 11:47:53 -0400603/* ECDH groups. */
David Benjamin4298d772015-12-19 00:18:25 -0500604
David Benjaminb9179092016-10-26 13:47:33 -0400605typedef struct ssl_ecdh_ctx_st SSL_ECDH_CTX;
606
David Benjamin4298d772015-12-19 00:18:25 -0500607/* An SSL_ECDH_METHOD is an implementation of ECDH-like key exchanges for
608 * TLS. */
David Benjaminb9179092016-10-26 13:47:33 -0400609typedef struct ssl_ecdh_method_st {
David Benjamin4298d772015-12-19 00:18:25 -0500610 int nid;
Steven Valdezce902a92016-05-17 11:47:53 -0400611 uint16_t group_id;
David Benjamin4298d772015-12-19 00:18:25 -0500612 const char name[8];
613
614 /* cleanup releases state in |ctx|. */
615 void (*cleanup)(SSL_ECDH_CTX *ctx);
616
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700617 /* offer generates a keypair and writes the public value to
David Benjamin4298d772015-12-19 00:18:25 -0500618 * |out_public_key|. It returns one on success and zero on error. */
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700619 int (*offer)(SSL_ECDH_CTX *ctx, CBB *out_public_key);
David Benjamin4298d772015-12-19 00:18:25 -0500620
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700621 /* accept performs a key exchange against the |peer_key| generated by |offer|.
622 * On success, it returns one, writes the public value to |out_public_key|,
623 * and sets |*out_secret| and |*out_secret_len| to a newly-allocated buffer
624 * containing the shared secret. The caller must release this buffer with
625 * |OPENSSL_free|. On failure, it returns zero and sets |*out_alert| to an
626 * alert to send to the peer. */
627 int (*accept)(SSL_ECDH_CTX *ctx, CBB *out_public_key, uint8_t **out_secret,
628 size_t *out_secret_len, uint8_t *out_alert,
629 const uint8_t *peer_key, size_t peer_key_len);
630
631 /* finish performs a key exchange against the |peer_key| generated by
632 * |accept|. On success, it returns one and sets |*out_secret| and
633 * |*out_secret_len| to a newly-allocated buffer containing the shared
634 * secret. The caller must release this buffer with |OPENSSL_free|. On
635 * failure, it returns zero and sets |*out_alert| to an alert to send to the
636 * peer. */
637 int (*finish)(SSL_ECDH_CTX *ctx, uint8_t **out_secret, size_t *out_secret_len,
638 uint8_t *out_alert, const uint8_t *peer_key,
639 size_t peer_key_len);
David Benjaminb9179092016-10-26 13:47:33 -0400640} SSL_ECDH_METHOD;
641
642struct ssl_ecdh_ctx_st {
643 const SSL_ECDH_METHOD *method;
644 void *data;
645};
David Benjamin4298d772015-12-19 00:18:25 -0500646
Steven Valdezce902a92016-05-17 11:47:53 -0400647/* ssl_nid_to_group_id looks up the group corresponding to |nid|. On success, it
648 * sets |*out_group_id| to the group ID and returns one. Otherwise, it returns
David Benjamin4298d772015-12-19 00:18:25 -0500649 * zero. */
Steven Valdezce902a92016-05-17 11:47:53 -0400650int ssl_nid_to_group_id(uint16_t *out_group_id, int nid);
David Benjamin4298d772015-12-19 00:18:25 -0500651
Alessandro Ghedini5fd18072016-09-28 21:04:25 +0100652/* ssl_name_to_group_id looks up the group corresponding to the |name| string
653 * of length |len|. On success, it sets |*out_group_id| to the group ID and
654 * returns one. Otherwise, it returns zero. */
655int ssl_name_to_group_id(uint16_t *out_group_id, const char *name, size_t len);
656
Steven Valdezce902a92016-05-17 11:47:53 -0400657/* SSL_ECDH_CTX_init sets up |ctx| for use with curve |group_id|. It returns one
David Benjamin4298d772015-12-19 00:18:25 -0500658 * on success and zero on error. */
Steven Valdezce902a92016-05-17 11:47:53 -0400659int SSL_ECDH_CTX_init(SSL_ECDH_CTX *ctx, uint16_t group_id);
David Benjamin4298d772015-12-19 00:18:25 -0500660
661/* SSL_ECDH_CTX_cleanup releases memory associated with |ctx|. It is legal to
662 * call it in the zero state. */
663void SSL_ECDH_CTX_cleanup(SSL_ECDH_CTX *ctx);
664
Steven Valdez143e8b32016-07-11 13:19:03 -0400665/* SSL_ECDH_CTX_get_id returns the group ID for |ctx|. */
666uint16_t SSL_ECDH_CTX_get_id(const SSL_ECDH_CTX *ctx);
667
Matt Braithwaitee25775b2016-05-16 16:31:05 -0700668/* SSL_ECDH_CTX_get_key calls the |get_key| method of |SSL_ECDH_METHOD|. */
669int SSL_ECDH_CTX_get_key(SSL_ECDH_CTX *ctx, CBS *cbs, CBS *out);
670
671/* SSL_ECDH_CTX_add_key calls the |add_key| method of |SSL_ECDH_METHOD|. */
672int SSL_ECDH_CTX_add_key(SSL_ECDH_CTX *ctx, CBB *cbb, CBB *out_contents);
673
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700674/* SSL_ECDH_CTX_offer calls the |offer| method of |SSL_ECDH_METHOD|. */
675int SSL_ECDH_CTX_offer(SSL_ECDH_CTX *ctx, CBB *out_public_key);
David Benjamin4298d772015-12-19 00:18:25 -0500676
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700677/* SSL_ECDH_CTX_accept calls the |accept| method of |SSL_ECDH_METHOD|. */
678int SSL_ECDH_CTX_accept(SSL_ECDH_CTX *ctx, CBB *out_public_key,
679 uint8_t **out_secret, size_t *out_secret_len,
680 uint8_t *out_alert, const uint8_t *peer_key,
681 size_t peer_key_len);
682
683/* SSL_ECDH_CTX_finish the |finish| method of |SSL_ECDH_METHOD|. */
684int SSL_ECDH_CTX_finish(SSL_ECDH_CTX *ctx, uint8_t **out_secret,
685 size_t *out_secret_len, uint8_t *out_alert,
686 const uint8_t *peer_key, size_t peer_key_len);
David Benjamin4298d772015-12-19 00:18:25 -0500687
David Benjamin060cfb02016-05-12 00:43:05 -0400688/* Handshake messages. */
689
David Benjamin29a83c52016-06-17 19:12:54 -0400690/* SSL_MAX_HANDSHAKE_FLIGHT is the number of messages, including
691 * ChangeCipherSpec, in the longest handshake flight. Currently this is the
692 * client's second leg in a full handshake when client certificates, NPN, and
693 * Channel ID, are all enabled. */
694#define SSL_MAX_HANDSHAKE_FLIGHT 7
695
David Benjamin060cfb02016-05-12 00:43:05 -0400696/* ssl_max_handshake_message_len returns the maximum number of bytes permitted
697 * in a handshake message for |ssl|. */
698size_t ssl_max_handshake_message_len(const SSL *ssl);
699
David Benjaminec847ce2016-06-17 19:30:47 -0400700/* dtls_clear_incoming_messages releases all buffered incoming messages. */
701void dtls_clear_incoming_messages(SSL *ssl);
702
David Benjamin61672812016-07-14 23:10:43 -0400703/* dtls_has_incoming_messages returns one if there are buffered incoming
704 * messages ahead of the current message and zero otherwise. */
705int dtls_has_incoming_messages(const SSL *ssl);
706
David Benjamin29a83c52016-06-17 19:12:54 -0400707typedef struct dtls_outgoing_message_st {
708 uint8_t *data;
709 uint32_t len;
710 uint16_t epoch;
711 char is_ccs;
712} DTLS_OUTGOING_MESSAGE;
713
714/* dtls_clear_outgoing_messages releases all buffered outgoing messages. */
715void dtls_clear_outgoing_messages(SSL *ssl);
716
David Benjamin060cfb02016-05-12 00:43:05 -0400717
David Benjamin4e9cc712016-06-01 20:16:03 -0400718/* Callbacks. */
719
720/* ssl_do_info_callback calls |ssl|'s info callback, if set. */
721void ssl_do_info_callback(const SSL *ssl, int type, int value);
722
723/* ssl_do_msg_callback calls |ssl|'s message callback, if set. */
David Benjaminc0279992016-09-19 20:15:07 -0400724void ssl_do_msg_callback(SSL *ssl, int is_write, int content_type,
David Benjamin4e9cc712016-06-01 20:16:03 -0400725 const void *buf, size_t len);
726
727
David Benjaminb8d28cf2015-07-28 21:34:45 -0400728/* Transport buffers. */
729
730/* ssl_read_buffer returns a pointer to contents of the read buffer. */
731uint8_t *ssl_read_buffer(SSL *ssl);
732
733/* ssl_read_buffer_len returns the length of the read buffer. */
734size_t ssl_read_buffer_len(const SSL *ssl);
735
736/* ssl_read_buffer_extend_to extends the read buffer to the desired length. For
737 * TLS, it reads to the end of the buffer until the buffer is |len| bytes
738 * long. For DTLS, it reads a new packet and ignores |len|. It returns one on
739 * success, zero on EOF, and a negative number on error.
740 *
741 * It is an error to call |ssl_read_buffer_extend_to| in DTLS when the buffer is
742 * non-empty. */
743int ssl_read_buffer_extend_to(SSL *ssl, size_t len);
744
745/* ssl_read_buffer_consume consumes |len| bytes from the read buffer. It
746 * advances the data pointer and decrements the length. The memory consumed will
747 * remain valid until the next call to |ssl_read_buffer_extend| or it is
748 * discarded with |ssl_read_buffer_discard|. */
749void ssl_read_buffer_consume(SSL *ssl, size_t len);
750
751/* ssl_read_buffer_discard discards the consumed bytes from the read buffer. If
752 * the buffer is now empty, it releases memory used by it. */
753void ssl_read_buffer_discard(SSL *ssl);
754
755/* ssl_read_buffer_clear releases all memory associated with the read buffer and
756 * zero-initializes it. */
757void ssl_read_buffer_clear(SSL *ssl);
758
759/* ssl_write_buffer_is_pending returns one if the write buffer has pending data
760 * and zero if is empty. */
761int ssl_write_buffer_is_pending(const SSL *ssl);
762
763/* ssl_write_buffer_init initializes the write buffer. On success, it sets
764 * |*out_ptr| to the start of the write buffer with space for up to |max_len|
765 * bytes. It returns one on success and zero on failure. Call
766 * |ssl_write_buffer_set_len| to complete initialization. */
767int ssl_write_buffer_init(SSL *ssl, uint8_t **out_ptr, size_t max_len);
768
769/* ssl_write_buffer_set_len is called after |ssl_write_buffer_init| to complete
770 * initialization after |len| bytes are written to the buffer. */
771void ssl_write_buffer_set_len(SSL *ssl, size_t len);
772
773/* ssl_write_buffer_flush flushes the write buffer to the transport. It returns
774 * one on success and <= 0 on error. For DTLS, whether or not the write
775 * succeeds, the write buffer will be cleared. */
776int ssl_write_buffer_flush(SSL *ssl);
777
778/* ssl_write_buffer_clear releases all memory associated with the write buffer
779 * and zero-initializes it. */
780void ssl_write_buffer_clear(SSL *ssl);
781
782
David Benjamin75836432016-06-17 18:48:29 -0400783/* Certificate functions. */
784
David Benjamin32a66d52016-07-13 22:03:11 -0400785/* ssl_has_certificate returns one if a certificate and private key are
786 * configured and zero otherwise. */
787int ssl_has_certificate(const SSL *ssl);
788
David Benjamin5c900c82016-07-13 23:03:26 -0400789/* ssl_parse_cert_chain parses a certificate list from |cbs| in the format used
Adam Langleyc0fc7a12016-12-09 15:05:34 -0800790 * by a TLS Certificate message. On success, it returns a newly-allocated
Adam Langley68e71242016-12-12 11:06:16 -0800791 * |CRYPTO_BUFFER| list and advances |cbs|. Otherwise, it returns NULL and sets
Adam Langleyd5157222016-12-12 11:37:43 -0800792 * |*out_alert| to an alert to send to the peer.
793 *
794 * If the list is non-empty then |*out_pubkey| will be set to a freshly
795 * allocated public-key from the leaf certificate.
796 *
797 * If the list is non-empty and |out_leaf_sha256| is non-NULL, it writes the
798 * SHA-256 hash of the leaf to |out_leaf_sha256|. */
Adam Langley68e71242016-12-12 11:06:16 -0800799STACK_OF(CRYPTO_BUFFER) *ssl_parse_cert_chain(uint8_t *out_alert,
Adam Langleyd5157222016-12-12 11:37:43 -0800800 EVP_PKEY **out_pubkey,
Adam Langley68e71242016-12-12 11:06:16 -0800801 uint8_t *out_leaf_sha256,
Adam Langleyd519bf62016-12-12 11:16:44 -0800802 CBS *cbs,
803 CRYPTO_BUFFER_POOL *pool);
David Benjamin5c900c82016-07-13 23:03:26 -0400804
David Benjamin32a66d52016-07-13 22:03:11 -0400805/* ssl_add_cert_chain adds |ssl|'s certificate chain to |cbb| in the format used
806 * by a TLS Certificate message. If there is no certificate chain, it emits an
807 * empty certificate list. It returns one on success and zero on error. */
808int ssl_add_cert_chain(SSL *ssl, CBB *cbb);
809
Adam Langley05672202016-12-13 12:05:49 -0800810/* ssl_cert_check_digital_signature_key_usage parses the DER-encoded, X.509
811 * certificate in |in| and returns one if doesn't specify a key usage or, if it
812 * does, if it includes digitalSignature. Otherwise it pushes to the error
813 * queue and returns zero. */
814int ssl_cert_check_digital_signature_key_usage(const CBS *in);
815
Adam Langleyd5157222016-12-12 11:37:43 -0800816/* ssl_cert_parse_pubkey extracts the public key from the DER-encoded, X.509
817 * certificate in |in|. It returns an allocated |EVP_PKEY| or else returns NULL
818 * and pushes to the error queue. */
819EVP_PKEY *ssl_cert_parse_pubkey(const CBS *in);
820
David Benjamine0332e82016-07-13 22:40:36 -0400821/* ssl_parse_client_CA_list parses a CA list from |cbs| in the format used by a
822 * TLS CertificateRequest message. On success, it returns a newly-allocated
Adam Langley34b4c822017-02-02 10:57:17 -0800823 * |CRYPTO_BUFFER| list and advances |cbs|. Otherwise, it returns NULL and sets
David Benjamine0332e82016-07-13 22:40:36 -0400824 * |*out_alert| to an alert to send to the peer. */
Adam Langley34b4c822017-02-02 10:57:17 -0800825STACK_OF(CRYPTO_BUFFER) *
David Benjamine0332e82016-07-13 22:40:36 -0400826 ssl_parse_client_CA_list(SSL *ssl, uint8_t *out_alert, CBS *cbs);
827
David Benjamin32a66d52016-07-13 22:03:11 -0400828/* ssl_add_client_CA_list adds the configured CA list to |cbb| in the format
829 * used by a TLS CertificateRequest message. It returns one on success and zero
830 * on error. */
831int ssl_add_client_CA_list(SSL *ssl, CBB *cbb);
832
Adam Langley05672202016-12-13 12:05:49 -0800833/* ssl_check_leaf_certificate returns one if |pkey| and |leaf| are suitable as
David Benjamin45738dd2017-02-09 20:01:26 -0500834 * a server's leaf certificate for |hs|. Otherwise, it returns zero and pushes
Adam Langley05672202016-12-13 12:05:49 -0800835 * an error on the error queue. */
David Benjamin45738dd2017-02-09 20:01:26 -0500836int ssl_check_leaf_certificate(SSL_HANDSHAKE *hs, EVP_PKEY *pkey,
Adam Langley05672202016-12-13 12:05:49 -0800837 const CRYPTO_BUFFER *leaf);
Steven Valdezbf5aa842016-07-15 07:07:40 -0400838
David Benjamina232a712017-03-30 15:51:53 -0500839/* ssl_on_certificate_selected is called once the certificate has been selected.
840 * It finalizes the certificate and initializes |hs->local_pubkey|. It returns
841 * one on success and zero on error. */
842int ssl_on_certificate_selected(SSL_HANDSHAKE *hs);
843
David Benjamin75836432016-06-17 18:48:29 -0400844
Steven Valdez143e8b32016-07-11 13:19:03 -0400845/* TLS 1.3 key derivation. */
846
847/* tls13_init_key_schedule initializes the handshake hash and key derivation
Steven Valdeza833c352016-11-01 13:39:36 -0400848 * state. The cipher suite and PRF hash must have been selected at this point.
849 * It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900850int tls13_init_key_schedule(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400851
Steven Valdez2d850622017-01-11 11:34:52 -0500852/* tls13_init_early_key_schedule initializes the handshake hash and key
853 * derivation state from the resumption secret to derive the early secrets. It
854 * returns one on success and zero on error. */
855int tls13_init_early_key_schedule(SSL_HANDSHAKE *hs);
856
Steven Valdez143e8b32016-07-11 13:19:03 -0400857/* tls13_advance_key_schedule incorporates |in| into the key schedule with
858 * HKDF-Extract. It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900859int tls13_advance_key_schedule(SSL_HANDSHAKE *hs, const uint8_t *in,
860 size_t len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400861
Steven Valdeza833c352016-11-01 13:39:36 -0400862/* tls13_set_traffic_key sets the read or write traffic keys to
863 * |traffic_secret|. It returns one on success and zero on error. */
864int tls13_set_traffic_key(SSL *ssl, enum evp_aead_direction_t direction,
Steven Valdez143e8b32016-07-11 13:19:03 -0400865 const uint8_t *traffic_secret,
866 size_t traffic_secret_len);
867
Steven Valdez2d850622017-01-11 11:34:52 -0500868/* tls13_derive_early_secrets derives the early traffic secret. It returns one
869 * on success and zero on error. */
870int tls13_derive_early_secrets(SSL_HANDSHAKE *hs);
871
Steven Valdez4cb84942016-12-16 11:29:28 -0500872/* tls13_derive_handshake_secrets derives the handshake traffic secret. It
873 * returns one on success and zero on error. */
874int tls13_derive_handshake_secrets(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400875
Steven Valdez1dc53d22016-07-26 12:27:38 -0400876/* tls13_rotate_traffic_key derives the next read or write traffic secret. It
877 * returns one on success and zero on error. */
878int tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction);
879
Steven Valdeza833c352016-11-01 13:39:36 -0400880/* tls13_derive_application_secrets derives the initial application data traffic
881 * and exporter secrets based on the handshake transcripts and |master_secret|.
882 * It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900883int tls13_derive_application_secrets(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400884
Steven Valdeza833c352016-11-01 13:39:36 -0400885/* tls13_derive_resumption_secret derives the |resumption_secret|. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900886int tls13_derive_resumption_secret(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400887
Steven Valdeza833c352016-11-01 13:39:36 -0400888/* tls13_export_keying_material provides an exporter interface to use the
Steven Valdez143e8b32016-07-11 13:19:03 -0400889 * |exporter_secret|. */
890int tls13_export_keying_material(SSL *ssl, uint8_t *out, size_t out_len,
891 const char *label, size_t label_len,
892 const uint8_t *context, size_t context_len,
893 int use_context);
894
895/* tls13_finished_mac calculates the MAC of the handshake transcript to verify
896 * the integrity of the Finished message, and stores the result in |out| and
897 * length in |out_len|. |is_server| is 1 if this is for the Server Finished and
898 * 0 for the Client Finished. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900899int tls13_finished_mac(SSL_HANDSHAKE *hs, uint8_t *out,
900 size_t *out_len, int is_server);
Steven Valdez143e8b32016-07-11 13:19:03 -0400901
Steven Valdeza833c352016-11-01 13:39:36 -0400902/* tls13_write_psk_binder calculates the PSK binder value and replaces the last
903 * bytes of |msg| with the resulting value. It returns 1 on success, and 0 on
904 * failure. */
Steven Valdez908ac192017-01-12 13:17:07 -0500905int tls13_write_psk_binder(SSL_HANDSHAKE *hs, uint8_t *msg, size_t len);
Steven Valdez4aa154e2016-07-29 14:32:55 -0400906
Steven Valdeza833c352016-11-01 13:39:36 -0400907/* tls13_verify_psk_binder verifies that the handshake transcript, truncated
908 * up to the binders has a valid signature using the value of |session|'s
909 * resumption secret. It returns 1 on success, and 0 on failure. */
Steven Valdez908ac192017-01-12 13:17:07 -0500910int tls13_verify_psk_binder(SSL_HANDSHAKE *hs, SSL_SESSION *session,
911 CBS *binders);
Steven Valdez4aa154e2016-07-29 14:32:55 -0400912
Steven Valdez143e8b32016-07-11 13:19:03 -0400913
914/* Handshake functions. */
915
916enum ssl_hs_wait_t {
917 ssl_hs_error,
918 ssl_hs_ok,
919 ssl_hs_read_message,
Steven Valdez143e8b32016-07-11 13:19:03 -0400920 ssl_hs_flush,
David Benjaminf2401eb2016-07-18 22:25:05 +0200921 ssl_hs_flush_and_read_message,
Steven Valdez143e8b32016-07-11 13:19:03 -0400922 ssl_hs_x509_lookup,
Nick Harper60a85cb2016-09-23 16:25:11 -0700923 ssl_hs_channel_id_lookup,
Steven Valdez143e8b32016-07-11 13:19:03 -0400924 ssl_hs_private_key_operation,
David Benjamin707af292017-03-10 17:47:18 -0500925 ssl_hs_pending_ticket,
Steven Valdeze831a812017-03-09 14:56:07 -0500926 ssl_hs_early_data_rejected,
Steven Valdez2d850622017-01-11 11:34:52 -0500927 ssl_hs_read_end_of_early_data,
Steven Valdez143e8b32016-07-11 13:19:03 -0400928};
929
David Benjamince8c9d22016-11-14 10:45:16 +0900930struct ssl_handshake_st {
931 /* ssl is a non-owning pointer to the parent |SSL| object. */
932 SSL *ssl;
933
David Benjamince8c9d22016-11-14 10:45:16 +0900934 /* do_tls13_handshake runs the TLS 1.3 handshake. On completion, it returns
935 * |ssl_hs_ok|. Otherwise, it returns a value corresponding to what operation
936 * is needed to progress. */
David Benjaminc3c88822016-11-14 10:32:04 +0900937 enum ssl_hs_wait_t (*do_tls13_handshake)(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400938
Adam Langley4ba6e192016-12-07 15:54:54 -0800939 /* wait contains the operation |do_tls13_handshake| is currently blocking on
940 * or |ssl_hs_ok| if none. */
941 enum ssl_hs_wait_t wait;
942
David Benjamincb0c29f2016-12-12 17:00:50 -0500943 /* state contains one of the SSL3_ST_* values. */
944 int state;
945
946 /* next_state is used when SSL_ST_FLUSH_DATA is entered */
947 int next_state;
948
David Benjamin3977f302016-12-11 13:30:41 -0500949 /* tls13_state is the internal state for the TLS 1.3 handshake. Its values
950 * depend on |do_tls13_handshake| but the starting state is always zero. */
951 int tls13_state;
Steven Valdez143e8b32016-07-11 13:19:03 -0400952
953 size_t hash_len;
Steven Valdez143e8b32016-07-11 13:19:03 -0400954 uint8_t secret[EVP_MAX_MD_SIZE];
Steven Valdez2d850622017-01-11 11:34:52 -0500955 uint8_t early_traffic_secret[EVP_MAX_MD_SIZE];
Steven Valdez4cb84942016-12-16 11:29:28 -0500956 uint8_t client_handshake_secret[EVP_MAX_MD_SIZE];
957 uint8_t server_handshake_secret[EVP_MAX_MD_SIZE];
Steven Valdezc4aa7272016-10-03 12:25:56 -0400958 uint8_t client_traffic_secret_0[EVP_MAX_MD_SIZE];
959 uint8_t server_traffic_secret_0[EVP_MAX_MD_SIZE];
David Benjamin794cc592017-03-25 22:24:23 -0500960 uint8_t expected_client_finished[EVP_MAX_MD_SIZE];
Steven Valdez143e8b32016-07-11 13:19:03 -0400961
David Benjaminf5d2cd02016-10-06 19:39:20 -0400962 union {
963 /* sent is a bitset where the bits correspond to elements of kExtensions
964 * in t1_lib.c. Each bit is set if that extension was sent in a
965 * ClientHello. It's not used by servers. */
966 uint32_t sent;
967 /* received is a bitset, like |sent|, but is used by servers to record
968 * which extensions were received from a client. */
969 uint32_t received;
970 } extensions;
971
972 union {
973 /* sent is a bitset where the bits correspond to elements of
974 * |client_custom_extensions| in the |SSL_CTX|. Each bit is set if that
975 * extension was sent in a ClientHello. It's not used by servers. */
976 uint16_t sent;
977 /* received is a bitset, like |sent|, but is used by servers to record
978 * which custom extensions were received from a client. The bits here
979 * correspond to |server_custom_extensions|. */
980 uint16_t received;
981 } custom_extensions;
982
David Benjamin4fe3c902016-08-16 02:17:03 -0400983 /* retry_group is the group ID selected by the server in HelloRetryRequest in
984 * TLS 1.3. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400985 uint16_t retry_group;
David Benjamin4fe3c902016-08-16 02:17:03 -0400986
Adam Langley4ba6e192016-12-07 15:54:54 -0800987 /* ecdh_ctx is the current ECDH instance. */
988 SSL_ECDH_CTX ecdh_ctx;
989
Steven Valdez908ac192017-01-12 13:17:07 -0500990 /* transcript is the current handshake transcript. */
991 SSL_TRANSCRIPT transcript;
992
David Benjamin3baa6e12016-10-07 21:10:38 -0400993 /* cookie is the value of the cookie received from the server, if any. */
994 uint8_t *cookie;
995 size_t cookie_len;
996
David Benjamin4fe3c902016-08-16 02:17:03 -0400997 /* key_share_bytes is the value of the previously sent KeyShare extension by
998 * the client in TLS 1.3. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400999 uint8_t *key_share_bytes;
1000 size_t key_share_bytes_len;
David Benjamin4fe3c902016-08-16 02:17:03 -04001001
David Benjaminbf833c32017-03-30 15:45:21 -05001002 /* ecdh_public_key, for servers, is the key share to be sent to the client in
1003 * TLS 1.3. */
1004 uint8_t *ecdh_public_key;
1005 size_t ecdh_public_key_len;
Steven Valdez143e8b32016-07-11 13:19:03 -04001006
David Benjamin0fc37ef2016-08-17 15:29:46 -04001007 /* peer_sigalgs are the signature algorithms that the peer supports. These are
1008 * taken from the contents of the signature algorithms extension for a server
1009 * or from the CertificateRequest for a client. */
1010 uint16_t *peer_sigalgs;
1011 /* num_peer_sigalgs is the number of entries in |peer_sigalgs|. */
1012 size_t num_peer_sigalgs;
1013
David Benjamin43612b62016-10-07 00:41:50 -04001014 /* peer_supported_group_list contains the supported group IDs advertised by
1015 * the peer. This is only set on the server's end. The server does not
1016 * advertise this extension to the client. */
1017 uint16_t *peer_supported_group_list;
1018 size_t peer_supported_group_list_len;
1019
David Benjamina4c8ff02016-10-08 02:49:01 -04001020 /* peer_key is the peer's ECDH key for a TLS 1.2 client. */
1021 uint8_t *peer_key;
1022 size_t peer_key_len;
1023
David Benjamin44148742017-06-17 13:20:59 -04001024 /* server_params, in a TLS 1.2 server, stores the ServerKeyExchange
1025 * parameters. It has client and server randoms prepended for signing
1026 * convenience. */
David Benjamina4c8ff02016-10-08 02:49:01 -04001027 uint8_t *server_params;
1028 size_t server_params_len;
1029
Adam Langley4ba6e192016-12-07 15:54:54 -08001030 /* peer_psk_identity_hint, on the client, is the psk_identity_hint sent by the
1031 * server when using a TLS 1.2 PSK key exchange. */
1032 char *peer_psk_identity_hint;
1033
1034 /* ca_names, on the client, contains the list of CAs received in a
1035 * CertificateRequest message. */
Adam Langley34b4c822017-02-02 10:57:17 -08001036 STACK_OF(CRYPTO_BUFFER) *ca_names;
1037
1038 /* cached_x509_ca_names contains a cache of parsed versions of the elements
1039 * of |ca_names|. */
1040 STACK_OF(X509_NAME) *cached_x509_ca_names;
Adam Langley4ba6e192016-12-07 15:54:54 -08001041
1042 /* certificate_types, on the client, contains the set of certificate types
1043 * received in a CertificateRequest message. */
1044 uint8_t *certificate_types;
1045 size_t num_certificate_types;
1046
1047 /* hostname, on the server, is the value of the SNI extension. */
1048 char *hostname;
1049
David Benjamina232a712017-03-30 15:51:53 -05001050 /* local_pubkey is the public key we are authenticating as. */
1051 EVP_PKEY *local_pubkey;
1052
Adam Langleyd5157222016-12-12 11:37:43 -08001053 /* peer_pubkey is the public key parsed from the peer's leaf certificate. */
1054 EVP_PKEY *peer_pubkey;
1055
David Benjamin45738dd2017-02-09 20:01:26 -05001056 /* new_session is the new mutable session being established by the current
1057 * handshake. It should not be cached. */
1058 SSL_SESSION *new_session;
1059
Steven Valdeze831a812017-03-09 14:56:07 -05001060 /* early_session is the session corresponding to the current 0-RTT state on
1061 * the client if |in_early_data| is true. */
1062 SSL_SESSION *early_session;
1063
David Benjamin45738dd2017-02-09 20:01:26 -05001064 /* new_cipher is the cipher being negotiated in this handshake. */
1065 const SSL_CIPHER *new_cipher;
1066
Adam Langley4ba6e192016-12-07 15:54:54 -08001067 /* key_block is the record-layer key block for TLS 1.2 and earlier. */
1068 uint8_t *key_block;
1069 uint8_t key_block_len;
1070
Adam Langley4ba6e192016-12-07 15:54:54 -08001071 /* scts_requested is one if the SCT extension is in the ClientHello. */
1072 unsigned scts_requested:1;
1073
1074 /* needs_psk_binder if the ClientHello has a placeholder PSK binder to be
1075 * filled in. */
1076 unsigned needs_psk_binder:1;
1077
1078 unsigned received_hello_retry_request:1;
1079
1080 /* accept_psk_mode stores whether the client's PSK mode is compatible with our
1081 * preferences. */
1082 unsigned accept_psk_mode:1;
1083
David Benjamina0486782016-10-06 19:11:32 -04001084 /* cert_request is one if a client certificate was requested and zero
1085 * otherwise. */
1086 unsigned cert_request:1;
1087
1088 /* certificate_status_expected is one if OCSP stapling was negotiated and the
1089 * server is expected to send a CertificateStatus message. (This is used on
1090 * both the client and server sides.) */
1091 unsigned certificate_status_expected:1;
1092
1093 /* ocsp_stapling_requested is one if a client requested OCSP stapling. */
1094 unsigned ocsp_stapling_requested:1;
1095
1096 /* should_ack_sni is used by a server and indicates that the SNI extension
1097 * should be echoed in the ServerHello. */
1098 unsigned should_ack_sni:1;
1099
1100 /* in_false_start is one if there is a pending client handshake in False
1101 * Start. The client may write data at this point. */
1102 unsigned in_false_start:1;
1103
Steven Valdeze831a812017-03-09 14:56:07 -05001104 /* in_early_data is one if there is a pending handshake that has progressed
1105 * enough to send and receive early data. */
1106 unsigned in_early_data:1;
1107
Steven Valdez2d850622017-01-11 11:34:52 -05001108 /* early_data_offered is one if the client sent the early_data extension. */
1109 unsigned early_data_offered:1;
1110
Steven Valdez681eb6a2016-12-19 13:19:29 -05001111 /* can_early_read is one if application data may be read at this point in the
1112 * handshake. */
1113 unsigned can_early_read:1;
1114
1115 /* can_early_write is one if application data may be written at this point in
1116 * the handshake. */
1117 unsigned can_early_write:1;
1118
David Benjaminb74b0812016-10-06 19:43:48 -04001119 /* next_proto_neg_seen is one of NPN was negotiated. */
1120 unsigned next_proto_neg_seen:1;
1121
David Benjamin78476f62016-11-12 11:20:55 +09001122 /* ticket_expected is one if a TLS 1.2 NewSessionTicket message is to be sent
1123 * or received. */
1124 unsigned ticket_expected:1;
David Benjaminf04c2e92016-12-06 13:35:25 -05001125
David Benjaminfc02b592017-02-17 16:26:01 -05001126 /* extended_master_secret is one if the extended master secret extension is
1127 * negotiated in this handshake. */
1128 unsigned extended_master_secret:1;
1129
David Benjamin44148742017-06-17 13:20:59 -04001130 /* pending_private_key_op is one if there is a pending private key operation
1131 * in progress. */
1132 unsigned pending_private_key_op:1;
1133
David Benjaminf04c2e92016-12-06 13:35:25 -05001134 /* client_version is the value sent or received in the ClientHello version. */
1135 uint16_t client_version;
Alessandro Ghedinide254b42017-04-17 19:12:33 +01001136
1137 /* early_data_read is the amount of early data that has been read by the
1138 * record layer. */
1139 uint16_t early_data_read;
Steven Valdeze831a812017-03-09 14:56:07 -05001140
1141 /* early_data_written is the amount of early data that has been written by the
1142 * record layer. */
1143 uint16_t early_data_written;
David Benjamince8c9d22016-11-14 10:45:16 +09001144} /* SSL_HANDSHAKE */;
Steven Valdez143e8b32016-07-11 13:19:03 -04001145
David Benjamince8c9d22016-11-14 10:45:16 +09001146SSL_HANDSHAKE *ssl_handshake_new(SSL *ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -04001147
1148/* ssl_handshake_free releases all memory associated with |hs|. */
1149void ssl_handshake_free(SSL_HANDSHAKE *hs);
1150
David Benjamin276b7e82017-01-21 14:13:39 -05001151/* ssl_check_message_type checks if the current message has type |type|. If so
1152 * it returns one. Otherwise, it sends an alert and returns zero. */
1153int ssl_check_message_type(SSL *ssl, int type);
1154
Steven Valdez143e8b32016-07-11 13:19:03 -04001155/* tls13_handshake runs the TLS 1.3 handshake. It returns one on success and <=
Steven Valdez681eb6a2016-12-19 13:19:29 -05001156 * 0 on error. It sets |out_early_return| to one if we've completed the
1157 * handshake early. */
1158int tls13_handshake(SSL_HANDSHAKE *hs, int *out_early_return);
Steven Valdez143e8b32016-07-11 13:19:03 -04001159
David Benjamince8c9d22016-11-14 10:45:16 +09001160/* The following are implementations of |do_tls13_handshake| for the client and
Steven Valdez143e8b32016-07-11 13:19:03 -04001161 * server. */
David Benjaminc3c88822016-11-14 10:32:04 +09001162enum ssl_hs_wait_t tls13_client_handshake(SSL_HANDSHAKE *hs);
1163enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001164
Steven Valdez8e1c7be2016-07-26 12:39:22 -04001165/* tls13_post_handshake processes a post-handshake message. It returns one on
1166 * success and zero on failure. */
1167int tls13_post_handshake(SSL *ssl);
1168
Adam Langley0c294252016-12-12 11:46:09 -08001169int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous);
1170int tls13_process_certificate_verify(SSL_HANDSHAKE *hs);
David Benjamin794cc592017-03-25 22:24:23 -05001171
1172/* tls13_process_finished processes the current message as a Finished message
1173 * from the peer. If |use_saved_value| is one, the verify_data is compared
1174 * against |hs->expected_client_finished| rather than computed fresh. */
1175int tls13_process_finished(SSL_HANDSHAKE *hs, int use_saved_value);
Steven Valdez143e8b32016-07-11 13:19:03 -04001176
David Benjamin0f24bed2017-01-12 19:46:50 -05001177int tls13_add_certificate(SSL_HANDSHAKE *hs);
David Benjamin44148742017-06-17 13:20:59 -04001178
1179/* tls13_add_certificate_verify adds a TLS 1.3 CertificateVerify message to the
1180 * handshake. If it returns |ssl_private_key_retry|, it should be called again
1181 * to retry when the signing operation is completed. */
1182enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs);
1183
David Benjamin0f24bed2017-01-12 19:46:50 -05001184int tls13_add_finished(SSL_HANDSHAKE *hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -04001185int tls13_process_new_session_ticket(SSL *ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -04001186
David Benjamin8baf9632016-11-17 17:11:16 +09001187int ssl_ext_key_share_parse_serverhello(SSL_HANDSHAKE *hs, uint8_t **out_secret,
Steven Valdez7259f2f2016-08-02 16:55:05 -04001188 size_t *out_secret_len,
1189 uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001190int ssl_ext_key_share_parse_clienthello(SSL_HANDSHAKE *hs, int *out_found,
Steven Valdez7259f2f2016-08-02 16:55:05 -04001191 uint8_t **out_secret,
1192 size_t *out_secret_len,
1193 uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001194int ssl_ext_key_share_add_serverhello(SSL_HANDSHAKE *hs, CBB *out);
Steven Valdez143e8b32016-07-11 13:19:03 -04001195
David Benjamin8baf9632016-11-17 17:11:16 +09001196int ssl_ext_pre_shared_key_parse_serverhello(SSL_HANDSHAKE *hs,
1197 uint8_t *out_alert, CBS *contents);
David Benjamin35ac5b72017-03-03 15:05:56 -05001198int ssl_ext_pre_shared_key_parse_clienthello(
David Benjamin707af292017-03-10 17:47:18 -05001199 SSL_HANDSHAKE *hs, CBS *out_ticket, CBS *out_binders,
David Benjamin35ac5b72017-03-03 15:05:56 -05001200 uint32_t *out_obfuscated_ticket_age, uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001201int ssl_ext_pre_shared_key_add_serverhello(SSL_HANDSHAKE *hs, CBB *out);
Steven Valdez4aa154e2016-07-29 14:32:55 -04001202
Adam Langleycfa08c32016-11-17 13:21:27 -08001203/* ssl_is_sct_list_valid does a shallow parse of the SCT list in |contents| and
1204 * returns one iff it's valid. */
1205int ssl_is_sct_list_valid(const CBS *contents);
1206
David Benjamin8c880a22016-12-03 02:20:34 -05001207int ssl_write_client_hello(SSL_HANDSHAKE *hs);
Steven Valdez5440fe02016-07-18 12:40:30 -04001208
David Benjamin4fe3c902016-08-16 02:17:03 -04001209/* ssl_clear_tls13_state releases client state only needed for TLS 1.3. It
1210 * should be called once the version is known to be TLS 1.2 or earlier. */
David Benjamin6e4fc332016-11-17 16:43:08 +09001211void ssl_clear_tls13_state(SSL_HANDSHAKE *hs);
David Benjamin4fe3c902016-08-16 02:17:03 -04001212
Nick Harper60a85cb2016-09-23 16:25:11 -07001213enum ssl_cert_verify_context_t {
1214 ssl_cert_verify_server,
1215 ssl_cert_verify_client,
1216 ssl_cert_verify_channel_id,
1217};
1218
1219/* tls13_get_cert_verify_signature_input generates the message to be signed for
1220 * TLS 1.3's CertificateVerify message. |cert_verify_context| determines the
1221 * type of signature. It sets |*out| and |*out_len| to a newly allocated buffer
1222 * containing the result. The caller must free it with |OPENSSL_free| to release
1223 * it. This function returns one on success and zero on failure. */
1224int tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -05001225 SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
Nick Harper60a85cb2016-09-23 16:25:11 -07001226 enum ssl_cert_verify_context_t cert_verify_context);
1227
David Benjamin9ef31f02016-10-31 18:01:13 -04001228/* ssl_negotiate_alpn negotiates the ALPN extension, if applicable. It returns
1229 * one on successful negotiation or if nothing was negotiated. It returns zero
1230 * and sets |*out_alert| to an alert on error. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001231int ssl_negotiate_alpn(SSL_HANDSHAKE *hs, uint8_t *out_alert,
David Benjamin731058e2016-12-03 23:15:13 -05001232 const SSL_CLIENT_HELLO *client_hello);
David Benjamin9ef31f02016-10-31 18:01:13 -04001233
David Benjaminffb11072016-11-13 10:32:10 +09001234typedef struct {
1235 uint16_t type;
1236 int *out_present;
1237 CBS *out_data;
1238} SSL_EXTENSION_TYPE;
1239
1240/* ssl_parse_extensions parses a TLS extensions block out of |cbs| and advances
1241 * it. It writes the parsed extensions to pointers denoted by |ext_types|. On
1242 * success, it fills in the |out_present| and |out_data| fields and returns one.
1243 * Otherwise, it sets |*out_alert| to an alert to send and returns zero. Unknown
Steven Valdez08b65f42016-12-07 15:29:45 -05001244 * extensions are rejected unless |ignore_unknown| is 1. */
David Benjaminffb11072016-11-13 10:32:10 +09001245int ssl_parse_extensions(const CBS *cbs, uint8_t *out_alert,
1246 const SSL_EXTENSION_TYPE *ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -05001247 size_t num_ext_types, int ignore_unknown);
David Benjaminffb11072016-11-13 10:32:10 +09001248
Steven Valdez143e8b32016-07-11 13:19:03 -04001249
David Benjamine776cc22016-07-19 07:26:49 +02001250/* SSLKEYLOGFILE functions. */
1251
David Benjamine776cc22016-07-19 07:26:49 +02001252/* ssl_log_secret logs |secret| with label |label|, if logging is enabled for
1253 * |ssl|. It returns one on success and zero on failure. */
1254int ssl_log_secret(const SSL *ssl, const char *label, const uint8_t *secret,
1255 size_t secret_len);
1256
1257
David Benjamine14ff062016-08-09 16:21:24 -04001258/* ClientHello functions. */
1259
David Benjamin731058e2016-12-03 23:15:13 -05001260int ssl_client_hello_init(SSL *ssl, SSL_CLIENT_HELLO *out, const uint8_t *in,
1261 size_t in_len);
David Benjamine14ff062016-08-09 16:21:24 -04001262
David Benjamin731058e2016-12-03 23:15:13 -05001263int ssl_client_hello_get_extension(const SSL_CLIENT_HELLO *client_hello,
1264 CBS *out, uint16_t extension_type);
David Benjamine14ff062016-08-09 16:21:24 -04001265
David Benjamin731058e2016-12-03 23:15:13 -05001266int ssl_client_cipher_list_contains_cipher(const SSL_CLIENT_HELLO *client_hello,
1267 uint16_t id);
David Benjamine14ff062016-08-09 16:21:24 -04001268
1269
David Benjamin65ac9972016-09-02 21:35:25 -04001270/* GREASE. */
1271
1272enum ssl_grease_index_t {
1273 ssl_grease_cipher = 0,
1274 ssl_grease_group,
1275 ssl_grease_extension1,
1276 ssl_grease_extension2,
David Benjamind9791bf2016-09-27 16:39:52 -04001277 ssl_grease_version,
David Benjamin1a5e8ec2016-10-07 15:19:18 -04001278 ssl_grease_ticket_extension,
David Benjamin65ac9972016-09-02 21:35:25 -04001279};
1280
1281/* ssl_get_grease_value returns a GREASE value for |ssl|. For a given
1282 * connection, the values for each index will be deterministic. This allows the
1283 * same ClientHello be sent twice for a HelloRetryRequest or the same group be
1284 * advertised in both supported_groups and key_shares. */
1285uint16_t ssl_get_grease_value(const SSL *ssl, enum ssl_grease_index_t index);
1286
1287
David Benjamin3ef76972016-10-17 17:59:54 -04001288/* Signature algorithms. */
1289
1290/* tls1_parse_peer_sigalgs parses |sigalgs| as the list of peer signature
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001291 * algorithms and saves them on |hs|. It returns one on success and zero on
1292 * error. */
1293int tls1_parse_peer_sigalgs(SSL_HANDSHAKE *hs, const CBS *sigalgs);
David Benjamin3ef76972016-10-17 17:59:54 -04001294
David Benjamina3651382017-04-20 17:49:36 -04001295/* tls1_get_legacy_signature_algorithm sets |*out| to the signature algorithm
1296 * that should be used with |pkey| in TLS 1.1 and earlier. It returns one on
1297 * success and zero if |pkey| may not be used at those versions. */
1298int tls1_get_legacy_signature_algorithm(uint16_t *out, const EVP_PKEY *pkey);
1299
David Benjamin3ef76972016-10-17 17:59:54 -04001300/* tls1_choose_signature_algorithm sets |*out| to a signature algorithm for use
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001301 * with |hs|'s private key based on the peer's preferences and the algorithms
David Benjamin3ef76972016-10-17 17:59:54 -04001302 * supported. It returns one on success and zero on error. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001303int tls1_choose_signature_algorithm(SSL_HANDSHAKE *hs, uint16_t *out);
David Benjamin3ef76972016-10-17 17:59:54 -04001304
David Benjamin69522112017-03-28 15:38:29 -05001305/* tls12_add_verify_sigalgs adds the signature algorithms acceptable for the
1306 * peer signature to |out|. It returns one on success and zero on error. */
1307int tls12_add_verify_sigalgs(const SSL *ssl, CBB *out);
David Benjamin3ef76972016-10-17 17:59:54 -04001308
1309/* tls12_check_peer_sigalg checks if |sigalg| is acceptable for the peer
1310 * signature. It returns one on success and zero on error, setting |*out_alert|
1311 * to an alert to send. */
David Benjamin8d606e32017-06-15 22:43:04 -04001312int tls12_check_peer_sigalg(SSL *ssl, uint8_t *out_alert, uint16_t sigalg);
David Benjamin3ef76972016-10-17 17:59:54 -04001313
1314
David Benjamin71f07942015-04-08 02:36:59 -04001315/* Underdocumented functions.
1316 *
1317 * Functions below here haven't been touched up and may be underdocumented. */
1318
Adam Langley1258b6a2014-06-20 12:00:00 -07001319#define TLSEXT_CHANNEL_ID_SIZE 128
Adam Langley95c29f32014-06-20 12:00:00 -07001320
David Benjamine518f652014-10-13 16:12:45 -04001321/* From RFC4492, used in encoding the curve type in ECParameters */
Adam Langleyfcf25832014-12-18 17:42:32 -08001322#define NAMED_CURVE_TYPE 3
Adam Langley95c29f32014-06-20 12:00:00 -07001323
Adam Langleyfcf25832014-12-18 17:42:32 -08001324typedef struct cert_st {
David Benjamind1d80782015-07-05 11:54:09 -04001325 EVP_PKEY *privatekey;
Adam Langley3a2b47a2017-01-24 13:59:42 -08001326
1327 /* chain contains the certificate chain, with the leaf at the beginning. The
1328 * first element of |chain| may be NULL to indicate that the leaf certificate
1329 * has not yet been set.
1330 * If |chain| != NULL -> len(chain) >= 1
1331 * If |chain[0]| == NULL -> len(chain) >= 2.
1332 * |chain[1..]| != NULL */
1333 STACK_OF(CRYPTO_BUFFER) *chain;
1334
1335 /* x509_chain may contain a parsed copy of |chain[1..]|. This is only used as
1336 * a cache in order to implement “get0” functions that return a non-owning
1337 * pointer to the certificate chain. */
Adam Langleyc5ac2b62016-11-07 12:02:35 -08001338 STACK_OF(X509) *x509_chain;
David Benjaminf31e6812014-11-13 18:05:55 -05001339
Adam Langley3a2b47a2017-01-24 13:59:42 -08001340 /* x509_leaf may contain a parsed copy of the first element of |chain|. This
1341 * is only used as a cache in order to implement “get0” functions that return
1342 * a non-owning pointer to the certificate chain. */
1343 X509 *x509_leaf;
1344
Adam Langleye1e78132017-01-31 15:24:31 -08001345 /* x509_stash contains the last |X509| object append to the chain. This is a
1346 * workaround for some third-party code that continue to use an |X509| object
1347 * even after passing ownership with an “add0” function. */
1348 X509 *x509_stash;
1349
David Benjaminb4d65fd2015-05-29 17:11:21 -04001350 /* key_method, if non-NULL, is a set of callbacks to call for private key
1351 * operations. */
1352 const SSL_PRIVATE_KEY_METHOD *key_method;
1353
Adam Langley3509dac2017-02-01 11:59:18 -08001354 /* x509_method contains pointers to functions that might deal with |X509|
1355 * compatibility, or might be a no-op, depending on the application. */
1356 const SSL_X509_METHOD *x509_method;
1357
David Benjamin0fc37ef2016-08-17 15:29:46 -04001358 /* sigalgs, if non-NULL, is the set of signature algorithms supported by
1359 * |privatekey| in decreasing order of preference. */
David Benjamind246b812016-07-08 15:07:02 -07001360 uint16_t *sigalgs;
David Benjamin0fc37ef2016-08-17 15:29:46 -04001361 size_t num_sigalgs;
Adam Langley95c29f32014-06-20 12:00:00 -07001362
Adam Langleyfcf25832014-12-18 17:42:32 -08001363 /* Certificate setup callback: if set is called whenever a
1364 * certificate may be required (client or server). the callback
1365 * can then examine any appropriate parameters and setup any
1366 * certificates required. This allows advanced applications
1367 * to select certificates on the fly: for example based on
1368 * supported signature algorithms or curves. */
1369 int (*cert_cb)(SSL *ssl, void *arg);
1370 void *cert_cb_arg;
Adam Langleyd323f4b2016-03-01 15:58:14 -08001371
1372 /* Optional X509_STORE for certificate validation. If NULL the parent SSL_CTX
1373 * store is used instead. */
1374 X509_STORE *verify_store;
David Benjamin83a32122017-02-14 18:34:54 -05001375
1376 /* Signed certificate timestamp list to be sent to the client, if requested */
1377 CRYPTO_BUFFER *signed_cert_timestamp_list;
1378
1379 /* OCSP response to be sent to the client, if requested. */
1380 CRYPTO_BUFFER *ocsp_response;
David Benjamin5960a902017-02-14 20:07:11 -05001381
1382 /* sid_ctx partitions the session space within a shared session cache or
1383 * ticket key. Only sessions with a matching value will be accepted. */
1384 uint8_t sid_ctx_length;
1385 uint8_t sid_ctx[SSL_MAX_SID_CTX_LENGTH];
Alessandro Ghedini67bb45f2017-03-30 16:33:24 -05001386
1387 /* If enable_early_data is non-zero, early data can be sent and accepted. */
1388 unsigned enable_early_data:1;
Adam Langleyfcf25832014-12-18 17:42:32 -08001389} CERT;
Adam Langley95c29f32014-06-20 12:00:00 -07001390
Adam Langleyfcf25832014-12-18 17:42:32 -08001391/* SSL_METHOD is a compatibility structure to support the legacy version-locked
1392 * methods. */
1393struct ssl_method_st {
1394 /* version, if non-zero, is the only protocol version acceptable to an
1395 * SSL_CTX initialized from this method. */
1396 uint16_t version;
1397 /* method is the underlying SSL_PROTOCOL_METHOD that initializes the
1398 * SSL_CTX. */
1399 const SSL_PROTOCOL_METHOD *method;
Adam Langley3509dac2017-02-01 11:59:18 -08001400 /* x509_method contains pointers to functions that might deal with |X509|
1401 * compatibility, or might be a no-op, depending on the application. */
1402 const SSL_X509_METHOD *x509_method;
Adam Langleyfcf25832014-12-18 17:42:32 -08001403};
David Benjamin82c9e902014-12-12 15:55:27 -05001404
1405/* Used to hold functions for SSLv2 or SSLv3/TLSv1 functions */
Adam Langleyfcf25832014-12-18 17:42:32 -08001406struct ssl_protocol_method_st {
David Benjamin9e13e1a2015-03-05 01:56:32 -05001407 /* is_dtls is one if the protocol is DTLS and zero otherwise. */
1408 char is_dtls;
David Benjaminb6a0a512016-06-21 10:33:21 -04001409 /* min_version is the minimum implemented version. */
1410 uint16_t min_version;
1411 /* max_version is the maximum implemented version. */
1412 uint16_t max_version;
David Benjamin2dc02042016-09-19 19:57:37 -04001413 /* version_from_wire maps |wire_version| to a protocol version. On success, it
1414 * sets |*out_version| to the result and returns one. If the version is
1415 * unknown, it returns zero. */
1416 int (*version_from_wire)(uint16_t *out_version, uint16_t wire_version);
David Benjaminb6a0a512016-06-21 10:33:21 -04001417 /* version_to_wire maps |version| to the wire representation. It is an error
1418 * to call it with an invalid version. */
1419 uint16_t (*version_to_wire)(uint16_t version);
David Benjamina41280d2015-11-26 02:16:49 -05001420 int (*ssl_new)(SSL *ssl);
1421 void (*ssl_free)(SSL *ssl);
David Benjamin276b7e82017-01-21 14:13:39 -05001422 /* ssl_get_message reads the next handshake message. On success, it returns
1423 * one and sets |ssl->s3->tmp.message_type|, |ssl->init_msg|, and
1424 * |ssl->init_num|. Otherwise, it returns <= 0. */
David Benjaminf71036e2017-01-21 14:49:39 -05001425 int (*ssl_get_message)(SSL *ssl);
David Benjaminced94792016-11-14 17:12:11 +09001426 /* get_current_message sets |*out| to the current handshake message. This
1427 * includes the protocol-specific message header. */
1428 void (*get_current_message)(const SSL *ssl, CBS *out);
David Benjamin4497e582016-07-27 17:51:49 -04001429 /* release_current_message is called to release the current handshake message.
1430 * If |free_buffer| is one, buffers will also be released. */
1431 void (*release_current_message)(SSL *ssl, int free_buffer);
David Benjamin163f29a2016-07-28 11:05:58 -04001432 /* read_app_data reads up to |len| bytes of application data into |buf|. On
1433 * success, it returns the number of bytes read. Otherwise, it returns <= 0
1434 * and sets |*out_got_handshake| to whether the failure was due to a
1435 * post-handshake handshake message. If so, it fills in the current message as
1436 * in |ssl_get_message|. */
David Benjamin8671c472017-02-02 15:05:35 -05001437 int (*read_app_data)(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
David Benjamin163f29a2016-07-28 11:05:58 -04001438 int peek);
David Benjaminf0ee9072016-06-15 17:44:37 -04001439 int (*read_change_cipher_spec)(SSL *ssl);
1440 void (*read_close_notify)(SSL *ssl);
Steven Valdeze831a812017-03-09 14:56:07 -05001441 int (*write_app_data)(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
1442 int len);
David Benjaminf0ee9072016-06-15 17:44:37 -04001443 int (*dispatch_alert)(SSL *ssl);
David Benjamina1c90a52015-05-30 17:03:14 -04001444 /* supports_cipher returns one if |cipher| is supported by this protocol and
1445 * zero otherwise. */
1446 int (*supports_cipher)(const SSL_CIPHER *cipher);
David Benjamin75836432016-06-17 18:48:29 -04001447 /* init_message begins a new handshake message of type |type|. |cbb| is the
1448 * root CBB to be passed into |finish_message|. |*body| is set to a child CBB
1449 * the caller should write to. It returns one on success and zero on error. */
1450 int (*init_message)(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
Steven Valdez5eead162016-11-11 22:23:25 -05001451 /* finish_message finishes a handshake message. It sets |*out_msg| to a
1452 * newly-allocated buffer with the serialized message. The caller must
1453 * release it with |OPENSSL_free| when done. It returns one on success and
1454 * zero on error. */
1455 int (*finish_message)(SSL *ssl, CBB *cbb, uint8_t **out_msg, size_t *out_len);
David Benjamindaf207a2017-01-03 18:37:41 -05001456 /* add_message adds a handshake message to the pending flight. It returns one
1457 * on success and zero on error. In either case, it takes ownership of |msg|
1458 * and releases it with |OPENSSL_free| when done. */
1459 int (*add_message)(SSL *ssl, uint8_t *msg, size_t len);
1460 /* add_change_cipher_spec adds a ChangeCipherSpec record to the pending
1461 * flight. It returns one on success and zero on error. */
1462 int (*add_change_cipher_spec)(SSL *ssl);
1463 /* add_alert adds an alert to the pending flight. It returns one on success
1464 * and zero on error. */
1465 int (*add_alert)(SSL *ssl, uint8_t level, uint8_t desc);
1466 /* flush_flight flushes the pending flight to the transport. It returns one on
David Benjamin8d5f9da2017-01-01 17:41:30 -05001467 * success and <= 0 on error. */
1468 int (*flush_flight)(SSL *ssl);
David Benjaminaa7734b2016-06-07 16:40:46 -04001469 /* expect_flight is called when the handshake expects a flight of messages from
1470 * the peer. */
1471 void (*expect_flight)(SSL *ssl);
1472 /* received_flight is called when the handshake has received a flight of
1473 * messages from the peer. */
1474 void (*received_flight)(SSL *ssl);
David Benjamin61672812016-07-14 23:10:43 -04001475 /* set_read_state sets |ssl|'s read cipher state to |aead_ctx|. It takes
1476 * ownership of |aead_ctx|. It returns one on success and zero if changing the
1477 * read state is forbidden at this point. */
1478 int (*set_read_state)(SSL *ssl, SSL_AEAD_CTX *aead_ctx);
1479 /* set_write_state sets |ssl|'s write cipher state to |aead_ctx|. It takes
1480 * ownership of |aead_ctx|. It returns one on success and zero if changing the
1481 * write state is forbidden at this point. */
1482 int (*set_write_state)(SSL *ssl, SSL_AEAD_CTX *aead_ctx);
Adam Langleyfcf25832014-12-18 17:42:32 -08001483};
David Benjamin82c9e902014-12-12 15:55:27 -05001484
Adam Langley3509dac2017-02-01 11:59:18 -08001485struct ssl_x509_method_st {
Adam Langley0bdef092017-02-23 15:02:58 -08001486 /* check_client_CA_list returns one if |names| is a good list of X.509
1487 * distinguished names and zero otherwise. This is used to ensure that we can
1488 * reject unparsable values at handshake time when using crypto/x509. */
1489 int (*check_client_CA_list)(STACK_OF(CRYPTO_BUFFER) *names);
1490
Adam Langley2a3b3432017-02-10 13:56:48 -08001491 /* cert_clear frees and NULLs all X509 certificate-related state. */
Adam Langley3509dac2017-02-01 11:59:18 -08001492 void (*cert_clear)(CERT *cert);
Adam Langley2a3b3432017-02-10 13:56:48 -08001493 /* cert_free frees all X509-related state. */
1494 void (*cert_free)(CERT *cert);
Adam Langley3509dac2017-02-01 11:59:18 -08001495 /* cert_flush_cached_chain drops any cached |X509|-based certificate chain
1496 * from |cert|. */
Adam Langley2a3b3432017-02-10 13:56:48 -08001497 /* cert_dup duplicates any needed fields from |cert| to |new_cert|. */
1498 void (*cert_dup)(CERT *new_cert, const CERT *cert);
Adam Langley3509dac2017-02-01 11:59:18 -08001499 void (*cert_flush_cached_chain)(CERT *cert);
1500 /* cert_flush_cached_chain drops any cached |X509|-based leaf certificate
1501 * from |cert|. */
1502 void (*cert_flush_cached_leaf)(CERT *cert);
Adam Langley46db7af2017-02-01 15:49:37 -08001503
1504 /* session_cache_objects fills out |sess->x509_peer| and |sess->x509_chain|
1505 * from |sess->certs| and erases |sess->x509_chain_without_leaf|. It returns
1506 * one on success or zero on error. */
1507 int (*session_cache_objects)(SSL_SESSION *session);
1508 /* session_dup duplicates any needed fields from |session| to |new_session|.
1509 * It returns one on success or zero on error. */
1510 int (*session_dup)(SSL_SESSION *new_session, const SSL_SESSION *session);
1511 /* session_clear frees any X509-related state from |session|. */
1512 void (*session_clear)(SSL_SESSION *session);
Adam Langley2a3b3432017-02-10 13:56:48 -08001513 /* session_verify_cert_chain verifies the certificate chain in |session|,
1514 * sets |session->verify_result| and returns one on success or zero on
1515 * error. */
1516 int (*session_verify_cert_chain)(SSL_SESSION *session, SSL *ssl);
Adam Langley34b4c822017-02-02 10:57:17 -08001517
1518 /* hs_flush_cached_ca_names drops any cached |X509_NAME|s from |hs|. */
1519 void (*hs_flush_cached_ca_names)(SSL_HANDSHAKE *hs);
Adam Langley2a3b3432017-02-10 13:56:48 -08001520 /* ssl_new does any neccessary initialisation of |ssl|. It returns one on
1521 * success or zero on error. */
1522 int (*ssl_new)(SSL *ssl);
1523 /* ssl_free frees anything created by |ssl_new|. */
1524 void (*ssl_free)(SSL *ssl);
Adam Langley34b4c822017-02-02 10:57:17 -08001525 /* ssl_flush_cached_client_CA drops any cached |X509_NAME|s from |ssl|. */
1526 void (*ssl_flush_cached_client_CA)(SSL *ssl);
Adam Langley94a62e62017-02-10 15:24:56 -08001527 /* ssl_auto_chain_if_needed runs the deprecated auto-chaining logic if
1528 * necessary. On success, it updates |ssl|'s certificate configuration as
1529 * needed and returns one. Otherwise, it returns zero. */
1530 int (*ssl_auto_chain_if_needed)(SSL *ssl);
Adam Langley2a3b3432017-02-10 13:56:48 -08001531 /* ssl_ctx_new does any neccessary initialisation of |ctx|. It returns one on
1532 * success or zero on error. */
1533 int (*ssl_ctx_new)(SSL_CTX *ctx);
1534 /* ssl_ctx_free frees anything created by |ssl_ctx_new|. */
1535 void (*ssl_ctx_free)(SSL_CTX *ctx);
Adam Langley34b4c822017-02-02 10:57:17 -08001536 /* ssl_ctx_flush_cached_client_CA drops any cached |X509_NAME|s from |ctx|. */
1537 void (*ssl_ctx_flush_cached_client_CA)(SSL_CTX *ssl);
Adam Langley3509dac2017-02-01 11:59:18 -08001538};
1539
1540/* ssl_crypto_x509_method provides the |ssl_x509_method_st| functions using
1541 * crypto/x509. */
1542extern const struct ssl_x509_method_st ssl_crypto_x509_method;
1543
David Benjamine228bd22016-10-17 20:41:08 -04001544typedef struct ssl3_record_st {
1545 /* type is the record type. */
1546 uint8_t type;
1547 /* length is the number of unconsumed bytes in the record. */
1548 uint16_t length;
1549 /* data is a non-owning pointer to the first unconsumed byte of the record. */
1550 uint8_t *data;
1551} SSL3_RECORD;
1552
1553typedef struct ssl3_buffer_st {
1554 /* buf is the memory allocated for this buffer. */
1555 uint8_t *buf;
1556 /* offset is the offset into |buf| which the buffer contents start at. */
1557 uint16_t offset;
1558 /* len is the length of the buffer contents from |buf| + |offset|. */
1559 uint16_t len;
1560 /* cap is how much memory beyond |buf| + |offset| is available. */
1561 uint16_t cap;
1562} SSL3_BUFFER;
1563
1564/* An ssl_shutdown_t describes the shutdown state of one end of the connection,
1565 * whether it is alive or has been shutdown via close_notify or fatal alert. */
1566enum ssl_shutdown_t {
1567 ssl_shutdown_none = 0,
1568 ssl_shutdown_close_notify = 1,
1569 ssl_shutdown_fatal_alert = 2,
1570};
1571
1572typedef struct ssl3_state_st {
1573 uint8_t read_sequence[8];
1574 uint8_t write_sequence[8];
1575
1576 uint8_t server_random[SSL3_RANDOM_SIZE];
1577 uint8_t client_random[SSL3_RANDOM_SIZE];
1578
David Benjamine228bd22016-10-17 20:41:08 -04001579 /* read_buffer holds data from the transport to be processed. */
1580 SSL3_BUFFER read_buffer;
1581 /* write_buffer holds data to be written to the transport. */
1582 SSL3_BUFFER write_buffer;
1583
1584 SSL3_RECORD rrec; /* each decoded record goes in here */
1585
1586 /* partial write - check the numbers match */
1587 unsigned int wnum; /* number of bytes sent so far */
1588 int wpend_tot; /* number bytes written */
1589 int wpend_type;
1590 int wpend_ret; /* number of bytes submitted */
1591 const uint8_t *wpend_buf;
1592
David Benjamine228bd22016-10-17 20:41:08 -04001593 /* recv_shutdown is the shutdown state for the receive half of the
1594 * connection. */
1595 enum ssl_shutdown_t recv_shutdown;
1596
1597 /* recv_shutdown is the shutdown state for the send half of the connection. */
1598 enum ssl_shutdown_t send_shutdown;
1599
Adam Langley4ba6e192016-12-07 15:54:54 -08001600 int alert_dispatch;
1601
1602 int total_renegotiations;
1603
Steven Valdeza4ee74d2016-11-29 13:36:45 -05001604 /* early_data_skipped is the amount of early data that has been skipped by the
1605 * record layer. */
1606 uint16_t early_data_skipped;
1607
David Benjamine228bd22016-10-17 20:41:08 -04001608 /* empty_record_count is the number of consecutive empty records received. */
1609 uint8_t empty_record_count;
1610
1611 /* warning_alert_count is the number of consecutive warning alerts
1612 * received. */
1613 uint8_t warning_alert_count;
1614
1615 /* key_update_count is the number of consecutive KeyUpdates received. */
1616 uint8_t key_update_count;
1617
Adam Langley4ba6e192016-12-07 15:54:54 -08001618 /* skip_early_data instructs the record layer to skip unexpected early data
1619 * messages when 0RTT is rejected. */
1620 unsigned skip_early_data:1;
1621
1622 /* have_version is true if the connection's final version is known. Otherwise
1623 * the version has not been negotiated yet. */
1624 unsigned have_version:1;
1625
1626 /* v2_hello_done is true if the peer's V2ClientHello, if any, has been handled
1627 * and future messages should use the record layer. */
1628 unsigned v2_hello_done:1;
1629
David Benjamin1a444da2017-01-21 14:27:45 -05001630 /* is_v2_hello is true if the current handshake message was derived from a
1631 * V2ClientHello rather than received from the peer directly. */
1632 unsigned is_v2_hello:1;
1633
Adam Langley4ba6e192016-12-07 15:54:54 -08001634 /* initial_handshake_complete is true if the initial handshake has
1635 * completed. */
1636 unsigned initial_handshake_complete:1;
1637
1638 /* session_reused indicates whether a session was resumed. */
1639 unsigned session_reused:1;
1640
1641 unsigned send_connection_binding:1;
1642
1643 /* In a client, this means that the server supported Channel ID and that a
1644 * Channel ID was sent. In a server it means that we echoed support for
1645 * Channel IDs and that tlsext_channel_id will be valid after the
1646 * handshake. */
1647 unsigned tlsext_channel_id_valid:1;
1648
David Benjaminbbba9392017-04-06 12:54:12 -04001649 /* key_update_pending is one if we have a KeyUpdate acknowledgment
1650 * outstanding. */
1651 unsigned key_update_pending:1;
1652
Steven Valdeze831a812017-03-09 14:56:07 -05001653 /* wpend_pending is one if we have a pending write outstanding. */
1654 unsigned wpend_pending:1;
1655
Adam Langley4ba6e192016-12-07 15:54:54 -08001656 uint8_t send_alert[2];
1657
David Benjamindaf207a2017-01-03 18:37:41 -05001658 /* pending_flight is the pending outgoing flight. This is used to flush each
David Benjaminbbba9392017-04-06 12:54:12 -04001659 * handshake flight in a single write. |write_buffer| must be written out
1660 * before this data. */
David Benjamindaf207a2017-01-03 18:37:41 -05001661 BUF_MEM *pending_flight;
1662
1663 /* pending_flight_offset is the number of bytes of |pending_flight| which have
1664 * been successfully written. */
1665 uint32_t pending_flight_offset;
Adam Langley4ba6e192016-12-07 15:54:54 -08001666
David Benjamine228bd22016-10-17 20:41:08 -04001667 /* aead_read_ctx is the current read cipher state. */
1668 SSL_AEAD_CTX *aead_read_ctx;
1669
1670 /* aead_write_ctx is the current write cipher state. */
1671 SSL_AEAD_CTX *aead_write_ctx;
1672
David Benjamine228bd22016-10-17 20:41:08 -04001673 /* hs is the handshake state for the current handshake or NULL if there isn't
1674 * one. */
1675 SSL_HANDSHAKE *hs;
1676
1677 uint8_t write_traffic_secret[EVP_MAX_MD_SIZE];
David Benjamine228bd22016-10-17 20:41:08 -04001678 uint8_t read_traffic_secret[EVP_MAX_MD_SIZE];
David Benjamine228bd22016-10-17 20:41:08 -04001679 uint8_t exporter_secret[EVP_MAX_MD_SIZE];
Steven Valdez2d850622017-01-11 11:34:52 -05001680 uint8_t early_exporter_secret[EVP_MAX_MD_SIZE];
Adam Langley4ba6e192016-12-07 15:54:54 -08001681 uint8_t write_traffic_secret_len;
1682 uint8_t read_traffic_secret_len;
David Benjamine228bd22016-10-17 20:41:08 -04001683 uint8_t exporter_secret_len;
Steven Valdez2d850622017-01-11 11:34:52 -05001684 uint8_t early_exporter_secret_len;
David Benjamine228bd22016-10-17 20:41:08 -04001685
Adam Langley4ba6e192016-12-07 15:54:54 -08001686 /* Connection binding to prevent renegotiation attacks */
1687 uint8_t previous_client_finished[12];
1688 uint8_t previous_client_finished_len;
1689 uint8_t previous_server_finished_len;
1690 uint8_t previous_server_finished[12];
1691
David Benjamine228bd22016-10-17 20:41:08 -04001692 /* State pertaining to the pending handshake.
1693 *
1694 * TODO(davidben): Move everything not needed after the handshake completes to
1695 * |hs| and remove this. */
1696 struct {
Adam Langley4ba6e192016-12-07 15:54:54 -08001697 int message_type;
1698
David Benjamine228bd22016-10-17 20:41:08 -04001699 int reuse_message;
1700
David Benjamine228bd22016-10-17 20:41:08 -04001701 uint8_t new_mac_secret_len;
1702 uint8_t new_key_len;
1703 uint8_t new_fixed_iv_len;
David Benjamine228bd22016-10-17 20:41:08 -04001704 } tmp;
1705
David Benjamine228bd22016-10-17 20:41:08 -04001706 /* established_session is the session established by the connection. This
1707 * session is only filled upon the completion of the handshake and is
1708 * immutable. */
1709 SSL_SESSION *established_session;
1710
David Benjamine228bd22016-10-17 20:41:08 -04001711 /* Next protocol negotiation. For the client, this is the protocol that we
1712 * sent in NextProtocol and is set when handling ServerHello extensions.
1713 *
1714 * For a server, this is the client's selected_protocol from NextProtocol and
1715 * is set when handling the NextProtocol message, before the Finished
1716 * message. */
1717 uint8_t *next_proto_negotiated;
1718 size_t next_proto_negotiated_len;
1719
1720 /* ALPN information
1721 * (we are in the process of transitioning from NPN to ALPN.) */
1722
1723 /* In a server these point to the selected ALPN protocol after the
1724 * ClientHello has been processed. In a client these contain the protocol
1725 * that the server selected once the ServerHello has been processed. */
1726 uint8_t *alpn_selected;
1727 size_t alpn_selected_len;
1728
David Benjamine228bd22016-10-17 20:41:08 -04001729 /* For a server:
1730 * If |tlsext_channel_id_valid| is true, then this contains the
1731 * verified Channel ID from the client: a P256 point, (x,y), where
1732 * each are big-endian values. */
1733 uint8_t tlsext_channel_id[64];
David Benjamin35ac5b72017-03-03 15:05:56 -05001734
1735 /* ticket_age_skew is the difference, in seconds, between the client-sent
1736 * ticket age and the server-computed value in TLS 1.3 server connections
1737 * which resumed a session. */
1738 int32_t ticket_age_skew;
David Benjamine228bd22016-10-17 20:41:08 -04001739} SSL3_STATE;
1740
David Benjamin593047f2015-05-08 13:08:52 -04001741/* lengths of messages */
1742#define DTLS1_COOKIE_LENGTH 256
1743
1744#define DTLS1_RT_HEADER_LENGTH 13
1745
1746#define DTLS1_HM_HEADER_LENGTH 12
1747
1748#define DTLS1_CCS_HEADER_LENGTH 1
1749
1750#define DTLS1_AL_HEADER_LENGTH 2
1751
David Benjamin593047f2015-05-08 13:08:52 -04001752struct hm_header_st {
1753 uint8_t type;
1754 uint32_t msg_len;
1755 uint16_t seq;
1756 uint32_t frag_off;
1757 uint32_t frag_len;
David Benjamin593047f2015-05-08 13:08:52 -04001758};
1759
David Benjamin528bd262016-07-08 09:34:05 -07001760/* An hm_fragment is an incoming DTLS message, possibly not yet assembled. */
David Benjamin593047f2015-05-08 13:08:52 -04001761typedef struct hm_fragment_st {
David Benjamin528bd262016-07-08 09:34:05 -07001762 /* type is the type of the message. */
1763 uint8_t type;
1764 /* seq is the sequence number of this message. */
1765 uint16_t seq;
1766 /* msg_len is the length of the message body. */
1767 uint32_t msg_len;
1768 /* data is a pointer to the message, including message header. It has length
1769 * |DTLS1_HM_HEADER_LENGTH| + |msg_len|. */
1770 uint8_t *data;
1771 /* reassembly is a bitmask of |msg_len| bits corresponding to which parts of
1772 * the message have been received. It is NULL if the message is complete. */
David Benjamin593047f2015-05-08 13:08:52 -04001773 uint8_t *reassembly;
1774} hm_fragment;
1775
David Benjaminad8f5e12017-02-20 17:00:20 -05001776struct OPENSSL_timeval {
1777 uint64_t tv_sec;
1778 uint32_t tv_usec;
1779};
1780
David Benjamin593047f2015-05-08 13:08:52 -04001781typedef struct dtls1_state_st {
1782 /* send_cookie is true if we are resending the ClientHello
1783 * with a cookie from a HelloVerifyRequest. */
1784 unsigned int send_cookie;
1785
1786 uint8_t cookie[DTLS1_COOKIE_LENGTH];
1787 size_t cookie_len;
1788
1789 /* The current data and handshake epoch. This is initially undefined, and
1790 * starts at zero once the initial handshake is completed. */
1791 uint16_t r_epoch;
1792 uint16_t w_epoch;
1793
1794 /* records being received in the current epoch */
1795 DTLS1_BITMAP bitmap;
1796
David Benjamin593047f2015-05-08 13:08:52 -04001797 uint16_t handshake_write_seq;
David Benjamin593047f2015-05-08 13:08:52 -04001798 uint16_t handshake_read_seq;
1799
1800 /* save last sequence number for retransmissions */
1801 uint8_t last_write_sequence[8];
1802
David Benjaminec847ce2016-06-17 19:30:47 -04001803 /* incoming_messages is a ring buffer of incoming handshake messages that have
1804 * yet to be processed. The front of the ring buffer is message number
1805 * |handshake_read_seq|, at position |handshake_read_seq| %
1806 * |SSL_MAX_HANDSHAKE_FLIGHT|. */
1807 hm_fragment *incoming_messages[SSL_MAX_HANDSHAKE_FLIGHT];
David Benjamin593047f2015-05-08 13:08:52 -04001808
David Benjamin29a83c52016-06-17 19:12:54 -04001809 /* outgoing_messages is the queue of outgoing messages from the last handshake
1810 * flight. */
1811 DTLS_OUTGOING_MESSAGE outgoing_messages[SSL_MAX_HANDSHAKE_FLIGHT];
1812 uint8_t outgoing_messages_len;
David Benjamin593047f2015-05-08 13:08:52 -04001813
David Benjamin1a999cf2017-01-03 10:30:35 -05001814 /* outgoing_written is the number of outgoing messages that have been
1815 * written. */
1816 uint8_t outgoing_written;
1817 /* outgoing_offset is the number of bytes of the next outgoing message have
1818 * been written. */
1819 uint32_t outgoing_offset;
1820
David Benjamin593047f2015-05-08 13:08:52 -04001821 unsigned int mtu; /* max DTLS packet size */
1822
David Benjamin593047f2015-05-08 13:08:52 -04001823 /* num_timeouts is the number of times the retransmit timer has fired since
1824 * the last time it was reset. */
1825 unsigned int num_timeouts;
1826
1827 /* Indicates when the last handshake msg or heartbeat sent will
David Benjamin4d2e7ce2015-05-08 13:29:45 -04001828 * timeout. */
David Benjaminad8f5e12017-02-20 17:00:20 -05001829 struct OPENSSL_timeval next_timeout;
David Benjamin593047f2015-05-08 13:08:52 -04001830
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -07001831 /* timeout_duration_ms is the timeout duration in milliseconds. */
1832 unsigned timeout_duration_ms;
David Benjamin593047f2015-05-08 13:08:52 -04001833} DTLS1_STATE;
1834
David Benjamin3f2611a2017-02-06 13:38:26 -05001835struct ssl_st {
1836 /* method is the method table corresponding to the current protocol (DTLS or
1837 * TLS). */
1838 const SSL_PROTOCOL_METHOD *method;
1839
1840 /* version is the protocol version. */
1841 int version;
1842
David Benjaminfc08dfc2017-06-20 14:39:32 -04001843 /* conf_max_version is the maximum acceptable protocol version configured by
1844 * |SSL_set_max_proto_version|. Note this version is normalized in DTLS and is
1845 * further constrainted by |SSL_OP_NO_*|. */
1846 uint16_t conf_max_version;
David Benjamin3f2611a2017-02-06 13:38:26 -05001847
David Benjaminfc08dfc2017-06-20 14:39:32 -04001848 /* conf_min_version is the minimum acceptable protocol version configured by
1849 * |SSL_set_min_proto_version|. Note this version is normalized in DTLS and is
1850 * further constrainted by |SSL_OP_NO_*|. */
1851 uint16_t conf_min_version;
David Benjamin3f2611a2017-02-06 13:38:26 -05001852
1853 uint16_t max_send_fragment;
1854
1855 /* There are 2 BIO's even though they are normally both the same. This is so
1856 * data can be read and written to different handlers */
1857
1858 BIO *rbio; /* used by SSL_read */
1859 BIO *wbio; /* used by SSL_write */
1860
1861 int (*handshake_func)(SSL_HANDSHAKE *hs);
1862
1863 BUF_MEM *init_buf; /* buffer used during init */
1864
1865 /* init_msg is a pointer to the current handshake message body. */
1866 const uint8_t *init_msg;
1867 /* init_num is the length of the current handshake message body. */
1868 uint32_t init_num;
1869
1870 struct ssl3_state_st *s3; /* SSLv3 variables */
1871 struct dtls1_state_st *d1; /* DTLSv1 variables */
1872
1873 /* callback that allows applications to peek at protocol messages */
1874 void (*msg_callback)(int write_p, int version, int content_type,
1875 const void *buf, size_t len, SSL *ssl, void *arg);
1876 void *msg_callback_arg;
1877
1878 X509_VERIFY_PARAM *param;
1879
1880 /* crypto */
1881 struct ssl_cipher_preference_list_st *cipher_list;
1882
1883 /* session info */
1884
1885 /* client cert? */
1886 /* This is used to hold the server certificate used */
1887 struct cert_st /* CERT */ *cert;
1888
1889 /* This holds a variable that indicates what we were doing when a 0 or -1 is
1890 * returned. This is needed for non-blocking IO so we know what request
1891 * needs re-doing when in SSL_accept or SSL_connect */
1892 int rwstate;
1893
1894 /* initial_timeout_duration_ms is the default DTLS timeout duration in
1895 * milliseconds. It's used to initialize the timer any time it's restarted. */
1896 unsigned initial_timeout_duration_ms;
1897
David Benjamin3f2611a2017-02-06 13:38:26 -05001898 /* session is the configured session to be offered by the client. This session
1899 * is immutable. */
1900 SSL_SESSION *session;
1901
1902 int (*verify_callback)(int ok,
1903 X509_STORE_CTX *ctx); /* fail if callback returns 0 */
1904
1905 void (*info_callback)(const SSL *ssl, int type, int value);
1906
1907 /* Server-only: psk_identity_hint is the identity hint to send in
1908 * PSK-based key exchanges. */
1909 char *psk_identity_hint;
1910
1911 unsigned int (*psk_client_callback)(SSL *ssl, const char *hint,
1912 char *identity,
1913 unsigned int max_identity_len,
1914 uint8_t *psk, unsigned int max_psk_len);
1915 unsigned int (*psk_server_callback)(SSL *ssl, const char *identity,
1916 uint8_t *psk, unsigned int max_psk_len);
1917
1918 SSL_CTX *ctx;
1919
1920 /* extra application data */
1921 CRYPTO_EX_DATA ex_data;
1922
1923 /* for server side, keep the list of CA_dn we can use */
Adam Langley34b4c822017-02-02 10:57:17 -08001924 STACK_OF(CRYPTO_BUFFER) *client_CA;
1925
1926 /* cached_x509_client_CA is a cache of parsed versions of the elements of
1927 * |client_CA|. */
1928 STACK_OF(X509_NAME) *cached_x509_client_CA;
David Benjamin3f2611a2017-02-06 13:38:26 -05001929
1930 uint32_t options; /* protocol behaviour */
1931 uint32_t mode; /* API behaviour */
1932 uint32_t max_cert_list;
1933 char *tlsext_hostname;
1934 size_t supported_group_list_len;
1935 uint16_t *supported_group_list; /* our list */
1936
David Benjaminbe497062017-03-10 16:08:36 -05001937 /* session_ctx is the |SSL_CTX| used for the session cache and related
1938 * settings. */
1939 SSL_CTX *session_ctx;
David Benjamin3f2611a2017-02-06 13:38:26 -05001940
1941 /* srtp_profiles is the list of configured SRTP protection profiles for
1942 * DTLS-SRTP. */
1943 STACK_OF(SRTP_PROTECTION_PROFILE) *srtp_profiles;
1944
1945 /* srtp_profile is the selected SRTP protection profile for
1946 * DTLS-SRTP. */
1947 const SRTP_PROTECTION_PROFILE *srtp_profile;
1948
1949 /* The client's Channel ID private key. */
1950 EVP_PKEY *tlsext_channel_id_private;
1951
1952 /* For a client, this contains the list of supported protocols in wire
1953 * format. */
1954 uint8_t *alpn_client_proto_list;
1955 unsigned alpn_client_proto_list_len;
1956
1957 /* renegotiate_mode controls how peer renegotiation attempts are handled. */
1958 enum ssl_renegotiate_mode_t renegotiate_mode;
1959
1960 /* verify_mode is a bitmask of |SSL_VERIFY_*| values. */
1961 uint8_t verify_mode;
1962
1963 /* server is true iff the this SSL* is the server half. Note: before the SSL*
1964 * is initialized by either SSL_set_accept_state or SSL_set_connect_state,
1965 * the side is not determined. In this state, server is always false. */
1966 unsigned server:1;
1967
1968 /* quiet_shutdown is true if the connection should not send a close_notify on
1969 * shutdown. */
1970 unsigned quiet_shutdown:1;
1971
1972 /* Enable signed certificate time stamps. Currently client only. */
1973 unsigned signed_cert_timestamps_enabled:1;
1974
1975 /* ocsp_stapling_enabled is only used by client connections and indicates
1976 * whether OCSP stapling will be requested. */
1977 unsigned ocsp_stapling_enabled:1;
1978
1979 /* tlsext_channel_id_enabled is copied from the |SSL_CTX|. For a server,
1980 * means that we'll accept Channel IDs from clients. For a client, means that
1981 * we'll advertise support. */
1982 unsigned tlsext_channel_id_enabled:1;
1983
1984 /* retain_only_sha256_of_client_certs is true if we should compute the SHA256
1985 * hash of the peer's certificate and then discard it to save memory and
1986 * session space. Only effective on the server side. */
1987 unsigned retain_only_sha256_of_client_certs:1;
Steven Valdez2d850622017-01-11 11:34:52 -05001988
1989 /* early_data_accepted is true if early data was accepted by the server. */
1990 unsigned early_data_accepted:1;
David Benjamin3f2611a2017-02-06 13:38:26 -05001991};
1992
Steven Valdeza833c352016-11-01 13:39:36 -04001993/* From draft-ietf-tls-tls13-18, used in determining PSK modes. */
1994#define SSL_PSK_KE 0x0
1995#define SSL_PSK_DHE_KE 0x1
Steven Valdez1e6f11a2016-07-27 11:10:52 -04001996
Steven Valdezc4aa7272016-10-03 12:25:56 -04001997/* From draft-ietf-tls-tls13-16, used in determining whether to respond with a
1998 * KeyUpdate. */
1999#define SSL_KEY_UPDATE_NOT_REQUESTED 0
2000#define SSL_KEY_UPDATE_REQUESTED 1
2001
Alessandro Ghedinide254b42017-04-17 19:12:33 +01002002/* kMaxEarlyDataAccepted is the advertised number of plaintext bytes of early
2003 * data that will be accepted. This value should be slightly below
2004 * kMaxEarlyDataSkipped in tls_record.c, which is measured in ciphertext. */
2005static const size_t kMaxEarlyDataAccepted = 14336;
2006
Adam Langley3509dac2017-02-01 11:59:18 -08002007CERT *ssl_cert_new(const SSL_X509_METHOD *x509_method);
Adam Langley95c29f32014-06-20 12:00:00 -07002008CERT *ssl_cert_dup(CERT *cert);
Adam Langley95c29f32014-06-20 12:00:00 -07002009void ssl_cert_clear_certs(CERT *c);
2010void ssl_cert_free(CERT *c);
Adam Langley3509dac2017-02-01 11:59:18 -08002011int ssl_set_cert(CERT *cert, CRYPTO_BUFFER *buffer);
Adam Langley52940c42017-02-01 12:40:31 -08002012int ssl_is_key_type_supported(int key_type);
Adam Langleyc26692c2017-01-25 09:34:42 -08002013/* ssl_compare_public_and_private_key returns one if |pubkey| is the public
2014 * counterpart to |privkey|. Otherwise it returns zero and pushes a helpful
2015 * message on the error queue. */
2016int ssl_compare_public_and_private_key(const EVP_PKEY *pubkey,
2017 const EVP_PKEY *privkey);
Adam Langley3a2b47a2017-01-24 13:59:42 -08002018int ssl_cert_check_private_key(const CERT *cert, const EVP_PKEY *privkey);
David Benjaminf3c8f8d2016-11-17 17:20:47 +09002019int ssl_get_new_session(SSL_HANDSHAKE *hs, int is_server);
Steven Valdez1e6f11a2016-07-27 11:10:52 -04002020int ssl_encrypt_ticket(SSL *ssl, CBB *out, const SSL_SESSION *session);
David Benjamine3aa1d92015-06-16 15:34:50 -04002021
Adam Langley46db7af2017-02-01 15:49:37 -08002022/* ssl_session_new returns a newly-allocated blank |SSL_SESSION| or NULL on
2023 * error. */
2024SSL_SESSION *ssl_session_new(const SSL_X509_METHOD *x509_method);
2025
2026/* SSL_SESSION_parse parses an |SSL_SESSION| from |cbs| and advances |cbs| over
2027 * the parsed data. */
2028SSL_SESSION *SSL_SESSION_parse(CBS *cbs, const SSL_X509_METHOD *x509_method,
2029 CRYPTO_BUFFER_POOL *pool);
2030
Steven Valdez4aa154e2016-07-29 14:32:55 -04002031/* ssl_session_is_context_valid returns one if |session|'s session ID context
2032 * matches the one set on |ssl| and zero otherwise. */
2033int ssl_session_is_context_valid(const SSL *ssl, const SSL_SESSION *session);
2034
2035/* ssl_session_is_time_valid returns one if |session| is still valid and zero if
2036 * it has expired. */
2037int ssl_session_is_time_valid(const SSL *ssl, const SSL_SESSION *session);
2038
David Benjamin45738dd2017-02-09 20:01:26 -05002039/* ssl_session_is_resumable returns one if |session| is resumable for |hs| and
David Benjamin75f99142016-11-12 12:36:06 +09002040 * zero otherwise. */
David Benjamin45738dd2017-02-09 20:01:26 -05002041int ssl_session_is_resumable(const SSL_HANDSHAKE *hs,
2042 const SSL_SESSION *session);
David Benjamin75f99142016-11-12 12:36:06 +09002043
Steven Valdez908ac192017-01-12 13:17:07 -05002044/* SSL_SESSION_get_digest returns the digest used in |session|. If the digest is
2045 * invalid, it returns NULL. */
2046const EVP_MD *SSL_SESSION_get_digest(const SSL_SESSION *session,
2047 const SSL *ssl);
2048
David Benjamin4d0be242016-09-01 01:10:07 -04002049void ssl_set_session(SSL *ssl, SSL_SESSION *session);
2050
David Benjamine3aa1d92015-06-16 15:34:50 -04002051enum ssl_session_result_t {
2052 ssl_session_success,
2053 ssl_session_error,
2054 ssl_session_retry,
Adam Langley4c341d02017-03-08 19:33:21 -08002055 ssl_session_ticket_retry,
David Benjamine3aa1d92015-06-16 15:34:50 -04002056};
2057
David Benjamin731058e2016-12-03 23:15:13 -05002058/* ssl_get_prev_session looks up the previous session based on |client_hello|.
2059 * On success, it sets |*out_session| to the session or NULL if none was found.
2060 * If the session could not be looked up synchronously, it returns
Adam Langley4c341d02017-03-08 19:33:21 -08002061 * |ssl_session_retry| and should be called again. If a ticket could not be
2062 * decrypted immediately it returns |ssl_session_ticket_retry| and should also
2063 * be called again. Otherwise, it returns |ssl_session_error|. */
David Benjamine3aa1d92015-06-16 15:34:50 -04002064enum ssl_session_result_t ssl_get_prev_session(
David Benjamin75f99142016-11-12 12:36:06 +09002065 SSL *ssl, SSL_SESSION **out_session, int *out_tickets_supported,
David Benjamin731058e2016-12-03 23:15:13 -05002066 int *out_renew_ticket, const SSL_CLIENT_HELLO *client_hello);
David Benjamine3aa1d92015-06-16 15:34:50 -04002067
Steven Valdez4aa154e2016-07-29 14:32:55 -04002068/* The following flags determine which parts of the session are duplicated. */
2069#define SSL_SESSION_DUP_AUTH_ONLY 0x0
2070#define SSL_SESSION_INCLUDE_TICKET 0x1
2071#define SSL_SESSION_INCLUDE_NONAUTH 0x2
2072#define SSL_SESSION_DUP_ALL \
2073 (SSL_SESSION_INCLUDE_TICKET | SSL_SESSION_INCLUDE_NONAUTH)
2074
Steven Valdez87eab492016-06-27 16:34:59 -04002075/* SSL_SESSION_dup returns a newly-allocated |SSL_SESSION| with a copy of the
2076 * fields in |session| or NULL on error. The new session is non-resumable and
2077 * must be explicitly marked resumable once it has been filled in. */
2078OPENSSL_EXPORT SSL_SESSION *SSL_SESSION_dup(SSL_SESSION *session,
Steven Valdez4aa154e2016-07-29 14:32:55 -04002079 int dup_flags);
Steven Valdez87eab492016-06-27 16:34:59 -04002080
David Benjamin17b30832017-01-28 14:00:32 -05002081/* ssl_session_rebase_time updates |session|'s start time to the current time,
David Benjamin123db572016-11-03 16:59:25 -04002082 * adjusting the timeout so the expiration time is unchanged. */
David Benjamin17b30832017-01-28 14:00:32 -05002083void ssl_session_rebase_time(SSL *ssl, SSL_SESSION *session);
2084
2085/* ssl_session_renew_timeout calls |ssl_session_rebase_time| and renews
2086 * |session|'s timeout to |timeout| (measured from the current time). The
2087 * renewal is clamped to the session's auth_timeout. */
David Benjaminad8f5e12017-02-20 17:00:20 -05002088void ssl_session_renew_timeout(SSL *ssl, SSL_SESSION *session,
2089 uint32_t timeout);
David Benjamin123db572016-11-03 16:59:25 -04002090
Adam Langley858a88d2014-06-20 12:00:00 -07002091void ssl_cipher_preference_list_free(
Adam Langleyfcf25832014-12-18 17:42:32 -08002092 struct ssl_cipher_preference_list_st *cipher_list);
David Benjaminabbbee12016-10-31 19:20:42 -04002093
2094/* ssl_get_cipher_preferences returns the cipher preference list for TLS 1.2 and
2095 * below. */
David Benjaminaf3b3d32016-10-31 16:29:57 -04002096const struct ssl_cipher_preference_list_st *ssl_get_cipher_preferences(
2097 const SSL *ssl);
David Benjaminea72bd02014-12-21 21:27:41 -05002098
David Benjaminf3c8f8d2016-11-17 17:20:47 +09002099void ssl_update_cache(SSL_HANDSHAKE *hs, int mode);
David Benjaminf31e6812014-11-13 18:05:55 -05002100
David Benjaminc3c88822016-11-14 10:32:04 +09002101int ssl3_get_finished(SSL_HANDSHAKE *hs);
David Benjamin0d56f882015-12-19 17:05:56 -05002102int ssl3_send_alert(SSL *ssl, int level, int desc);
David Benjaminf71036e2017-01-21 14:49:39 -05002103int ssl3_get_message(SSL *ssl);
David Benjaminced94792016-11-14 17:12:11 +09002104void ssl3_get_current_message(const SSL *ssl, CBS *out);
David Benjamin4497e582016-07-27 17:51:49 -04002105void ssl3_release_current_message(SSL *ssl, int free_buffer);
David Benjamin854dd652014-08-26 00:32:30 -04002106
David Benjamin16315f72017-01-12 20:02:05 -05002107int ssl3_send_finished(SSL_HANDSHAKE *hs);
David Benjamin0d56f882015-12-19 17:05:56 -05002108int ssl3_dispatch_alert(SSL *ssl);
David Benjamin163f29a2016-07-28 11:05:58 -04002109int ssl3_read_app_data(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
2110 int peek);
David Benjamina41280d2015-11-26 02:16:49 -05002111int ssl3_read_change_cipher_spec(SSL *ssl);
David Benjamina6022772015-05-30 16:22:10 -04002112void ssl3_read_close_notify(SSL *ssl);
David Benjamin163f29a2016-07-28 11:05:58 -04002113int ssl3_read_handshake_bytes(SSL *ssl, uint8_t *buf, int len);
Steven Valdeze831a812017-03-09 14:56:07 -05002114int ssl3_write_app_data(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
2115 int len);
David Benjamin0d56f882015-12-19 17:05:56 -05002116int ssl3_output_cert_chain(SSL *ssl);
Steven Valdezb6b6ff32016-10-26 11:56:35 -04002117
David Benjamin0d56f882015-12-19 17:05:56 -05002118int ssl3_new(SSL *ssl);
2119void ssl3_free(SSL *ssl);
David Benjamince8c9d22016-11-14 10:45:16 +09002120int ssl3_accept(SSL_HANDSHAKE *hs);
2121int ssl3_connect(SSL_HANDSHAKE *hs);
Adam Langley95c29f32014-06-20 12:00:00 -07002122
David Benjamin75836432016-06-17 18:48:29 -04002123int ssl3_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
Steven Valdez5eead162016-11-11 22:23:25 -05002124int ssl3_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg, size_t *out_len);
David Benjamindaf207a2017-01-03 18:37:41 -05002125int ssl3_add_message(SSL *ssl, uint8_t *msg, size_t len);
2126int ssl3_add_change_cipher_spec(SSL *ssl);
2127int ssl3_add_alert(SSL *ssl, uint8_t level, uint8_t desc);
David Benjamindaf207a2017-01-03 18:37:41 -05002128int ssl3_flush_flight(SSL *ssl);
David Benjamin75836432016-06-17 18:48:29 -04002129
David Benjamin75836432016-06-17 18:48:29 -04002130int dtls1_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
Steven Valdez5eead162016-11-11 22:23:25 -05002131int dtls1_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg,
2132 size_t *out_len);
David Benjamindaf207a2017-01-03 18:37:41 -05002133int dtls1_add_message(SSL *ssl, uint8_t *msg, size_t len);
2134int dtls1_add_change_cipher_spec(SSL *ssl);
2135int dtls1_add_alert(SSL *ssl, uint8_t level, uint8_t desc);
David Benjamin1a999cf2017-01-03 10:30:35 -05002136int dtls1_flush_flight(SSL *ssl);
David Benjaminc6604172016-06-02 16:38:35 -04002137
David Benjamindaf207a2017-01-03 18:37:41 -05002138/* ssl_add_message_cbb finishes the handshake message in |cbb| and adds it to
2139 * the pending flight. It returns one on success and zero on error. */
2140int ssl_add_message_cbb(SSL *ssl, CBB *cbb);
Steven Valdez5eead162016-11-11 22:23:25 -05002141
David Benjaminced94792016-11-14 17:12:11 +09002142/* ssl_hash_current_message incorporates the current handshake message into the
2143 * handshake hash. It returns one on success and zero on allocation failure. */
Steven Valdez908ac192017-01-12 13:17:07 -05002144int ssl_hash_current_message(SSL_HANDSHAKE *hs);
David Benjaminced94792016-11-14 17:12:11 +09002145
David Benjaminc6604172016-06-02 16:38:35 -04002146/* dtls1_get_record reads a new input record. On success, it places it in
2147 * |ssl->s3->rrec| and returns one. Otherwise it returns <= 0 on error or if
2148 * more data is needed. */
2149int dtls1_get_record(SSL *ssl);
2150
David Benjamin163f29a2016-07-28 11:05:58 -04002151int dtls1_read_app_data(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
2152 int peek);
David Benjamina41280d2015-11-26 02:16:49 -05002153int dtls1_read_change_cipher_spec(SSL *ssl);
David Benjamina6022772015-05-30 16:22:10 -04002154void dtls1_read_close_notify(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07002155
Steven Valdeze831a812017-03-09 14:56:07 -05002156int dtls1_write_app_data(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
2157 int len);
David Benjamin45d45c12016-06-07 15:20:49 -04002158
2159/* dtls1_write_record sends a record. It returns one on success and <= 0 on
2160 * error. */
2161int dtls1_write_record(SSL *ssl, int type, const uint8_t *buf, size_t len,
2162 enum dtls1_use_epoch_t use_epoch);
Adam Langley95c29f32014-06-20 12:00:00 -07002163
David Benjamin0d56f882015-12-19 17:05:56 -05002164int dtls1_send_finished(SSL *ssl, int a, int b, const char *sender, int slen);
David Benjaminaad50db2016-06-23 17:49:12 -04002165int dtls1_retransmit_outgoing_messages(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05002166void dtls1_clear_record_buffer(SSL *ssl);
David Benjaminc6604172016-06-02 16:38:35 -04002167int dtls1_parse_fragment(CBS *cbs, struct hm_header_st *out_hdr,
2168 CBS *out_body);
David Benjamin0d56f882015-12-19 17:05:56 -05002169int dtls1_check_timeout_num(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05002170int dtls1_handshake_write(SSL *ssl);
David Benjamin2fa83de2015-02-08 01:40:08 -05002171
David Benjamin0d56f882015-12-19 17:05:56 -05002172void dtls1_start_timer(SSL *ssl);
2173void dtls1_stop_timer(SSL *ssl);
2174int dtls1_is_timer_expired(SSL *ssl);
2175void dtls1_double_timeout(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07002176unsigned int dtls1_min_mtu(void);
2177
David Benjamin0d56f882015-12-19 17:05:56 -05002178int dtls1_new(SSL *ssl);
2179int dtls1_accept(SSL *ssl);
2180int dtls1_connect(SSL *ssl);
2181void dtls1_free(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07002182
David Benjaminf71036e2017-01-21 14:49:39 -05002183int dtls1_get_message(SSL *ssl);
David Benjaminced94792016-11-14 17:12:11 +09002184void dtls1_get_current_message(const SSL *ssl, CBS *out);
David Benjamin4497e582016-07-27 17:51:49 -04002185void dtls1_release_current_message(SSL *ssl, int free_buffer);
David Benjamin0d56f882015-12-19 17:05:56 -05002186int dtls1_dispatch_alert(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07002187
David Benjamin67739722016-11-17 17:03:59 +09002188int tls1_change_cipher_state(SSL_HANDSHAKE *hs, int which);
Steven Valdez908ac192017-01-12 13:17:07 -05002189int tls1_generate_master_secret(SSL_HANDSHAKE *hs, uint8_t *out,
2190 const uint8_t *premaster, size_t premaster_len);
Adam Langley95c29f32014-06-20 12:00:00 -07002191
Steven Valdez5440fe02016-07-18 12:40:30 -04002192/* tls1_get_grouplist sets |*out_group_ids| and |*out_group_ids_len| to the
David Benjaminf04976b2016-10-07 00:37:55 -04002193 * locally-configured group preference list. */
2194void tls1_get_grouplist(SSL *ssl, const uint16_t **out_group_ids,
Steven Valdez5440fe02016-07-18 12:40:30 -04002195 size_t *out_group_ids_len);
2196
David Benjamin9d0b4bc2016-10-07 00:34:08 -04002197/* tls1_check_group_id returns one if |group_id| is consistent with
2198 * locally-configured group preferences. */
Steven Valdezce902a92016-05-17 11:47:53 -04002199int tls1_check_group_id(SSL *ssl, uint16_t group_id);
Sigbjorn Vik2b23d242015-06-29 15:07:26 +02002200
Steven Valdezce902a92016-05-17 11:47:53 -04002201/* tls1_get_shared_group sets |*out_group_id| to the first preferred shared
2202 * group between client and server preferences and returns one. If none may be
David Benjamin4298d772015-12-19 00:18:25 -05002203 * found, it returns zero. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09002204int tls1_get_shared_group(SSL_HANDSHAKE *hs, uint16_t *out_group_id);
David Benjamin072334d2014-07-13 16:24:27 -04002205
2206/* tls1_set_curves converts the array of |ncurves| NIDs pointed to by |curves|
Steven Valdezce902a92016-05-17 11:47:53 -04002207 * into a newly allocated array of TLS group IDs. On success, the function
2208 * returns one and writes the array to |*out_group_ids| and its size to
2209 * |*out_group_ids_len|. Otherwise, it returns zero. */
2210int tls1_set_curves(uint16_t **out_group_ids, size_t *out_group_ids_len,
Adam Langleyfcf25832014-12-18 17:42:32 -08002211 const int *curves, size_t ncurves);
David Benjamin072334d2014-07-13 16:24:27 -04002212
Alessandro Ghedini5fd18072016-09-28 21:04:25 +01002213/* tls1_set_curves_list converts the string of curves pointed to by |curves|
2214 * into a newly allocated array of TLS group IDs. On success, the function
2215 * returns one and writes the array to |*out_group_ids| and its size to
2216 * |*out_group_ids_len|. Otherwise, it returns zero. */
2217int tls1_set_curves_list(uint16_t **out_group_ids, size_t *out_group_ids_len,
2218 const char *curves);
2219
David Benjamine8d53502015-10-10 14:13:23 -04002220/* ssl_add_clienthello_tlsext writes ClientHello extensions to |out|. It
2221 * returns one on success and zero on failure. The |header_len| argument is the
2222 * length of the ClientHello written so far and is used to compute the padding
2223 * length. (It does not include the record header.) */
David Benjamin8c880a22016-12-03 02:20:34 -05002224int ssl_add_clienthello_tlsext(SSL_HANDSHAKE *hs, CBB *out, size_t header_len);
David Benjamine8d53502015-10-10 14:13:23 -04002225
David Benjamin8c880a22016-12-03 02:20:34 -05002226int ssl_add_serverhello_tlsext(SSL_HANDSHAKE *hs, CBB *out);
David Benjamin731058e2016-12-03 23:15:13 -05002227int ssl_parse_clienthello_tlsext(SSL_HANDSHAKE *hs,
2228 const SSL_CLIENT_HELLO *client_hello);
David Benjamin8c880a22016-12-03 02:20:34 -05002229int ssl_parse_serverhello_tlsext(SSL_HANDSHAKE *hs, CBS *cbs);
Adam Langley95c29f32014-06-20 12:00:00 -07002230
Adam Langleyfcf25832014-12-18 17:42:32 -08002231#define tlsext_tick_md EVP_sha256
David Benjamine3aa1d92015-06-16 15:34:50 -04002232
Adam Langley4c341d02017-03-08 19:33:21 -08002233/* ssl_process_ticket processes a session ticket from the client. It returns
2234 * one of:
2235 * |ssl_ticket_aead_success|: |*out_session| is set to the parsed session and
2236 * |*out_renew_ticket| is set to whether the ticket should be renewed.
2237 * |ssl_ticket_aead_ignore_ticket|: |*out_renew_ticket| is set to whether a
2238 * fresh ticket should be sent, but the given ticket cannot be used.
2239 * |ssl_ticket_aead_retry|: the ticket could not be immediately decrypted.
2240 * Retry later.
2241 * |ssl_ticket_aead_error|: an error occured that is fatal to the connection. */
2242enum ssl_ticket_aead_result_t ssl_process_ticket(
2243 SSL *ssl, SSL_SESSION **out_session, int *out_renew_ticket,
2244 const uint8_t *ticket, size_t ticket_len, const uint8_t *session_id,
2245 size_t session_id_len);
Adam Langley95c29f32014-06-20 12:00:00 -07002246
Nick Harper60a85cb2016-09-23 16:25:11 -07002247/* tls1_verify_channel_id processes the current message as a Channel ID message,
2248 * and verifies the signature. If the key is valid, it saves the Channel ID and
2249 * returns one. Otherwise, it returns zero. */
Steven Valdez908ac192017-01-12 13:17:07 -05002250int tls1_verify_channel_id(SSL_HANDSHAKE *hs);
Nick Harper60a85cb2016-09-23 16:25:11 -07002251
2252/* tls1_write_channel_id generates a Channel ID message and puts the output in
2253 * |cbb|. |ssl->tlsext_channel_id_private| must already be set before calling.
2254 * This function returns one on success and zero on error. */
Steven Valdez908ac192017-01-12 13:17:07 -05002255int tls1_write_channel_id(SSL_HANDSHAKE *hs, CBB *cbb);
Nick Harper60a85cb2016-09-23 16:25:11 -07002256
David Benjamind6a4ae92015-08-06 11:10:51 -04002257/* tls1_channel_id_hash computes the hash to be signed by Channel ID and writes
2258 * it to |out|, which must contain at least |EVP_MAX_MD_SIZE| bytes. It returns
2259 * one on success and zero on failure. */
Steven Valdez908ac192017-01-12 13:17:07 -05002260int tls1_channel_id_hash(SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len);
David Benjamind6a4ae92015-08-06 11:10:51 -04002261
Steven Valdez908ac192017-01-12 13:17:07 -05002262int tls1_record_handshake_hashes_for_channel_id(SSL_HANDSHAKE *hs);
Adam Langley1258b6a2014-06-20 12:00:00 -07002263
Nick Harper60a85cb2016-09-23 16:25:11 -07002264/* ssl_do_channel_id_callback checks runs |ssl->ctx->channel_id_cb| if
2265 * necessary. It returns one on success and zero on fatal error. Note that, on
2266 * success, |ssl->tlsext_channel_id_private| may be unset, in which case the
2267 * operation should be retried later. */
2268int ssl_do_channel_id_callback(SSL *ssl);
2269
David Benjamin0d56f882015-12-19 17:05:56 -05002270/* ssl3_can_false_start returns one if |ssl| is allowed to False Start and zero
David Benjamined7c4752015-02-16 19:16:46 -05002271 * otherwise. */
David Benjamin0d56f882015-12-19 17:05:56 -05002272int ssl3_can_false_start(const SSL *ssl);
David Benjaminceb6f282014-12-07 23:56:19 -05002273
Steven Valdez681eb6a2016-12-19 13:19:29 -05002274/* ssl_can_write returns one if |ssl| is allowed to write and zero otherwise. */
2275int ssl_can_write(const SSL *ssl);
2276
2277/* ssl_can_read returns one if |ssl| is allowed to read and zero otherwise. */
2278int ssl_can_read(const SSL *ssl);
2279
David Benjamine0ff7672016-09-19 18:40:03 -04002280/* ssl_get_version_range sets |*out_min_version| and |*out_max_version| to the
2281 * minimum and maximum enabled protocol versions, respectively. */
David Benjaminb6a0a512016-06-21 10:33:21 -04002282int ssl_get_version_range(const SSL *ssl, uint16_t *out_min_version,
David Benjamine0ff7672016-09-19 18:40:03 -04002283 uint16_t *out_max_version);
David Benjaminb9e4fa52015-12-29 23:58:17 -05002284
2285/* ssl3_protocol_version returns |ssl|'s protocol version. It is an error to
2286 * call this function before the version is determined. */
2287uint16_t ssl3_protocol_version(const SSL *ssl);
David Benjaminea72bd02014-12-21 21:27:41 -05002288
David Benjaminad8f5e12017-02-20 17:00:20 -05002289void ssl_get_current_time(const SSL *ssl, struct OPENSSL_timeval *out_clock);
David Benjamin721e8b72016-08-03 13:13:17 -04002290
David Benjamin2be4aa72017-01-02 07:56:51 -05002291/* ssl_reset_error_state resets state for |SSL_get_error|. */
2292void ssl_reset_error_state(SSL *ssl);
2293
Steven Valdez87eab492016-06-27 16:34:59 -04002294
2295#if defined(__cplusplus)
2296} /* extern C */
2297#endif
2298
David Benjamin2ee94aa2015-04-07 22:38:30 -04002299#endif /* OPENSSL_HEADER_SSL_INTERNAL_H */