blob: ffe4d62d8d8a671b4bb70b465d262cde4eba70f8 [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
170#define SSL_kDHE 0x00000002L
171#define SSL_kECDHE 0x00000004L
172/* SSL_kPSK is only set for plain PSK, not ECDHE_PSK. */
173#define SSL_kPSK 0x00000008L
Matthew Braithwaite651aaef2016-12-08 16:14:36 -0800174#define SSL_kGENERIC 0x00000010L
David Benjamin71f07942015-04-08 02:36:59 -0400175
176/* Bits for |algorithm_auth| (server authentication). */
177#define SSL_aRSA 0x00000001L
178#define SSL_aECDSA 0x00000002L
179/* SSL_aPSK is set for both PSK and ECDHE_PSK. */
180#define SSL_aPSK 0x00000004L
Steven Valdez803c77a2016-09-06 14:13:43 -0400181#define SSL_aGENERIC 0x00000008L
David Benjamin71f07942015-04-08 02:36:59 -0400182
David Benjaminc032dfa2016-05-12 14:54:57 -0400183#define SSL_aCERT (SSL_aRSA | SSL_aECDSA)
184
David Benjamin71f07942015-04-08 02:36:59 -0400185/* Bits for |algorithm_enc| (symmetric encryption). */
Matthew Braithwaite8aaa9e12016-09-07 15:09:58 -0700186#define SSL_3DES 0x00000001L
187#define SSL_AES128 0x00000002L
188#define SSL_AES256 0x00000004L
189#define SSL_AES128GCM 0x00000008L
190#define SSL_AES256GCM 0x00000010L
Adam Langley2e839242017-01-19 15:12:44 -0800191#define SSL_eNULL 0x00000020L
192#define SSL_CHACHA20POLY1305 0x00000040L
David Benjamin71f07942015-04-08 02:36:59 -0400193
194#define SSL_AES (SSL_AES128 | SSL_AES256 | SSL_AES128GCM | SSL_AES256GCM)
195
196/* Bits for |algorithm_mac| (symmetric authentication). */
David Benjamin5fc99c62017-01-10 08:19:12 -0500197#define SSL_SHA1 0x00000001L
198#define SSL_SHA256 0x00000002L
199#define SSL_SHA384 0x00000004L
David Benjamin71f07942015-04-08 02:36:59 -0400200/* SSL_AEAD is set for all AEADs. */
David Benjamin5fc99c62017-01-10 08:19:12 -0500201#define SSL_AEAD 0x00000008L
David Benjamin71f07942015-04-08 02:36:59 -0400202
David Benjamin5055c762015-08-04 09:24:14 -0400203/* Bits for |algorithm_prf| (handshake digest). */
David Benjaminb0883312015-08-06 09:54:13 -0400204#define SSL_HANDSHAKE_MAC_DEFAULT 0x1
205#define SSL_HANDSHAKE_MAC_SHA256 0x2
206#define SSL_HANDSHAKE_MAC_SHA384 0x4
David Benjamin71f07942015-04-08 02:36:59 -0400207
208/* SSL_MAX_DIGEST is the number of digest types which exist. When adding a new
209 * one, update the table in ssl_cipher.c. */
210#define SSL_MAX_DIGEST 4
211
David Benjamin71f07942015-04-08 02:36:59 -0400212/* ssl_cipher_get_evp_aead sets |*out_aead| to point to the correct EVP_AEAD
213 * object for |cipher| protocol version |version|. It sets |*out_mac_secret_len|
214 * and |*out_fixed_iv_len| to the MAC key length and fixed IV length,
215 * respectively. The MAC key length is zero except for legacy block and stream
216 * ciphers. It returns 1 on success and 0 on error. */
217int ssl_cipher_get_evp_aead(const EVP_AEAD **out_aead,
218 size_t *out_mac_secret_len,
219 size_t *out_fixed_iv_len,
220 const SSL_CIPHER *cipher, uint16_t version);
221
David Benjaminb0883312015-08-06 09:54:13 -0400222/* ssl_get_handshake_digest returns the |EVP_MD| corresponding to
223 * |algorithm_prf|. It returns SHA-1 for |SSL_HANDSHAKE_DEFAULT|. The caller is
224 * responsible for maintaining the additional MD5 digest and switching to
225 * SHA-256 in TLS 1.2. */
226const EVP_MD *ssl_get_handshake_digest(uint32_t algorithm_prf);
David Benjamin71f07942015-04-08 02:36:59 -0400227
228/* ssl_create_cipher_list evaluates |rule_str| according to the ciphers in
229 * |ssl_method|. It sets |*out_cipher_list| to a newly-allocated
David Benjamind2cb1c12016-11-02 17:49:09 -0400230 * |ssl_cipher_preference_list_st| containing the result. It returns
231 * |(*out_cipher_list)->ciphers| on success and NULL on
David Benjamin71f07942015-04-08 02:36:59 -0400232 * failure. */
233STACK_OF(SSL_CIPHER) *
234ssl_create_cipher_list(const SSL_PROTOCOL_METHOD *ssl_method,
235 struct ssl_cipher_preference_list_st **out_cipher_list,
David Benjamin71f07942015-04-08 02:36:59 -0400236 const char *rule_str);
237
David Benjamina1c90a52015-05-30 17:03:14 -0400238/* ssl_cipher_get_value returns the cipher suite id of |cipher|. */
239uint16_t ssl_cipher_get_value(const SSL_CIPHER *cipher);
240
David Benjamind1d80782015-07-05 11:54:09 -0400241/* ssl_cipher_get_key_type returns the |EVP_PKEY_*| value corresponding to the
242 * server key used in |cipher| or |EVP_PKEY_NONE| if there is none. */
243int ssl_cipher_get_key_type(const SSL_CIPHER *cipher);
David Benjamin71f07942015-04-08 02:36:59 -0400244
David Benjaminc032dfa2016-05-12 14:54:57 -0400245/* ssl_cipher_uses_certificate_auth returns one if |cipher| authenticates the
246 * server and, optionally, the client with a certificate. Otherwise it returns
247 * zero. */
248int ssl_cipher_uses_certificate_auth(const SSL_CIPHER *cipher);
David Benjamin71f07942015-04-08 02:36:59 -0400249
250/* ssl_cipher_requires_server_key_exchange returns 1 if |cipher| requires a
251 * ServerKeyExchange message. Otherwise it returns 0.
252 *
David Benjaminc032dfa2016-05-12 14:54:57 -0400253 * This function may return zero while still allowing |cipher| an optional
254 * ServerKeyExchange. This is the case for plain PSK ciphers. */
David Benjamin71f07942015-04-08 02:36:59 -0400255int ssl_cipher_requires_server_key_exchange(const SSL_CIPHER *cipher);
256
David Benjaminb8d28cf2015-07-28 21:34:45 -0400257/* ssl_cipher_get_record_split_len, for TLS 1.0 CBC mode ciphers, returns the
258 * length of an encrypted 1-byte record, for use in record-splitting. Otherwise
259 * it returns zero. */
260size_t ssl_cipher_get_record_split_len(const SSL_CIPHER *cipher);
261
David Benjamin71f07942015-04-08 02:36:59 -0400262
David Benjamin31a07792015-03-03 14:20:26 -0500263/* Encryption layer. */
264
265/* SSL_AEAD_CTX contains information about an AEAD that is being used to encrypt
266 * an SSL connection. */
David Benjaminb9179092016-10-26 13:47:33 -0400267typedef struct ssl_aead_ctx_st {
David Benjamin31a07792015-03-03 14:20:26 -0500268 const SSL_CIPHER *cipher;
269 EVP_AEAD_CTX ctx;
270 /* fixed_nonce contains any bytes of the nonce that are fixed for all
271 * records. */
David Benjamin13414b32015-12-09 23:02:39 -0500272 uint8_t fixed_nonce[12];
David Benjamin31a07792015-03-03 14:20:26 -0500273 uint8_t fixed_nonce_len, variable_nonce_len;
274 /* variable_nonce_included_in_record is non-zero if the variable nonce
275 * for a record is included as a prefix before the ciphertext. */
276 char variable_nonce_included_in_record;
277 /* random_variable_nonce is non-zero if the variable nonce is
278 * randomly generated, rather than derived from the sequence
279 * number. */
280 char random_variable_nonce;
281 /* omit_length_in_ad is non-zero if the length should be omitted in the
282 * AEAD's ad parameter. */
283 char omit_length_in_ad;
284 /* omit_version_in_ad is non-zero if the version should be omitted
285 * in the AEAD's ad parameter. */
286 char omit_version_in_ad;
Steven Valdez494650c2016-05-24 12:43:04 -0400287 /* omit_ad is non-zero if the AEAD's ad parameter should be omitted. */
288 char omit_ad;
David Benjamin13414b32015-12-09 23:02:39 -0500289 /* xor_fixed_nonce is non-zero if the fixed nonce should be XOR'd into the
290 * variable nonce rather than prepended. */
291 char xor_fixed_nonce;
David Benjaminb9179092016-10-26 13:47:33 -0400292} SSL_AEAD_CTX;
David Benjamin31a07792015-03-03 14:20:26 -0500293
294/* SSL_AEAD_CTX_new creates a newly-allocated |SSL_AEAD_CTX| using the supplied
295 * key material. It returns NULL on error. Only one of |SSL_AEAD_CTX_open| or
296 * |SSL_AEAD_CTX_seal| may be used with the resulting object, depending on
297 * |direction|. |version| is the normalized protocol version, so DTLS 1.0 is
298 * represented as 0x0301, not 0xffef. */
299SSL_AEAD_CTX *SSL_AEAD_CTX_new(enum evp_aead_direction_t direction,
300 uint16_t version, const SSL_CIPHER *cipher,
301 const uint8_t *enc_key, size_t enc_key_len,
302 const uint8_t *mac_key, size_t mac_key_len,
303 const uint8_t *fixed_iv, size_t fixed_iv_len);
304
305/* SSL_AEAD_CTX_free frees |ctx|. */
306void SSL_AEAD_CTX_free(SSL_AEAD_CTX *ctx);
307
308/* SSL_AEAD_CTX_explicit_nonce_len returns the length of the explicit nonce for
309 * |ctx|, if any. |ctx| may be NULL to denote the null cipher. */
David Benjamina772b162017-01-24 17:51:33 -0500310size_t SSL_AEAD_CTX_explicit_nonce_len(const SSL_AEAD_CTX *ctx);
David Benjamin31a07792015-03-03 14:20:26 -0500311
312/* SSL_AEAD_CTX_max_overhead returns the maximum overhead of calling
313 * |SSL_AEAD_CTX_seal|. |ctx| may be NULL to denote the null cipher. */
David Benjamina772b162017-01-24 17:51:33 -0500314size_t SSL_AEAD_CTX_max_overhead(const SSL_AEAD_CTX *ctx);
David Benjamin31a07792015-03-03 14:20:26 -0500315
David Benjamina7810c12016-06-06 18:54:51 -0400316/* SSL_AEAD_CTX_open authenticates and decrypts |in_len| bytes from |in|
317 * in-place. On success, it sets |*out| to the plaintext in |in| and returns
318 * one. Otherwise, it returns zero. |ctx| may be NULL to denote the null cipher.
319 * The output will always be |explicit_nonce_len| bytes ahead of |in|. */
320int SSL_AEAD_CTX_open(SSL_AEAD_CTX *ctx, CBS *out, uint8_t type,
321 uint16_t wire_version, const uint8_t seqnum[8],
322 uint8_t *in, size_t in_len);
David Benjamin31a07792015-03-03 14:20:26 -0500323
324/* SSL_AEAD_CTX_seal encrypts and authenticates |in_len| bytes from |in| and
325 * writes the result to |out|. It returns one on success and zero on
326 * error. |ctx| may be NULL to denote the null cipher.
327 *
David Benjamin2446db02016-06-08 18:31:42 -0400328 * If |in| and |out| alias then |out| + |explicit_nonce_len| must be == |in|. */
David Benjamin31a07792015-03-03 14:20:26 -0500329int SSL_AEAD_CTX_seal(SSL_AEAD_CTX *ctx, uint8_t *out, size_t *out_len,
330 size_t max_out, uint8_t type, uint16_t wire_version,
331 const uint8_t seqnum[8], const uint8_t *in,
332 size_t in_len);
333
334
David Benjamin7446a3b2015-07-25 17:53:57 -0400335/* DTLS replay bitmap. */
336
337/* DTLS1_BITMAP maintains a sliding window of 64 sequence numbers to detect
338 * replayed packets. It should be initialized by zeroing every field. */
339typedef struct dtls1_bitmap_st {
340 /* map is a bit mask of the last 64 sequence numbers. Bit
341 * |1<<i| corresponds to |max_seq_num - i|. */
342 uint64_t map;
343 /* max_seq_num is the largest sequence number seen so far as a 64-bit
344 * integer. */
345 uint64_t max_seq_num;
346} DTLS1_BITMAP;
347
348
David Benjaminb8d28cf2015-07-28 21:34:45 -0400349/* Record layer. */
350
David Benjamin1db21562015-12-25 15:11:39 -0500351/* ssl_record_sequence_update increments the sequence number in |seq|. It
352 * returns one on success and zero on wraparound. */
353int ssl_record_sequence_update(uint8_t *seq, size_t seq_len);
354
David Benjaminb8d28cf2015-07-28 21:34:45 -0400355/* ssl_record_prefix_len returns the length of the prefix before the ciphertext
356 * of a record for |ssl|.
357 *
358 * TODO(davidben): Expose this as part of public API once the high-level
359 * buffer-free APIs are available. */
360size_t ssl_record_prefix_len(const SSL *ssl);
361
362enum ssl_open_record_t {
363 ssl_open_record_success,
364 ssl_open_record_discard,
365 ssl_open_record_partial,
David Benjamin728f3542016-06-02 15:42:01 -0400366 ssl_open_record_close_notify,
367 ssl_open_record_fatal_alert,
David Benjaminb8d28cf2015-07-28 21:34:45 -0400368 ssl_open_record_error,
369};
370
David Benjamina7810c12016-06-06 18:54:51 -0400371/* tls_open_record decrypts a record from |in| in-place.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400372 *
David Benjaminb8d28cf2015-07-28 21:34:45 -0400373 * If the input did not contain a complete record, it returns
374 * |ssl_open_record_partial|. It sets |*out_consumed| to the total number of
375 * bytes necessary. It is guaranteed that a successful call to |tls_open_record|
376 * will consume at least that many bytes.
377 *
David Benjamin728f3542016-06-02 15:42:01 -0400378 * Otherwise, it sets |*out_consumed| to the number of bytes of input
379 * consumed. Note that input may be consumed on all return codes if a record was
380 * decrypted.
381 *
382 * On success, it returns |ssl_open_record_success|. It sets |*out_type| to the
David Benjamina7810c12016-06-06 18:54:51 -0400383 * record type and |*out| to the record body in |in|. Note that |*out| may be
384 * empty.
David Benjamin728f3542016-06-02 15:42:01 -0400385 *
386 * If a record was successfully processed but should be discarded, it returns
387 * |ssl_open_record_discard|.
388 *
389 * If a record was successfully processed but is a close_notify or fatal alert,
390 * it returns |ssl_open_record_close_notify| or |ssl_open_record_fatal_alert|.
391 *
David Benjaminb8d28cf2015-07-28 21:34:45 -0400392 * On failure, it returns |ssl_open_record_error| and sets |*out_alert| to an
David Benjamina7810c12016-06-06 18:54:51 -0400393 * alert to emit. */
394enum ssl_open_record_t tls_open_record(SSL *ssl, uint8_t *out_type, CBS *out,
395 size_t *out_consumed, uint8_t *out_alert,
396 uint8_t *in, size_t in_len);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400397
398/* dtls_open_record implements |tls_open_record| for DTLS. It never returns
399 * |ssl_open_record_partial| but otherwise behaves analogously. */
David Benjamina7810c12016-06-06 18:54:51 -0400400enum ssl_open_record_t dtls_open_record(SSL *ssl, uint8_t *out_type, CBS *out,
401 size_t *out_consumed,
402 uint8_t *out_alert, uint8_t *in,
403 size_t in_len);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400404
David Benjamin1a01e1f2016-06-08 18:31:24 -0400405/* ssl_seal_align_prefix_len returns the length of the prefix before the start
406 * of the bulk of the ciphertext when sealing a record with |ssl|. Callers may
407 * use this to align buffers.
408 *
409 * Note when TLS 1.0 CBC record-splitting is enabled, this includes the one byte
David Benjamina772b162017-01-24 17:51:33 -0500410 * record and is the offset into second record's ciphertext. Thus sealing a
411 * small record may result in a smaller output than this value.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400412 *
David Benjamina772b162017-01-24 17:51:33 -0500413 * TODO(davidben): Is this alignment valuable? Record-splitting makes this a
414 * mess. */
David Benjamin1a01e1f2016-06-08 18:31:24 -0400415size_t ssl_seal_align_prefix_len(const SSL *ssl);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400416
David Benjaminb8d28cf2015-07-28 21:34:45 -0400417/* tls_seal_record seals a new record of type |type| and body |in| and writes it
418 * to |out|. At most |max_out| bytes will be written. It returns one on success
419 * and zero on error. If enabled, |tls_seal_record| implements TLS 1.0 CBC 1/n-1
420 * record splitting and may write two records concatenated.
421 *
David Benjamin1a01e1f2016-06-08 18:31:24 -0400422 * For a large record, the bulk of the ciphertext will begin
423 * |ssl_seal_align_prefix_len| bytes into out. Aligning |out| appropriately may
David Benjaminda8636082016-11-04 15:44:28 -0400424 * improve performance. It writes at most |in_len| + |SSL_max_seal_overhead|
David Benjamin1a01e1f2016-06-08 18:31:24 -0400425 * bytes to |out|.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400426 *
David Benjamin1a01e1f2016-06-08 18:31:24 -0400427 * |in| and |out| may not alias. */
David Benjaminb8d28cf2015-07-28 21:34:45 -0400428int tls_seal_record(SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
429 uint8_t type, const uint8_t *in, size_t in_len);
430
431enum dtls1_use_epoch_t {
432 dtls1_use_previous_epoch,
433 dtls1_use_current_epoch,
434};
435
David Benjamin1a999cf2017-01-03 10:30:35 -0500436/* dtls_max_seal_overhead returns the maximum overhead, in bytes, of sealing a
437 * record. */
438size_t dtls_max_seal_overhead(const SSL *ssl, enum dtls1_use_epoch_t use_epoch);
439
David Benjamina772b162017-01-24 17:51:33 -0500440/* dtls_seal_prefix_len returns the number of bytes of prefix to reserve in
441 * front of the plaintext when sealing a record in-place. */
442size_t dtls_seal_prefix_len(const SSL *ssl, enum dtls1_use_epoch_t use_epoch);
443
David Benjaminb8d28cf2015-07-28 21:34:45 -0400444/* dtls_seal_record implements |tls_seal_record| for DTLS. |use_epoch| selects
David Benjamina772b162017-01-24 17:51:33 -0500445 * which epoch's cipher state to use. Unlike |tls_seal_record|, |in| and |out|
446 * may alias but, if they do, |in| must be exactly |dtls_seal_prefix_len| bytes
447 * ahead of |out|. */
David Benjaminb8d28cf2015-07-28 21:34:45 -0400448int dtls_seal_record(SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
449 uint8_t type, const uint8_t *in, size_t in_len,
450 enum dtls1_use_epoch_t use_epoch);
451
David Benjamin728f3542016-06-02 15:42:01 -0400452/* ssl_process_alert processes |in| as an alert and updates |ssl|'s shutdown
453 * state. It returns one of |ssl_open_record_discard|, |ssl_open_record_error|,
454 * |ssl_open_record_close_notify|, or |ssl_open_record_fatal_alert| as
455 * appropriate. */
456enum ssl_open_record_t ssl_process_alert(SSL *ssl, uint8_t *out_alert,
457 const uint8_t *in, size_t in_len);
458
David Benjaminb8d28cf2015-07-28 21:34:45 -0400459
David Benjaminb4d65fd2015-05-29 17:11:21 -0400460/* Private key operations. */
461
nagendra modadugu601448a2015-07-24 09:31:31 -0700462/* ssl_has_private_key returns one if |ssl| has a private key
463 * configured and zero otherwise. */
David Benjamin32a66d52016-07-13 22:03:11 -0400464int ssl_has_private_key(const SSL *ssl);
nagendra modadugu601448a2015-07-24 09:31:31 -0700465
David Benjamin0c0b7e12016-07-14 13:47:55 -0400466/* ssl_is_ecdsa_key_type returns one if |type| is an ECDSA key type and zero
467 * otherwise. */
468int ssl_is_ecdsa_key_type(int type);
469
David Benjaminb4d65fd2015-05-29 17:11:21 -0400470/* ssl_private_key_* call the corresponding function on the
471 * |SSL_PRIVATE_KEY_METHOD| for |ssl|, if configured. Otherwise, they implement
David Benjamind1d80782015-07-05 11:54:09 -0400472 * the operation with |EVP_PKEY|. */
David Benjaminb4d65fd2015-05-29 17:11:21 -0400473
David Benjamind1d80782015-07-05 11:54:09 -0400474int ssl_private_key_type(SSL *ssl);
David Benjaminb4d65fd2015-05-29 17:11:21 -0400475
David Benjamind1d80782015-07-05 11:54:09 -0400476size_t ssl_private_key_max_signature_len(SSL *ssl);
David Benjaminb4d65fd2015-05-29 17:11:21 -0400477
478enum ssl_private_key_result_t ssl_private_key_sign(
Steven Valdezf0451ca2016-06-29 13:16:27 -0400479 SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
480 uint16_t signature_algorithm, const uint8_t *in, size_t in_len);
David Benjaminb4d65fd2015-05-29 17:11:21 -0400481
nagendra modadugu3398dbf2015-08-07 14:07:52 -0700482enum ssl_private_key_result_t ssl_private_key_decrypt(
483 SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
484 const uint8_t *in, size_t in_len);
485
David Benjamind3440b42016-07-14 14:52:41 -0400486enum ssl_private_key_result_t ssl_private_key_complete(SSL *ssl, uint8_t *out,
487 size_t *out_len,
488 size_t max_out);
nagendra modadugu3398dbf2015-08-07 14:07:52 -0700489
David Benjamin1fb125c2016-07-08 18:52:12 -0700490/* ssl_private_key_supports_signature_algorithm returns one if |ssl|'s private
491 * key supports |signature_algorithm| and zero otherwise. */
492int ssl_private_key_supports_signature_algorithm(SSL *ssl,
493 uint16_t signature_algorithm);
494
Steven Valdez2b8415e2016-06-30 13:27:23 -0400495/* ssl_public_key_verify verifies that the |signature| is valid for the public
496 * key |pkey| and input |in|, using the |signature_algorithm| specified. */
497int ssl_public_key_verify(
498 SSL *ssl, const uint8_t *signature, size_t signature_len,
499 uint16_t signature_algorithm, EVP_PKEY *pkey,
500 const uint8_t *in, size_t in_len);
David Benjaminb4d65fd2015-05-29 17:11:21 -0400501
David Benjamin1fb125c2016-07-08 18:52:12 -0700502
Adam Langley09505632015-07-30 18:10:13 -0700503/* Custom extensions */
504
505/* ssl_custom_extension (a.k.a. SSL_CUSTOM_EXTENSION) is a structure that
506 * contains information about custom-extension callbacks. */
507struct ssl_custom_extension {
508 SSL_custom_ext_add_cb add_callback;
509 void *add_arg;
510 SSL_custom_ext_free_cb free_callback;
511 SSL_custom_ext_parse_cb parse_callback;
512 void *parse_arg;
513 uint16_t value;
514};
515
516void SSL_CUSTOM_EXTENSION_free(SSL_CUSTOM_EXTENSION *custom_extension);
517
David Benjamin2bd19172016-11-17 16:47:15 +0900518int custom_ext_add_clienthello(SSL_HANDSHAKE *hs, CBB *extensions);
519int custom_ext_parse_serverhello(SSL_HANDSHAKE *hs, int *out_alert,
520 uint16_t value, const CBS *extension);
521int custom_ext_parse_clienthello(SSL_HANDSHAKE *hs, int *out_alert,
522 uint16_t value, const CBS *extension);
523int custom_ext_add_serverhello(SSL_HANDSHAKE *hs, CBB *extensions);
Adam Langley09505632015-07-30 18:10:13 -0700524
525
David Benjamin9550c3a2015-08-05 08:50:34 -0400526/* Handshake hash.
527 *
528 * The TLS handshake maintains a transcript of all handshake messages. At
529 * various points in the protocol, this is either a handshake buffer, a rolling
530 * hash (selected by cipher suite) or both. */
531
532/* ssl3_init_handshake_buffer initializes the handshake buffer and resets the
533 * handshake hash. It returns one success and zero on failure. */
534int ssl3_init_handshake_buffer(SSL *ssl);
535
536/* ssl3_init_handshake_hash initializes the handshake hash based on the pending
537 * cipher and the contents of the handshake buffer. Subsequent calls to
538 * |ssl3_update_handshake_hash| will update the rolling hash. It returns one on
539 * success and zero on failure. It is an error to call this function after the
540 * handshake buffer is released. */
541int ssl3_init_handshake_hash(SSL *ssl);
542
543/* ssl3_free_handshake_buffer releases the handshake buffer. Subsequent calls
544 * to |ssl3_update_handshake_hash| will not update the handshake buffer. */
545void ssl3_free_handshake_buffer(SSL *ssl);
546
547/* ssl3_free_handshake_hash releases the handshake hash. */
David Benjamin0d56f882015-12-19 17:05:56 -0500548void ssl3_free_handshake_hash(SSL *ssl);
David Benjamin9550c3a2015-08-05 08:50:34 -0400549
550/* ssl3_update_handshake_hash adds |in| to the handshake buffer and handshake
551 * hash, whichever is enabled. It returns one on success and zero on failure. */
552int ssl3_update_handshake_hash(SSL *ssl, const uint8_t *in, size_t in_len);
553
554
Steven Valdezce902a92016-05-17 11:47:53 -0400555/* ECDH groups. */
David Benjamin4298d772015-12-19 00:18:25 -0500556
David Benjaminb9179092016-10-26 13:47:33 -0400557typedef struct ssl_ecdh_ctx_st SSL_ECDH_CTX;
558
David Benjamin4298d772015-12-19 00:18:25 -0500559/* An SSL_ECDH_METHOD is an implementation of ECDH-like key exchanges for
560 * TLS. */
David Benjaminb9179092016-10-26 13:47:33 -0400561typedef struct ssl_ecdh_method_st {
David Benjamin4298d772015-12-19 00:18:25 -0500562 int nid;
Steven Valdezce902a92016-05-17 11:47:53 -0400563 uint16_t group_id;
David Benjamin4298d772015-12-19 00:18:25 -0500564 const char name[8];
565
566 /* cleanup releases state in |ctx|. */
567 void (*cleanup)(SSL_ECDH_CTX *ctx);
568
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700569 /* offer generates a keypair and writes the public value to
David Benjamin4298d772015-12-19 00:18:25 -0500570 * |out_public_key|. It returns one on success and zero on error. */
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700571 int (*offer)(SSL_ECDH_CTX *ctx, CBB *out_public_key);
David Benjamin4298d772015-12-19 00:18:25 -0500572
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700573 /* accept performs a key exchange against the |peer_key| generated by |offer|.
574 * On success, it returns one, writes the public value to |out_public_key|,
575 * and sets |*out_secret| and |*out_secret_len| to a newly-allocated buffer
576 * containing the shared secret. The caller must release this buffer with
577 * |OPENSSL_free|. On failure, it returns zero and sets |*out_alert| to an
578 * alert to send to the peer. */
579 int (*accept)(SSL_ECDH_CTX *ctx, CBB *out_public_key, uint8_t **out_secret,
580 size_t *out_secret_len, uint8_t *out_alert,
581 const uint8_t *peer_key, size_t peer_key_len);
582
583 /* finish performs a key exchange against the |peer_key| generated by
584 * |accept|. On success, it returns one and sets |*out_secret| and
585 * |*out_secret_len| to a newly-allocated buffer containing the shared
586 * secret. The caller must release this buffer with |OPENSSL_free|. On
587 * failure, it returns zero and sets |*out_alert| to an alert to send to the
588 * peer. */
589 int (*finish)(SSL_ECDH_CTX *ctx, uint8_t **out_secret, size_t *out_secret_len,
590 uint8_t *out_alert, const uint8_t *peer_key,
591 size_t peer_key_len);
Matt Braithwaitee25775b2016-05-16 16:31:05 -0700592
593 /* get_key initializes |out| with a length-prefixed key from |cbs|. It returns
594 * one on success and zero on error. */
595 int (*get_key)(CBS *cbs, CBS *out);
596
597 /* add_key initializes |out_contents| to receive a key. Typically it will then
598 * be passed to |offer| or |accept|. It returns one on success and zero on
599 * error. */
600 int (*add_key)(CBB *cbb, CBB *out_contents);
David Benjaminb9179092016-10-26 13:47:33 -0400601} SSL_ECDH_METHOD;
602
603struct ssl_ecdh_ctx_st {
604 const SSL_ECDH_METHOD *method;
605 void *data;
606};
David Benjamin4298d772015-12-19 00:18:25 -0500607
Steven Valdezce902a92016-05-17 11:47:53 -0400608/* ssl_nid_to_group_id looks up the group corresponding to |nid|. On success, it
609 * sets |*out_group_id| to the group ID and returns one. Otherwise, it returns
David Benjamin4298d772015-12-19 00:18:25 -0500610 * zero. */
Steven Valdezce902a92016-05-17 11:47:53 -0400611int ssl_nid_to_group_id(uint16_t *out_group_id, int nid);
David Benjamin4298d772015-12-19 00:18:25 -0500612
Alessandro Ghedini5fd18072016-09-28 21:04:25 +0100613/* ssl_name_to_group_id looks up the group corresponding to the |name| string
614 * of length |len|. On success, it sets |*out_group_id| to the group ID and
615 * returns one. Otherwise, it returns zero. */
616int ssl_name_to_group_id(uint16_t *out_group_id, const char *name, size_t len);
617
Steven Valdezce902a92016-05-17 11:47:53 -0400618/* SSL_ECDH_CTX_init sets up |ctx| for use with curve |group_id|. It returns one
David Benjamin4298d772015-12-19 00:18:25 -0500619 * on success and zero on error. */
Steven Valdezce902a92016-05-17 11:47:53 -0400620int SSL_ECDH_CTX_init(SSL_ECDH_CTX *ctx, uint16_t group_id);
David Benjamin4298d772015-12-19 00:18:25 -0500621
David Benjamin974c7ba2015-12-19 16:58:04 -0500622/* SSL_ECDH_CTX_init_for_dhe sets up |ctx| for use with legacy DHE-based ciphers
623 * where the server specifies a group. It takes ownership of |params|. */
624void SSL_ECDH_CTX_init_for_dhe(SSL_ECDH_CTX *ctx, DH *params);
625
David Benjamin4298d772015-12-19 00:18:25 -0500626/* SSL_ECDH_CTX_cleanup releases memory associated with |ctx|. It is legal to
627 * call it in the zero state. */
628void SSL_ECDH_CTX_cleanup(SSL_ECDH_CTX *ctx);
629
Steven Valdez143e8b32016-07-11 13:19:03 -0400630/* SSL_ECDH_CTX_get_id returns the group ID for |ctx|. */
631uint16_t SSL_ECDH_CTX_get_id(const SSL_ECDH_CTX *ctx);
632
Matt Braithwaitee25775b2016-05-16 16:31:05 -0700633/* SSL_ECDH_CTX_get_key calls the |get_key| method of |SSL_ECDH_METHOD|. */
634int SSL_ECDH_CTX_get_key(SSL_ECDH_CTX *ctx, CBS *cbs, CBS *out);
635
636/* SSL_ECDH_CTX_add_key calls the |add_key| method of |SSL_ECDH_METHOD|. */
637int SSL_ECDH_CTX_add_key(SSL_ECDH_CTX *ctx, CBB *cbb, CBB *out_contents);
638
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700639/* SSL_ECDH_CTX_offer calls the |offer| method of |SSL_ECDH_METHOD|. */
640int SSL_ECDH_CTX_offer(SSL_ECDH_CTX *ctx, CBB *out_public_key);
David Benjamin4298d772015-12-19 00:18:25 -0500641
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700642/* SSL_ECDH_CTX_accept calls the |accept| method of |SSL_ECDH_METHOD|. */
643int SSL_ECDH_CTX_accept(SSL_ECDH_CTX *ctx, CBB *out_public_key,
644 uint8_t **out_secret, size_t *out_secret_len,
645 uint8_t *out_alert, const uint8_t *peer_key,
646 size_t peer_key_len);
647
648/* SSL_ECDH_CTX_finish the |finish| method of |SSL_ECDH_METHOD|. */
649int SSL_ECDH_CTX_finish(SSL_ECDH_CTX *ctx, uint8_t **out_secret,
650 size_t *out_secret_len, uint8_t *out_alert,
651 const uint8_t *peer_key, size_t peer_key_len);
David Benjamin4298d772015-12-19 00:18:25 -0500652
David Benjamin060cfb02016-05-12 00:43:05 -0400653/* Handshake messages. */
654
David Benjamin29a83c52016-06-17 19:12:54 -0400655/* SSL_MAX_HANDSHAKE_FLIGHT is the number of messages, including
656 * ChangeCipherSpec, in the longest handshake flight. Currently this is the
657 * client's second leg in a full handshake when client certificates, NPN, and
658 * Channel ID, are all enabled. */
659#define SSL_MAX_HANDSHAKE_FLIGHT 7
660
David Benjamin060cfb02016-05-12 00:43:05 -0400661/* ssl_max_handshake_message_len returns the maximum number of bytes permitted
662 * in a handshake message for |ssl|. */
663size_t ssl_max_handshake_message_len(const SSL *ssl);
664
David Benjaminec847ce2016-06-17 19:30:47 -0400665/* dtls_clear_incoming_messages releases all buffered incoming messages. */
666void dtls_clear_incoming_messages(SSL *ssl);
667
David Benjamin61672812016-07-14 23:10:43 -0400668/* dtls_has_incoming_messages returns one if there are buffered incoming
669 * messages ahead of the current message and zero otherwise. */
670int dtls_has_incoming_messages(const SSL *ssl);
671
David Benjamin29a83c52016-06-17 19:12:54 -0400672typedef struct dtls_outgoing_message_st {
673 uint8_t *data;
674 uint32_t len;
675 uint16_t epoch;
676 char is_ccs;
677} DTLS_OUTGOING_MESSAGE;
678
679/* dtls_clear_outgoing_messages releases all buffered outgoing messages. */
680void dtls_clear_outgoing_messages(SSL *ssl);
681
David Benjamin060cfb02016-05-12 00:43:05 -0400682
David Benjamin4e9cc712016-06-01 20:16:03 -0400683/* Callbacks. */
684
685/* ssl_do_info_callback calls |ssl|'s info callback, if set. */
686void ssl_do_info_callback(const SSL *ssl, int type, int value);
687
688/* ssl_do_msg_callback calls |ssl|'s message callback, if set. */
David Benjaminc0279992016-09-19 20:15:07 -0400689void ssl_do_msg_callback(SSL *ssl, int is_write, int content_type,
David Benjamin4e9cc712016-06-01 20:16:03 -0400690 const void *buf, size_t len);
691
692
David Benjaminb8d28cf2015-07-28 21:34:45 -0400693/* Transport buffers. */
694
695/* ssl_read_buffer returns a pointer to contents of the read buffer. */
696uint8_t *ssl_read_buffer(SSL *ssl);
697
698/* ssl_read_buffer_len returns the length of the read buffer. */
699size_t ssl_read_buffer_len(const SSL *ssl);
700
701/* ssl_read_buffer_extend_to extends the read buffer to the desired length. For
702 * TLS, it reads to the end of the buffer until the buffer is |len| bytes
703 * long. For DTLS, it reads a new packet and ignores |len|. It returns one on
704 * success, zero on EOF, and a negative number on error.
705 *
706 * It is an error to call |ssl_read_buffer_extend_to| in DTLS when the buffer is
707 * non-empty. */
708int ssl_read_buffer_extend_to(SSL *ssl, size_t len);
709
710/* ssl_read_buffer_consume consumes |len| bytes from the read buffer. It
711 * advances the data pointer and decrements the length. The memory consumed will
712 * remain valid until the next call to |ssl_read_buffer_extend| or it is
713 * discarded with |ssl_read_buffer_discard|. */
714void ssl_read_buffer_consume(SSL *ssl, size_t len);
715
716/* ssl_read_buffer_discard discards the consumed bytes from the read buffer. If
717 * the buffer is now empty, it releases memory used by it. */
718void ssl_read_buffer_discard(SSL *ssl);
719
720/* ssl_read_buffer_clear releases all memory associated with the read buffer and
721 * zero-initializes it. */
722void ssl_read_buffer_clear(SSL *ssl);
723
724/* ssl_write_buffer_is_pending returns one if the write buffer has pending data
725 * and zero if is empty. */
726int ssl_write_buffer_is_pending(const SSL *ssl);
727
728/* ssl_write_buffer_init initializes the write buffer. On success, it sets
729 * |*out_ptr| to the start of the write buffer with space for up to |max_len|
730 * bytes. It returns one on success and zero on failure. Call
731 * |ssl_write_buffer_set_len| to complete initialization. */
732int ssl_write_buffer_init(SSL *ssl, uint8_t **out_ptr, size_t max_len);
733
734/* ssl_write_buffer_set_len is called after |ssl_write_buffer_init| to complete
735 * initialization after |len| bytes are written to the buffer. */
736void ssl_write_buffer_set_len(SSL *ssl, size_t len);
737
738/* ssl_write_buffer_flush flushes the write buffer to the transport. It returns
739 * one on success and <= 0 on error. For DTLS, whether or not the write
740 * succeeds, the write buffer will be cleared. */
741int ssl_write_buffer_flush(SSL *ssl);
742
743/* ssl_write_buffer_clear releases all memory associated with the write buffer
744 * and zero-initializes it. */
745void ssl_write_buffer_clear(SSL *ssl);
746
747
David Benjamin75836432016-06-17 18:48:29 -0400748/* Certificate functions. */
749
David Benjamin32a66d52016-07-13 22:03:11 -0400750/* ssl_has_certificate returns one if a certificate and private key are
751 * configured and zero otherwise. */
752int ssl_has_certificate(const SSL *ssl);
753
Adam Langley68e71242016-12-12 11:06:16 -0800754/* ssl_session_x509_cache_objects fills out |sess->x509_peer| and
755 * |sess->x509_chain| from |sess->certs| and erases
756 * |sess->x509_chain_without_leaf|. It returns one on success or zero on
757 * error. */
758int ssl_session_x509_cache_objects(SSL_SESSION *sess);
759
David Benjamin5c900c82016-07-13 23:03:26 -0400760/* ssl_parse_cert_chain parses a certificate list from |cbs| in the format used
Adam Langleyc0fc7a12016-12-09 15:05:34 -0800761 * by a TLS Certificate message. On success, it returns a newly-allocated
Adam Langley68e71242016-12-12 11:06:16 -0800762 * |CRYPTO_BUFFER| list and advances |cbs|. Otherwise, it returns NULL and sets
Adam Langleyd5157222016-12-12 11:37:43 -0800763 * |*out_alert| to an alert to send to the peer.
764 *
765 * If the list is non-empty then |*out_pubkey| will be set to a freshly
766 * allocated public-key from the leaf certificate.
767 *
768 * If the list is non-empty and |out_leaf_sha256| is non-NULL, it writes the
769 * SHA-256 hash of the leaf to |out_leaf_sha256|. */
Adam Langley68e71242016-12-12 11:06:16 -0800770STACK_OF(CRYPTO_BUFFER) *ssl_parse_cert_chain(uint8_t *out_alert,
Adam Langleyd5157222016-12-12 11:37:43 -0800771 EVP_PKEY **out_pubkey,
Adam Langley68e71242016-12-12 11:06:16 -0800772 uint8_t *out_leaf_sha256,
Adam Langleyd519bf62016-12-12 11:16:44 -0800773 CBS *cbs,
774 CRYPTO_BUFFER_POOL *pool);
David Benjamin5c900c82016-07-13 23:03:26 -0400775
David Benjamin75836432016-06-17 18:48:29 -0400776/* ssl_add_cert_to_cbb adds |x509| to |cbb|. It returns one on success and zero
777 * on error. */
778int ssl_add_cert_to_cbb(CBB *cbb, X509 *x509);
779
David Benjamin32a66d52016-07-13 22:03:11 -0400780/* ssl_add_cert_chain adds |ssl|'s certificate chain to |cbb| in the format used
781 * by a TLS Certificate message. If there is no certificate chain, it emits an
782 * empty certificate list. It returns one on success and zero on error. */
783int ssl_add_cert_chain(SSL *ssl, CBB *cbb);
784
David Benjamin650aa1c2016-12-20 18:55:16 -0500785/* ssl_auto_chain_if_needed runs the deprecated auto-chaining logic if
786 * necessary. On success, it updates |ssl|'s certificate configuration as needed
787 * and returns one. Otherwise, it returns zero. */
788int ssl_auto_chain_if_needed(SSL *ssl);
789
Adam Langley05672202016-12-13 12:05:49 -0800790/* ssl_cert_check_digital_signature_key_usage parses the DER-encoded, X.509
791 * certificate in |in| and returns one if doesn't specify a key usage or, if it
792 * does, if it includes digitalSignature. Otherwise it pushes to the error
793 * queue and returns zero. */
794int ssl_cert_check_digital_signature_key_usage(const CBS *in);
795
Adam Langleyd5157222016-12-12 11:37:43 -0800796/* ssl_cert_parse_pubkey extracts the public key from the DER-encoded, X.509
797 * certificate in |in|. It returns an allocated |EVP_PKEY| or else returns NULL
798 * and pushes to the error queue. */
799EVP_PKEY *ssl_cert_parse_pubkey(const CBS *in);
800
David Benjamine0332e82016-07-13 22:40:36 -0400801/* ssl_parse_client_CA_list parses a CA list from |cbs| in the format used by a
802 * TLS CertificateRequest message. On success, it returns a newly-allocated
803 * |X509_NAME| list and advances |cbs|. Otherwise, it returns NULL and sets
804 * |*out_alert| to an alert to send to the peer. */
805STACK_OF(X509_NAME) *
806 ssl_parse_client_CA_list(SSL *ssl, uint8_t *out_alert, CBS *cbs);
807
David Benjamin32a66d52016-07-13 22:03:11 -0400808/* ssl_add_client_CA_list adds the configured CA list to |cbb| in the format
809 * used by a TLS CertificateRequest message. It returns one on success and zero
810 * on error. */
811int ssl_add_client_CA_list(SSL *ssl, CBB *cbb);
812
Adam Langley05672202016-12-13 12:05:49 -0800813/* ssl_check_leaf_certificate returns one if |pkey| and |leaf| are suitable as
814 * a server's leaf certificate for |ssl|. Otherwise, it returns zero and pushes
815 * an error on the error queue. */
816int ssl_check_leaf_certificate(SSL *ssl, EVP_PKEY *pkey,
817 const CRYPTO_BUFFER *leaf);
Steven Valdezbf5aa842016-07-15 07:07:40 -0400818
David Benjamin75836432016-06-17 18:48:29 -0400819
Steven Valdez143e8b32016-07-11 13:19:03 -0400820/* TLS 1.3 key derivation. */
821
822/* tls13_init_key_schedule initializes the handshake hash and key derivation
Steven Valdeza833c352016-11-01 13:39:36 -0400823 * state. The cipher suite and PRF hash must have been selected at this point.
824 * It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900825int tls13_init_key_schedule(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400826
827/* tls13_advance_key_schedule incorporates |in| into the key schedule with
828 * HKDF-Extract. It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900829int tls13_advance_key_schedule(SSL_HANDSHAKE *hs, const uint8_t *in,
830 size_t len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400831
Steven Valdeza833c352016-11-01 13:39:36 -0400832/* tls13_get_context_hash writes Hash(Handshake Context) to |out| which must
833 * have room for at least |EVP_MAX_MD_SIZE| bytes. On success, it returns one
834 * and sets |*out_len| to the number of bytes written. Otherwise, it returns
835 * zero. */
836int tls13_get_context_hash(SSL *ssl, uint8_t *out, size_t *out_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400837
Steven Valdeza833c352016-11-01 13:39:36 -0400838/* tls13_set_traffic_key sets the read or write traffic keys to
839 * |traffic_secret|. It returns one on success and zero on error. */
840int tls13_set_traffic_key(SSL *ssl, enum evp_aead_direction_t direction,
Steven Valdez143e8b32016-07-11 13:19:03 -0400841 const uint8_t *traffic_secret,
842 size_t traffic_secret_len);
843
Steven Valdez4cb84942016-12-16 11:29:28 -0500844/* tls13_derive_handshake_secrets derives the handshake traffic secret. It
845 * returns one on success and zero on error. */
846int tls13_derive_handshake_secrets(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400847
Steven Valdez1dc53d22016-07-26 12:27:38 -0400848/* tls13_rotate_traffic_key derives the next read or write traffic secret. It
849 * returns one on success and zero on error. */
850int tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction);
851
Steven Valdeza833c352016-11-01 13:39:36 -0400852/* tls13_derive_application_secrets derives the initial application data traffic
853 * and exporter secrets based on the handshake transcripts and |master_secret|.
854 * It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900855int tls13_derive_application_secrets(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400856
Steven Valdeza833c352016-11-01 13:39:36 -0400857/* tls13_derive_resumption_secret derives the |resumption_secret|. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900858int tls13_derive_resumption_secret(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400859
Steven Valdeza833c352016-11-01 13:39:36 -0400860/* tls13_export_keying_material provides an exporter interface to use the
Steven Valdez143e8b32016-07-11 13:19:03 -0400861 * |exporter_secret|. */
862int tls13_export_keying_material(SSL *ssl, uint8_t *out, size_t out_len,
863 const char *label, size_t label_len,
864 const uint8_t *context, size_t context_len,
865 int use_context);
866
867/* tls13_finished_mac calculates the MAC of the handshake transcript to verify
868 * the integrity of the Finished message, and stores the result in |out| and
869 * length in |out_len|. |is_server| is 1 if this is for the Server Finished and
870 * 0 for the Client Finished. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900871int tls13_finished_mac(SSL_HANDSHAKE *hs, uint8_t *out,
872 size_t *out_len, int is_server);
Steven Valdez143e8b32016-07-11 13:19:03 -0400873
Steven Valdeza833c352016-11-01 13:39:36 -0400874/* tls13_write_psk_binder calculates the PSK binder value and replaces the last
875 * bytes of |msg| with the resulting value. It returns 1 on success, and 0 on
876 * failure. */
877int tls13_write_psk_binder(SSL *ssl, uint8_t *msg, size_t len);
Steven Valdez4aa154e2016-07-29 14:32:55 -0400878
Steven Valdeza833c352016-11-01 13:39:36 -0400879/* tls13_verify_psk_binder verifies that the handshake transcript, truncated
880 * up to the binders has a valid signature using the value of |session|'s
881 * resumption secret. It returns 1 on success, and 0 on failure. */
882int tls13_verify_psk_binder(SSL *ssl, SSL_SESSION *session, CBS *binders);
Steven Valdez4aa154e2016-07-29 14:32:55 -0400883
Steven Valdez143e8b32016-07-11 13:19:03 -0400884
885/* Handshake functions. */
886
887enum ssl_hs_wait_t {
888 ssl_hs_error,
889 ssl_hs_ok,
890 ssl_hs_read_message,
891 ssl_hs_write_message,
892 ssl_hs_flush,
David Benjaminf2401eb2016-07-18 22:25:05 +0200893 ssl_hs_flush_and_read_message,
Steven Valdez143e8b32016-07-11 13:19:03 -0400894 ssl_hs_x509_lookup,
Nick Harper60a85cb2016-09-23 16:25:11 -0700895 ssl_hs_channel_id_lookup,
Steven Valdez143e8b32016-07-11 13:19:03 -0400896 ssl_hs_private_key_operation,
897};
898
David Benjamince8c9d22016-11-14 10:45:16 +0900899struct ssl_handshake_st {
900 /* ssl is a non-owning pointer to the parent |SSL| object. */
901 SSL *ssl;
902
David Benjamince8c9d22016-11-14 10:45:16 +0900903 /* do_tls13_handshake runs the TLS 1.3 handshake. On completion, it returns
904 * |ssl_hs_ok|. Otherwise, it returns a value corresponding to what operation
905 * is needed to progress. */
David Benjaminc3c88822016-11-14 10:32:04 +0900906 enum ssl_hs_wait_t (*do_tls13_handshake)(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400907
Adam Langley4ba6e192016-12-07 15:54:54 -0800908 /* wait contains the operation |do_tls13_handshake| is currently blocking on
909 * or |ssl_hs_ok| if none. */
910 enum ssl_hs_wait_t wait;
911
David Benjamincb0c29f2016-12-12 17:00:50 -0500912 /* state contains one of the SSL3_ST_* values. */
913 int state;
914
915 /* next_state is used when SSL_ST_FLUSH_DATA is entered */
916 int next_state;
917
David Benjamin3977f302016-12-11 13:30:41 -0500918 /* tls13_state is the internal state for the TLS 1.3 handshake. Its values
919 * depend on |do_tls13_handshake| but the starting state is always zero. */
920 int tls13_state;
Steven Valdez143e8b32016-07-11 13:19:03 -0400921
922 size_t hash_len;
Steven Valdez143e8b32016-07-11 13:19:03 -0400923 uint8_t secret[EVP_MAX_MD_SIZE];
Steven Valdez4cb84942016-12-16 11:29:28 -0500924 uint8_t client_handshake_secret[EVP_MAX_MD_SIZE];
925 uint8_t server_handshake_secret[EVP_MAX_MD_SIZE];
Steven Valdezc4aa7272016-10-03 12:25:56 -0400926 uint8_t client_traffic_secret_0[EVP_MAX_MD_SIZE];
927 uint8_t server_traffic_secret_0[EVP_MAX_MD_SIZE];
Steven Valdez143e8b32016-07-11 13:19:03 -0400928
David Benjaminf5d2cd02016-10-06 19:39:20 -0400929 union {
930 /* sent is a bitset where the bits correspond to elements of kExtensions
931 * in t1_lib.c. Each bit is set if that extension was sent in a
932 * ClientHello. It's not used by servers. */
933 uint32_t sent;
934 /* received is a bitset, like |sent|, but is used by servers to record
935 * which extensions were received from a client. */
936 uint32_t received;
937 } extensions;
938
939 union {
940 /* sent is a bitset where the bits correspond to elements of
941 * |client_custom_extensions| in the |SSL_CTX|. Each bit is set if that
942 * extension was sent in a ClientHello. It's not used by servers. */
943 uint16_t sent;
944 /* received is a bitset, like |sent|, but is used by servers to record
945 * which custom extensions were received from a client. The bits here
946 * correspond to |server_custom_extensions|. */
947 uint16_t received;
948 } custom_extensions;
949
David Benjamin4fe3c902016-08-16 02:17:03 -0400950 /* retry_group is the group ID selected by the server in HelloRetryRequest in
951 * TLS 1.3. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400952 uint16_t retry_group;
David Benjamin4fe3c902016-08-16 02:17:03 -0400953
Adam Langley4ba6e192016-12-07 15:54:54 -0800954 /* ecdh_ctx is the current ECDH instance. */
955 SSL_ECDH_CTX ecdh_ctx;
956
David Benjamin3baa6e12016-10-07 21:10:38 -0400957 /* cookie is the value of the cookie received from the server, if any. */
958 uint8_t *cookie;
959 size_t cookie_len;
960
David Benjamin4fe3c902016-08-16 02:17:03 -0400961 /* key_share_bytes is the value of the previously sent KeyShare extension by
962 * the client in TLS 1.3. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400963 uint8_t *key_share_bytes;
964 size_t key_share_bytes_len;
David Benjamin4fe3c902016-08-16 02:17:03 -0400965
966 /* public_key, for servers, is the key share to be sent to the client in TLS
967 * 1.3. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400968 uint8_t *public_key;
969 size_t public_key_len;
970
David Benjamin0fc37ef2016-08-17 15:29:46 -0400971 /* peer_sigalgs are the signature algorithms that the peer supports. These are
972 * taken from the contents of the signature algorithms extension for a server
973 * or from the CertificateRequest for a client. */
974 uint16_t *peer_sigalgs;
975 /* num_peer_sigalgs is the number of entries in |peer_sigalgs|. */
976 size_t num_peer_sigalgs;
977
David Benjamin43612b62016-10-07 00:41:50 -0400978 /* peer_supported_group_list contains the supported group IDs advertised by
979 * the peer. This is only set on the server's end. The server does not
980 * advertise this extension to the client. */
981 uint16_t *peer_supported_group_list;
982 size_t peer_supported_group_list_len;
983
David Benjamina4c8ff02016-10-08 02:49:01 -0400984 /* peer_key is the peer's ECDH key for a TLS 1.2 client. */
985 uint8_t *peer_key;
986 size_t peer_key_len;
987
988 /* server_params, in TLS 1.2, stores the ServerKeyExchange parameters to be
989 * signed while the signature is being computed. */
990 uint8_t *server_params;
991 size_t server_params_len;
992
Adam Langley4ba6e192016-12-07 15:54:54 -0800993 /* peer_psk_identity_hint, on the client, is the psk_identity_hint sent by the
994 * server when using a TLS 1.2 PSK key exchange. */
995 char *peer_psk_identity_hint;
996
997 /* ca_names, on the client, contains the list of CAs received in a
998 * CertificateRequest message. */
999 STACK_OF(X509_NAME) *ca_names;
1000
1001 /* certificate_types, on the client, contains the set of certificate types
1002 * received in a CertificateRequest message. */
1003 uint8_t *certificate_types;
1004 size_t num_certificate_types;
1005
1006 /* hostname, on the server, is the value of the SNI extension. */
1007 char *hostname;
1008
Adam Langleyd5157222016-12-12 11:37:43 -08001009 /* peer_pubkey is the public key parsed from the peer's leaf certificate. */
1010 EVP_PKEY *peer_pubkey;
1011
Adam Langley4ba6e192016-12-07 15:54:54 -08001012 /* key_block is the record-layer key block for TLS 1.2 and earlier. */
1013 uint8_t *key_block;
1014 uint8_t key_block_len;
1015
David Benjamina0486782016-10-06 19:11:32 -04001016 /* session_tickets_sent, in TLS 1.3, is the number of tickets the server has
1017 * sent. */
Steven Valdez1e6f11a2016-07-27 11:10:52 -04001018 uint8_t session_tickets_sent;
David Benjaminbac75b82016-09-16 19:34:02 -04001019
Adam Langley4ba6e192016-12-07 15:54:54 -08001020 /* scts_requested is one if the SCT extension is in the ClientHello. */
1021 unsigned scts_requested:1;
1022
1023 /* needs_psk_binder if the ClientHello has a placeholder PSK binder to be
1024 * filled in. */
1025 unsigned needs_psk_binder:1;
1026
1027 unsigned received_hello_retry_request:1;
1028
1029 /* accept_psk_mode stores whether the client's PSK mode is compatible with our
1030 * preferences. */
1031 unsigned accept_psk_mode:1;
1032
David Benjamina0486782016-10-06 19:11:32 -04001033 /* cert_request is one if a client certificate was requested and zero
1034 * otherwise. */
1035 unsigned cert_request:1;
1036
1037 /* certificate_status_expected is one if OCSP stapling was negotiated and the
1038 * server is expected to send a CertificateStatus message. (This is used on
1039 * both the client and server sides.) */
1040 unsigned certificate_status_expected:1;
1041
1042 /* ocsp_stapling_requested is one if a client requested OCSP stapling. */
1043 unsigned ocsp_stapling_requested:1;
1044
1045 /* should_ack_sni is used by a server and indicates that the SNI extension
1046 * should be echoed in the ServerHello. */
1047 unsigned should_ack_sni:1;
1048
1049 /* in_false_start is one if there is a pending client handshake in False
1050 * Start. The client may write data at this point. */
1051 unsigned in_false_start:1;
1052
David Benjaminb74b0812016-10-06 19:43:48 -04001053 /* next_proto_neg_seen is one of NPN was negotiated. */
1054 unsigned next_proto_neg_seen:1;
1055
David Benjamin78476f62016-11-12 11:20:55 +09001056 /* ticket_expected is one if a TLS 1.2 NewSessionTicket message is to be sent
1057 * or received. */
1058 unsigned ticket_expected:1;
David Benjaminf04c2e92016-12-06 13:35:25 -05001059
1060 /* client_version is the value sent or received in the ClientHello version. */
1061 uint16_t client_version;
David Benjamince8c9d22016-11-14 10:45:16 +09001062} /* SSL_HANDSHAKE */;
Steven Valdez143e8b32016-07-11 13:19:03 -04001063
David Benjamince8c9d22016-11-14 10:45:16 +09001064SSL_HANDSHAKE *ssl_handshake_new(SSL *ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -04001065
1066/* ssl_handshake_free releases all memory associated with |hs|. */
1067void ssl_handshake_free(SSL_HANDSHAKE *hs);
1068
1069/* tls13_handshake runs the TLS 1.3 handshake. It returns one on success and <=
1070 * 0 on error. */
David Benjaminc3c88822016-11-14 10:32:04 +09001071int tls13_handshake(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001072
David Benjamince8c9d22016-11-14 10:45:16 +09001073/* The following are implementations of |do_tls13_handshake| for the client and
Steven Valdez143e8b32016-07-11 13:19:03 -04001074 * server. */
David Benjaminc3c88822016-11-14 10:32:04 +09001075enum ssl_hs_wait_t tls13_client_handshake(SSL_HANDSHAKE *hs);
1076enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001077
Steven Valdez8e1c7be2016-07-26 12:39:22 -04001078/* tls13_post_handshake processes a post-handshake message. It returns one on
1079 * success and zero on failure. */
1080int tls13_post_handshake(SSL *ssl);
1081
Steven Valdez143e8b32016-07-11 13:19:03 -04001082/* tls13_check_message_type checks if the current message has type |type|. If so
1083 * it returns one. Otherwise, it sends an alert and returns zero. */
1084int tls13_check_message_type(SSL *ssl, int type);
1085
Adam Langley0c294252016-12-12 11:46:09 -08001086int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous);
1087int tls13_process_certificate_verify(SSL_HANDSHAKE *hs);
David Benjamin6e4fc332016-11-17 16:43:08 +09001088int tls13_process_finished(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001089
David Benjamin6e4fc332016-11-17 16:43:08 +09001090int tls13_prepare_certificate(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001091enum ssl_private_key_result_t tls13_prepare_certificate_verify(
David Benjamin6e4fc332016-11-17 16:43:08 +09001092 SSL_HANDSHAKE *hs, int is_first_run);
1093int tls13_prepare_finished(SSL_HANDSHAKE *hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -04001094int tls13_process_new_session_ticket(SSL *ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -04001095
David Benjamin8baf9632016-11-17 17:11:16 +09001096int ssl_ext_key_share_parse_serverhello(SSL_HANDSHAKE *hs, uint8_t **out_secret,
Steven Valdez7259f2f2016-08-02 16:55:05 -04001097 size_t *out_secret_len,
1098 uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001099int ssl_ext_key_share_parse_clienthello(SSL_HANDSHAKE *hs, int *out_found,
Steven Valdez7259f2f2016-08-02 16:55:05 -04001100 uint8_t **out_secret,
1101 size_t *out_secret_len,
1102 uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001103int ssl_ext_key_share_add_serverhello(SSL_HANDSHAKE *hs, CBB *out);
Steven Valdez143e8b32016-07-11 13:19:03 -04001104
David Benjamin8baf9632016-11-17 17:11:16 +09001105int ssl_ext_pre_shared_key_parse_serverhello(SSL_HANDSHAKE *hs,
1106 uint8_t *out_alert, CBS *contents);
1107int ssl_ext_pre_shared_key_parse_clienthello(SSL_HANDSHAKE *hs,
Steven Valdez4aa154e2016-07-29 14:32:55 -04001108 SSL_SESSION **out_session,
Steven Valdeza833c352016-11-01 13:39:36 -04001109 CBS *out_binders,
Steven Valdez4aa154e2016-07-29 14:32:55 -04001110 uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001111int ssl_ext_pre_shared_key_add_serverhello(SSL_HANDSHAKE *hs, CBB *out);
Steven Valdez4aa154e2016-07-29 14:32:55 -04001112
Adam Langleycfa08c32016-11-17 13:21:27 -08001113/* ssl_is_sct_list_valid does a shallow parse of the SCT list in |contents| and
1114 * returns one iff it's valid. */
1115int ssl_is_sct_list_valid(const CBS *contents);
1116
David Benjamin8c880a22016-12-03 02:20:34 -05001117int ssl_write_client_hello(SSL_HANDSHAKE *hs);
Steven Valdez5440fe02016-07-18 12:40:30 -04001118
David Benjamin4fe3c902016-08-16 02:17:03 -04001119/* ssl_clear_tls13_state releases client state only needed for TLS 1.3. It
1120 * should be called once the version is known to be TLS 1.2 or earlier. */
David Benjamin6e4fc332016-11-17 16:43:08 +09001121void ssl_clear_tls13_state(SSL_HANDSHAKE *hs);
David Benjamin4fe3c902016-08-16 02:17:03 -04001122
Nick Harper60a85cb2016-09-23 16:25:11 -07001123enum ssl_cert_verify_context_t {
1124 ssl_cert_verify_server,
1125 ssl_cert_verify_client,
1126 ssl_cert_verify_channel_id,
1127};
1128
1129/* tls13_get_cert_verify_signature_input generates the message to be signed for
1130 * TLS 1.3's CertificateVerify message. |cert_verify_context| determines the
1131 * type of signature. It sets |*out| and |*out_len| to a newly allocated buffer
1132 * containing the result. The caller must free it with |OPENSSL_free| to release
1133 * it. This function returns one on success and zero on failure. */
1134int tls13_get_cert_verify_signature_input(
1135 SSL *ssl, uint8_t **out, size_t *out_len,
1136 enum ssl_cert_verify_context_t cert_verify_context);
1137
David Benjamin9ef31f02016-10-31 18:01:13 -04001138/* ssl_negotiate_alpn negotiates the ALPN extension, if applicable. It returns
1139 * one on successful negotiation or if nothing was negotiated. It returns zero
1140 * and sets |*out_alert| to an alert on error. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001141int ssl_negotiate_alpn(SSL_HANDSHAKE *hs, uint8_t *out_alert,
David Benjamin731058e2016-12-03 23:15:13 -05001142 const SSL_CLIENT_HELLO *client_hello);
David Benjamin9ef31f02016-10-31 18:01:13 -04001143
David Benjaminffb11072016-11-13 10:32:10 +09001144typedef struct {
1145 uint16_t type;
1146 int *out_present;
1147 CBS *out_data;
1148} SSL_EXTENSION_TYPE;
1149
1150/* ssl_parse_extensions parses a TLS extensions block out of |cbs| and advances
1151 * it. It writes the parsed extensions to pointers denoted by |ext_types|. On
1152 * success, it fills in the |out_present| and |out_data| fields and returns one.
1153 * Otherwise, it sets |*out_alert| to an alert to send and returns zero. Unknown
Steven Valdez08b65f42016-12-07 15:29:45 -05001154 * extensions are rejected unless |ignore_unknown| is 1. */
David Benjaminffb11072016-11-13 10:32:10 +09001155int ssl_parse_extensions(const CBS *cbs, uint8_t *out_alert,
1156 const SSL_EXTENSION_TYPE *ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -05001157 size_t num_ext_types, int ignore_unknown);
David Benjaminffb11072016-11-13 10:32:10 +09001158
Steven Valdez143e8b32016-07-11 13:19:03 -04001159
David Benjamine776cc22016-07-19 07:26:49 +02001160/* SSLKEYLOGFILE functions. */
1161
David Benjamine776cc22016-07-19 07:26:49 +02001162/* ssl_log_secret logs |secret| with label |label|, if logging is enabled for
1163 * |ssl|. It returns one on success and zero on failure. */
1164int ssl_log_secret(const SSL *ssl, const char *label, const uint8_t *secret,
1165 size_t secret_len);
1166
1167
David Benjamine14ff062016-08-09 16:21:24 -04001168/* ClientHello functions. */
1169
David Benjamin731058e2016-12-03 23:15:13 -05001170int ssl_client_hello_init(SSL *ssl, SSL_CLIENT_HELLO *out, const uint8_t *in,
1171 size_t in_len);
David Benjamine14ff062016-08-09 16:21:24 -04001172
David Benjamin731058e2016-12-03 23:15:13 -05001173int ssl_client_hello_get_extension(const SSL_CLIENT_HELLO *client_hello,
1174 CBS *out, uint16_t extension_type);
David Benjamine14ff062016-08-09 16:21:24 -04001175
David Benjamin731058e2016-12-03 23:15:13 -05001176int ssl_client_cipher_list_contains_cipher(const SSL_CLIENT_HELLO *client_hello,
1177 uint16_t id);
David Benjamine14ff062016-08-09 16:21:24 -04001178
1179
David Benjamin65ac9972016-09-02 21:35:25 -04001180/* GREASE. */
1181
1182enum ssl_grease_index_t {
1183 ssl_grease_cipher = 0,
1184 ssl_grease_group,
1185 ssl_grease_extension1,
1186 ssl_grease_extension2,
David Benjamind9791bf2016-09-27 16:39:52 -04001187 ssl_grease_version,
David Benjamin1a5e8ec2016-10-07 15:19:18 -04001188 ssl_grease_ticket_extension,
David Benjamin65ac9972016-09-02 21:35:25 -04001189};
1190
1191/* ssl_get_grease_value returns a GREASE value for |ssl|. For a given
1192 * connection, the values for each index will be deterministic. This allows the
1193 * same ClientHello be sent twice for a HelloRetryRequest or the same group be
1194 * advertised in both supported_groups and key_shares. */
1195uint16_t ssl_get_grease_value(const SSL *ssl, enum ssl_grease_index_t index);
1196
1197
David Benjamin3ef76972016-10-17 17:59:54 -04001198/* Signature algorithms. */
1199
1200/* tls1_parse_peer_sigalgs parses |sigalgs| as the list of peer signature
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001201 * algorithms and saves them on |hs|. It returns one on success and zero on
1202 * error. */
1203int tls1_parse_peer_sigalgs(SSL_HANDSHAKE *hs, const CBS *sigalgs);
David Benjamin3ef76972016-10-17 17:59:54 -04001204
1205/* tls1_choose_signature_algorithm sets |*out| to a signature algorithm for use
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001206 * with |hs|'s private key based on the peer's preferences and the algorithms
David Benjamin3ef76972016-10-17 17:59:54 -04001207 * supported. It returns one on success and zero on error. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001208int tls1_choose_signature_algorithm(SSL_HANDSHAKE *hs, uint16_t *out);
David Benjamin3ef76972016-10-17 17:59:54 -04001209
1210/* tls12_get_verify_sigalgs sets |*out| to the signature algorithms acceptable
1211 * for the peer signature and returns the length of the list. */
1212size_t tls12_get_verify_sigalgs(const SSL *ssl, const uint16_t **out);
1213
1214/* tls12_check_peer_sigalg checks if |sigalg| is acceptable for the peer
1215 * signature. It returns one on success and zero on error, setting |*out_alert|
1216 * to an alert to send. */
1217int tls12_check_peer_sigalg(SSL *ssl, int *out_alert, uint16_t sigalg);
1218
1219
David Benjamin71f07942015-04-08 02:36:59 -04001220/* Underdocumented functions.
1221 *
1222 * Functions below here haven't been touched up and may be underdocumented. */
1223
Adam Langley1258b6a2014-06-20 12:00:00 -07001224#define TLSEXT_CHANNEL_ID_SIZE 128
Adam Langley95c29f32014-06-20 12:00:00 -07001225
David Benjamine518f652014-10-13 16:12:45 -04001226/* From RFC4492, used in encoding the curve type in ECParameters */
Adam Langleyfcf25832014-12-18 17:42:32 -08001227#define NAMED_CURVE_TYPE 3
Adam Langley95c29f32014-06-20 12:00:00 -07001228
David Benjamin5ca39fb2015-03-01 23:57:54 -05001229enum ssl_hash_message_t {
1230 ssl_dont_hash_message,
1231 ssl_hash_message,
1232};
David Benjamin590cbe92014-08-25 21:34:56 -04001233
Adam Langleyfcf25832014-12-18 17:42:32 -08001234typedef struct cert_st {
David Benjamind1d80782015-07-05 11:54:09 -04001235 EVP_PKEY *privatekey;
Adam Langleyc5ac2b62016-11-07 12:02:35 -08001236 X509 *x509_leaf;
1237 STACK_OF(X509) *x509_chain;
David Benjaminf31e6812014-11-13 18:05:55 -05001238
David Benjaminb4d65fd2015-05-29 17:11:21 -04001239 /* key_method, if non-NULL, is a set of callbacks to call for private key
1240 * operations. */
1241 const SSL_PRIVATE_KEY_METHOD *key_method;
1242
Adam Langleyfcf25832014-12-18 17:42:32 -08001243 /* For clients the following masks are of *disabled* key and auth algorithms
David Benjaminc7817d82015-11-05 18:28:33 -05001244 * based on the current configuration.
Adam Langleyfcf25832014-12-18 17:42:32 -08001245 *
1246 * TODO(davidben): Remove these. They get checked twice: when sending the
David Benjaminc7817d82015-11-05 18:28:33 -05001247 * ClientHello and when processing the ServerHello. */
David Benjamin107db582015-04-08 00:41:59 -04001248 uint32_t mask_k;
1249 uint32_t mask_a;
Adam Langley95c29f32014-06-20 12:00:00 -07001250
Adam Langleyfcf25832014-12-18 17:42:32 -08001251 DH *dh_tmp;
1252 DH *(*dh_tmp_cb)(SSL *ssl, int is_export, int keysize);
David Benjamindd978782015-04-24 15:20:13 -04001253
David Benjamin0fc37ef2016-08-17 15:29:46 -04001254 /* sigalgs, if non-NULL, is the set of signature algorithms supported by
1255 * |privatekey| in decreasing order of preference. */
David Benjamind246b812016-07-08 15:07:02 -07001256 uint16_t *sigalgs;
David Benjamin0fc37ef2016-08-17 15:29:46 -04001257 size_t num_sigalgs;
Adam Langley95c29f32014-06-20 12:00:00 -07001258
Adam Langleyfcf25832014-12-18 17:42:32 -08001259 /* Certificate setup callback: if set is called whenever a
1260 * certificate may be required (client or server). the callback
1261 * can then examine any appropriate parameters and setup any
1262 * certificates required. This allows advanced applications
1263 * to select certificates on the fly: for example based on
1264 * supported signature algorithms or curves. */
1265 int (*cert_cb)(SSL *ssl, void *arg);
1266 void *cert_cb_arg;
Adam Langleyd323f4b2016-03-01 15:58:14 -08001267
1268 /* Optional X509_STORE for certificate validation. If NULL the parent SSL_CTX
1269 * store is used instead. */
1270 X509_STORE *verify_store;
Adam Langleyfcf25832014-12-18 17:42:32 -08001271} CERT;
Adam Langley95c29f32014-06-20 12:00:00 -07001272
Adam Langleyfcf25832014-12-18 17:42:32 -08001273/* SSL_METHOD is a compatibility structure to support the legacy version-locked
1274 * methods. */
1275struct ssl_method_st {
1276 /* version, if non-zero, is the only protocol version acceptable to an
1277 * SSL_CTX initialized from this method. */
1278 uint16_t version;
1279 /* method is the underlying SSL_PROTOCOL_METHOD that initializes the
1280 * SSL_CTX. */
1281 const SSL_PROTOCOL_METHOD *method;
1282};
David Benjamin82c9e902014-12-12 15:55:27 -05001283
1284/* Used to hold functions for SSLv2 or SSLv3/TLSv1 functions */
Adam Langleyfcf25832014-12-18 17:42:32 -08001285struct ssl_protocol_method_st {
David Benjamin9e13e1a2015-03-05 01:56:32 -05001286 /* is_dtls is one if the protocol is DTLS and zero otherwise. */
1287 char is_dtls;
David Benjaminb6a0a512016-06-21 10:33:21 -04001288 /* min_version is the minimum implemented version. */
1289 uint16_t min_version;
1290 /* max_version is the maximum implemented version. */
1291 uint16_t max_version;
David Benjamin2dc02042016-09-19 19:57:37 -04001292 /* version_from_wire maps |wire_version| to a protocol version. On success, it
1293 * sets |*out_version| to the result and returns one. If the version is
1294 * unknown, it returns zero. */
1295 int (*version_from_wire)(uint16_t *out_version, uint16_t wire_version);
David Benjaminb6a0a512016-06-21 10:33:21 -04001296 /* version_to_wire maps |version| to the wire representation. It is an error
1297 * to call it with an invalid version. */
1298 uint16_t (*version_to_wire)(uint16_t version);
David Benjamina41280d2015-11-26 02:16:49 -05001299 int (*ssl_new)(SSL *ssl);
1300 void (*ssl_free)(SSL *ssl);
David Benjamin09eb6552016-07-08 14:32:11 -07001301 /* ssl_get_message reads the next handshake message. If |msg_type| is not -1,
1302 * the message must have the specified type. On success, it returns one and
1303 * sets |ssl->s3->tmp.message_type|, |ssl->init_msg|, and |ssl->init_num|.
1304 * Otherwise, it returns <= 0. */
1305 int (*ssl_get_message)(SSL *ssl, int msg_type,
1306 enum ssl_hash_message_t hash_message);
David Benjaminced94792016-11-14 17:12:11 +09001307 /* get_current_message sets |*out| to the current handshake message. This
1308 * includes the protocol-specific message header. */
1309 void (*get_current_message)(const SSL *ssl, CBS *out);
David Benjamin4497e582016-07-27 17:51:49 -04001310 /* release_current_message is called to release the current handshake message.
1311 * If |free_buffer| is one, buffers will also be released. */
1312 void (*release_current_message)(SSL *ssl, int free_buffer);
David Benjamin163f29a2016-07-28 11:05:58 -04001313 /* read_app_data reads up to |len| bytes of application data into |buf|. On
1314 * success, it returns the number of bytes read. Otherwise, it returns <= 0
1315 * and sets |*out_got_handshake| to whether the failure was due to a
1316 * post-handshake handshake message. If so, it fills in the current message as
1317 * in |ssl_get_message|. */
1318 int (*read_app_data)(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
1319 int peek);
David Benjaminf0ee9072016-06-15 17:44:37 -04001320 int (*read_change_cipher_spec)(SSL *ssl);
1321 void (*read_close_notify)(SSL *ssl);
1322 int (*write_app_data)(SSL *ssl, const void *buf_, int len);
1323 int (*dispatch_alert)(SSL *ssl);
David Benjamina1c90a52015-05-30 17:03:14 -04001324 /* supports_cipher returns one if |cipher| is supported by this protocol and
1325 * zero otherwise. */
1326 int (*supports_cipher)(const SSL_CIPHER *cipher);
David Benjamin75836432016-06-17 18:48:29 -04001327 /* init_message begins a new handshake message of type |type|. |cbb| is the
1328 * root CBB to be passed into |finish_message|. |*body| is set to a child CBB
1329 * the caller should write to. It returns one on success and zero on error. */
1330 int (*init_message)(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
Steven Valdez5eead162016-11-11 22:23:25 -05001331 /* finish_message finishes a handshake message. It sets |*out_msg| to a
1332 * newly-allocated buffer with the serialized message. The caller must
1333 * release it with |OPENSSL_free| when done. It returns one on success and
1334 * zero on error. */
1335 int (*finish_message)(SSL *ssl, CBB *cbb, uint8_t **out_msg, size_t *out_len);
1336 /* queue_message queues a handshake message and prepares it to be written. It
1337 * takes ownership of |msg| and releases it with |OPENSSL_free| when done. It
1338 * returns one on success and zero on error. */
1339 int (*queue_message)(SSL *ssl, uint8_t *msg, size_t len);
David Benjamin75836432016-06-17 18:48:29 -04001340 /* write_message writes the next message to the transport. It returns one on
1341 * success and <= 0 on error. */
1342 int (*write_message)(SSL *ssl);
David Benjaminaa7734b2016-06-07 16:40:46 -04001343 /* send_change_cipher_spec sends a ChangeCipherSpec message. */
David Benjamin352d0a92016-06-28 11:22:02 -04001344 int (*send_change_cipher_spec)(SSL *ssl);
David Benjamin8d5f9da2017-01-01 17:41:30 -05001345 /* flush_flight flushes the current flight to the transport. It returns one on
1346 * success and <= 0 on error. */
1347 int (*flush_flight)(SSL *ssl);
David Benjaminaa7734b2016-06-07 16:40:46 -04001348 /* expect_flight is called when the handshake expects a flight of messages from
1349 * the peer. */
1350 void (*expect_flight)(SSL *ssl);
1351 /* received_flight is called when the handshake has received a flight of
1352 * messages from the peer. */
1353 void (*received_flight)(SSL *ssl);
David Benjamin61672812016-07-14 23:10:43 -04001354 /* set_read_state sets |ssl|'s read cipher state to |aead_ctx|. It takes
1355 * ownership of |aead_ctx|. It returns one on success and zero if changing the
1356 * read state is forbidden at this point. */
1357 int (*set_read_state)(SSL *ssl, SSL_AEAD_CTX *aead_ctx);
1358 /* set_write_state sets |ssl|'s write cipher state to |aead_ctx|. It takes
1359 * ownership of |aead_ctx|. It returns one on success and zero if changing the
1360 * write state is forbidden at this point. */
1361 int (*set_write_state)(SSL *ssl, SSL_AEAD_CTX *aead_ctx);
Adam Langleyfcf25832014-12-18 17:42:32 -08001362};
David Benjamin82c9e902014-12-12 15:55:27 -05001363
Adam Langleyfcf25832014-12-18 17:42:32 -08001364/* This is for the SSLv3/TLSv1.0 differences in crypto/hash stuff It is a bit
1365 * of a mess of functions, but hell, think of it as an opaque structure. */
David Benjaminb9179092016-10-26 13:47:33 -04001366typedef struct ssl3_enc_method {
David Benjamin928f32a2015-12-29 23:32:29 -05001367 /* prf computes the PRF function for |ssl|. It writes |out_len| bytes to
1368 * |out|, using |secret| as the secret and |label| as the label. |seed1| and
1369 * |seed2| are concatenated to form the seed parameter. It returns one on
1370 * success and zero on failure. */
1371 int (*prf)(const SSL *ssl, uint8_t *out, size_t out_len,
1372 const uint8_t *secret, size_t secret_len, const char *label,
1373 size_t label_len, const uint8_t *seed1, size_t seed1_len,
1374 const uint8_t *seed2, size_t seed2_len);
David Benjaminbaa12162015-12-29 19:13:58 -05001375 int (*final_finish_mac)(SSL *ssl, int from_server, uint8_t *out);
David Benjaminb9179092016-10-26 13:47:33 -04001376} SSL3_ENC_METHOD;
Adam Langley95c29f32014-06-20 12:00:00 -07001377
David Benjamine228bd22016-10-17 20:41:08 -04001378typedef struct ssl3_record_st {
1379 /* type is the record type. */
1380 uint8_t type;
1381 /* length is the number of unconsumed bytes in the record. */
1382 uint16_t length;
1383 /* data is a non-owning pointer to the first unconsumed byte of the record. */
1384 uint8_t *data;
1385} SSL3_RECORD;
1386
1387typedef struct ssl3_buffer_st {
1388 /* buf is the memory allocated for this buffer. */
1389 uint8_t *buf;
1390 /* offset is the offset into |buf| which the buffer contents start at. */
1391 uint16_t offset;
1392 /* len is the length of the buffer contents from |buf| + |offset|. */
1393 uint16_t len;
1394 /* cap is how much memory beyond |buf| + |offset| is available. */
1395 uint16_t cap;
1396} SSL3_BUFFER;
1397
1398/* An ssl_shutdown_t describes the shutdown state of one end of the connection,
1399 * whether it is alive or has been shutdown via close_notify or fatal alert. */
1400enum ssl_shutdown_t {
1401 ssl_shutdown_none = 0,
1402 ssl_shutdown_close_notify = 1,
1403 ssl_shutdown_fatal_alert = 2,
1404};
1405
1406typedef struct ssl3_state_st {
1407 uint8_t read_sequence[8];
1408 uint8_t write_sequence[8];
1409
1410 uint8_t server_random[SSL3_RANDOM_SIZE];
1411 uint8_t client_random[SSL3_RANDOM_SIZE];
1412
David Benjamine228bd22016-10-17 20:41:08 -04001413 /* read_buffer holds data from the transport to be processed. */
1414 SSL3_BUFFER read_buffer;
1415 /* write_buffer holds data to be written to the transport. */
1416 SSL3_BUFFER write_buffer;
1417
1418 SSL3_RECORD rrec; /* each decoded record goes in here */
1419
1420 /* partial write - check the numbers match */
1421 unsigned int wnum; /* number of bytes sent so far */
1422 int wpend_tot; /* number bytes written */
1423 int wpend_type;
1424 int wpend_ret; /* number of bytes submitted */
1425 const uint8_t *wpend_buf;
1426
1427 /* handshake_buffer, if non-NULL, contains the handshake transcript. */
1428 BUF_MEM *handshake_buffer;
1429 /* handshake_hash, if initialized with an |EVP_MD|, maintains the handshake
1430 * hash. For TLS 1.1 and below, it is the SHA-1 half. */
1431 EVP_MD_CTX handshake_hash;
1432 /* handshake_md5, if initialized with an |EVP_MD|, maintains the MD5 half of
1433 * the handshake hash for TLS 1.1 and below. */
1434 EVP_MD_CTX handshake_md5;
1435
1436 /* recv_shutdown is the shutdown state for the receive half of the
1437 * connection. */
1438 enum ssl_shutdown_t recv_shutdown;
1439
1440 /* recv_shutdown is the shutdown state for the send half of the connection. */
1441 enum ssl_shutdown_t send_shutdown;
1442
Adam Langley4ba6e192016-12-07 15:54:54 -08001443 int alert_dispatch;
1444
1445 int total_renegotiations;
1446
Steven Valdeza4ee74d2016-11-29 13:36:45 -05001447 /* early_data_skipped is the amount of early data that has been skipped by the
1448 * record layer. */
1449 uint16_t early_data_skipped;
1450
David Benjamine228bd22016-10-17 20:41:08 -04001451 /* empty_record_count is the number of consecutive empty records received. */
1452 uint8_t empty_record_count;
1453
1454 /* warning_alert_count is the number of consecutive warning alerts
1455 * received. */
1456 uint8_t warning_alert_count;
1457
1458 /* key_update_count is the number of consecutive KeyUpdates received. */
1459 uint8_t key_update_count;
1460
Adam Langley4ba6e192016-12-07 15:54:54 -08001461 /* skip_early_data instructs the record layer to skip unexpected early data
1462 * messages when 0RTT is rejected. */
1463 unsigned skip_early_data:1;
1464
1465 /* have_version is true if the connection's final version is known. Otherwise
1466 * the version has not been negotiated yet. */
1467 unsigned have_version:1;
1468
1469 /* v2_hello_done is true if the peer's V2ClientHello, if any, has been handled
1470 * and future messages should use the record layer. */
1471 unsigned v2_hello_done:1;
1472
1473 /* initial_handshake_complete is true if the initial handshake has
1474 * completed. */
1475 unsigned initial_handshake_complete:1;
1476
1477 /* session_reused indicates whether a session was resumed. */
1478 unsigned session_reused:1;
1479
1480 unsigned send_connection_binding:1;
1481
1482 /* In a client, this means that the server supported Channel ID and that a
1483 * Channel ID was sent. In a server it means that we echoed support for
1484 * Channel IDs and that tlsext_channel_id will be valid after the
1485 * handshake. */
1486 unsigned tlsext_channel_id_valid:1;
1487
David Benjamin6f600d62016-12-21 16:06:54 -05001488 /* short_header is one if https://github.com/tlswg/tls13-spec/pull/762 has
1489 * been negotiated. */
1490 unsigned short_header:1;
1491
Adam Langley4ba6e192016-12-07 15:54:54 -08001492 uint8_t send_alert[2];
1493
1494 /* pending_message is the current outgoing handshake message. */
1495 uint8_t *pending_message;
1496 uint32_t pending_message_len;
1497
David Benjamine228bd22016-10-17 20:41:08 -04001498 /* aead_read_ctx is the current read cipher state. */
1499 SSL_AEAD_CTX *aead_read_ctx;
1500
1501 /* aead_write_ctx is the current write cipher state. */
1502 SSL_AEAD_CTX *aead_write_ctx;
1503
1504 /* enc_method is the method table corresponding to the current protocol
1505 * version. */
1506 const SSL3_ENC_METHOD *enc_method;
1507
David Benjamine228bd22016-10-17 20:41:08 -04001508 /* hs is the handshake state for the current handshake or NULL if there isn't
1509 * one. */
1510 SSL_HANDSHAKE *hs;
1511
1512 uint8_t write_traffic_secret[EVP_MAX_MD_SIZE];
David Benjamine228bd22016-10-17 20:41:08 -04001513 uint8_t read_traffic_secret[EVP_MAX_MD_SIZE];
David Benjamine228bd22016-10-17 20:41:08 -04001514 uint8_t exporter_secret[EVP_MAX_MD_SIZE];
Adam Langley4ba6e192016-12-07 15:54:54 -08001515 uint8_t write_traffic_secret_len;
1516 uint8_t read_traffic_secret_len;
David Benjamine228bd22016-10-17 20:41:08 -04001517 uint8_t exporter_secret_len;
1518
Adam Langley4ba6e192016-12-07 15:54:54 -08001519 /* Connection binding to prevent renegotiation attacks */
1520 uint8_t previous_client_finished[12];
1521 uint8_t previous_client_finished_len;
1522 uint8_t previous_server_finished_len;
1523 uint8_t previous_server_finished[12];
1524
David Benjamine228bd22016-10-17 20:41:08 -04001525 /* State pertaining to the pending handshake.
1526 *
1527 * TODO(davidben): Move everything not needed after the handshake completes to
1528 * |hs| and remove this. */
1529 struct {
David Benjamine228bd22016-10-17 20:41:08 -04001530 /* used to hold the new cipher we are going to use */
1531 const SSL_CIPHER *new_cipher;
1532
Adam Langley4ba6e192016-12-07 15:54:54 -08001533 int message_type;
1534
David Benjamine228bd22016-10-17 20:41:08 -04001535 int reuse_message;
1536
David Benjamine228bd22016-10-17 20:41:08 -04001537 uint8_t new_mac_secret_len;
1538 uint8_t new_key_len;
1539 uint8_t new_fixed_iv_len;
1540
1541 /* extended_master_secret indicates whether the extended master secret
1542 * computation is used in this handshake. Note that this is different from
1543 * whether it was used for the current session. If this is a resumption
1544 * handshake then EMS might be negotiated in the client and server hello
1545 * messages, but it doesn't matter if the session that's being resumed
1546 * didn't use it to create the master secret initially. */
1547 char extended_master_secret;
David Benjamine228bd22016-10-17 20:41:08 -04001548 } tmp;
1549
1550 /* new_session is the new mutable session being established by the current
1551 * handshake. It should not be cached. */
1552 SSL_SESSION *new_session;
1553
1554 /* established_session is the session established by the connection. This
1555 * session is only filled upon the completion of the handshake and is
1556 * immutable. */
1557 SSL_SESSION *established_session;
1558
David Benjamine228bd22016-10-17 20:41:08 -04001559 /* Next protocol negotiation. For the client, this is the protocol that we
1560 * sent in NextProtocol and is set when handling ServerHello extensions.
1561 *
1562 * For a server, this is the client's selected_protocol from NextProtocol and
1563 * is set when handling the NextProtocol message, before the Finished
1564 * message. */
1565 uint8_t *next_proto_negotiated;
1566 size_t next_proto_negotiated_len;
1567
1568 /* ALPN information
1569 * (we are in the process of transitioning from NPN to ALPN.) */
1570
1571 /* In a server these point to the selected ALPN protocol after the
1572 * ClientHello has been processed. In a client these contain the protocol
1573 * that the server selected once the ServerHello has been processed. */
1574 uint8_t *alpn_selected;
1575 size_t alpn_selected_len;
1576
David Benjamine228bd22016-10-17 20:41:08 -04001577 /* For a server:
1578 * If |tlsext_channel_id_valid| is true, then this contains the
1579 * verified Channel ID from the client: a P256 point, (x,y), where
1580 * each are big-endian values. */
1581 uint8_t tlsext_channel_id[64];
1582} SSL3_STATE;
1583
David Benjamin593047f2015-05-08 13:08:52 -04001584/* lengths of messages */
1585#define DTLS1_COOKIE_LENGTH 256
1586
1587#define DTLS1_RT_HEADER_LENGTH 13
1588
1589#define DTLS1_HM_HEADER_LENGTH 12
1590
1591#define DTLS1_CCS_HEADER_LENGTH 1
1592
1593#define DTLS1_AL_HEADER_LENGTH 2
1594
David Benjamin593047f2015-05-08 13:08:52 -04001595struct hm_header_st {
1596 uint8_t type;
1597 uint32_t msg_len;
1598 uint16_t seq;
1599 uint32_t frag_off;
1600 uint32_t frag_len;
David Benjamin593047f2015-05-08 13:08:52 -04001601};
1602
David Benjamin528bd262016-07-08 09:34:05 -07001603/* An hm_fragment is an incoming DTLS message, possibly not yet assembled. */
David Benjamin593047f2015-05-08 13:08:52 -04001604typedef struct hm_fragment_st {
David Benjamin528bd262016-07-08 09:34:05 -07001605 /* type is the type of the message. */
1606 uint8_t type;
1607 /* seq is the sequence number of this message. */
1608 uint16_t seq;
1609 /* msg_len is the length of the message body. */
1610 uint32_t msg_len;
1611 /* data is a pointer to the message, including message header. It has length
1612 * |DTLS1_HM_HEADER_LENGTH| + |msg_len|. */
1613 uint8_t *data;
1614 /* reassembly is a bitmask of |msg_len| bits corresponding to which parts of
1615 * the message have been received. It is NULL if the message is complete. */
David Benjamin593047f2015-05-08 13:08:52 -04001616 uint8_t *reassembly;
1617} hm_fragment;
1618
1619typedef struct dtls1_state_st {
1620 /* send_cookie is true if we are resending the ClientHello
1621 * with a cookie from a HelloVerifyRequest. */
1622 unsigned int send_cookie;
1623
1624 uint8_t cookie[DTLS1_COOKIE_LENGTH];
1625 size_t cookie_len;
1626
1627 /* The current data and handshake epoch. This is initially undefined, and
1628 * starts at zero once the initial handshake is completed. */
1629 uint16_t r_epoch;
1630 uint16_t w_epoch;
1631
1632 /* records being received in the current epoch */
1633 DTLS1_BITMAP bitmap;
1634
David Benjamin593047f2015-05-08 13:08:52 -04001635 uint16_t handshake_write_seq;
David Benjamin593047f2015-05-08 13:08:52 -04001636 uint16_t handshake_read_seq;
1637
1638 /* save last sequence number for retransmissions */
1639 uint8_t last_write_sequence[8];
1640
David Benjaminec847ce2016-06-17 19:30:47 -04001641 /* incoming_messages is a ring buffer of incoming handshake messages that have
1642 * yet to be processed. The front of the ring buffer is message number
1643 * |handshake_read_seq|, at position |handshake_read_seq| %
1644 * |SSL_MAX_HANDSHAKE_FLIGHT|. */
1645 hm_fragment *incoming_messages[SSL_MAX_HANDSHAKE_FLIGHT];
David Benjamin593047f2015-05-08 13:08:52 -04001646
David Benjamin29a83c52016-06-17 19:12:54 -04001647 /* outgoing_messages is the queue of outgoing messages from the last handshake
1648 * flight. */
1649 DTLS_OUTGOING_MESSAGE outgoing_messages[SSL_MAX_HANDSHAKE_FLIGHT];
1650 uint8_t outgoing_messages_len;
David Benjamin593047f2015-05-08 13:08:52 -04001651
David Benjamin1a999cf2017-01-03 10:30:35 -05001652 /* outgoing_written is the number of outgoing messages that have been
1653 * written. */
1654 uint8_t outgoing_written;
1655 /* outgoing_offset is the number of bytes of the next outgoing message have
1656 * been written. */
1657 uint32_t outgoing_offset;
1658
David Benjamin593047f2015-05-08 13:08:52 -04001659 unsigned int mtu; /* max DTLS packet size */
1660
David Benjamin593047f2015-05-08 13:08:52 -04001661 /* num_timeouts is the number of times the retransmit timer has fired since
1662 * the last time it was reset. */
1663 unsigned int num_timeouts;
1664
1665 /* Indicates when the last handshake msg or heartbeat sent will
David Benjamin4d2e7ce2015-05-08 13:29:45 -04001666 * timeout. */
1667 struct timeval next_timeout;
David Benjamin593047f2015-05-08 13:08:52 -04001668
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -07001669 /* timeout_duration_ms is the timeout duration in milliseconds. */
1670 unsigned timeout_duration_ms;
David Benjamin593047f2015-05-08 13:08:52 -04001671} DTLS1_STATE;
1672
David Benjamin338fcaf2014-12-11 01:20:52 -05001673extern const SSL3_ENC_METHOD TLSv1_enc_data;
David Benjamin338fcaf2014-12-11 01:20:52 -05001674extern const SSL3_ENC_METHOD SSLv3_enc_data;
Adam Langley95c29f32014-06-20 12:00:00 -07001675
Steven Valdeza833c352016-11-01 13:39:36 -04001676/* From draft-ietf-tls-tls13-18, used in determining PSK modes. */
1677#define SSL_PSK_KE 0x0
1678#define SSL_PSK_DHE_KE 0x1
Steven Valdez1e6f11a2016-07-27 11:10:52 -04001679
Steven Valdezc4aa7272016-10-03 12:25:56 -04001680/* From draft-ietf-tls-tls13-16, used in determining whether to respond with a
1681 * KeyUpdate. */
1682#define SSL_KEY_UPDATE_NOT_REQUESTED 0
1683#define SSL_KEY_UPDATE_REQUESTED 1
1684
Adam Langley95c29f32014-06-20 12:00:00 -07001685CERT *ssl_cert_new(void);
1686CERT *ssl_cert_dup(CERT *cert);
Adam Langley95c29f32014-06-20 12:00:00 -07001687void ssl_cert_clear_certs(CERT *c);
1688void ssl_cert_free(CERT *c);
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001689int ssl_get_new_session(SSL_HANDSHAKE *hs, int is_server);
Steven Valdez1e6f11a2016-07-27 11:10:52 -04001690int ssl_encrypt_ticket(SSL *ssl, CBB *out, const SSL_SESSION *session);
David Benjamine3aa1d92015-06-16 15:34:50 -04001691
Steven Valdez4aa154e2016-07-29 14:32:55 -04001692/* ssl_session_is_context_valid returns one if |session|'s session ID context
1693 * matches the one set on |ssl| and zero otherwise. */
1694int ssl_session_is_context_valid(const SSL *ssl, const SSL_SESSION *session);
1695
1696/* ssl_session_is_time_valid returns one if |session| is still valid and zero if
1697 * it has expired. */
1698int ssl_session_is_time_valid(const SSL *ssl, const SSL_SESSION *session);
1699
David Benjamin75f99142016-11-12 12:36:06 +09001700/* ssl_session_is_resumable returns one if |session| is resumable for |ssl| and
1701 * zero otherwise. */
1702int ssl_session_is_resumable(const SSL *ssl, const SSL_SESSION *session);
1703
David Benjamin4d0be242016-09-01 01:10:07 -04001704void ssl_set_session(SSL *ssl, SSL_SESSION *session);
1705
David Benjamine3aa1d92015-06-16 15:34:50 -04001706enum ssl_session_result_t {
1707 ssl_session_success,
1708 ssl_session_error,
1709 ssl_session_retry,
1710};
1711
David Benjamin731058e2016-12-03 23:15:13 -05001712/* ssl_get_prev_session looks up the previous session based on |client_hello|.
1713 * On success, it sets |*out_session| to the session or NULL if none was found.
1714 * If the session could not be looked up synchronously, it returns
David Benjamine3aa1d92015-06-16 15:34:50 -04001715 * |ssl_session_retry| and should be called again. Otherwise, it returns
1716 * |ssl_session_error|. */
1717enum ssl_session_result_t ssl_get_prev_session(
David Benjamin75f99142016-11-12 12:36:06 +09001718 SSL *ssl, SSL_SESSION **out_session, int *out_tickets_supported,
David Benjamin731058e2016-12-03 23:15:13 -05001719 int *out_renew_ticket, const SSL_CLIENT_HELLO *client_hello);
David Benjamine3aa1d92015-06-16 15:34:50 -04001720
Steven Valdez4aa154e2016-07-29 14:32:55 -04001721/* The following flags determine which parts of the session are duplicated. */
1722#define SSL_SESSION_DUP_AUTH_ONLY 0x0
1723#define SSL_SESSION_INCLUDE_TICKET 0x1
1724#define SSL_SESSION_INCLUDE_NONAUTH 0x2
1725#define SSL_SESSION_DUP_ALL \
1726 (SSL_SESSION_INCLUDE_TICKET | SSL_SESSION_INCLUDE_NONAUTH)
1727
Steven Valdez87eab492016-06-27 16:34:59 -04001728/* SSL_SESSION_dup returns a newly-allocated |SSL_SESSION| with a copy of the
1729 * fields in |session| or NULL on error. The new session is non-resumable and
1730 * must be explicitly marked resumable once it has been filled in. */
1731OPENSSL_EXPORT SSL_SESSION *SSL_SESSION_dup(SSL_SESSION *session,
Steven Valdez4aa154e2016-07-29 14:32:55 -04001732 int dup_flags);
Steven Valdez87eab492016-06-27 16:34:59 -04001733
David Benjamin123db572016-11-03 16:59:25 -04001734/* ssl_session_refresh_time updates |session|'s start time to the current time,
1735 * adjusting the timeout so the expiration time is unchanged. */
1736void ssl_session_refresh_time(SSL *ssl, SSL_SESSION *session);
1737
Adam Langley858a88d2014-06-20 12:00:00 -07001738void ssl_cipher_preference_list_free(
Adam Langleyfcf25832014-12-18 17:42:32 -08001739 struct ssl_cipher_preference_list_st *cipher_list);
David Benjaminabbbee12016-10-31 19:20:42 -04001740
1741/* ssl_get_cipher_preferences returns the cipher preference list for TLS 1.2 and
1742 * below. */
David Benjaminaf3b3d32016-10-31 16:29:57 -04001743const struct ssl_cipher_preference_list_st *ssl_get_cipher_preferences(
1744 const SSL *ssl);
David Benjaminea72bd02014-12-21 21:27:41 -05001745
David Benjamin7aa31d62016-08-08 21:38:32 -04001746int ssl_verify_cert_chain(SSL *ssl, long *out_verify_result,
1747 STACK_OF(X509) * cert_chain);
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001748void ssl_update_cache(SSL_HANDSHAKE *hs, int mode);
David Benjaminf31e6812014-11-13 18:05:55 -05001749
Adam Langley95c29f32014-06-20 12:00:00 -07001750int ssl_verify_alarm_type(long type);
David Benjamin74d8bc22015-05-21 02:16:53 -04001751
David Benjaminc3c88822016-11-14 10:32:04 +09001752int ssl3_get_finished(SSL_HANDSHAKE *hs);
David Benjamin352d0a92016-06-28 11:22:02 -04001753int ssl3_send_change_cipher_spec(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05001754int ssl3_send_alert(SSL *ssl, int level, int desc);
David Benjamin09eb6552016-07-08 14:32:11 -07001755int ssl3_get_message(SSL *ssl, int msg_type,
1756 enum ssl_hash_message_t hash_message);
David Benjaminced94792016-11-14 17:12:11 +09001757void ssl3_get_current_message(const SSL *ssl, CBS *out);
David Benjamin4497e582016-07-27 17:51:49 -04001758void ssl3_release_current_message(SSL *ssl, int free_buffer);
David Benjamin854dd652014-08-26 00:32:30 -04001759
Steven Valdez2b8415e2016-06-30 13:27:23 -04001760/* ssl3_cert_verify_hash writes the SSL 3.0 CertificateVerify hash into the
1761 * bytes pointed to by |out| and writes the number of bytes to |*out_len|. |out|
David Benjamin0aa25bd2016-07-08 14:44:56 -07001762 * must have room for |EVP_MAX_MD_SIZE| bytes. It sets |*out_md| to the hash
1763 * function used. It returns one on success and zero on failure. */
1764int ssl3_cert_verify_hash(SSL *ssl, const EVP_MD **out_md, uint8_t *out,
1765 size_t *out_len, uint16_t signature_algorithm);
David Benjamin854dd652014-08-26 00:32:30 -04001766
David Benjaminc3c88822016-11-14 10:32:04 +09001767int ssl3_send_finished(SSL_HANDSHAKE *hs, int a, int b);
David Benjamin0d56f882015-12-19 17:05:56 -05001768int ssl3_dispatch_alert(SSL *ssl);
David Benjamin163f29a2016-07-28 11:05:58 -04001769int ssl3_read_app_data(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
1770 int peek);
David Benjamina41280d2015-11-26 02:16:49 -05001771int ssl3_read_change_cipher_spec(SSL *ssl);
David Benjamina6022772015-05-30 16:22:10 -04001772void ssl3_read_close_notify(SSL *ssl);
David Benjamin163f29a2016-07-28 11:05:58 -04001773int ssl3_read_handshake_bytes(SSL *ssl, uint8_t *buf, int len);
David Benjaminc933a472015-05-30 16:14:58 -04001774int ssl3_write_app_data(SSL *ssl, const void *buf, int len);
David Benjamin0d56f882015-12-19 17:05:56 -05001775int ssl3_write_bytes(SSL *ssl, int type, const void *buf, int len);
David Benjamin0d56f882015-12-19 17:05:56 -05001776int ssl3_output_cert_chain(SSL *ssl);
Steven Valdezb6b6ff32016-10-26 11:56:35 -04001777
David Benjamin0d56f882015-12-19 17:05:56 -05001778int ssl3_new(SSL *ssl);
1779void ssl3_free(SSL *ssl);
David Benjamince8c9d22016-11-14 10:45:16 +09001780int ssl3_accept(SSL_HANDSHAKE *hs);
1781int ssl3_connect(SSL_HANDSHAKE *hs);
Adam Langley95c29f32014-06-20 12:00:00 -07001782
David Benjamin75836432016-06-17 18:48:29 -04001783int ssl3_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
Steven Valdez5eead162016-11-11 22:23:25 -05001784int ssl3_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg, size_t *out_len);
1785int ssl3_queue_message(SSL *ssl, uint8_t *msg, size_t len);
David Benjamin75836432016-06-17 18:48:29 -04001786int ssl3_write_message(SSL *ssl);
1787
David Benjamin75836432016-06-17 18:48:29 -04001788int dtls1_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
Steven Valdez5eead162016-11-11 22:23:25 -05001789int dtls1_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg,
1790 size_t *out_len);
1791int dtls1_queue_message(SSL *ssl, uint8_t *msg, size_t len);
David Benjamin75836432016-06-17 18:48:29 -04001792int dtls1_write_message(SSL *ssl);
David Benjamin1a999cf2017-01-03 10:30:35 -05001793int dtls1_send_change_cipher_spec(SSL *ssl);
1794int dtls1_flush_flight(SSL *ssl);
David Benjaminc6604172016-06-02 16:38:35 -04001795
Steven Valdez5eead162016-11-11 22:23:25 -05001796/* ssl_complete_message calls |finish_message| and |queue_message| on |cbb| to
1797 * queue the message for writing. */
1798int ssl_complete_message(SSL *ssl, CBB *cbb);
1799
David Benjaminced94792016-11-14 17:12:11 +09001800/* ssl_hash_current_message incorporates the current handshake message into the
1801 * handshake hash. It returns one on success and zero on allocation failure. */
1802int ssl_hash_current_message(SSL *ssl);
1803
David Benjaminc6604172016-06-02 16:38:35 -04001804/* dtls1_get_record reads a new input record. On success, it places it in
1805 * |ssl->s3->rrec| and returns one. Otherwise it returns <= 0 on error or if
1806 * more data is needed. */
1807int dtls1_get_record(SSL *ssl);
1808
David Benjamin163f29a2016-07-28 11:05:58 -04001809int dtls1_read_app_data(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
1810 int peek);
David Benjamina41280d2015-11-26 02:16:49 -05001811int dtls1_read_change_cipher_spec(SSL *ssl);
David Benjamina6022772015-05-30 16:22:10 -04001812void dtls1_read_close_notify(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07001813
David Benjamin0d56f882015-12-19 17:05:56 -05001814int dtls1_write_app_data(SSL *ssl, const void *buf, int len);
David Benjamin45d45c12016-06-07 15:20:49 -04001815
1816/* dtls1_write_record sends a record. It returns one on success and <= 0 on
1817 * error. */
1818int dtls1_write_record(SSL *ssl, int type, const uint8_t *buf, size_t len,
1819 enum dtls1_use_epoch_t use_epoch);
Adam Langley95c29f32014-06-20 12:00:00 -07001820
David Benjamin0d56f882015-12-19 17:05:56 -05001821int dtls1_send_finished(SSL *ssl, int a, int b, const char *sender, int slen);
David Benjaminaad50db2016-06-23 17:49:12 -04001822int dtls1_retransmit_outgoing_messages(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05001823void dtls1_clear_record_buffer(SSL *ssl);
David Benjaminc6604172016-06-02 16:38:35 -04001824int dtls1_parse_fragment(CBS *cbs, struct hm_header_st *out_hdr,
1825 CBS *out_body);
David Benjamin0d56f882015-12-19 17:05:56 -05001826int dtls1_check_timeout_num(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05001827int dtls1_handshake_write(SSL *ssl);
David Benjamin2fa83de2015-02-08 01:40:08 -05001828
David Benjamin0d56f882015-12-19 17:05:56 -05001829void dtls1_start_timer(SSL *ssl);
1830void dtls1_stop_timer(SSL *ssl);
1831int dtls1_is_timer_expired(SSL *ssl);
1832void dtls1_double_timeout(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07001833unsigned int dtls1_min_mtu(void);
1834
David Benjamin0d56f882015-12-19 17:05:56 -05001835int dtls1_new(SSL *ssl);
1836int dtls1_accept(SSL *ssl);
1837int dtls1_connect(SSL *ssl);
1838void dtls1_free(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07001839
David Benjamin09eb6552016-07-08 14:32:11 -07001840int dtls1_get_message(SSL *ssl, int mt, enum ssl_hash_message_t hash_message);
David Benjaminced94792016-11-14 17:12:11 +09001841void dtls1_get_current_message(const SSL *ssl, CBS *out);
David Benjamin4497e582016-07-27 17:51:49 -04001842void dtls1_release_current_message(SSL *ssl, int free_buffer);
David Benjamin0d56f882015-12-19 17:05:56 -05001843int dtls1_dispatch_alert(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07001844
David Benjamin30152fd2016-05-05 20:45:48 -04001845/* ssl_is_wbio_buffered returns one if |ssl|'s write BIO is buffered and zero
1846 * otherwise. */
1847int ssl_is_wbio_buffered(const SSL *ssl);
1848
David Benjaminb095f0f2016-05-05 21:50:24 -04001849int ssl_init_wbio_buffer(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05001850void ssl_free_wbio_buffer(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07001851
David Benjamin67739722016-11-17 17:03:59 +09001852int tls1_change_cipher_state(SSL_HANDSHAKE *hs, int which);
David Benjamin0d56f882015-12-19 17:05:56 -05001853int tls1_handshake_digest(SSL *ssl, uint8_t *out, size_t out_len);
David Benjamin0d56f882015-12-19 17:05:56 -05001854int tls1_generate_master_secret(SSL *ssl, uint8_t *out, const uint8_t *premaster,
David Benjamin31b1d812014-12-23 10:01:09 -05001855 size_t premaster_len);
Adam Langley95c29f32014-06-20 12:00:00 -07001856
Steven Valdez5440fe02016-07-18 12:40:30 -04001857/* tls1_get_grouplist sets |*out_group_ids| and |*out_group_ids_len| to the
David Benjaminf04976b2016-10-07 00:37:55 -04001858 * locally-configured group preference list. */
1859void tls1_get_grouplist(SSL *ssl, const uint16_t **out_group_ids,
Steven Valdez5440fe02016-07-18 12:40:30 -04001860 size_t *out_group_ids_len);
1861
David Benjamin9d0b4bc2016-10-07 00:34:08 -04001862/* tls1_check_group_id returns one if |group_id| is consistent with
1863 * locally-configured group preferences. */
Steven Valdezce902a92016-05-17 11:47:53 -04001864int tls1_check_group_id(SSL *ssl, uint16_t group_id);
Sigbjorn Vik2b23d242015-06-29 15:07:26 +02001865
Steven Valdezce902a92016-05-17 11:47:53 -04001866/* tls1_get_shared_group sets |*out_group_id| to the first preferred shared
1867 * group between client and server preferences and returns one. If none may be
David Benjamin4298d772015-12-19 00:18:25 -05001868 * found, it returns zero. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001869int tls1_get_shared_group(SSL_HANDSHAKE *hs, uint16_t *out_group_id);
David Benjamin072334d2014-07-13 16:24:27 -04001870
1871/* tls1_set_curves converts the array of |ncurves| NIDs pointed to by |curves|
Steven Valdezce902a92016-05-17 11:47:53 -04001872 * into a newly allocated array of TLS group IDs. On success, the function
1873 * returns one and writes the array to |*out_group_ids| and its size to
1874 * |*out_group_ids_len|. Otherwise, it returns zero. */
1875int tls1_set_curves(uint16_t **out_group_ids, size_t *out_group_ids_len,
Adam Langleyfcf25832014-12-18 17:42:32 -08001876 const int *curves, size_t ncurves);
David Benjamin072334d2014-07-13 16:24:27 -04001877
Alessandro Ghedini5fd18072016-09-28 21:04:25 +01001878/* tls1_set_curves_list converts the string of curves pointed to by |curves|
1879 * into a newly allocated array of TLS group IDs. On success, the function
1880 * returns one and writes the array to |*out_group_ids| and its size to
1881 * |*out_group_ids_len|. Otherwise, it returns zero. */
1882int tls1_set_curves_list(uint16_t **out_group_ids, size_t *out_group_ids_len,
1883 const char *curves);
1884
David Benjamine8d53502015-10-10 14:13:23 -04001885/* ssl_add_clienthello_tlsext writes ClientHello extensions to |out|. It
1886 * returns one on success and zero on failure. The |header_len| argument is the
1887 * length of the ClientHello written so far and is used to compute the padding
1888 * length. (It does not include the record header.) */
David Benjamin8c880a22016-12-03 02:20:34 -05001889int ssl_add_clienthello_tlsext(SSL_HANDSHAKE *hs, CBB *out, size_t header_len);
David Benjamine8d53502015-10-10 14:13:23 -04001890
David Benjamin8c880a22016-12-03 02:20:34 -05001891int ssl_add_serverhello_tlsext(SSL_HANDSHAKE *hs, CBB *out);
David Benjamin731058e2016-12-03 23:15:13 -05001892int ssl_parse_clienthello_tlsext(SSL_HANDSHAKE *hs,
1893 const SSL_CLIENT_HELLO *client_hello);
David Benjamin8c880a22016-12-03 02:20:34 -05001894int ssl_parse_serverhello_tlsext(SSL_HANDSHAKE *hs, CBS *cbs);
Adam Langley95c29f32014-06-20 12:00:00 -07001895
Adam Langleyfcf25832014-12-18 17:42:32 -08001896#define tlsext_tick_md EVP_sha256
David Benjamine3aa1d92015-06-16 15:34:50 -04001897
David Benjaminef1b0092015-11-21 14:05:44 -05001898/* tls_process_ticket processes a session ticket from the client. On success,
1899 * it sets |*out_session| to the decrypted session or NULL if the ticket was
1900 * rejected. If the ticket was valid, it sets |*out_renew_ticket| to whether
1901 * the ticket should be renewed. It returns one on success and zero on fatal
David Benjamine3aa1d92015-06-16 15:34:50 -04001902 * error. */
1903int tls_process_ticket(SSL *ssl, SSL_SESSION **out_session,
David Benjaminef1b0092015-11-21 14:05:44 -05001904 int *out_renew_ticket, const uint8_t *ticket,
David Benjamine3aa1d92015-06-16 15:34:50 -04001905 size_t ticket_len, const uint8_t *session_id,
1906 size_t session_id_len);
Adam Langley95c29f32014-06-20 12:00:00 -07001907
Nick Harper60a85cb2016-09-23 16:25:11 -07001908/* tls1_verify_channel_id processes the current message as a Channel ID message,
1909 * and verifies the signature. If the key is valid, it saves the Channel ID and
1910 * returns one. Otherwise, it returns zero. */
1911int tls1_verify_channel_id(SSL *ssl);
1912
1913/* tls1_write_channel_id generates a Channel ID message and puts the output in
1914 * |cbb|. |ssl->tlsext_channel_id_private| must already be set before calling.
1915 * This function returns one on success and zero on error. */
1916int tls1_write_channel_id(SSL *ssl, CBB *cbb);
1917
David Benjamind6a4ae92015-08-06 11:10:51 -04001918/* tls1_channel_id_hash computes the hash to be signed by Channel ID and writes
1919 * it to |out|, which must contain at least |EVP_MAX_MD_SIZE| bytes. It returns
1920 * one on success and zero on failure. */
1921int tls1_channel_id_hash(SSL *ssl, uint8_t *out, size_t *out_len);
1922
David Benjamin0d56f882015-12-19 17:05:56 -05001923int tls1_record_handshake_hashes_for_channel_id(SSL *ssl);
Adam Langley1258b6a2014-06-20 12:00:00 -07001924
Nick Harper60a85cb2016-09-23 16:25:11 -07001925/* ssl_do_channel_id_callback checks runs |ssl->ctx->channel_id_cb| if
1926 * necessary. It returns one on success and zero on fatal error. Note that, on
1927 * success, |ssl->tlsext_channel_id_private| may be unset, in which case the
1928 * operation should be retried later. */
1929int ssl_do_channel_id_callback(SSL *ssl);
1930
David Benjamin0d56f882015-12-19 17:05:56 -05001931/* ssl3_can_false_start returns one if |ssl| is allowed to False Start and zero
David Benjamined7c4752015-02-16 19:16:46 -05001932 * otherwise. */
David Benjamin0d56f882015-12-19 17:05:56 -05001933int ssl3_can_false_start(const SSL *ssl);
David Benjaminceb6f282014-12-07 23:56:19 -05001934
David Benjamine99e9122014-12-11 01:46:01 -05001935/* ssl3_get_enc_method returns the SSL3_ENC_METHOD corresponding to
1936 * |version|. */
1937const SSL3_ENC_METHOD *ssl3_get_enc_method(uint16_t version);
1938
David Benjamine0ff7672016-09-19 18:40:03 -04001939/* ssl_get_version_range sets |*out_min_version| and |*out_max_version| to the
1940 * minimum and maximum enabled protocol versions, respectively. */
David Benjaminb6a0a512016-06-21 10:33:21 -04001941int ssl_get_version_range(const SSL *ssl, uint16_t *out_min_version,
David Benjamine0ff7672016-09-19 18:40:03 -04001942 uint16_t *out_max_version);
David Benjaminb9e4fa52015-12-29 23:58:17 -05001943
1944/* ssl3_protocol_version returns |ssl|'s protocol version. It is an error to
1945 * call this function before the version is determined. */
1946uint16_t ssl3_protocol_version(const SSL *ssl);
David Benjaminea72bd02014-12-21 21:27:41 -05001947
David Benjamin928f32a2015-12-29 23:32:29 -05001948uint32_t ssl_get_algorithm_prf(const SSL *ssl);
David Benjaminec2f27d2014-11-13 19:17:25 -05001949
David Benjamin0d56f882015-12-19 17:05:56 -05001950void ssl_set_client_disabled(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07001951
David Benjamin721e8b72016-08-03 13:13:17 -04001952void ssl_get_current_time(const SSL *ssl, struct timeval *out_clock);
1953
David Benjamin2be4aa72017-01-02 07:56:51 -05001954/* ssl_reset_error_state resets state for |SSL_get_error|. */
1955void ssl_reset_error_state(SSL *ssl);
1956
Steven Valdez87eab492016-06-27 16:34:59 -04001957
1958#if defined(__cplusplus)
1959} /* extern C */
1960#endif
1961
David Benjamin2ee94aa2015-04-07 22:38:30 -04001962#endif /* OPENSSL_HEADER_SSL_INTERNAL_H */