blob: ea883e53405c6a26c89d5f946de2382fdf549357 [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
David Benjaminc9376992017-07-24 15:31:13 -0400147#include <stdlib.h>
148
David Benjamind272dea2017-07-29 11:44:22 -0400149#include <new>
David Benjamincfc11c22017-07-18 22:45:18 -0400150#include <type_traits>
151#include <utility>
152
Adam Langleyc9fb3752014-06-20 12:00:00 -0700153#include <openssl/aead.h>
David Benjamincfc11c22017-07-18 22:45:18 -0400154#include <openssl/err.h>
155#include <openssl/mem.h>
Adam Langley95c29f32014-06-20 12:00:00 -0700156#include <openssl/ssl.h>
157#include <openssl/stack.h>
158
Steven Valdezcb966542016-08-17 16:56:14 -0400159
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400160#if defined(OPENSSL_WINDOWS)
161/* Windows defines struct timeval in winsock2.h. */
David Benjamina353cdb2016-06-09 16:48:33 -0400162OPENSSL_MSVC_PRAGMA(warning(push, 3))
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400163#include <winsock2.h>
David Benjamina353cdb2016-06-09 16:48:33 -0400164OPENSSL_MSVC_PRAGMA(warning(pop))
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400165#else
David Benjamin0abd6f22015-12-04 21:49:53 -0500166#include <sys/time.h>
David Benjamin4d2e7ce2015-05-08 13:29:45 -0400167#endif
168
Steven Valdez87eab492016-06-27 16:34:59 -0400169
David Benjamine39ac8f2017-07-20 12:22:21 -0400170typedef struct cert_st CERT;
171
David Benjamin86e95b82017-07-18 16:34:25 -0400172namespace bssl {
Adam Langleyfcf25832014-12-18 17:42:32 -0800173
David Benjamin86e95b82017-07-18 16:34:25 -0400174struct SSL_HANDSHAKE;
Steven Valdez8f36c512017-06-20 10:55:02 -0400175
David Benjamincfc11c22017-07-18 22:45:18 -0400176/* C++ utilities. */
177
178/* New behaves like |new| but uses |OPENSSL_malloc| for memory allocation. It
179 * returns nullptr on allocation error. It only implements single-object
180 * allocation and not new T[n].
181 *
182 * Note: unlike |new|, this does not support non-public constructors. */
183template <typename T, typename... Args>
184T *New(Args &&... args) {
David Benjamina4cb62f2017-07-31 13:52:31 -0400185 void *t = OPENSSL_malloc(sizeof(T));
David Benjamincfc11c22017-07-18 22:45:18 -0400186 if (t == nullptr) {
187 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
188 return nullptr;
189 }
David Benjamina4cb62f2017-07-31 13:52:31 -0400190 return new (t) T(std::forward<Args>(args)...);
David Benjamincfc11c22017-07-18 22:45:18 -0400191}
192
193/* Delete behaves like |delete| but uses |OPENSSL_free| to release memory.
194 *
195 * Note: unlike |delete| this does not support non-public destructors. */
196template <typename T>
197void Delete(T *t) {
198 if (t != nullptr) {
199 t->~T();
200 OPENSSL_free(t);
201 }
202}
203
David Benjamin9a892502017-07-25 22:26:44 -0400204/* All types with kAllowUniquePtr set may be used with UniquePtr. Other types
205 * may be C structs which require a |BORINGSSL_MAKE_DELETER| registration. */
David Benjamincfc11c22017-07-18 22:45:18 -0400206namespace internal {
207template <typename T>
David Benjamin9a892502017-07-25 22:26:44 -0400208struct DeleterImpl<T, typename std::enable_if<T::kAllowUniquePtr>::type> {
David Benjamincfc11c22017-07-18 22:45:18 -0400209 static void Free(T *t) { Delete(t); }
210};
211}
212
213/* MakeUnique behaves like |std::make_unique| but returns nullptr on allocation
214 * error. */
215template <typename T, typename... Args>
216UniquePtr<T> MakeUnique(Args &&... args) {
217 return UniquePtr<T>(New<T>(std::forward<Args>(args)...));
218}
219
David Benjamin506be382017-07-25 15:18:18 -0400220#if defined(BORINGSSL_ALLOW_CXX_RUNTIME)
221#define HAS_VIRTUAL_DESTRUCTOR
222#define PURE_VIRTUAL = 0
223#else
David Benjamin9a892502017-07-25 22:26:44 -0400224/* HAS_VIRTUAL_DESTRUCTOR should be declared in any base clas ~s which defines a
David Benjaminc9376992017-07-24 15:31:13 -0400225 * virtual destructor. This avoids a dependency on |_ZdlPv| and prevents the
226 * class from being used with |delete|. */
227#define HAS_VIRTUAL_DESTRUCTOR \
228 void operator delete(void *) { abort(); }
229
230/* PURE_VIRTUAL should be used instead of = 0 when defining pure-virtual
231 * functions. This avoids a dependency on |__cxa_pure_virtual| but loses
232 * compile-time checking. */
233#define PURE_VIRTUAL { abort(); }
David Benjamin506be382017-07-25 15:18:18 -0400234#endif
David Benjaminc9376992017-07-24 15:31:13 -0400235
David Benjamincfc11c22017-07-18 22:45:18 -0400236
Steven Valdez8f36c512017-06-20 10:55:02 -0400237/* Protocol versions.
238 *
239 * Due to DTLS's historical wire version differences and to support multiple
240 * variants of the same protocol during development, we maintain two notions of
241 * version.
242 *
243 * The "version" or "wire version" is the actual 16-bit value that appears on
244 * the wire. It uniquely identifies a version and is also used at API
245 * boundaries. The set of supported versions differs between TLS and DTLS. Wire
246 * versions are opaque values and may not be compared numerically.
247 *
248 * The "protocol version" identifies the high-level handshake variant being
249 * used. DTLS versions map to the corresponding TLS versions. Draft TLS 1.3
250 * variants all map to TLS 1.3. Protocol versions are sequential and may be
251 * compared numerically. */
252
253/* ssl_protocol_version_from_wire sets |*out| to the protocol version
254 * corresponding to wire version |version| and returns one. If |version| is not
255 * a valid TLS or DTLS version, it returns zero.
256 *
257 * Note this simultaneously handles both DTLS and TLS. Use one of the
258 * higher-level functions below for most operations. */
259int ssl_protocol_version_from_wire(uint16_t *out, uint16_t version);
260
261/* ssl_get_version_range sets |*out_min_version| and |*out_max_version| to the
262 * minimum and maximum enabled protocol versions, respectively. */
263int ssl_get_version_range(const SSL *ssl, uint16_t *out_min_version,
264 uint16_t *out_max_version);
265
266/* ssl_supports_version returns one if |hs| supports |version| and zero
267 * otherwise. */
268int ssl_supports_version(SSL_HANDSHAKE *hs, uint16_t version);
269
270/* ssl_add_supported_versions writes the supported versions of |hs| to |cbb|, in
271 * decreasing preference order. */
272int ssl_add_supported_versions(SSL_HANDSHAKE *hs, CBB *cbb);
273
274/* ssl_negotiate_version negotiates a common version based on |hs|'s preferences
275 * and the peer preference list in |peer_versions|. On success, it returns one
276 * and sets |*out_version| to the selected version. Otherwise, it returns zero
277 * and sets |*out_alert| to an alert to send. */
278int ssl_negotiate_version(SSL_HANDSHAKE *hs, uint8_t *out_alert,
279 uint16_t *out_version, const CBS *peer_versions);
280
281/* ssl3_protocol_version returns |ssl|'s protocol version. It is an error to
282 * call this function before the version is determined. */
283uint16_t ssl3_protocol_version(const SSL *ssl);
284
285
David Benjamin71f07942015-04-08 02:36:59 -0400286/* Cipher suites. */
287
288/* Bits for |algorithm_mkey| (key exchange algorithm). */
David Benjamine64d2c72017-07-12 16:31:08 -0400289#define SSL_kRSA 0x00000001u
290#define SSL_kECDHE 0x00000002u
David Benjamin71f07942015-04-08 02:36:59 -0400291/* SSL_kPSK is only set for plain PSK, not ECDHE_PSK. */
David Benjamine64d2c72017-07-12 16:31:08 -0400292#define SSL_kPSK 0x00000004u
293#define SSL_kGENERIC 0x00000008u
David Benjamin71f07942015-04-08 02:36:59 -0400294
295/* Bits for |algorithm_auth| (server authentication). */
David Benjamine64d2c72017-07-12 16:31:08 -0400296#define SSL_aRSA 0x00000001u
297#define SSL_aECDSA 0x00000002u
David Benjamin71f07942015-04-08 02:36:59 -0400298/* SSL_aPSK is set for both PSK and ECDHE_PSK. */
David Benjamine64d2c72017-07-12 16:31:08 -0400299#define SSL_aPSK 0x00000004u
300#define SSL_aGENERIC 0x00000008u
David Benjamin71f07942015-04-08 02:36:59 -0400301
David Benjaminc032dfa2016-05-12 14:54:57 -0400302#define SSL_aCERT (SSL_aRSA | SSL_aECDSA)
303
David Benjamin71f07942015-04-08 02:36:59 -0400304/* Bits for |algorithm_enc| (symmetric encryption). */
David Benjamine64d2c72017-07-12 16:31:08 -0400305#define SSL_3DES 0x00000001u
306#define SSL_AES128 0x00000002u
307#define SSL_AES256 0x00000004u
308#define SSL_AES128GCM 0x00000008u
309#define SSL_AES256GCM 0x00000010u
310#define SSL_eNULL 0x00000020u
311#define SSL_CHACHA20POLY1305 0x00000040u
David Benjamin71f07942015-04-08 02:36:59 -0400312
313#define SSL_AES (SSL_AES128 | SSL_AES256 | SSL_AES128GCM | SSL_AES256GCM)
314
315/* Bits for |algorithm_mac| (symmetric authentication). */
David Benjamine64d2c72017-07-12 16:31:08 -0400316#define SSL_SHA1 0x00000001u
317#define SSL_SHA256 0x00000002u
318#define SSL_SHA384 0x00000004u
David Benjamin71f07942015-04-08 02:36:59 -0400319/* SSL_AEAD is set for all AEADs. */
David Benjamine64d2c72017-07-12 16:31:08 -0400320#define SSL_AEAD 0x00000008u
David Benjamin71f07942015-04-08 02:36:59 -0400321
David Benjamin5055c762015-08-04 09:24:14 -0400322/* Bits for |algorithm_prf| (handshake digest). */
David Benjaminb0883312015-08-06 09:54:13 -0400323#define SSL_HANDSHAKE_MAC_DEFAULT 0x1
324#define SSL_HANDSHAKE_MAC_SHA256 0x2
325#define SSL_HANDSHAKE_MAC_SHA384 0x4
David Benjamin71f07942015-04-08 02:36:59 -0400326
327/* SSL_MAX_DIGEST is the number of digest types which exist. When adding a new
328 * one, update the table in ssl_cipher.c. */
329#define SSL_MAX_DIGEST 4
330
David Benjamin71f07942015-04-08 02:36:59 -0400331/* ssl_cipher_get_evp_aead sets |*out_aead| to point to the correct EVP_AEAD
332 * object for |cipher| protocol version |version|. It sets |*out_mac_secret_len|
333 * and |*out_fixed_iv_len| to the MAC key length and fixed IV length,
334 * respectively. The MAC key length is zero except for legacy block and stream
335 * ciphers. It returns 1 on success and 0 on error. */
336int ssl_cipher_get_evp_aead(const EVP_AEAD **out_aead,
337 size_t *out_mac_secret_len,
Steven Valdez2f3404b2017-05-24 16:54:35 -0400338 size_t *out_fixed_iv_len, const SSL_CIPHER *cipher,
339 uint16_t version, int is_dtls);
David Benjamin71f07942015-04-08 02:36:59 -0400340
David Benjaminca9e8f52017-08-09 15:02:34 -0400341/* ssl_get_handshake_digest returns the |EVP_MD| corresponding to |version| and
342 * |cipher|. */
343const EVP_MD *ssl_get_handshake_digest(uint16_t version,
344 const SSL_CIPHER *cipher);
David Benjamin71f07942015-04-08 02:36:59 -0400345
346/* ssl_create_cipher_list evaluates |rule_str| according to the ciphers in
347 * |ssl_method|. It sets |*out_cipher_list| to a newly-allocated
Matthew Braithwaite6ad20dc2017-02-21 16:41:33 -0800348 * |ssl_cipher_preference_list_st| containing the result. It returns 1 on
349 * success and 0 on failure. If |strict| is true, nonsense will be rejected. If
350 * false, nonsense will be silently ignored. An empty result is considered an
351 * error regardless of |strict|. */
352int ssl_create_cipher_list(
353 const SSL_PROTOCOL_METHOD *ssl_method,
354 struct ssl_cipher_preference_list_st **out_cipher_list,
355 const char *rule_str, int strict);
David Benjamin71f07942015-04-08 02:36:59 -0400356
David Benjamina1c90a52015-05-30 17:03:14 -0400357/* ssl_cipher_get_value returns the cipher suite id of |cipher|. */
358uint16_t ssl_cipher_get_value(const SSL_CIPHER *cipher);
359
David Benjamin69522112017-03-28 15:38:29 -0500360/* ssl_cipher_auth_mask_for_key returns the mask of cipher |algorithm_auth|
361 * values suitable for use with |key| in TLS 1.2 and below. */
362uint32_t ssl_cipher_auth_mask_for_key(const EVP_PKEY *key);
David Benjamin71f07942015-04-08 02:36:59 -0400363
David Benjaminc032dfa2016-05-12 14:54:57 -0400364/* ssl_cipher_uses_certificate_auth returns one if |cipher| authenticates the
365 * server and, optionally, the client with a certificate. Otherwise it returns
366 * zero. */
367int ssl_cipher_uses_certificate_auth(const SSL_CIPHER *cipher);
David Benjamin71f07942015-04-08 02:36:59 -0400368
369/* ssl_cipher_requires_server_key_exchange returns 1 if |cipher| requires a
370 * ServerKeyExchange message. Otherwise it returns 0.
371 *
David Benjaminc032dfa2016-05-12 14:54:57 -0400372 * This function may return zero while still allowing |cipher| an optional
373 * ServerKeyExchange. This is the case for plain PSK ciphers. */
David Benjamin71f07942015-04-08 02:36:59 -0400374int ssl_cipher_requires_server_key_exchange(const SSL_CIPHER *cipher);
375
David Benjaminb8d28cf2015-07-28 21:34:45 -0400376/* ssl_cipher_get_record_split_len, for TLS 1.0 CBC mode ciphers, returns the
377 * length of an encrypted 1-byte record, for use in record-splitting. Otherwise
378 * it returns zero. */
379size_t ssl_cipher_get_record_split_len(const SSL_CIPHER *cipher);
380
David Benjamin71f07942015-04-08 02:36:59 -0400381
Steven Valdez908ac192017-01-12 13:17:07 -0500382/* Transcript layer. */
383
David Benjamin6dc8bf62017-07-19 16:38:21 -0400384/* SSLTranscript maintains the handshake transcript as a combination of a
Steven Valdez908ac192017-01-12 13:17:07 -0500385 * buffer and running hash. */
David Benjamin6dc8bf62017-07-19 16:38:21 -0400386class SSLTranscript {
387 public:
388 SSLTranscript();
389 ~SSLTranscript();
390
391 /* Init initializes the handshake transcript. If called on an existing
392 * transcript, it resets the transcript and hash. It returns true on success
393 * and false on failure. */
394 bool Init();
395
396 /* InitHash initializes the handshake hash based on the PRF and contents of
397 * the handshake transcript. Subsequent calls to |Update| will update the
398 * rolling hash. It returns one on success and zero on failure. It is an error
399 * to call this function after the handshake buffer is released. */
David Benjaminca9e8f52017-08-09 15:02:34 -0400400 bool InitHash(uint16_t version, const SSL_CIPHER *cipher);
David Benjamin6dc8bf62017-07-19 16:38:21 -0400401
402 const uint8_t *buffer_data() const {
403 return reinterpret_cast<const uint8_t *>(buffer_->data);
404 }
405 size_t buffer_len() const { return buffer_->length; }
406
407 /* FreeBuffer releases the handshake buffer. Subsequent calls to
408 * |Update| will not update the handshake buffer. */
409 void FreeBuffer();
410
411 /* DigestLen returns the length of the PRF hash. */
412 size_t DigestLen() const;
413
414 /* Digest returns the PRF hash. For TLS 1.1 and below, this is
415 * |EVP_md5_sha1|. */
416 const EVP_MD *Digest() const;
417
418 /* Update adds |in| to the handshake buffer and handshake hash, whichever is
419 * enabled. It returns true on success and false on failure. */
420 bool Update(const uint8_t *in, size_t in_len);
421
422 /* GetHash writes the handshake hash to |out| which must have room for at
423 * least |DigestLen| bytes. On success, it returns true and sets |*out_len| to
424 * the number of bytes written. Otherwise, it returns false. */
425 bool GetHash(uint8_t *out, size_t *out_len);
426
427 /* GetSSL3CertVerifyHash writes the SSL 3.0 CertificateVerify hash into the
428 * bytes pointed to by |out| and writes the number of bytes to
429 * |*out_len|. |out| must have room for |EVP_MAX_MD_SIZE| bytes. It returns
430 * one on success and zero on failure. */
431 bool GetSSL3CertVerifyHash(uint8_t *out, size_t *out_len,
432 const SSL_SESSION *session,
433 uint16_t signature_algorithm);
434
435 /* GetFinishedMAC computes the MAC for the Finished message into the bytes
436 * pointed by |out| and writes the number of bytes to |*out_len|. |out| must
437 * have room for |EVP_MAX_MD_SIZE| bytes. It returns true on success and false
438 * on failure. */
439 bool GetFinishedMAC(uint8_t *out, size_t *out_len, const SSL_SESSION *session,
440 bool from_server, uint16_t version);
441
442 private:
443 /* buffer_, if non-null, contains the handshake transcript. */
444 UniquePtr<BUF_MEM> buffer_;
Steven Valdez908ac192017-01-12 13:17:07 -0500445 /* hash, if initialized with an |EVP_MD|, maintains the handshake hash. For
446 * TLS 1.1 and below, it is the SHA-1 half. */
David Benjamin6dc8bf62017-07-19 16:38:21 -0400447 ScopedEVP_MD_CTX hash_;
Steven Valdez908ac192017-01-12 13:17:07 -0500448 /* md5, if initialized with an |EVP_MD|, maintains the MD5 half of the
449 * handshake hash for TLS 1.1 and below. */
David Benjamin6dc8bf62017-07-19 16:38:21 -0400450 ScopedEVP_MD_CTX md5_;
David Benjamin86e95b82017-07-18 16:34:25 -0400451};
Steven Valdez908ac192017-01-12 13:17:07 -0500452
Steven Valdez908ac192017-01-12 13:17:07 -0500453/* tls1_prf computes the PRF function for |ssl|. It writes |out_len| bytes to
454 * |out|, using |secret| as the secret and |label| as the label. |seed1| and
455 * |seed2| are concatenated to form the seed parameter. It returns one on
456 * success and zero on failure. */
457int tls1_prf(const EVP_MD *digest, uint8_t *out, size_t out_len,
458 const uint8_t *secret, size_t secret_len, const char *label,
459 size_t label_len, const uint8_t *seed1, size_t seed1_len,
460 const uint8_t *seed2, size_t seed2_len);
461
462
David Benjamin31a07792015-03-03 14:20:26 -0500463/* Encryption layer. */
464
David Benjamincfc11c22017-07-18 22:45:18 -0400465/* SSLAEADContext contains information about an AEAD that is being used to
466 * encrypt an SSL connection. */
467class SSLAEADContext {
468 public:
469 SSLAEADContext(uint16_t version, const SSL_CIPHER *cipher);
470 ~SSLAEADContext();
David Benjamin9a892502017-07-25 22:26:44 -0400471 static constexpr bool kAllowUniquePtr = true;
472
David Benjamincfc11c22017-07-18 22:45:18 -0400473 SSLAEADContext(const SSLAEADContext &&) = delete;
474 SSLAEADContext &operator=(const SSLAEADContext &&) = delete;
475
476 /* CreateNullCipher creates an |SSLAEADContext| for the null cipher. */
477 static UniquePtr<SSLAEADContext> CreateNullCipher();
478
479 /* Create creates an |SSLAEADContext| using the supplied key material. It
480 * returns nullptr on error. Only one of |Open| or |Seal| may be used with the
481 * resulting object, depending on |direction|. |version| is the normalized
482 * protocol version, so DTLS 1.0 is represented as 0x0301, not 0xffef. */
483 static UniquePtr<SSLAEADContext> Create(
484 enum evp_aead_direction_t direction, uint16_t version, int is_dtls,
485 const SSL_CIPHER *cipher, const uint8_t *enc_key, size_t enc_key_len,
486 const uint8_t *mac_key, size_t mac_key_len, const uint8_t *fixed_iv,
487 size_t fixed_iv_len);
488
489 uint16_t version() const { return version_; }
490 const SSL_CIPHER *cipher() const { return cipher_; }
491
492 /* is_null_cipher returns true if this is the null cipher. */
493 bool is_null_cipher() const { return !cipher_; }
494
495 /* ExplicitNonceLen returns the length of the explicit nonce. */
496 size_t ExplicitNonceLen() const;
497
498 /* MaxOverhead returns the maximum overhead of calling |Seal|. */
499 size_t MaxOverhead() const;
500
Martin Kreichgauerabbf3652017-07-21 16:27:54 -0700501 /* SuffixLen calculates the suffix length written by |SealScatter| and writes
502 * it to |*out_suffix_len|. It returns true on success and false on error.
503 * |in_len| and |extra_in_len| should equal the argument of the same names
504 * passed to |SealScatter|. */
505 bool SuffixLen(size_t *out_suffix_len, size_t in_len,
506 size_t extra_in_len) const;
David Benjamincfc11c22017-07-18 22:45:18 -0400507
508 /* Open authenticates and decrypts |in_len| bytes from |in| in-place. On
509 * success, it sets |*out| to the plaintext in |in| and returns true.
510 * Otherwise, it returns false. The output will always be |ExplicitNonceLen|
511 * bytes ahead of |in|. */
512 bool Open(CBS *out, uint8_t type, uint16_t wire_version,
513 const uint8_t seqnum[8], uint8_t *in, size_t in_len);
514
515 /* Seal encrypts and authenticates |in_len| bytes from |in| and writes the
516 * result to |out|. It returns true on success and false on error.
517 *
518 * If |in| and |out| alias then |out| + |ExplicitNonceLen| must be == |in|. */
519 bool Seal(uint8_t *out, size_t *out_len, size_t max_out, uint8_t type,
520 uint16_t wire_version, const uint8_t seqnum[8], const uint8_t *in,
521 size_t in_len);
522
523 /* SealScatter encrypts and authenticates |in_len| bytes from |in| and splits
524 * the result between |out_prefix|, |out| and |out_suffix|. It returns one on
525 * success and zero on error.
526 *
527 * On successful return, exactly |ExplicitNonceLen| bytes are written to
Martin Kreichgauerabbf3652017-07-21 16:27:54 -0700528 * |out_prefix|, |in_len| bytes to |out|, and |SuffixLen| bytes to
529 * |out_suffix|.
David Benjamincfc11c22017-07-18 22:45:18 -0400530 *
531 * |extra_in| may point to an additional plaintext buffer. If present,
532 * |extra_in_len| additional bytes are encrypted and authenticated, and the
Martin Kreichgauerabbf3652017-07-21 16:27:54 -0700533 * ciphertext is written to the beginning of |out_suffix|. |SuffixLen| should
534 * be used to size |out_suffix| accordingly.
David Benjamincfc11c22017-07-18 22:45:18 -0400535 *
536 * If |in| and |out| alias then |out| must be == |in|. Other arguments may not
537 * alias anything. */
538 bool SealScatter(uint8_t *out_prefix, uint8_t *out, uint8_t *out_suffix,
David Benjamincfc11c22017-07-18 22:45:18 -0400539 uint8_t type, uint16_t wire_version, const uint8_t seqnum[8],
540 const uint8_t *in, size_t in_len, const uint8_t *extra_in,
541 size_t extra_in_len);
542
543 bool GetIV(const uint8_t **out_iv, size_t *out_iv_len) const;
544
545 private:
546 /* GetAdditionalData writes the additional data into |out| and returns the
547 * number of bytes written. */
548 size_t GetAdditionalData(uint8_t out[13], uint8_t type, uint16_t wire_version,
549 const uint8_t seqnum[8], size_t plaintext_len);
550
551 const SSL_CIPHER *cipher_;
552 ScopedEVP_AEAD_CTX ctx_;
553 /* fixed_nonce_ contains any bytes of the nonce that are fixed for all
David Benjamin31a07792015-03-03 14:20:26 -0500554 * records. */
David Benjamincfc11c22017-07-18 22:45:18 -0400555 uint8_t fixed_nonce_[12];
556 uint8_t fixed_nonce_len_ = 0, variable_nonce_len_ = 0;
557 /* version_ is the protocol version that should be used with this AEAD. */
558 uint16_t version_;
559 /* variable_nonce_included_in_record_ is true if the variable nonce
David Benjamin31a07792015-03-03 14:20:26 -0500560 * for a record is included as a prefix before the ciphertext. */
David Benjamincfc11c22017-07-18 22:45:18 -0400561 bool variable_nonce_included_in_record_ : 1;
562 /* random_variable_nonce_ is true if the variable nonce is
David Benjamin31a07792015-03-03 14:20:26 -0500563 * randomly generated, rather than derived from the sequence
564 * number. */
David Benjamincfc11c22017-07-18 22:45:18 -0400565 bool random_variable_nonce_ : 1;
566 /* omit_length_in_ad_ is true if the length should be omitted in the
David Benjamin31a07792015-03-03 14:20:26 -0500567 * AEAD's ad parameter. */
David Benjamincfc11c22017-07-18 22:45:18 -0400568 bool omit_length_in_ad_ : 1;
569 /* omit_version_in_ad_ is true if the version should be omitted
David Benjamin31a07792015-03-03 14:20:26 -0500570 * in the AEAD's ad parameter. */
David Benjamincfc11c22017-07-18 22:45:18 -0400571 bool omit_version_in_ad_ : 1;
572 /* omit_ad_ is true if the AEAD's ad parameter should be omitted. */
573 bool omit_ad_ : 1;
574 /* xor_fixed_nonce_ is true if the fixed nonce should be XOR'd into the
David Benjamin13414b32015-12-09 23:02:39 -0500575 * variable nonce rather than prepended. */
David Benjamincfc11c22017-07-18 22:45:18 -0400576 bool xor_fixed_nonce_ : 1;
David Benjamin86e95b82017-07-18 16:34:25 -0400577};
David Benjamin31a07792015-03-03 14:20:26 -0500578
David Benjamin31a07792015-03-03 14:20:26 -0500579
David Benjamin7446a3b2015-07-25 17:53:57 -0400580/* DTLS replay bitmap. */
581
582/* DTLS1_BITMAP maintains a sliding window of 64 sequence numbers to detect
583 * replayed packets. It should be initialized by zeroing every field. */
David Benjamin86e95b82017-07-18 16:34:25 -0400584struct DTLS1_BITMAP {
David Benjamin7446a3b2015-07-25 17:53:57 -0400585 /* map is a bit mask of the last 64 sequence numbers. Bit
586 * |1<<i| corresponds to |max_seq_num - i|. */
587 uint64_t map;
588 /* max_seq_num is the largest sequence number seen so far as a 64-bit
589 * integer. */
590 uint64_t max_seq_num;
David Benjamin86e95b82017-07-18 16:34:25 -0400591};
David Benjamin7446a3b2015-07-25 17:53:57 -0400592
593
David Benjaminb8d28cf2015-07-28 21:34:45 -0400594/* Record layer. */
595
David Benjamin1db21562015-12-25 15:11:39 -0500596/* ssl_record_sequence_update increments the sequence number in |seq|. It
597 * returns one on success and zero on wraparound. */
598int ssl_record_sequence_update(uint8_t *seq, size_t seq_len);
599
David Benjaminb8d28cf2015-07-28 21:34:45 -0400600/* ssl_record_prefix_len returns the length of the prefix before the ciphertext
601 * of a record for |ssl|.
602 *
603 * TODO(davidben): Expose this as part of public API once the high-level
604 * buffer-free APIs are available. */
605size_t ssl_record_prefix_len(const SSL *ssl);
606
607enum ssl_open_record_t {
608 ssl_open_record_success,
609 ssl_open_record_discard,
610 ssl_open_record_partial,
David Benjamin728f3542016-06-02 15:42:01 -0400611 ssl_open_record_close_notify,
612 ssl_open_record_fatal_alert,
David Benjaminb8d28cf2015-07-28 21:34:45 -0400613 ssl_open_record_error,
614};
615
David Benjamina7810c12016-06-06 18:54:51 -0400616/* tls_open_record decrypts a record from |in| in-place.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400617 *
David Benjaminb8d28cf2015-07-28 21:34:45 -0400618 * If the input did not contain a complete record, it returns
619 * |ssl_open_record_partial|. It sets |*out_consumed| to the total number of
620 * bytes necessary. It is guaranteed that a successful call to |tls_open_record|
621 * will consume at least that many bytes.
622 *
David Benjamin728f3542016-06-02 15:42:01 -0400623 * Otherwise, it sets |*out_consumed| to the number of bytes of input
624 * consumed. Note that input may be consumed on all return codes if a record was
625 * decrypted.
626 *
627 * On success, it returns |ssl_open_record_success|. It sets |*out_type| to the
David Benjamina7810c12016-06-06 18:54:51 -0400628 * record type and |*out| to the record body in |in|. Note that |*out| may be
629 * empty.
David Benjamin728f3542016-06-02 15:42:01 -0400630 *
631 * If a record was successfully processed but should be discarded, it returns
632 * |ssl_open_record_discard|.
633 *
634 * If a record was successfully processed but is a close_notify or fatal alert,
635 * it returns |ssl_open_record_close_notify| or |ssl_open_record_fatal_alert|.
636 *
David Benjaminb8d28cf2015-07-28 21:34:45 -0400637 * On failure, it returns |ssl_open_record_error| and sets |*out_alert| to an
David Benjamina7810c12016-06-06 18:54:51 -0400638 * alert to emit. */
639enum ssl_open_record_t tls_open_record(SSL *ssl, uint8_t *out_type, CBS *out,
640 size_t *out_consumed, uint8_t *out_alert,
641 uint8_t *in, size_t in_len);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400642
643/* dtls_open_record implements |tls_open_record| for DTLS. It never returns
644 * |ssl_open_record_partial| but otherwise behaves analogously. */
David Benjamina7810c12016-06-06 18:54:51 -0400645enum ssl_open_record_t dtls_open_record(SSL *ssl, uint8_t *out_type, CBS *out,
646 size_t *out_consumed,
647 uint8_t *out_alert, uint8_t *in,
648 size_t in_len);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400649
David Benjamin1a01e1f2016-06-08 18:31:24 -0400650/* ssl_seal_align_prefix_len returns the length of the prefix before the start
651 * of the bulk of the ciphertext when sealing a record with |ssl|. Callers may
652 * use this to align buffers.
653 *
654 * Note when TLS 1.0 CBC record-splitting is enabled, this includes the one byte
David Benjamina772b162017-01-24 17:51:33 -0500655 * record and is the offset into second record's ciphertext. Thus sealing a
656 * small record may result in a smaller output than this value.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400657 *
David Benjamina772b162017-01-24 17:51:33 -0500658 * TODO(davidben): Is this alignment valuable? Record-splitting makes this a
659 * mess. */
David Benjamin1a01e1f2016-06-08 18:31:24 -0400660size_t ssl_seal_align_prefix_len(const SSL *ssl);
David Benjaminb8d28cf2015-07-28 21:34:45 -0400661
David Benjaminb8d28cf2015-07-28 21:34:45 -0400662/* tls_seal_record seals a new record of type |type| and body |in| and writes it
663 * to |out|. At most |max_out| bytes will be written. It returns one on success
664 * and zero on error. If enabled, |tls_seal_record| implements TLS 1.0 CBC 1/n-1
665 * record splitting and may write two records concatenated.
666 *
David Benjamin1a01e1f2016-06-08 18:31:24 -0400667 * For a large record, the bulk of the ciphertext will begin
668 * |ssl_seal_align_prefix_len| bytes into out. Aligning |out| appropriately may
David Benjaminda863602016-11-04 15:44:28 -0400669 * improve performance. It writes at most |in_len| + |SSL_max_seal_overhead|
David Benjamin1a01e1f2016-06-08 18:31:24 -0400670 * bytes to |out|.
David Benjaminb8d28cf2015-07-28 21:34:45 -0400671 *
David Benjamin1a01e1f2016-06-08 18:31:24 -0400672 * |in| and |out| may not alias. */
David Benjaminb8d28cf2015-07-28 21:34:45 -0400673int tls_seal_record(SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
674 uint8_t type, const uint8_t *in, size_t in_len);
675
676enum dtls1_use_epoch_t {
677 dtls1_use_previous_epoch,
678 dtls1_use_current_epoch,
679};
680
David Benjamin1a999cf2017-01-03 10:30:35 -0500681/* dtls_max_seal_overhead returns the maximum overhead, in bytes, of sealing a
682 * record. */
683size_t dtls_max_seal_overhead(const SSL *ssl, enum dtls1_use_epoch_t use_epoch);
684
David Benjamina772b162017-01-24 17:51:33 -0500685/* dtls_seal_prefix_len returns the number of bytes of prefix to reserve in
686 * front of the plaintext when sealing a record in-place. */
687size_t dtls_seal_prefix_len(const SSL *ssl, enum dtls1_use_epoch_t use_epoch);
688
David Benjaminb8d28cf2015-07-28 21:34:45 -0400689/* dtls_seal_record implements |tls_seal_record| for DTLS. |use_epoch| selects
David Benjamina772b162017-01-24 17:51:33 -0500690 * which epoch's cipher state to use. Unlike |tls_seal_record|, |in| and |out|
691 * may alias but, if they do, |in| must be exactly |dtls_seal_prefix_len| bytes
692 * ahead of |out|. */
David Benjaminb8d28cf2015-07-28 21:34:45 -0400693int dtls_seal_record(SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
694 uint8_t type, const uint8_t *in, size_t in_len,
695 enum dtls1_use_epoch_t use_epoch);
696
David Benjamin728f3542016-06-02 15:42:01 -0400697/* ssl_process_alert processes |in| as an alert and updates |ssl|'s shutdown
698 * state. It returns one of |ssl_open_record_discard|, |ssl_open_record_error|,
699 * |ssl_open_record_close_notify|, or |ssl_open_record_fatal_alert| as
700 * appropriate. */
701enum ssl_open_record_t ssl_process_alert(SSL *ssl, uint8_t *out_alert,
702 const uint8_t *in, size_t in_len);
703
David Benjaminb8d28cf2015-07-28 21:34:45 -0400704
David Benjaminb4d65fd2015-05-29 17:11:21 -0400705/* Private key operations. */
706
nagendra modadugu601448a2015-07-24 09:31:31 -0700707/* ssl_has_private_key returns one if |ssl| has a private key
708 * configured and zero otherwise. */
David Benjamin32a66d52016-07-13 22:03:11 -0400709int ssl_has_private_key(const SSL *ssl);
nagendra modadugu601448a2015-07-24 09:31:31 -0700710
David Benjamin44148742017-06-17 13:20:59 -0400711/* ssl_private_key_* perform the corresponding operation on
712 * |SSL_PRIVATE_KEY_METHOD|. If there is a custom private key configured, they
713 * call the corresponding function or |complete| depending on whether there is a
714 * pending operation. Otherwise, they implement the operation with
715 * |EVP_PKEY|. */
David Benjaminb4d65fd2015-05-29 17:11:21 -0400716
David Benjaminb4d65fd2015-05-29 17:11:21 -0400717enum ssl_private_key_result_t ssl_private_key_sign(
David Benjamin44148742017-06-17 13:20:59 -0400718 SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len, size_t max_out,
David Benjamin27e377e2017-07-31 19:09:42 -0400719 uint16_t sigalg, const uint8_t *in, size_t in_len);
David Benjaminb4d65fd2015-05-29 17:11:21 -0400720
nagendra modadugu3398dbf2015-08-07 14:07:52 -0700721enum ssl_private_key_result_t ssl_private_key_decrypt(
David Benjamin44148742017-06-17 13:20:59 -0400722 SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len, size_t max_out,
nagendra modadugu3398dbf2015-08-07 14:07:52 -0700723 const uint8_t *in, size_t in_len);
724
David Benjamina232a712017-03-30 15:51:53 -0500725/* ssl_private_key_supports_signature_algorithm returns one if |hs|'s private
David Benjamin6114c3c2017-03-30 16:37:54 -0500726 * key supports |sigalg| and zero otherwise. */
David Benjamina232a712017-03-30 15:51:53 -0500727int ssl_private_key_supports_signature_algorithm(SSL_HANDSHAKE *hs,
David Benjamin6114c3c2017-03-30 16:37:54 -0500728 uint16_t sigalg);
David Benjamin1fb125c2016-07-08 18:52:12 -0700729
Steven Valdez2b8415e2016-06-30 13:27:23 -0400730/* ssl_public_key_verify verifies that the |signature| is valid for the public
David Benjamin27e377e2017-07-31 19:09:42 -0400731 * key |pkey| and input |in|, using the signature algorithm |sigalg|. */
732int ssl_public_key_verify(SSL *ssl, const uint8_t *signature,
733 size_t signature_len, uint16_t sigalg, EVP_PKEY *pkey,
734 const uint8_t *in, size_t in_len);
David Benjaminb4d65fd2015-05-29 17:11:21 -0400735
David Benjamin1fb125c2016-07-08 18:52:12 -0700736
Adam Langley09505632015-07-30 18:10:13 -0700737/* Custom extensions */
738
David Benjamin86e95b82017-07-18 16:34:25 -0400739} // namespace bssl
740
741/* |SSL_CUSTOM_EXTENSION| is a structure that contains information about
742 * custom-extension callbacks. It is defined unnamespaced for compatibility with
743 * |STACK_OF(SSL_CUSTOM_EXTENSION)|. */
744typedef struct ssl_custom_extension {
Adam Langley09505632015-07-30 18:10:13 -0700745 SSL_custom_ext_add_cb add_callback;
746 void *add_arg;
747 SSL_custom_ext_free_cb free_callback;
748 SSL_custom_ext_parse_cb parse_callback;
749 void *parse_arg;
750 uint16_t value;
David Benjamin86e95b82017-07-18 16:34:25 -0400751} SSL_CUSTOM_EXTENSION;
Adam Langley09505632015-07-30 18:10:13 -0700752
David Benjamin01f8a8c2017-04-15 18:12:55 -0400753DEFINE_STACK_OF(SSL_CUSTOM_EXTENSION)
754
David Benjamin86e95b82017-07-18 16:34:25 -0400755namespace bssl {
756
757void SSL_CUSTOM_EXTENSION_free(SSL_CUSTOM_EXTENSION *custom_extension);
758
David Benjamin2bd19172016-11-17 16:47:15 +0900759int custom_ext_add_clienthello(SSL_HANDSHAKE *hs, CBB *extensions);
760int custom_ext_parse_serverhello(SSL_HANDSHAKE *hs, int *out_alert,
761 uint16_t value, const CBS *extension);
762int custom_ext_parse_clienthello(SSL_HANDSHAKE *hs, int *out_alert,
763 uint16_t value, const CBS *extension);
764int custom_ext_add_serverhello(SSL_HANDSHAKE *hs, CBB *extensions);
Adam Langley09505632015-07-30 18:10:13 -0700765
766
David Benjaminc642aca2017-07-19 23:28:43 -0400767/* Key shares. */
David Benjamin4298d772015-12-19 00:18:25 -0500768
David Benjaminc642aca2017-07-19 23:28:43 -0400769/* SSLKeyShare abstracts over Diffie-Hellman-like key exchanges. */
770class SSLKeyShare {
771 public:
772 virtual ~SSLKeyShare() {}
David Benjamin9a892502017-07-25 22:26:44 -0400773 static constexpr bool kAllowUniquePtr = true;
David Benjaminc9376992017-07-24 15:31:13 -0400774 HAS_VIRTUAL_DESTRUCTOR
David Benjaminb9179092016-10-26 13:47:33 -0400775
David Benjaminc642aca2017-07-19 23:28:43 -0400776 /* Create returns a SSLKeyShare instance for use with group |group_id| or
777 * nullptr on error. */
778 static UniquePtr<SSLKeyShare> Create(uint16_t group_id);
David Benjamin4298d772015-12-19 00:18:25 -0500779
David Benjaminc642aca2017-07-19 23:28:43 -0400780 /* GroupID returns the group ID. */
David Benjaminc9376992017-07-24 15:31:13 -0400781 virtual uint16_t GroupID() const PURE_VIRTUAL;
David Benjamin4298d772015-12-19 00:18:25 -0500782
David Benjaminc642aca2017-07-19 23:28:43 -0400783 /* Offer generates a keypair and writes the public value to
784 * |out_public_key|. It returns true on success and false on error. */
David Benjaminc9376992017-07-24 15:31:13 -0400785 virtual bool Offer(CBB *out_public_key) PURE_VIRTUAL;
David Benjamin4298d772015-12-19 00:18:25 -0500786
David Benjaminc642aca2017-07-19 23:28:43 -0400787 /* Accept performs a key exchange against the |peer_key| generated by |offer|.
788 * On success, it returns true, writes the public value to |out_public_key|,
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700789 * and sets |*out_secret| and |*out_secret_len| to a newly-allocated buffer
790 * containing the shared secret. The caller must release this buffer with
David Benjaminc642aca2017-07-19 23:28:43 -0400791 * |OPENSSL_free|. On failure, it returns false and sets |*out_alert| to an
792 * alert to send to the peer.
793 *
794 * The default implementation calls |Offer| and then |Finish|, assuming a key
795 * exchange protocol where the peers are symmetric.
796 *
797 * TODO(davidben): out_secret should be a smart pointer. */
798 virtual bool Accept(CBB *out_public_key, uint8_t **out_secret,
799 size_t *out_secret_len, uint8_t *out_alert,
800 const uint8_t *peer_key, size_t peer_key_len);
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700801
David Benjaminc642aca2017-07-19 23:28:43 -0400802 /* Finish performs a key exchange against the |peer_key| generated by
803 * |Accept|. On success, it returns true and sets |*out_secret| and
Matt Braithwaitef4ce8e52016-05-16 14:27:14 -0700804 * |*out_secret_len| to a newly-allocated buffer containing the shared
805 * secret. The caller must release this buffer with |OPENSSL_free|. On
806 * failure, it returns zero and sets |*out_alert| to an alert to send to the
David Benjaminc642aca2017-07-19 23:28:43 -0400807 * peer.
808 *
809 * TODO(davidben): out_secret should be a smart pointer. */
810 virtual bool Finish(uint8_t **out_secret, size_t *out_secret_len,
811 uint8_t *out_alert, const uint8_t *peer_key,
David Benjaminc9376992017-07-24 15:31:13 -0400812 size_t peer_key_len) PURE_VIRTUAL;
David Benjaminb9179092016-10-26 13:47:33 -0400813};
David Benjamin4298d772015-12-19 00:18:25 -0500814
Steven Valdezce902a92016-05-17 11:47:53 -0400815/* ssl_nid_to_group_id looks up the group corresponding to |nid|. On success, it
816 * sets |*out_group_id| to the group ID and returns one. Otherwise, it returns
David Benjamin4298d772015-12-19 00:18:25 -0500817 * zero. */
Steven Valdezce902a92016-05-17 11:47:53 -0400818int ssl_nid_to_group_id(uint16_t *out_group_id, int nid);
David Benjamin4298d772015-12-19 00:18:25 -0500819
Alessandro Ghedini5fd18072016-09-28 21:04:25 +0100820/* ssl_name_to_group_id looks up the group corresponding to the |name| string
821 * of length |len|. On success, it sets |*out_group_id| to the group ID and
822 * returns one. Otherwise, it returns zero. */
823int ssl_name_to_group_id(uint16_t *out_group_id, const char *name, size_t len);
824
David Benjamin4298d772015-12-19 00:18:25 -0500825
David Benjamin060cfb02016-05-12 00:43:05 -0400826/* Handshake messages. */
827
David Benjamin7934f082017-08-01 16:32:25 -0400828struct SSLMessage {
829 bool is_v2_hello;
830 uint8_t type;
831 CBS body;
832 /* raw is the entire serialized handshake message, including the TLS or DTLS
833 * message header. */
834 CBS raw;
835};
836
David Benjamin29a83c52016-06-17 19:12:54 -0400837/* SSL_MAX_HANDSHAKE_FLIGHT is the number of messages, including
838 * ChangeCipherSpec, in the longest handshake flight. Currently this is the
839 * client's second leg in a full handshake when client certificates, NPN, and
840 * Channel ID, are all enabled. */
841#define SSL_MAX_HANDSHAKE_FLIGHT 7
842
David Benjamin060cfb02016-05-12 00:43:05 -0400843/* ssl_max_handshake_message_len returns the maximum number of bytes permitted
844 * in a handshake message for |ssl|. */
845size_t ssl_max_handshake_message_len(const SSL *ssl);
846
David Benjamin7934f082017-08-01 16:32:25 -0400847/* ssl_read_message reads a message for the old |BIO|-based state machine. On
848 * success, it returns one and sets |*out| to the current message. Otherwise, it
849 * returns <= 0. */
850int ssl_read_message(SSL *ssl, SSLMessage *out);
851
David Benjaminec847ce2016-06-17 19:30:47 -0400852/* dtls_clear_incoming_messages releases all buffered incoming messages. */
853void dtls_clear_incoming_messages(SSL *ssl);
854
David Benjamin61672812016-07-14 23:10:43 -0400855/* dtls_has_incoming_messages returns one if there are buffered incoming
856 * messages ahead of the current message and zero otherwise. */
857int dtls_has_incoming_messages(const SSL *ssl);
858
David Benjamin86e95b82017-07-18 16:34:25 -0400859struct DTLS_OUTGOING_MESSAGE {
David Benjamin29a83c52016-06-17 19:12:54 -0400860 uint8_t *data;
861 uint32_t len;
862 uint16_t epoch;
863 char is_ccs;
David Benjamin86e95b82017-07-18 16:34:25 -0400864};
David Benjamin29a83c52016-06-17 19:12:54 -0400865
866/* dtls_clear_outgoing_messages releases all buffered outgoing messages. */
867void dtls_clear_outgoing_messages(SSL *ssl);
868
David Benjamin060cfb02016-05-12 00:43:05 -0400869
David Benjamin4e9cc712016-06-01 20:16:03 -0400870/* Callbacks. */
871
872/* ssl_do_info_callback calls |ssl|'s info callback, if set. */
873void ssl_do_info_callback(const SSL *ssl, int type, int value);
874
875/* ssl_do_msg_callback calls |ssl|'s message callback, if set. */
David Benjaminc0279992016-09-19 20:15:07 -0400876void ssl_do_msg_callback(SSL *ssl, int is_write, int content_type,
David Benjamin4e9cc712016-06-01 20:16:03 -0400877 const void *buf, size_t len);
878
879
David Benjaminb8d28cf2015-07-28 21:34:45 -0400880/* Transport buffers. */
881
882/* ssl_read_buffer returns a pointer to contents of the read buffer. */
883uint8_t *ssl_read_buffer(SSL *ssl);
884
885/* ssl_read_buffer_len returns the length of the read buffer. */
886size_t ssl_read_buffer_len(const SSL *ssl);
887
888/* ssl_read_buffer_extend_to extends the read buffer to the desired length. For
889 * TLS, it reads to the end of the buffer until the buffer is |len| bytes
890 * long. For DTLS, it reads a new packet and ignores |len|. It returns one on
891 * success, zero on EOF, and a negative number on error.
892 *
893 * It is an error to call |ssl_read_buffer_extend_to| in DTLS when the buffer is
894 * non-empty. */
895int ssl_read_buffer_extend_to(SSL *ssl, size_t len);
896
897/* ssl_read_buffer_consume consumes |len| bytes from the read buffer. It
898 * advances the data pointer and decrements the length. The memory consumed will
899 * remain valid until the next call to |ssl_read_buffer_extend| or it is
900 * discarded with |ssl_read_buffer_discard|. */
901void ssl_read_buffer_consume(SSL *ssl, size_t len);
902
903/* ssl_read_buffer_discard discards the consumed bytes from the read buffer. If
904 * the buffer is now empty, it releases memory used by it. */
905void ssl_read_buffer_discard(SSL *ssl);
906
907/* ssl_read_buffer_clear releases all memory associated with the read buffer and
908 * zero-initializes it. */
909void ssl_read_buffer_clear(SSL *ssl);
910
911/* ssl_write_buffer_is_pending returns one if the write buffer has pending data
912 * and zero if is empty. */
913int ssl_write_buffer_is_pending(const SSL *ssl);
914
915/* ssl_write_buffer_init initializes the write buffer. On success, it sets
916 * |*out_ptr| to the start of the write buffer with space for up to |max_len|
917 * bytes. It returns one on success and zero on failure. Call
918 * |ssl_write_buffer_set_len| to complete initialization. */
919int ssl_write_buffer_init(SSL *ssl, uint8_t **out_ptr, size_t max_len);
920
921/* ssl_write_buffer_set_len is called after |ssl_write_buffer_init| to complete
922 * initialization after |len| bytes are written to the buffer. */
923void ssl_write_buffer_set_len(SSL *ssl, size_t len);
924
925/* ssl_write_buffer_flush flushes the write buffer to the transport. It returns
926 * one on success and <= 0 on error. For DTLS, whether or not the write
927 * succeeds, the write buffer will be cleared. */
928int ssl_write_buffer_flush(SSL *ssl);
929
930/* ssl_write_buffer_clear releases all memory associated with the write buffer
931 * and zero-initializes it. */
932void ssl_write_buffer_clear(SSL *ssl);
933
934
David Benjamin75836432016-06-17 18:48:29 -0400935/* Certificate functions. */
936
David Benjamin32a66d52016-07-13 22:03:11 -0400937/* ssl_has_certificate returns one if a certificate and private key are
938 * configured and zero otherwise. */
939int ssl_has_certificate(const SSL *ssl);
940
David Benjamin5c900c82016-07-13 23:03:26 -0400941/* ssl_parse_cert_chain parses a certificate list from |cbs| in the format used
David Benjamine664a532017-07-20 20:19:36 -0400942 * by a TLS Certificate message. On success, it advances |cbs| and returns
943 * true. Otherwise, it returns false and sets |*out_alert| to an alert to send
944 * to the peer.
Adam Langleyd5157222016-12-12 11:37:43 -0800945 *
David Benjamine664a532017-07-20 20:19:36 -0400946 * If the list is non-empty then |*out_chain| and |*out_pubkey| will be set to
947 * the certificate chain and the leaf certificate's public key
948 * respectively. Otherwise, both will be set to nullptr.
Adam Langleyd5157222016-12-12 11:37:43 -0800949 *
950 * If the list is non-empty and |out_leaf_sha256| is non-NULL, it writes the
951 * SHA-256 hash of the leaf to |out_leaf_sha256|. */
David Benjamine664a532017-07-20 20:19:36 -0400952bool ssl_parse_cert_chain(uint8_t *out_alert,
953 UniquePtr<STACK_OF(CRYPTO_BUFFER)> *out_chain,
954 UniquePtr<EVP_PKEY> *out_pubkey,
955 uint8_t *out_leaf_sha256, CBS *cbs,
956 CRYPTO_BUFFER_POOL *pool);
David Benjamin5c900c82016-07-13 23:03:26 -0400957
David Benjamin32a66d52016-07-13 22:03:11 -0400958/* ssl_add_cert_chain adds |ssl|'s certificate chain to |cbb| in the format used
959 * by a TLS Certificate message. If there is no certificate chain, it emits an
960 * empty certificate list. It returns one on success and zero on error. */
961int ssl_add_cert_chain(SSL *ssl, CBB *cbb);
962
Adam Langley05672202016-12-13 12:05:49 -0800963/* ssl_cert_check_digital_signature_key_usage parses the DER-encoded, X.509
964 * certificate in |in| and returns one if doesn't specify a key usage or, if it
965 * does, if it includes digitalSignature. Otherwise it pushes to the error
966 * queue and returns zero. */
967int ssl_cert_check_digital_signature_key_usage(const CBS *in);
968
Adam Langleyd5157222016-12-12 11:37:43 -0800969/* ssl_cert_parse_pubkey extracts the public key from the DER-encoded, X.509
David Benjamin31b0c9b2017-07-20 14:49:15 -0400970 * certificate in |in|. It returns an allocated |EVP_PKEY| or else returns
971 * nullptr and pushes to the error queue. */
972UniquePtr<EVP_PKEY> ssl_cert_parse_pubkey(const CBS *in);
Adam Langleyd5157222016-12-12 11:37:43 -0800973
David Benjamine0332e82016-07-13 22:40:36 -0400974/* ssl_parse_client_CA_list parses a CA list from |cbs| in the format used by a
975 * TLS CertificateRequest message. On success, it returns a newly-allocated
David Benjamin31b0c9b2017-07-20 14:49:15 -0400976 * |CRYPTO_BUFFER| list and advances |cbs|. Otherwise, it returns nullptr and
977 * sets |*out_alert| to an alert to send to the peer. */
978UniquePtr<STACK_OF(CRYPTO_BUFFER)> ssl_parse_client_CA_list(SSL *ssl,
979 uint8_t *out_alert,
980 CBS *cbs);
David Benjamine0332e82016-07-13 22:40:36 -0400981
David Benjamin32a66d52016-07-13 22:03:11 -0400982/* ssl_add_client_CA_list adds the configured CA list to |cbb| in the format
983 * used by a TLS CertificateRequest message. It returns one on success and zero
984 * on error. */
985int ssl_add_client_CA_list(SSL *ssl, CBB *cbb);
986
Adam Langley05672202016-12-13 12:05:49 -0800987/* ssl_check_leaf_certificate returns one if |pkey| and |leaf| are suitable as
David Benjamin45738dd2017-02-09 20:01:26 -0500988 * a server's leaf certificate for |hs|. Otherwise, it returns zero and pushes
Adam Langley05672202016-12-13 12:05:49 -0800989 * an error on the error queue. */
David Benjamin45738dd2017-02-09 20:01:26 -0500990int ssl_check_leaf_certificate(SSL_HANDSHAKE *hs, EVP_PKEY *pkey,
Adam Langley05672202016-12-13 12:05:49 -0800991 const CRYPTO_BUFFER *leaf);
Steven Valdezbf5aa842016-07-15 07:07:40 -0400992
David Benjamina232a712017-03-30 15:51:53 -0500993/* ssl_on_certificate_selected is called once the certificate has been selected.
994 * It finalizes the certificate and initializes |hs->local_pubkey|. It returns
995 * one on success and zero on error. */
996int ssl_on_certificate_selected(SSL_HANDSHAKE *hs);
997
David Benjamin75836432016-06-17 18:48:29 -0400998
Steven Valdez143e8b32016-07-11 13:19:03 -0400999/* TLS 1.3 key derivation. */
1000
1001/* tls13_init_key_schedule initializes the handshake hash and key derivation
Steven Valdeza833c352016-11-01 13:39:36 -04001002 * state. The cipher suite and PRF hash must have been selected at this point.
1003 * It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +09001004int tls13_init_key_schedule(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001005
Steven Valdez2d850622017-01-11 11:34:52 -05001006/* tls13_init_early_key_schedule initializes the handshake hash and key
1007 * derivation state from the resumption secret to derive the early secrets. It
1008 * returns one on success and zero on error. */
1009int tls13_init_early_key_schedule(SSL_HANDSHAKE *hs);
1010
Steven Valdez143e8b32016-07-11 13:19:03 -04001011/* tls13_advance_key_schedule incorporates |in| into the key schedule with
1012 * HKDF-Extract. It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +09001013int tls13_advance_key_schedule(SSL_HANDSHAKE *hs, const uint8_t *in,
1014 size_t len);
Steven Valdez143e8b32016-07-11 13:19:03 -04001015
Steven Valdeza833c352016-11-01 13:39:36 -04001016/* tls13_set_traffic_key sets the read or write traffic keys to
1017 * |traffic_secret|. It returns one on success and zero on error. */
1018int tls13_set_traffic_key(SSL *ssl, enum evp_aead_direction_t direction,
Steven Valdez143e8b32016-07-11 13:19:03 -04001019 const uint8_t *traffic_secret,
1020 size_t traffic_secret_len);
1021
Steven Valdez2d850622017-01-11 11:34:52 -05001022/* tls13_derive_early_secrets derives the early traffic secret. It returns one
1023 * on success and zero on error. */
1024int tls13_derive_early_secrets(SSL_HANDSHAKE *hs);
1025
Steven Valdez4cb84942016-12-16 11:29:28 -05001026/* tls13_derive_handshake_secrets derives the handshake traffic secret. It
1027 * returns one on success and zero on error. */
1028int tls13_derive_handshake_secrets(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001029
Steven Valdez1dc53d22016-07-26 12:27:38 -04001030/* tls13_rotate_traffic_key derives the next read or write traffic secret. It
1031 * returns one on success and zero on error. */
1032int tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction);
1033
Steven Valdeza833c352016-11-01 13:39:36 -04001034/* tls13_derive_application_secrets derives the initial application data traffic
1035 * and exporter secrets based on the handshake transcripts and |master_secret|.
1036 * It returns one on success and zero on error. */
David Benjamin6e4fc332016-11-17 16:43:08 +09001037int tls13_derive_application_secrets(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001038
Steven Valdeza833c352016-11-01 13:39:36 -04001039/* tls13_derive_resumption_secret derives the |resumption_secret|. */
David Benjamin6e4fc332016-11-17 16:43:08 +09001040int tls13_derive_resumption_secret(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001041
Steven Valdeza833c352016-11-01 13:39:36 -04001042/* tls13_export_keying_material provides an exporter interface to use the
Steven Valdez143e8b32016-07-11 13:19:03 -04001043 * |exporter_secret|. */
1044int tls13_export_keying_material(SSL *ssl, uint8_t *out, size_t out_len,
1045 const char *label, size_t label_len,
1046 const uint8_t *context, size_t context_len,
1047 int use_context);
1048
1049/* tls13_finished_mac calculates the MAC of the handshake transcript to verify
1050 * the integrity of the Finished message, and stores the result in |out| and
1051 * length in |out_len|. |is_server| is 1 if this is for the Server Finished and
1052 * 0 for the Client Finished. */
David Benjamin6e4fc332016-11-17 16:43:08 +09001053int tls13_finished_mac(SSL_HANDSHAKE *hs, uint8_t *out,
1054 size_t *out_len, int is_server);
Steven Valdez143e8b32016-07-11 13:19:03 -04001055
Steven Valdeza833c352016-11-01 13:39:36 -04001056/* tls13_write_psk_binder calculates the PSK binder value and replaces the last
1057 * bytes of |msg| with the resulting value. It returns 1 on success, and 0 on
1058 * failure. */
Steven Valdez908ac192017-01-12 13:17:07 -05001059int tls13_write_psk_binder(SSL_HANDSHAKE *hs, uint8_t *msg, size_t len);
Steven Valdez4aa154e2016-07-29 14:32:55 -04001060
Steven Valdeza833c352016-11-01 13:39:36 -04001061/* tls13_verify_psk_binder verifies that the handshake transcript, truncated
1062 * up to the binders has a valid signature using the value of |session|'s
1063 * resumption secret. It returns 1 on success, and 0 on failure. */
Steven Valdez908ac192017-01-12 13:17:07 -05001064int tls13_verify_psk_binder(SSL_HANDSHAKE *hs, SSL_SESSION *session,
David Benjamin7934f082017-08-01 16:32:25 -04001065 const SSLMessage &msg, CBS *binders);
Steven Valdez4aa154e2016-07-29 14:32:55 -04001066
Steven Valdez143e8b32016-07-11 13:19:03 -04001067
1068/* Handshake functions. */
1069
1070enum ssl_hs_wait_t {
1071 ssl_hs_error,
1072 ssl_hs_ok,
1073 ssl_hs_read_message,
Steven Valdez143e8b32016-07-11 13:19:03 -04001074 ssl_hs_flush,
1075 ssl_hs_x509_lookup,
Nick Harper60a85cb2016-09-23 16:25:11 -07001076 ssl_hs_channel_id_lookup,
Steven Valdez143e8b32016-07-11 13:19:03 -04001077 ssl_hs_private_key_operation,
David Benjamin707af292017-03-10 17:47:18 -05001078 ssl_hs_pending_ticket,
Steven Valdeze831a812017-03-09 14:56:07 -05001079 ssl_hs_early_data_rejected,
Steven Valdez2d850622017-01-11 11:34:52 -05001080 ssl_hs_read_end_of_early_data,
Steven Valdez520e1222017-06-13 12:45:25 -04001081 ssl_hs_read_change_cipher_spec,
David Benjamin3a1dd462017-07-11 16:13:10 -04001082 ssl_hs_certificate_verify,
Steven Valdez143e8b32016-07-11 13:19:03 -04001083};
1084
David Benjamin86e95b82017-07-18 16:34:25 -04001085struct SSL_HANDSHAKE {
David Benjamin8f288862017-07-20 14:01:44 -04001086 explicit SSL_HANDSHAKE(SSL *ssl);
1087 ~SSL_HANDSHAKE();
David Benjamin9a892502017-07-25 22:26:44 -04001088 static constexpr bool kAllowUniquePtr = true;
David Benjamin8f288862017-07-20 14:01:44 -04001089
David Benjamince8c9d22016-11-14 10:45:16 +09001090 /* ssl is a non-owning pointer to the parent |SSL| object. */
1091 SSL *ssl;
1092
David Benjamince8c9d22016-11-14 10:45:16 +09001093 /* do_tls13_handshake runs the TLS 1.3 handshake. On completion, it returns
1094 * |ssl_hs_ok|. Otherwise, it returns a value corresponding to what operation
1095 * is needed to progress. */
David Benjaminc3c88822016-11-14 10:32:04 +09001096 enum ssl_hs_wait_t (*do_tls13_handshake)(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001097
Adam Langley4ba6e192016-12-07 15:54:54 -08001098 /* wait contains the operation |do_tls13_handshake| is currently blocking on
1099 * or |ssl_hs_ok| if none. */
David Benjamin8f288862017-07-20 14:01:44 -04001100 enum ssl_hs_wait_t wait = ssl_hs_ok;
Adam Langley4ba6e192016-12-07 15:54:54 -08001101
David Benjamincb0c29f2016-12-12 17:00:50 -05001102 /* state contains one of the SSL3_ST_* values. */
David Benjamin8f288862017-07-20 14:01:44 -04001103 int state = SSL_ST_INIT;
David Benjamincb0c29f2016-12-12 17:00:50 -05001104
1105 /* next_state is used when SSL_ST_FLUSH_DATA is entered */
David Benjamin8f288862017-07-20 14:01:44 -04001106 int next_state = 0;
David Benjamincb0c29f2016-12-12 17:00:50 -05001107
David Benjamin3977f302016-12-11 13:30:41 -05001108 /* tls13_state is the internal state for the TLS 1.3 handshake. Its values
1109 * depend on |do_tls13_handshake| but the starting state is always zero. */
David Benjamin8f288862017-07-20 14:01:44 -04001110 int tls13_state = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -04001111
David Benjamin68161cb2017-06-20 14:49:43 -04001112 /* min_version is the minimum accepted protocol version, taking account both
1113 * |SSL_OP_NO_*| and |SSL_CTX_set_min_proto_version| APIs. */
David Benjamin8f288862017-07-20 14:01:44 -04001114 uint16_t min_version = 0;
David Benjamin68161cb2017-06-20 14:49:43 -04001115
1116 /* max_version is the maximum accepted protocol version, taking account both
1117 * |SSL_OP_NO_*| and |SSL_CTX_set_max_proto_version| APIs. */
David Benjamin8f288862017-07-20 14:01:44 -04001118 uint16_t max_version = 0;
David Benjamin68161cb2017-06-20 14:49:43 -04001119
Steven Valdez520e1222017-06-13 12:45:25 -04001120 /* session_id is the session ID in the ClientHello, used for the experimental
1121 * TLS 1.3 variant. */
David Benjamin8f288862017-07-20 14:01:44 -04001122 uint8_t session_id[SSL_MAX_SSL_SESSION_ID_LENGTH] = {0};
1123 uint8_t session_id_len = 0;
Steven Valdez520e1222017-06-13 12:45:25 -04001124
David Benjamin8f288862017-07-20 14:01:44 -04001125 size_t hash_len = 0;
1126 uint8_t secret[EVP_MAX_MD_SIZE] = {0};
1127 uint8_t early_traffic_secret[EVP_MAX_MD_SIZE] = {0};
1128 uint8_t client_handshake_secret[EVP_MAX_MD_SIZE] = {0};
1129 uint8_t server_handshake_secret[EVP_MAX_MD_SIZE] = {0};
1130 uint8_t client_traffic_secret_0[EVP_MAX_MD_SIZE] = {0};
1131 uint8_t server_traffic_secret_0[EVP_MAX_MD_SIZE] = {0};
1132 uint8_t expected_client_finished[EVP_MAX_MD_SIZE] = {0};
Steven Valdez143e8b32016-07-11 13:19:03 -04001133
David Benjaminf5d2cd02016-10-06 19:39:20 -04001134 union {
1135 /* sent is a bitset where the bits correspond to elements of kExtensions
1136 * in t1_lib.c. Each bit is set if that extension was sent in a
1137 * ClientHello. It's not used by servers. */
David Benjamin8f288862017-07-20 14:01:44 -04001138 uint32_t sent = 0;
David Benjaminf5d2cd02016-10-06 19:39:20 -04001139 /* received is a bitset, like |sent|, but is used by servers to record
1140 * which extensions were received from a client. */
1141 uint32_t received;
1142 } extensions;
1143
1144 union {
1145 /* sent is a bitset where the bits correspond to elements of
1146 * |client_custom_extensions| in the |SSL_CTX|. Each bit is set if that
1147 * extension was sent in a ClientHello. It's not used by servers. */
David Benjamin8f288862017-07-20 14:01:44 -04001148 uint16_t sent = 0;
David Benjaminf5d2cd02016-10-06 19:39:20 -04001149 /* received is a bitset, like |sent|, but is used by servers to record
1150 * which custom extensions were received from a client. The bits here
1151 * correspond to |server_custom_extensions|. */
1152 uint16_t received;
1153 } custom_extensions;
1154
David Benjamin4fe3c902016-08-16 02:17:03 -04001155 /* retry_group is the group ID selected by the server in HelloRetryRequest in
1156 * TLS 1.3. */
David Benjamin8f288862017-07-20 14:01:44 -04001157 uint16_t retry_group = 0;
David Benjamin4fe3c902016-08-16 02:17:03 -04001158
David Benjaminc642aca2017-07-19 23:28:43 -04001159 /* key_share is the current key exchange instance. */
1160 UniquePtr<SSLKeyShare> key_share;
Adam Langley4ba6e192016-12-07 15:54:54 -08001161
Steven Valdez908ac192017-01-12 13:17:07 -05001162 /* transcript is the current handshake transcript. */
David Benjamin6dc8bf62017-07-19 16:38:21 -04001163 SSLTranscript transcript;
Steven Valdez908ac192017-01-12 13:17:07 -05001164
David Benjamin3baa6e12016-10-07 21:10:38 -04001165 /* cookie is the value of the cookie received from the server, if any. */
David Benjamin8f288862017-07-20 14:01:44 -04001166 uint8_t *cookie = nullptr;
1167 size_t cookie_len = 0;
David Benjamin3baa6e12016-10-07 21:10:38 -04001168
David Benjamin4fe3c902016-08-16 02:17:03 -04001169 /* key_share_bytes is the value of the previously sent KeyShare extension by
1170 * the client in TLS 1.3. */
David Benjamin8f288862017-07-20 14:01:44 -04001171 uint8_t *key_share_bytes = nullptr;
1172 size_t key_share_bytes_len = 0;
David Benjamin4fe3c902016-08-16 02:17:03 -04001173
David Benjaminbf833c32017-03-30 15:45:21 -05001174 /* ecdh_public_key, for servers, is the key share to be sent to the client in
1175 * TLS 1.3. */
David Benjamin8f288862017-07-20 14:01:44 -04001176 uint8_t *ecdh_public_key = nullptr;
1177 size_t ecdh_public_key_len = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -04001178
David Benjamin0fc37ef2016-08-17 15:29:46 -04001179 /* peer_sigalgs are the signature algorithms that the peer supports. These are
1180 * taken from the contents of the signature algorithms extension for a server
1181 * or from the CertificateRequest for a client. */
David Benjamin8f288862017-07-20 14:01:44 -04001182 uint16_t *peer_sigalgs = nullptr;
David Benjamin0fc37ef2016-08-17 15:29:46 -04001183 /* num_peer_sigalgs is the number of entries in |peer_sigalgs|. */
David Benjamin8f288862017-07-20 14:01:44 -04001184 size_t num_peer_sigalgs = 0;
David Benjamin0fc37ef2016-08-17 15:29:46 -04001185
David Benjamin43612b62016-10-07 00:41:50 -04001186 /* peer_supported_group_list contains the supported group IDs advertised by
1187 * the peer. This is only set on the server's end. The server does not
1188 * advertise this extension to the client. */
David Benjamin8f288862017-07-20 14:01:44 -04001189 uint16_t *peer_supported_group_list = nullptr;
1190 size_t peer_supported_group_list_len = 0;
David Benjamin43612b62016-10-07 00:41:50 -04001191
David Benjamina4c8ff02016-10-08 02:49:01 -04001192 /* peer_key is the peer's ECDH key for a TLS 1.2 client. */
David Benjamin8f288862017-07-20 14:01:44 -04001193 uint8_t *peer_key = nullptr;
1194 size_t peer_key_len = 0;
David Benjamina4c8ff02016-10-08 02:49:01 -04001195
David Benjamin44148742017-06-17 13:20:59 -04001196 /* server_params, in a TLS 1.2 server, stores the ServerKeyExchange
1197 * parameters. It has client and server randoms prepended for signing
1198 * convenience. */
David Benjamin8f288862017-07-20 14:01:44 -04001199 uint8_t *server_params = nullptr;
1200 size_t server_params_len = 0;
David Benjamina4c8ff02016-10-08 02:49:01 -04001201
Adam Langley4ba6e192016-12-07 15:54:54 -08001202 /* peer_psk_identity_hint, on the client, is the psk_identity_hint sent by the
1203 * server when using a TLS 1.2 PSK key exchange. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04001204 UniquePtr<char> peer_psk_identity_hint;
Adam Langley4ba6e192016-12-07 15:54:54 -08001205
1206 /* ca_names, on the client, contains the list of CAs received in a
1207 * CertificateRequest message. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04001208 UniquePtr<STACK_OF(CRYPTO_BUFFER)> ca_names;
Adam Langley34b4c822017-02-02 10:57:17 -08001209
1210 /* cached_x509_ca_names contains a cache of parsed versions of the elements
1211 * of |ca_names|. */
David Benjamin8f288862017-07-20 14:01:44 -04001212 STACK_OF(X509_NAME) *cached_x509_ca_names = nullptr;
Adam Langley4ba6e192016-12-07 15:54:54 -08001213
1214 /* certificate_types, on the client, contains the set of certificate types
1215 * received in a CertificateRequest message. */
David Benjamin8f288862017-07-20 14:01:44 -04001216 uint8_t *certificate_types = nullptr;
1217 size_t num_certificate_types = 0;
Adam Langley4ba6e192016-12-07 15:54:54 -08001218
1219 /* hostname, on the server, is the value of the SNI extension. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04001220 UniquePtr<char> hostname;
Adam Langley4ba6e192016-12-07 15:54:54 -08001221
David Benjamina232a712017-03-30 15:51:53 -05001222 /* local_pubkey is the public key we are authenticating as. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04001223 UniquePtr<EVP_PKEY> local_pubkey;
David Benjamina232a712017-03-30 15:51:53 -05001224
Adam Langleyd5157222016-12-12 11:37:43 -08001225 /* peer_pubkey is the public key parsed from the peer's leaf certificate. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04001226 UniquePtr<EVP_PKEY> peer_pubkey;
Adam Langleyd5157222016-12-12 11:37:43 -08001227
David Benjamin45738dd2017-02-09 20:01:26 -05001228 /* new_session is the new mutable session being established by the current
1229 * handshake. It should not be cached. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04001230 UniquePtr<SSL_SESSION> new_session;
David Benjamin45738dd2017-02-09 20:01:26 -05001231
Steven Valdeze831a812017-03-09 14:56:07 -05001232 /* early_session is the session corresponding to the current 0-RTT state on
1233 * the client if |in_early_data| is true. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04001234 UniquePtr<SSL_SESSION> early_session;
Steven Valdeze831a812017-03-09 14:56:07 -05001235
David Benjamin45738dd2017-02-09 20:01:26 -05001236 /* new_cipher is the cipher being negotiated in this handshake. */
David Benjamin8f288862017-07-20 14:01:44 -04001237 const SSL_CIPHER *new_cipher = nullptr;
David Benjamin45738dd2017-02-09 20:01:26 -05001238
Adam Langley4ba6e192016-12-07 15:54:54 -08001239 /* key_block is the record-layer key block for TLS 1.2 and earlier. */
David Benjamin8f288862017-07-20 14:01:44 -04001240 uint8_t *key_block = nullptr;
1241 uint8_t key_block_len = 0;
Adam Langley4ba6e192016-12-07 15:54:54 -08001242
Adam Langley4ba6e192016-12-07 15:54:54 -08001243 /* scts_requested is one if the SCT extension is in the ClientHello. */
1244 unsigned scts_requested:1;
1245
1246 /* needs_psk_binder if the ClientHello has a placeholder PSK binder to be
1247 * filled in. */
1248 unsigned needs_psk_binder:1;
1249
1250 unsigned received_hello_retry_request:1;
1251
Steven Valdezf4ecc842017-08-10 14:02:56 -04001252 unsigned received_custom_extension:1;
1253
Adam Langley4ba6e192016-12-07 15:54:54 -08001254 /* accept_psk_mode stores whether the client's PSK mode is compatible with our
1255 * preferences. */
1256 unsigned accept_psk_mode:1;
1257
David Benjamina0486782016-10-06 19:11:32 -04001258 /* cert_request is one if a client certificate was requested and zero
1259 * otherwise. */
1260 unsigned cert_request:1;
1261
1262 /* certificate_status_expected is one if OCSP stapling was negotiated and the
1263 * server is expected to send a CertificateStatus message. (This is used on
1264 * both the client and server sides.) */
1265 unsigned certificate_status_expected:1;
1266
1267 /* ocsp_stapling_requested is one if a client requested OCSP stapling. */
1268 unsigned ocsp_stapling_requested:1;
1269
1270 /* should_ack_sni is used by a server and indicates that the SNI extension
1271 * should be echoed in the ServerHello. */
1272 unsigned should_ack_sni:1;
1273
1274 /* in_false_start is one if there is a pending client handshake in False
1275 * Start. The client may write data at this point. */
1276 unsigned in_false_start:1;
1277
Steven Valdeze831a812017-03-09 14:56:07 -05001278 /* in_early_data is one if there is a pending handshake that has progressed
1279 * enough to send and receive early data. */
1280 unsigned in_early_data:1;
1281
Steven Valdez2d850622017-01-11 11:34:52 -05001282 /* early_data_offered is one if the client sent the early_data extension. */
1283 unsigned early_data_offered:1;
1284
Steven Valdez681eb6a2016-12-19 13:19:29 -05001285 /* can_early_read is one if application data may be read at this point in the
1286 * handshake. */
1287 unsigned can_early_read:1;
1288
1289 /* can_early_write is one if application data may be written at this point in
1290 * the handshake. */
1291 unsigned can_early_write:1;
1292
David Benjaminb74b0812016-10-06 19:43:48 -04001293 /* next_proto_neg_seen is one of NPN was negotiated. */
1294 unsigned next_proto_neg_seen:1;
1295
David Benjamin78476f62016-11-12 11:20:55 +09001296 /* ticket_expected is one if a TLS 1.2 NewSessionTicket message is to be sent
1297 * or received. */
1298 unsigned ticket_expected:1;
David Benjaminf04c2e92016-12-06 13:35:25 -05001299
David Benjaminfc02b592017-02-17 16:26:01 -05001300 /* extended_master_secret is one if the extended master secret extension is
1301 * negotiated in this handshake. */
1302 unsigned extended_master_secret:1;
1303
David Benjamin44148742017-06-17 13:20:59 -04001304 /* pending_private_key_op is one if there is a pending private key operation
1305 * in progress. */
1306 unsigned pending_private_key_op:1;
1307
David Benjaminf04c2e92016-12-06 13:35:25 -05001308 /* client_version is the value sent or received in the ClientHello version. */
David Benjamin8f288862017-07-20 14:01:44 -04001309 uint16_t client_version = 0;
Alessandro Ghedinide254b42017-04-17 19:12:33 +01001310
1311 /* early_data_read is the amount of early data that has been read by the
1312 * record layer. */
David Benjamin8f288862017-07-20 14:01:44 -04001313 uint16_t early_data_read = 0;
Steven Valdeze831a812017-03-09 14:56:07 -05001314
1315 /* early_data_written is the amount of early data that has been written by the
1316 * record layer. */
David Benjamin8f288862017-07-20 14:01:44 -04001317 uint16_t early_data_written = 0;
David Benjamin86e95b82017-07-18 16:34:25 -04001318};
Steven Valdez143e8b32016-07-11 13:19:03 -04001319
David Benjamince8c9d22016-11-14 10:45:16 +09001320SSL_HANDSHAKE *ssl_handshake_new(SSL *ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -04001321
1322/* ssl_handshake_free releases all memory associated with |hs|. */
1323void ssl_handshake_free(SSL_HANDSHAKE *hs);
1324
David Benjamin7934f082017-08-01 16:32:25 -04001325/* ssl_check_message_type checks if |msg| has type |type|. If so it returns
1326 * one. Otherwise, it sends an alert and returns zero. */
1327int ssl_check_message_type(SSL *ssl, const SSLMessage &msg, int type);
David Benjamin276b7e82017-01-21 14:13:39 -05001328
Steven Valdez143e8b32016-07-11 13:19:03 -04001329/* tls13_handshake runs the TLS 1.3 handshake. It returns one on success and <=
Steven Valdez681eb6a2016-12-19 13:19:29 -05001330 * 0 on error. It sets |out_early_return| to one if we've completed the
1331 * handshake early. */
1332int tls13_handshake(SSL_HANDSHAKE *hs, int *out_early_return);
Steven Valdez143e8b32016-07-11 13:19:03 -04001333
David Benjamince8c9d22016-11-14 10:45:16 +09001334/* The following are implementations of |do_tls13_handshake| for the client and
Steven Valdez143e8b32016-07-11 13:19:03 -04001335 * server. */
David Benjaminc3c88822016-11-14 10:32:04 +09001336enum ssl_hs_wait_t tls13_client_handshake(SSL_HANDSHAKE *hs);
1337enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs);
Steven Valdez143e8b32016-07-11 13:19:03 -04001338
Steven Valdez8e1c7be2016-07-26 12:39:22 -04001339/* tls13_post_handshake processes a post-handshake message. It returns one on
1340 * success and zero on failure. */
David Benjamin7934f082017-08-01 16:32:25 -04001341int tls13_post_handshake(SSL *ssl, const SSLMessage &msg);
Steven Valdez8e1c7be2016-07-26 12:39:22 -04001342
David Benjamin7934f082017-08-01 16:32:25 -04001343int tls13_process_certificate(SSL_HANDSHAKE *hs, const SSLMessage &msg,
1344 int allow_anonymous);
1345int tls13_process_certificate_verify(SSL_HANDSHAKE *hs, const SSLMessage &msg);
David Benjamin794cc592017-03-25 22:24:23 -05001346
David Benjamin7934f082017-08-01 16:32:25 -04001347/* tls13_process_finished processes |msg| as a Finished message from the
1348 * peer. If |use_saved_value| is one, the verify_data is compared against
1349 * |hs->expected_client_finished| rather than computed fresh. */
1350int tls13_process_finished(SSL_HANDSHAKE *hs, const SSLMessage &msg,
1351 int use_saved_value);
Steven Valdez143e8b32016-07-11 13:19:03 -04001352
David Benjamin0f24bed2017-01-12 19:46:50 -05001353int tls13_add_certificate(SSL_HANDSHAKE *hs);
David Benjamin44148742017-06-17 13:20:59 -04001354
1355/* tls13_add_certificate_verify adds a TLS 1.3 CertificateVerify message to the
1356 * handshake. If it returns |ssl_private_key_retry|, it should be called again
1357 * to retry when the signing operation is completed. */
1358enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs);
1359
David Benjamin0f24bed2017-01-12 19:46:50 -05001360int tls13_add_finished(SSL_HANDSHAKE *hs);
David Benjamin7934f082017-08-01 16:32:25 -04001361int tls13_process_new_session_ticket(SSL *ssl, const SSLMessage &msg);
Steven Valdez143e8b32016-07-11 13:19:03 -04001362
David Benjamin8baf9632016-11-17 17:11:16 +09001363int ssl_ext_key_share_parse_serverhello(SSL_HANDSHAKE *hs, uint8_t **out_secret,
Steven Valdez7259f2f2016-08-02 16:55:05 -04001364 size_t *out_secret_len,
1365 uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001366int ssl_ext_key_share_parse_clienthello(SSL_HANDSHAKE *hs, int *out_found,
Steven Valdez7259f2f2016-08-02 16:55:05 -04001367 uint8_t **out_secret,
1368 size_t *out_secret_len,
1369 uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001370int ssl_ext_key_share_add_serverhello(SSL_HANDSHAKE *hs, CBB *out);
Steven Valdez143e8b32016-07-11 13:19:03 -04001371
David Benjamin8baf9632016-11-17 17:11:16 +09001372int ssl_ext_pre_shared_key_parse_serverhello(SSL_HANDSHAKE *hs,
1373 uint8_t *out_alert, CBS *contents);
David Benjamin35ac5b72017-03-03 15:05:56 -05001374int ssl_ext_pre_shared_key_parse_clienthello(
David Benjamin707af292017-03-10 17:47:18 -05001375 SSL_HANDSHAKE *hs, CBS *out_ticket, CBS *out_binders,
David Benjamin35ac5b72017-03-03 15:05:56 -05001376 uint32_t *out_obfuscated_ticket_age, uint8_t *out_alert, CBS *contents);
David Benjamin8baf9632016-11-17 17:11:16 +09001377int ssl_ext_pre_shared_key_add_serverhello(SSL_HANDSHAKE *hs, CBB *out);
Steven Valdez4aa154e2016-07-29 14:32:55 -04001378
Adam Langleycfa08c32016-11-17 13:21:27 -08001379/* ssl_is_sct_list_valid does a shallow parse of the SCT list in |contents| and
1380 * returns one iff it's valid. */
1381int ssl_is_sct_list_valid(const CBS *contents);
1382
David Benjamin8c880a22016-12-03 02:20:34 -05001383int ssl_write_client_hello(SSL_HANDSHAKE *hs);
Steven Valdez5440fe02016-07-18 12:40:30 -04001384
David Benjamin4fe3c902016-08-16 02:17:03 -04001385/* ssl_clear_tls13_state releases client state only needed for TLS 1.3. It
1386 * should be called once the version is known to be TLS 1.2 or earlier. */
David Benjamin6e4fc332016-11-17 16:43:08 +09001387void ssl_clear_tls13_state(SSL_HANDSHAKE *hs);
David Benjamin4fe3c902016-08-16 02:17:03 -04001388
Nick Harper60a85cb2016-09-23 16:25:11 -07001389enum ssl_cert_verify_context_t {
1390 ssl_cert_verify_server,
1391 ssl_cert_verify_client,
1392 ssl_cert_verify_channel_id,
1393};
1394
1395/* tls13_get_cert_verify_signature_input generates the message to be signed for
1396 * TLS 1.3's CertificateVerify message. |cert_verify_context| determines the
1397 * type of signature. It sets |*out| and |*out_len| to a newly allocated buffer
1398 * containing the result. The caller must free it with |OPENSSL_free| to release
1399 * it. This function returns one on success and zero on failure. */
1400int tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -05001401 SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
Nick Harper60a85cb2016-09-23 16:25:11 -07001402 enum ssl_cert_verify_context_t cert_verify_context);
1403
David Benjamin9ef31f02016-10-31 18:01:13 -04001404/* ssl_negotiate_alpn negotiates the ALPN extension, if applicable. It returns
1405 * one on successful negotiation or if nothing was negotiated. It returns zero
1406 * and sets |*out_alert| to an alert on error. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001407int ssl_negotiate_alpn(SSL_HANDSHAKE *hs, uint8_t *out_alert,
David Benjamin731058e2016-12-03 23:15:13 -05001408 const SSL_CLIENT_HELLO *client_hello);
David Benjamin9ef31f02016-10-31 18:01:13 -04001409
David Benjamin86e95b82017-07-18 16:34:25 -04001410struct SSL_EXTENSION_TYPE {
David Benjaminffb11072016-11-13 10:32:10 +09001411 uint16_t type;
1412 int *out_present;
1413 CBS *out_data;
David Benjamin86e95b82017-07-18 16:34:25 -04001414};
David Benjaminffb11072016-11-13 10:32:10 +09001415
1416/* ssl_parse_extensions parses a TLS extensions block out of |cbs| and advances
1417 * it. It writes the parsed extensions to pointers denoted by |ext_types|. On
1418 * success, it fills in the |out_present| and |out_data| fields and returns one.
1419 * Otherwise, it sets |*out_alert| to an alert to send and returns zero. Unknown
Steven Valdez08b65f42016-12-07 15:29:45 -05001420 * extensions are rejected unless |ignore_unknown| is 1. */
David Benjaminffb11072016-11-13 10:32:10 +09001421int ssl_parse_extensions(const CBS *cbs, uint8_t *out_alert,
1422 const SSL_EXTENSION_TYPE *ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -05001423 size_t num_ext_types, int ignore_unknown);
David Benjaminffb11072016-11-13 10:32:10 +09001424
David Benjamin3a1dd462017-07-11 16:13:10 -04001425/* ssl_verify_peer_cert verifies the peer certificate for |hs|. */
1426enum ssl_verify_result_t ssl_verify_peer_cert(SSL_HANDSHAKE *hs);
1427
Steven Valdez143e8b32016-07-11 13:19:03 -04001428
David Benjamine776cc22016-07-19 07:26:49 +02001429/* SSLKEYLOGFILE functions. */
1430
David Benjamine776cc22016-07-19 07:26:49 +02001431/* ssl_log_secret logs |secret| with label |label|, if logging is enabled for
1432 * |ssl|. It returns one on success and zero on failure. */
1433int ssl_log_secret(const SSL *ssl, const char *label, const uint8_t *secret,
1434 size_t secret_len);
1435
1436
David Benjamine14ff062016-08-09 16:21:24 -04001437/* ClientHello functions. */
1438
David Benjamin7934f082017-08-01 16:32:25 -04001439int ssl_client_hello_init(SSL *ssl, SSL_CLIENT_HELLO *out,
1440 const SSLMessage &msg);
David Benjamine14ff062016-08-09 16:21:24 -04001441
David Benjamin731058e2016-12-03 23:15:13 -05001442int ssl_client_hello_get_extension(const SSL_CLIENT_HELLO *client_hello,
1443 CBS *out, uint16_t extension_type);
David Benjamine14ff062016-08-09 16:21:24 -04001444
David Benjamin731058e2016-12-03 23:15:13 -05001445int ssl_client_cipher_list_contains_cipher(const SSL_CLIENT_HELLO *client_hello,
1446 uint16_t id);
David Benjamine14ff062016-08-09 16:21:24 -04001447
1448
David Benjamin65ac9972016-09-02 21:35:25 -04001449/* GREASE. */
1450
1451enum ssl_grease_index_t {
1452 ssl_grease_cipher = 0,
1453 ssl_grease_group,
1454 ssl_grease_extension1,
1455 ssl_grease_extension2,
David Benjamind9791bf2016-09-27 16:39:52 -04001456 ssl_grease_version,
David Benjamin1a5e8ec2016-10-07 15:19:18 -04001457 ssl_grease_ticket_extension,
David Benjamin65ac9972016-09-02 21:35:25 -04001458};
1459
1460/* ssl_get_grease_value returns a GREASE value for |ssl|. For a given
1461 * connection, the values for each index will be deterministic. This allows the
1462 * same ClientHello be sent twice for a HelloRetryRequest or the same group be
1463 * advertised in both supported_groups and key_shares. */
1464uint16_t ssl_get_grease_value(const SSL *ssl, enum ssl_grease_index_t index);
1465
1466
David Benjamin3ef76972016-10-17 17:59:54 -04001467/* Signature algorithms. */
1468
1469/* tls1_parse_peer_sigalgs parses |sigalgs| as the list of peer signature
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001470 * algorithms and saves them on |hs|. It returns one on success and zero on
1471 * error. */
1472int tls1_parse_peer_sigalgs(SSL_HANDSHAKE *hs, const CBS *sigalgs);
David Benjamin3ef76972016-10-17 17:59:54 -04001473
David Benjamina3651382017-04-20 17:49:36 -04001474/* tls1_get_legacy_signature_algorithm sets |*out| to the signature algorithm
1475 * that should be used with |pkey| in TLS 1.1 and earlier. It returns one on
1476 * success and zero if |pkey| may not be used at those versions. */
1477int tls1_get_legacy_signature_algorithm(uint16_t *out, const EVP_PKEY *pkey);
1478
David Benjamin3ef76972016-10-17 17:59:54 -04001479/* tls1_choose_signature_algorithm sets |*out| to a signature algorithm for use
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001480 * with |hs|'s private key based on the peer's preferences and the algorithms
David Benjamin3ef76972016-10-17 17:59:54 -04001481 * supported. It returns one on success and zero on error. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09001482int tls1_choose_signature_algorithm(SSL_HANDSHAKE *hs, uint16_t *out);
David Benjamin3ef76972016-10-17 17:59:54 -04001483
David Benjamin69522112017-03-28 15:38:29 -05001484/* tls12_add_verify_sigalgs adds the signature algorithms acceptable for the
1485 * peer signature to |out|. It returns one on success and zero on error. */
1486int tls12_add_verify_sigalgs(const SSL *ssl, CBB *out);
David Benjamin3ef76972016-10-17 17:59:54 -04001487
1488/* tls12_check_peer_sigalg checks if |sigalg| is acceptable for the peer
1489 * signature. It returns one on success and zero on error, setting |*out_alert|
1490 * to an alert to send. */
David Benjamin8d606e32017-06-15 22:43:04 -04001491int tls12_check_peer_sigalg(SSL *ssl, uint8_t *out_alert, uint16_t sigalg);
David Benjamin3ef76972016-10-17 17:59:54 -04001492
1493
David Benjamin71f07942015-04-08 02:36:59 -04001494/* Underdocumented functions.
1495 *
1496 * Functions below here haven't been touched up and may be underdocumented. */
1497
Adam Langley1258b6a2014-06-20 12:00:00 -07001498#define TLSEXT_CHANNEL_ID_SIZE 128
Adam Langley95c29f32014-06-20 12:00:00 -07001499
David Benjamine518f652014-10-13 16:12:45 -04001500/* From RFC4492, used in encoding the curve type in ECParameters */
Adam Langleyfcf25832014-12-18 17:42:32 -08001501#define NAMED_CURVE_TYPE 3
Adam Langley95c29f32014-06-20 12:00:00 -07001502
David Benjamine39ac8f2017-07-20 12:22:21 -04001503struct SSLCertConfig {
David Benjamind1d80782015-07-05 11:54:09 -04001504 EVP_PKEY *privatekey;
Adam Langley3a2b47a2017-01-24 13:59:42 -08001505
1506 /* chain contains the certificate chain, with the leaf at the beginning. The
1507 * first element of |chain| may be NULL to indicate that the leaf certificate
1508 * has not yet been set.
1509 * If |chain| != NULL -> len(chain) >= 1
1510 * If |chain[0]| == NULL -> len(chain) >= 2.
1511 * |chain[1..]| != NULL */
1512 STACK_OF(CRYPTO_BUFFER) *chain;
1513
1514 /* x509_chain may contain a parsed copy of |chain[1..]|. This is only used as
1515 * a cache in order to implement “get0” functions that return a non-owning
1516 * pointer to the certificate chain. */
Adam Langleyc5ac2b62016-11-07 12:02:35 -08001517 STACK_OF(X509) *x509_chain;
David Benjaminf31e6812014-11-13 18:05:55 -05001518
Adam Langley3a2b47a2017-01-24 13:59:42 -08001519 /* x509_leaf may contain a parsed copy of the first element of |chain|. This
1520 * is only used as a cache in order to implement “get0” functions that return
1521 * a non-owning pointer to the certificate chain. */
1522 X509 *x509_leaf;
1523
Adam Langleye1e78132017-01-31 15:24:31 -08001524 /* x509_stash contains the last |X509| object append to the chain. This is a
1525 * workaround for some third-party code that continue to use an |X509| object
1526 * even after passing ownership with an “add0” function. */
1527 X509 *x509_stash;
1528
David Benjaminb4d65fd2015-05-29 17:11:21 -04001529 /* key_method, if non-NULL, is a set of callbacks to call for private key
1530 * operations. */
1531 const SSL_PRIVATE_KEY_METHOD *key_method;
1532
Adam Langley3509dac2017-02-01 11:59:18 -08001533 /* x509_method contains pointers to functions that might deal with |X509|
1534 * compatibility, or might be a no-op, depending on the application. */
1535 const SSL_X509_METHOD *x509_method;
1536
David Benjamin0fc37ef2016-08-17 15:29:46 -04001537 /* sigalgs, if non-NULL, is the set of signature algorithms supported by
1538 * |privatekey| in decreasing order of preference. */
David Benjamind246b812016-07-08 15:07:02 -07001539 uint16_t *sigalgs;
David Benjamin0fc37ef2016-08-17 15:29:46 -04001540 size_t num_sigalgs;
Adam Langley95c29f32014-06-20 12:00:00 -07001541
Adam Langleyfcf25832014-12-18 17:42:32 -08001542 /* Certificate setup callback: if set is called whenever a
1543 * certificate may be required (client or server). the callback
1544 * can then examine any appropriate parameters and setup any
1545 * certificates required. This allows advanced applications
1546 * to select certificates on the fly: for example based on
1547 * supported signature algorithms or curves. */
1548 int (*cert_cb)(SSL *ssl, void *arg);
1549 void *cert_cb_arg;
Adam Langleyd323f4b2016-03-01 15:58:14 -08001550
1551 /* Optional X509_STORE for certificate validation. If NULL the parent SSL_CTX
1552 * store is used instead. */
1553 X509_STORE *verify_store;
David Benjamin83a32122017-02-14 18:34:54 -05001554
1555 /* Signed certificate timestamp list to be sent to the client, if requested */
1556 CRYPTO_BUFFER *signed_cert_timestamp_list;
1557
1558 /* OCSP response to be sent to the client, if requested. */
1559 CRYPTO_BUFFER *ocsp_response;
David Benjamin5960a902017-02-14 20:07:11 -05001560
1561 /* sid_ctx partitions the session space within a shared session cache or
1562 * ticket key. Only sessions with a matching value will be accepted. */
1563 uint8_t sid_ctx_length;
1564 uint8_t sid_ctx[SSL_MAX_SID_CTX_LENGTH];
Alessandro Ghedini67bb45f2017-03-30 16:33:24 -05001565
1566 /* If enable_early_data is non-zero, early data can be sent and accepted. */
1567 unsigned enable_early_data:1;
David Benjamin86e95b82017-07-18 16:34:25 -04001568};
Adam Langley95c29f32014-06-20 12:00:00 -07001569
David Benjamin86e95b82017-07-18 16:34:25 -04001570/* ssl_crypto_x509_method provides the |SSL_X509_METHOD| functions using
Adam Langley3509dac2017-02-01 11:59:18 -08001571 * crypto/x509. */
David Benjamin86e95b82017-07-18 16:34:25 -04001572extern const SSL_X509_METHOD ssl_crypto_x509_method;
Adam Langley3509dac2017-02-01 11:59:18 -08001573
David Benjaminba2d3df2017-08-04 13:59:24 -04001574/* ssl_noop_x509_method provides the |SSL_X509_METHOD| functions that avoid
1575 * crypto/x509. */
1576extern const SSL_X509_METHOD ssl_noop_x509_method;
1577
David Benjamin86e95b82017-07-18 16:34:25 -04001578struct SSL3_RECORD {
David Benjamine228bd22016-10-17 20:41:08 -04001579 /* type is the record type. */
1580 uint8_t type;
1581 /* length is the number of unconsumed bytes in the record. */
1582 uint16_t length;
1583 /* data is a non-owning pointer to the first unconsumed byte of the record. */
1584 uint8_t *data;
David Benjamin86e95b82017-07-18 16:34:25 -04001585};
David Benjamine228bd22016-10-17 20:41:08 -04001586
David Benjamin86e95b82017-07-18 16:34:25 -04001587struct SSL3_BUFFER {
David Benjamine228bd22016-10-17 20:41:08 -04001588 /* buf is the memory allocated for this buffer. */
1589 uint8_t *buf;
1590 /* offset is the offset into |buf| which the buffer contents start at. */
1591 uint16_t offset;
1592 /* len is the length of the buffer contents from |buf| + |offset|. */
1593 uint16_t len;
1594 /* cap is how much memory beyond |buf| + |offset| is available. */
1595 uint16_t cap;
David Benjamin86e95b82017-07-18 16:34:25 -04001596};
David Benjamine228bd22016-10-17 20:41:08 -04001597
1598/* An ssl_shutdown_t describes the shutdown state of one end of the connection,
1599 * whether it is alive or has been shutdown via close_notify or fatal alert. */
1600enum ssl_shutdown_t {
1601 ssl_shutdown_none = 0,
1602 ssl_shutdown_close_notify = 1,
1603 ssl_shutdown_fatal_alert = 2,
1604};
1605
David Benjamin86e95b82017-07-18 16:34:25 -04001606struct SSL3_STATE {
David Benjamine228bd22016-10-17 20:41:08 -04001607 uint8_t read_sequence[8];
1608 uint8_t write_sequence[8];
1609
1610 uint8_t server_random[SSL3_RANDOM_SIZE];
1611 uint8_t client_random[SSL3_RANDOM_SIZE];
1612
David Benjamine228bd22016-10-17 20:41:08 -04001613 /* read_buffer holds data from the transport to be processed. */
1614 SSL3_BUFFER read_buffer;
1615 /* write_buffer holds data to be written to the transport. */
1616 SSL3_BUFFER write_buffer;
1617
1618 SSL3_RECORD rrec; /* each decoded record goes in here */
1619
1620 /* partial write - check the numbers match */
1621 unsigned int wnum; /* number of bytes sent so far */
1622 int wpend_tot; /* number bytes written */
1623 int wpend_type;
1624 int wpend_ret; /* number of bytes submitted */
1625 const uint8_t *wpend_buf;
1626
David Benjamine228bd22016-10-17 20:41:08 -04001627 /* recv_shutdown is the shutdown state for the receive half of the
1628 * connection. */
1629 enum ssl_shutdown_t recv_shutdown;
1630
1631 /* recv_shutdown is the shutdown state for the send half of the connection. */
1632 enum ssl_shutdown_t send_shutdown;
1633
Adam Langley4ba6e192016-12-07 15:54:54 -08001634 int alert_dispatch;
1635
1636 int total_renegotiations;
1637
Steven Valdeza4ee74d2016-11-29 13:36:45 -05001638 /* early_data_skipped is the amount of early data that has been skipped by the
1639 * record layer. */
1640 uint16_t early_data_skipped;
1641
David Benjamine228bd22016-10-17 20:41:08 -04001642 /* empty_record_count is the number of consecutive empty records received. */
1643 uint8_t empty_record_count;
1644
1645 /* warning_alert_count is the number of consecutive warning alerts
1646 * received. */
1647 uint8_t warning_alert_count;
1648
1649 /* key_update_count is the number of consecutive KeyUpdates received. */
1650 uint8_t key_update_count;
1651
Adam Langley4ba6e192016-12-07 15:54:54 -08001652 /* skip_early_data instructs the record layer to skip unexpected early data
1653 * messages when 0RTT is rejected. */
1654 unsigned skip_early_data:1;
1655
1656 /* have_version is true if the connection's final version is known. Otherwise
1657 * the version has not been negotiated yet. */
1658 unsigned have_version:1;
1659
1660 /* v2_hello_done is true if the peer's V2ClientHello, if any, has been handled
1661 * and future messages should use the record layer. */
1662 unsigned v2_hello_done:1;
1663
David Benjamin1a444da2017-01-21 14:27:45 -05001664 /* is_v2_hello is true if the current handshake message was derived from a
1665 * V2ClientHello rather than received from the peer directly. */
1666 unsigned is_v2_hello:1;
1667
David Benjamin7934f082017-08-01 16:32:25 -04001668 /* has_message is true if the current handshake message has been returned
1669 * at least once by |get_message| and false otherwise. */
1670 unsigned has_message:1;
1671
Adam Langley4ba6e192016-12-07 15:54:54 -08001672 /* initial_handshake_complete is true if the initial handshake has
1673 * completed. */
1674 unsigned initial_handshake_complete:1;
1675
1676 /* session_reused indicates whether a session was resumed. */
1677 unsigned session_reused:1;
1678
1679 unsigned send_connection_binding:1;
1680
1681 /* In a client, this means that the server supported Channel ID and that a
1682 * Channel ID was sent. In a server it means that we echoed support for
1683 * Channel IDs and that tlsext_channel_id will be valid after the
1684 * handshake. */
1685 unsigned tlsext_channel_id_valid:1;
1686
David Benjaminbbba9392017-04-06 12:54:12 -04001687 /* key_update_pending is one if we have a KeyUpdate acknowledgment
1688 * outstanding. */
1689 unsigned key_update_pending:1;
1690
Steven Valdeze831a812017-03-09 14:56:07 -05001691 /* wpend_pending is one if we have a pending write outstanding. */
1692 unsigned wpend_pending:1;
1693
Adam Langley4ba6e192016-12-07 15:54:54 -08001694 uint8_t send_alert[2];
1695
David Benjamindaf207a2017-01-03 18:37:41 -05001696 /* pending_flight is the pending outgoing flight. This is used to flush each
David Benjaminbbba9392017-04-06 12:54:12 -04001697 * handshake flight in a single write. |write_buffer| must be written out
1698 * before this data. */
David Benjamindaf207a2017-01-03 18:37:41 -05001699 BUF_MEM *pending_flight;
1700
1701 /* pending_flight_offset is the number of bytes of |pending_flight| which have
1702 * been successfully written. */
1703 uint32_t pending_flight_offset;
Adam Langley4ba6e192016-12-07 15:54:54 -08001704
David Benjamine228bd22016-10-17 20:41:08 -04001705 /* aead_read_ctx is the current read cipher state. */
David Benjamincfc11c22017-07-18 22:45:18 -04001706 SSLAEADContext *aead_read_ctx;
David Benjamine228bd22016-10-17 20:41:08 -04001707
1708 /* aead_write_ctx is the current write cipher state. */
David Benjamincfc11c22017-07-18 22:45:18 -04001709 SSLAEADContext *aead_write_ctx;
David Benjamine228bd22016-10-17 20:41:08 -04001710
David Benjamine228bd22016-10-17 20:41:08 -04001711 /* hs is the handshake state for the current handshake or NULL if there isn't
1712 * one. */
1713 SSL_HANDSHAKE *hs;
1714
1715 uint8_t write_traffic_secret[EVP_MAX_MD_SIZE];
David Benjamine228bd22016-10-17 20:41:08 -04001716 uint8_t read_traffic_secret[EVP_MAX_MD_SIZE];
David Benjamine228bd22016-10-17 20:41:08 -04001717 uint8_t exporter_secret[EVP_MAX_MD_SIZE];
Steven Valdez2d850622017-01-11 11:34:52 -05001718 uint8_t early_exporter_secret[EVP_MAX_MD_SIZE];
Adam Langley4ba6e192016-12-07 15:54:54 -08001719 uint8_t write_traffic_secret_len;
1720 uint8_t read_traffic_secret_len;
David Benjamine228bd22016-10-17 20:41:08 -04001721 uint8_t exporter_secret_len;
Steven Valdez2d850622017-01-11 11:34:52 -05001722 uint8_t early_exporter_secret_len;
David Benjamine228bd22016-10-17 20:41:08 -04001723
Adam Langley4ba6e192016-12-07 15:54:54 -08001724 /* Connection binding to prevent renegotiation attacks */
1725 uint8_t previous_client_finished[12];
1726 uint8_t previous_client_finished_len;
1727 uint8_t previous_server_finished_len;
1728 uint8_t previous_server_finished[12];
1729
David Benjamine228bd22016-10-17 20:41:08 -04001730 /* State pertaining to the pending handshake.
1731 *
1732 * TODO(davidben): Move everything not needed after the handshake completes to
1733 * |hs| and remove this. */
1734 struct {
David Benjamine228bd22016-10-17 20:41:08 -04001735 uint8_t new_mac_secret_len;
1736 uint8_t new_key_len;
1737 uint8_t new_fixed_iv_len;
David Benjamine228bd22016-10-17 20:41:08 -04001738 } tmp;
1739
David Benjamine228bd22016-10-17 20:41:08 -04001740 /* established_session is the session established by the connection. This
1741 * session is only filled upon the completion of the handshake and is
1742 * immutable. */
1743 SSL_SESSION *established_session;
1744
David Benjamine228bd22016-10-17 20:41:08 -04001745 /* Next protocol negotiation. For the client, this is the protocol that we
1746 * sent in NextProtocol and is set when handling ServerHello extensions.
1747 *
1748 * For a server, this is the client's selected_protocol from NextProtocol and
1749 * is set when handling the NextProtocol message, before the Finished
1750 * message. */
1751 uint8_t *next_proto_negotiated;
1752 size_t next_proto_negotiated_len;
1753
1754 /* ALPN information
1755 * (we are in the process of transitioning from NPN to ALPN.) */
1756
1757 /* In a server these point to the selected ALPN protocol after the
1758 * ClientHello has been processed. In a client these contain the protocol
1759 * that the server selected once the ServerHello has been processed. */
1760 uint8_t *alpn_selected;
1761 size_t alpn_selected_len;
1762
David Benjamine228bd22016-10-17 20:41:08 -04001763 /* For a server:
1764 * If |tlsext_channel_id_valid| is true, then this contains the
1765 * verified Channel ID from the client: a P256 point, (x,y), where
1766 * each are big-endian values. */
1767 uint8_t tlsext_channel_id[64];
David Benjamin35ac5b72017-03-03 15:05:56 -05001768
1769 /* ticket_age_skew is the difference, in seconds, between the client-sent
1770 * ticket age and the server-computed value in TLS 1.3 server connections
1771 * which resumed a session. */
1772 int32_t ticket_age_skew;
David Benjamin86e95b82017-07-18 16:34:25 -04001773};
David Benjamine228bd22016-10-17 20:41:08 -04001774
David Benjamin593047f2015-05-08 13:08:52 -04001775/* lengths of messages */
1776#define DTLS1_COOKIE_LENGTH 256
1777
1778#define DTLS1_RT_HEADER_LENGTH 13
1779
1780#define DTLS1_HM_HEADER_LENGTH 12
1781
1782#define DTLS1_CCS_HEADER_LENGTH 1
1783
1784#define DTLS1_AL_HEADER_LENGTH 2
1785
David Benjamin593047f2015-05-08 13:08:52 -04001786struct hm_header_st {
1787 uint8_t type;
1788 uint32_t msg_len;
1789 uint16_t seq;
1790 uint32_t frag_off;
1791 uint32_t frag_len;
David Benjamin593047f2015-05-08 13:08:52 -04001792};
1793
David Benjamin528bd262016-07-08 09:34:05 -07001794/* An hm_fragment is an incoming DTLS message, possibly not yet assembled. */
David Benjamin86e95b82017-07-18 16:34:25 -04001795struct hm_fragment {
David Benjamin528bd262016-07-08 09:34:05 -07001796 /* type is the type of the message. */
1797 uint8_t type;
1798 /* seq is the sequence number of this message. */
1799 uint16_t seq;
1800 /* msg_len is the length of the message body. */
1801 uint32_t msg_len;
1802 /* data is a pointer to the message, including message header. It has length
1803 * |DTLS1_HM_HEADER_LENGTH| + |msg_len|. */
1804 uint8_t *data;
1805 /* reassembly is a bitmask of |msg_len| bits corresponding to which parts of
1806 * the message have been received. It is NULL if the message is complete. */
David Benjamin593047f2015-05-08 13:08:52 -04001807 uint8_t *reassembly;
David Benjamin86e95b82017-07-18 16:34:25 -04001808};
David Benjamin593047f2015-05-08 13:08:52 -04001809
David Benjaminad8f5e12017-02-20 17:00:20 -05001810struct OPENSSL_timeval {
1811 uint64_t tv_sec;
1812 uint32_t tv_usec;
1813};
1814
David Benjamin86e95b82017-07-18 16:34:25 -04001815struct DTLS1_STATE {
David Benjaminb0c761e2017-06-25 22:42:55 -04001816 /* send_cookie is true if we are resending the ClientHello with a cookie from
1817 * a HelloVerifyRequest. */
1818 bool send_cookie:1;
1819
1820 /* has_change_cipher_spec is true if we have received a ChangeCipherSpec from
1821 * the peer in this epoch. */
1822 bool has_change_cipher_spec:1;
David Benjamin593047f2015-05-08 13:08:52 -04001823
David Benjamin9bbdf582017-08-02 19:46:29 -04001824 /* outgoing_messages_complete is true if |outgoing_messages| has been
1825 * completed by an attempt to flush it. Future calls to |add_message| and
1826 * |add_change_cipher_spec| will start a new flight. */
1827 bool outgoing_messages_complete:1;
1828
David Benjamin593047f2015-05-08 13:08:52 -04001829 uint8_t cookie[DTLS1_COOKIE_LENGTH];
1830 size_t cookie_len;
1831
1832 /* The current data and handshake epoch. This is initially undefined, and
1833 * starts at zero once the initial handshake is completed. */
1834 uint16_t r_epoch;
1835 uint16_t w_epoch;
1836
1837 /* records being received in the current epoch */
1838 DTLS1_BITMAP bitmap;
1839
David Benjamin593047f2015-05-08 13:08:52 -04001840 uint16_t handshake_write_seq;
David Benjamin593047f2015-05-08 13:08:52 -04001841 uint16_t handshake_read_seq;
1842
1843 /* save last sequence number for retransmissions */
1844 uint8_t last_write_sequence[8];
David Benjamincfc11c22017-07-18 22:45:18 -04001845 SSLAEADContext *last_aead_write_ctx;
David Benjamin593047f2015-05-08 13:08:52 -04001846
David Benjaminec847ce2016-06-17 19:30:47 -04001847 /* incoming_messages is a ring buffer of incoming handshake messages that have
1848 * yet to be processed. The front of the ring buffer is message number
1849 * |handshake_read_seq|, at position |handshake_read_seq| %
1850 * |SSL_MAX_HANDSHAKE_FLIGHT|. */
1851 hm_fragment *incoming_messages[SSL_MAX_HANDSHAKE_FLIGHT];
David Benjamin593047f2015-05-08 13:08:52 -04001852
David Benjamin29a83c52016-06-17 19:12:54 -04001853 /* outgoing_messages is the queue of outgoing messages from the last handshake
1854 * flight. */
1855 DTLS_OUTGOING_MESSAGE outgoing_messages[SSL_MAX_HANDSHAKE_FLIGHT];
1856 uint8_t outgoing_messages_len;
David Benjamin593047f2015-05-08 13:08:52 -04001857
David Benjamin1a999cf2017-01-03 10:30:35 -05001858 /* outgoing_written is the number of outgoing messages that have been
1859 * written. */
1860 uint8_t outgoing_written;
1861 /* outgoing_offset is the number of bytes of the next outgoing message have
1862 * been written. */
1863 uint32_t outgoing_offset;
1864
David Benjamin593047f2015-05-08 13:08:52 -04001865 unsigned int mtu; /* max DTLS packet size */
1866
David Benjamin593047f2015-05-08 13:08:52 -04001867 /* num_timeouts is the number of times the retransmit timer has fired since
1868 * the last time it was reset. */
1869 unsigned int num_timeouts;
1870
1871 /* Indicates when the last handshake msg or heartbeat sent will
David Benjamin4d2e7ce2015-05-08 13:29:45 -04001872 * timeout. */
David Benjaminad8f5e12017-02-20 17:00:20 -05001873 struct OPENSSL_timeval next_timeout;
David Benjamin593047f2015-05-08 13:08:52 -04001874
Taylor Brandstetter376a0fe2016-05-10 19:30:28 -07001875 /* timeout_duration_ms is the timeout duration in milliseconds. */
1876 unsigned timeout_duration_ms;
David Benjamin86e95b82017-07-18 16:34:25 -04001877};
David Benjamin593047f2015-05-08 13:08:52 -04001878
David Benjamine39ac8f2017-07-20 12:22:21 -04001879/* SSLConnection backs the public |SSL| type. Due to compatibility constraints,
1880 * it is a base class for |ssl_st|. */
David Benjamin86e95b82017-07-18 16:34:25 -04001881struct SSLConnection {
David Benjamin3f2611a2017-02-06 13:38:26 -05001882 /* method is the method table corresponding to the current protocol (DTLS or
1883 * TLS). */
1884 const SSL_PROTOCOL_METHOD *method;
1885
1886 /* version is the protocol version. */
Steven Valdez8f36c512017-06-20 10:55:02 -04001887 uint16_t version;
David Benjamin3f2611a2017-02-06 13:38:26 -05001888
David Benjaminfc08dfc2017-06-20 14:39:32 -04001889 /* conf_max_version is the maximum acceptable protocol version configured by
1890 * |SSL_set_max_proto_version|. Note this version is normalized in DTLS and is
1891 * further constrainted by |SSL_OP_NO_*|. */
1892 uint16_t conf_max_version;
David Benjamin3f2611a2017-02-06 13:38:26 -05001893
David Benjaminfc08dfc2017-06-20 14:39:32 -04001894 /* conf_min_version is the minimum acceptable protocol version configured by
1895 * |SSL_set_min_proto_version|. Note this version is normalized in DTLS and is
1896 * further constrainted by |SSL_OP_NO_*|. */
1897 uint16_t conf_min_version;
David Benjamin3f2611a2017-02-06 13:38:26 -05001898
Steven Valdez52586f92017-07-11 15:08:32 -04001899 /* tls13_variant is the variant of TLS 1.3 we are using for this
1900 * configuration. */
1901 enum tls13_variant_t tls13_variant;
1902
David Benjamin3f2611a2017-02-06 13:38:26 -05001903 uint16_t max_send_fragment;
1904
1905 /* There are 2 BIO's even though they are normally both the same. This is so
1906 * data can be read and written to different handlers */
1907
1908 BIO *rbio; /* used by SSL_read */
1909 BIO *wbio; /* used by SSL_write */
1910
1911 int (*handshake_func)(SSL_HANDSHAKE *hs);
1912
1913 BUF_MEM *init_buf; /* buffer used during init */
1914
David Benjamin86e95b82017-07-18 16:34:25 -04001915 SSL3_STATE *s3; /* SSLv3 variables */
1916 DTLS1_STATE *d1; /* DTLSv1 variables */
David Benjamin3f2611a2017-02-06 13:38:26 -05001917
1918 /* callback that allows applications to peek at protocol messages */
1919 void (*msg_callback)(int write_p, int version, int content_type,
1920 const void *buf, size_t len, SSL *ssl, void *arg);
1921 void *msg_callback_arg;
1922
1923 X509_VERIFY_PARAM *param;
1924
1925 /* crypto */
1926 struct ssl_cipher_preference_list_st *cipher_list;
1927
1928 /* session info */
1929
1930 /* client cert? */
1931 /* This is used to hold the server certificate used */
David Benjamin86e95b82017-07-18 16:34:25 -04001932 CERT *cert;
David Benjamin3f2611a2017-02-06 13:38:26 -05001933
1934 /* This holds a variable that indicates what we were doing when a 0 or -1 is
1935 * returned. This is needed for non-blocking IO so we know what request
1936 * needs re-doing when in SSL_accept or SSL_connect */
1937 int rwstate;
1938
1939 /* initial_timeout_duration_ms is the default DTLS timeout duration in
1940 * milliseconds. It's used to initialize the timer any time it's restarted. */
1941 unsigned initial_timeout_duration_ms;
1942
David Benjamin3f2611a2017-02-06 13:38:26 -05001943 /* session is the configured session to be offered by the client. This session
1944 * is immutable. */
1945 SSL_SESSION *session;
1946
1947 int (*verify_callback)(int ok,
1948 X509_STORE_CTX *ctx); /* fail if callback returns 0 */
1949
David Benjamin3a1dd462017-07-11 16:13:10 -04001950 enum ssl_verify_result_t (*custom_verify_callback)(SSL *ssl,
1951 uint8_t *out_alert);
1952
David Benjamin3f2611a2017-02-06 13:38:26 -05001953 void (*info_callback)(const SSL *ssl, int type, int value);
1954
1955 /* Server-only: psk_identity_hint is the identity hint to send in
1956 * PSK-based key exchanges. */
1957 char *psk_identity_hint;
1958
1959 unsigned int (*psk_client_callback)(SSL *ssl, const char *hint,
1960 char *identity,
1961 unsigned int max_identity_len,
1962 uint8_t *psk, unsigned int max_psk_len);
1963 unsigned int (*psk_server_callback)(SSL *ssl, const char *identity,
1964 uint8_t *psk, unsigned int max_psk_len);
1965
1966 SSL_CTX *ctx;
1967
1968 /* extra application data */
1969 CRYPTO_EX_DATA ex_data;
1970
1971 /* for server side, keep the list of CA_dn we can use */
Adam Langley34b4c822017-02-02 10:57:17 -08001972 STACK_OF(CRYPTO_BUFFER) *client_CA;
1973
1974 /* cached_x509_client_CA is a cache of parsed versions of the elements of
1975 * |client_CA|. */
1976 STACK_OF(X509_NAME) *cached_x509_client_CA;
David Benjamin3f2611a2017-02-06 13:38:26 -05001977
1978 uint32_t options; /* protocol behaviour */
1979 uint32_t mode; /* API behaviour */
1980 uint32_t max_cert_list;
1981 char *tlsext_hostname;
1982 size_t supported_group_list_len;
1983 uint16_t *supported_group_list; /* our list */
1984
David Benjaminbe497062017-03-10 16:08:36 -05001985 /* session_ctx is the |SSL_CTX| used for the session cache and related
1986 * settings. */
1987 SSL_CTX *session_ctx;
David Benjamin3f2611a2017-02-06 13:38:26 -05001988
1989 /* srtp_profiles is the list of configured SRTP protection profiles for
1990 * DTLS-SRTP. */
1991 STACK_OF(SRTP_PROTECTION_PROFILE) *srtp_profiles;
1992
1993 /* srtp_profile is the selected SRTP protection profile for
1994 * DTLS-SRTP. */
1995 const SRTP_PROTECTION_PROFILE *srtp_profile;
1996
1997 /* The client's Channel ID private key. */
1998 EVP_PKEY *tlsext_channel_id_private;
1999
2000 /* For a client, this contains the list of supported protocols in wire
2001 * format. */
2002 uint8_t *alpn_client_proto_list;
2003 unsigned alpn_client_proto_list_len;
2004
2005 /* renegotiate_mode controls how peer renegotiation attempts are handled. */
2006 enum ssl_renegotiate_mode_t renegotiate_mode;
2007
2008 /* verify_mode is a bitmask of |SSL_VERIFY_*| values. */
2009 uint8_t verify_mode;
2010
2011 /* server is true iff the this SSL* is the server half. Note: before the SSL*
2012 * is initialized by either SSL_set_accept_state or SSL_set_connect_state,
2013 * the side is not determined. In this state, server is always false. */
2014 unsigned server:1;
2015
2016 /* quiet_shutdown is true if the connection should not send a close_notify on
2017 * shutdown. */
2018 unsigned quiet_shutdown:1;
2019
2020 /* Enable signed certificate time stamps. Currently client only. */
2021 unsigned signed_cert_timestamps_enabled:1;
2022
2023 /* ocsp_stapling_enabled is only used by client connections and indicates
2024 * whether OCSP stapling will be requested. */
2025 unsigned ocsp_stapling_enabled:1;
2026
2027 /* tlsext_channel_id_enabled is copied from the |SSL_CTX|. For a server,
2028 * means that we'll accept Channel IDs from clients. For a client, means that
2029 * we'll advertise support. */
2030 unsigned tlsext_channel_id_enabled:1;
2031
2032 /* retain_only_sha256_of_client_certs is true if we should compute the SHA256
2033 * hash of the peer's certificate and then discard it to save memory and
2034 * session space. Only effective on the server side. */
2035 unsigned retain_only_sha256_of_client_certs:1;
Steven Valdez2d850622017-01-11 11:34:52 -05002036
2037 /* early_data_accepted is true if early data was accepted by the server. */
2038 unsigned early_data_accepted:1;
David Benjamin3f2611a2017-02-06 13:38:26 -05002039};
2040
Steven Valdeza833c352016-11-01 13:39:36 -04002041/* From draft-ietf-tls-tls13-18, used in determining PSK modes. */
2042#define SSL_PSK_KE 0x0
2043#define SSL_PSK_DHE_KE 0x1
Steven Valdez1e6f11a2016-07-27 11:10:52 -04002044
Steven Valdezc4aa7272016-10-03 12:25:56 -04002045/* From draft-ietf-tls-tls13-16, used in determining whether to respond with a
2046 * KeyUpdate. */
2047#define SSL_KEY_UPDATE_NOT_REQUESTED 0
2048#define SSL_KEY_UPDATE_REQUESTED 1
2049
Alessandro Ghedinide254b42017-04-17 19:12:33 +01002050/* kMaxEarlyDataAccepted is the advertised number of plaintext bytes of early
2051 * data that will be accepted. This value should be slightly below
2052 * kMaxEarlyDataSkipped in tls_record.c, which is measured in ciphertext. */
2053static const size_t kMaxEarlyDataAccepted = 14336;
2054
Adam Langley3509dac2017-02-01 11:59:18 -08002055CERT *ssl_cert_new(const SSL_X509_METHOD *x509_method);
Adam Langley95c29f32014-06-20 12:00:00 -07002056CERT *ssl_cert_dup(CERT *cert);
David Benjamin27e377e2017-07-31 19:09:42 -04002057void ssl_cert_clear_certs(CERT *cert);
2058void ssl_cert_free(CERT *cert);
David Benjaminee910bf2017-07-25 22:36:00 -04002059int ssl_set_cert(CERT *cert, UniquePtr<CRYPTO_BUFFER> buffer);
Adam Langley52940c42017-02-01 12:40:31 -08002060int ssl_is_key_type_supported(int key_type);
Adam Langleyc26692c2017-01-25 09:34:42 -08002061/* ssl_compare_public_and_private_key returns one if |pubkey| is the public
2062 * counterpart to |privkey|. Otherwise it returns zero and pushes a helpful
2063 * message on the error queue. */
2064int ssl_compare_public_and_private_key(const EVP_PKEY *pubkey,
2065 const EVP_PKEY *privkey);
Adam Langley3a2b47a2017-01-24 13:59:42 -08002066int ssl_cert_check_private_key(const CERT *cert, const EVP_PKEY *privkey);
David Benjaminf3c8f8d2016-11-17 17:20:47 +09002067int ssl_get_new_session(SSL_HANDSHAKE *hs, int is_server);
Steven Valdez1e6f11a2016-07-27 11:10:52 -04002068int ssl_encrypt_ticket(SSL *ssl, CBB *out, const SSL_SESSION *session);
Martin Kreichgauer72912d22017-08-04 12:06:43 -07002069int ssl_ctx_rotate_ticket_encryption_key(SSL_CTX *ctx);
David Benjamine3aa1d92015-06-16 15:34:50 -04002070
David Benjamin31b0c9b2017-07-20 14:49:15 -04002071/* ssl_session_new returns a newly-allocated blank |SSL_SESSION| or nullptr on
Adam Langley46db7af2017-02-01 15:49:37 -08002072 * error. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04002073UniquePtr<SSL_SESSION> ssl_session_new(const SSL_X509_METHOD *x509_method);
Adam Langley46db7af2017-02-01 15:49:37 -08002074
2075/* SSL_SESSION_parse parses an |SSL_SESSION| from |cbs| and advances |cbs| over
2076 * the parsed data. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04002077UniquePtr<SSL_SESSION> SSL_SESSION_parse(CBS *cbs,
2078 const SSL_X509_METHOD *x509_method,
2079 CRYPTO_BUFFER_POOL *pool);
Adam Langley46db7af2017-02-01 15:49:37 -08002080
Steven Valdez4aa154e2016-07-29 14:32:55 -04002081/* ssl_session_is_context_valid returns one if |session|'s session ID context
2082 * matches the one set on |ssl| and zero otherwise. */
2083int ssl_session_is_context_valid(const SSL *ssl, const SSL_SESSION *session);
2084
2085/* ssl_session_is_time_valid returns one if |session| is still valid and zero if
2086 * it has expired. */
2087int ssl_session_is_time_valid(const SSL *ssl, const SSL_SESSION *session);
2088
David Benjamin45738dd2017-02-09 20:01:26 -05002089/* ssl_session_is_resumable returns one if |session| is resumable for |hs| and
David Benjamin75f99142016-11-12 12:36:06 +09002090 * zero otherwise. */
David Benjamin45738dd2017-02-09 20:01:26 -05002091int ssl_session_is_resumable(const SSL_HANDSHAKE *hs,
2092 const SSL_SESSION *session);
David Benjamin75f99142016-11-12 12:36:06 +09002093
Steven Valdez8f36c512017-06-20 10:55:02 -04002094/* SSL_SESSION_protocol_version returns the protocol version associated with
2095 * |session|. */
2096uint16_t SSL_SESSION_protocol_version(const SSL_SESSION *session);
2097
2098/* SSL_SESSION_get_digest returns the digest used in |session|. */
2099const EVP_MD *SSL_SESSION_get_digest(const SSL_SESSION *session);
Steven Valdez908ac192017-01-12 13:17:07 -05002100
David Benjamin4d0be242016-09-01 01:10:07 -04002101void ssl_set_session(SSL *ssl, SSL_SESSION *session);
2102
David Benjamine3aa1d92015-06-16 15:34:50 -04002103enum ssl_session_result_t {
2104 ssl_session_success,
2105 ssl_session_error,
2106 ssl_session_retry,
Adam Langley4c341d02017-03-08 19:33:21 -08002107 ssl_session_ticket_retry,
David Benjamine3aa1d92015-06-16 15:34:50 -04002108};
2109
David Benjamin731058e2016-12-03 23:15:13 -05002110/* ssl_get_prev_session looks up the previous session based on |client_hello|.
David Benjamin37af90f2017-07-29 01:42:16 -04002111 * On success, it sets |*out_session| to the session or nullptr if none was
2112 * found. If the session could not be looked up synchronously, it returns
Adam Langley4c341d02017-03-08 19:33:21 -08002113 * |ssl_session_retry| and should be called again. If a ticket could not be
2114 * decrypted immediately it returns |ssl_session_ticket_retry| and should also
2115 * be called again. Otherwise, it returns |ssl_session_error|. */
David Benjamine3aa1d92015-06-16 15:34:50 -04002116enum ssl_session_result_t ssl_get_prev_session(
David Benjamin37af90f2017-07-29 01:42:16 -04002117 SSL *ssl, UniquePtr<SSL_SESSION> *out_session, int *out_tickets_supported,
David Benjamin731058e2016-12-03 23:15:13 -05002118 int *out_renew_ticket, const SSL_CLIENT_HELLO *client_hello);
David Benjamine3aa1d92015-06-16 15:34:50 -04002119
Steven Valdez4aa154e2016-07-29 14:32:55 -04002120/* The following flags determine which parts of the session are duplicated. */
2121#define SSL_SESSION_DUP_AUTH_ONLY 0x0
2122#define SSL_SESSION_INCLUDE_TICKET 0x1
2123#define SSL_SESSION_INCLUDE_NONAUTH 0x2
2124#define SSL_SESSION_DUP_ALL \
2125 (SSL_SESSION_INCLUDE_TICKET | SSL_SESSION_INCLUDE_NONAUTH)
2126
Steven Valdez87eab492016-06-27 16:34:59 -04002127/* SSL_SESSION_dup returns a newly-allocated |SSL_SESSION| with a copy of the
David Benjamin31b0c9b2017-07-20 14:49:15 -04002128 * fields in |session| or nullptr on error. The new session is non-resumable and
Steven Valdez87eab492016-06-27 16:34:59 -04002129 * must be explicitly marked resumable once it has been filled in. */
David Benjamin31b0c9b2017-07-20 14:49:15 -04002130OPENSSL_EXPORT UniquePtr<SSL_SESSION> SSL_SESSION_dup(SSL_SESSION *session,
2131 int dup_flags);
Steven Valdez87eab492016-06-27 16:34:59 -04002132
David Benjamin17b30832017-01-28 14:00:32 -05002133/* ssl_session_rebase_time updates |session|'s start time to the current time,
David Benjamin123db572016-11-03 16:59:25 -04002134 * adjusting the timeout so the expiration time is unchanged. */
David Benjamin17b30832017-01-28 14:00:32 -05002135void ssl_session_rebase_time(SSL *ssl, SSL_SESSION *session);
2136
2137/* ssl_session_renew_timeout calls |ssl_session_rebase_time| and renews
2138 * |session|'s timeout to |timeout| (measured from the current time). The
2139 * renewal is clamped to the session's auth_timeout. */
David Benjaminad8f5e12017-02-20 17:00:20 -05002140void ssl_session_renew_timeout(SSL *ssl, SSL_SESSION *session,
2141 uint32_t timeout);
David Benjamin123db572016-11-03 16:59:25 -04002142
Adam Langley858a88d2014-06-20 12:00:00 -07002143void ssl_cipher_preference_list_free(
Adam Langleyfcf25832014-12-18 17:42:32 -08002144 struct ssl_cipher_preference_list_st *cipher_list);
David Benjaminabbbee12016-10-31 19:20:42 -04002145
2146/* ssl_get_cipher_preferences returns the cipher preference list for TLS 1.2 and
2147 * below. */
David Benjaminaf3b3d32016-10-31 16:29:57 -04002148const struct ssl_cipher_preference_list_st *ssl_get_cipher_preferences(
2149 const SSL *ssl);
David Benjaminea72bd02014-12-21 21:27:41 -05002150
David Benjaminf3c8f8d2016-11-17 17:20:47 +09002151void ssl_update_cache(SSL_HANDSHAKE *hs, int mode);
David Benjaminf31e6812014-11-13 18:05:55 -05002152
David Benjaminc3c88822016-11-14 10:32:04 +09002153int ssl3_get_finished(SSL_HANDSHAKE *hs);
David Benjamin0d56f882015-12-19 17:05:56 -05002154int ssl3_send_alert(SSL *ssl, int level, int desc);
David Benjamin7934f082017-08-01 16:32:25 -04002155bool ssl3_get_message(SSL *ssl, SSLMessage *out);
2156int ssl3_read_message(SSL *ssl);
David Benjamin8f94c312017-08-01 17:35:55 -04002157void ssl3_next_message(SSL *ssl);
David Benjamin854dd652014-08-26 00:32:30 -04002158
David Benjamin16315f72017-01-12 20:02:05 -05002159int ssl3_send_finished(SSL_HANDSHAKE *hs);
David Benjamin0d56f882015-12-19 17:05:56 -05002160int ssl3_dispatch_alert(SSL *ssl);
David Benjamin163f29a2016-07-28 11:05:58 -04002161int ssl3_read_app_data(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
2162 int peek);
David Benjamina41280d2015-11-26 02:16:49 -05002163int ssl3_read_change_cipher_spec(SSL *ssl);
David Benjamina6022772015-05-30 16:22:10 -04002164void ssl3_read_close_notify(SSL *ssl);
David Benjamin163f29a2016-07-28 11:05:58 -04002165int ssl3_read_handshake_bytes(SSL *ssl, uint8_t *buf, int len);
Steven Valdeze831a812017-03-09 14:56:07 -05002166int ssl3_write_app_data(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
2167 int len);
David Benjamin0d56f882015-12-19 17:05:56 -05002168int ssl3_output_cert_chain(SSL *ssl);
Steven Valdezb6b6ff32016-10-26 11:56:35 -04002169
David Benjamin0d56f882015-12-19 17:05:56 -05002170int ssl3_new(SSL *ssl);
2171void ssl3_free(SSL *ssl);
David Benjamince8c9d22016-11-14 10:45:16 +09002172int ssl3_accept(SSL_HANDSHAKE *hs);
2173int ssl3_connect(SSL_HANDSHAKE *hs);
Adam Langley95c29f32014-06-20 12:00:00 -07002174
David Benjamin75836432016-06-17 18:48:29 -04002175int ssl3_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
Steven Valdez5eead162016-11-11 22:23:25 -05002176int ssl3_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg, size_t *out_len);
David Benjamindaf207a2017-01-03 18:37:41 -05002177int ssl3_add_message(SSL *ssl, uint8_t *msg, size_t len);
2178int ssl3_add_change_cipher_spec(SSL *ssl);
2179int ssl3_add_alert(SSL *ssl, uint8_t level, uint8_t desc);
David Benjamindaf207a2017-01-03 18:37:41 -05002180int ssl3_flush_flight(SSL *ssl);
David Benjamin75836432016-06-17 18:48:29 -04002181
David Benjamin75836432016-06-17 18:48:29 -04002182int dtls1_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
Steven Valdez5eead162016-11-11 22:23:25 -05002183int dtls1_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg,
2184 size_t *out_len);
David Benjamindaf207a2017-01-03 18:37:41 -05002185int dtls1_add_message(SSL *ssl, uint8_t *msg, size_t len);
2186int dtls1_add_change_cipher_spec(SSL *ssl);
2187int dtls1_add_alert(SSL *ssl, uint8_t level, uint8_t desc);
David Benjamin1a999cf2017-01-03 10:30:35 -05002188int dtls1_flush_flight(SSL *ssl);
David Benjaminc6604172016-06-02 16:38:35 -04002189
David Benjamindaf207a2017-01-03 18:37:41 -05002190/* ssl_add_message_cbb finishes the handshake message in |cbb| and adds it to
2191 * the pending flight. It returns one on success and zero on error. */
2192int ssl_add_message_cbb(SSL *ssl, CBB *cbb);
Steven Valdez5eead162016-11-11 22:23:25 -05002193
David Benjamin7934f082017-08-01 16:32:25 -04002194/* ssl_hash_message incorporates |msg| into the handshake hash. It returns one
2195 * on success and zero on allocation failure. */
2196bool ssl_hash_message(SSL_HANDSHAKE *hs, const SSLMessage &msg);
David Benjaminced94792016-11-14 17:12:11 +09002197
David Benjaminc6604172016-06-02 16:38:35 -04002198/* dtls1_get_record reads a new input record. On success, it places it in
2199 * |ssl->s3->rrec| and returns one. Otherwise it returns <= 0 on error or if
2200 * more data is needed. */
2201int dtls1_get_record(SSL *ssl);
2202
David Benjamin163f29a2016-07-28 11:05:58 -04002203int dtls1_read_app_data(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
2204 int peek);
David Benjamina41280d2015-11-26 02:16:49 -05002205int dtls1_read_change_cipher_spec(SSL *ssl);
David Benjamina6022772015-05-30 16:22:10 -04002206void dtls1_read_close_notify(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07002207
Steven Valdeze831a812017-03-09 14:56:07 -05002208int dtls1_write_app_data(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
2209 int len);
David Benjamin45d45c12016-06-07 15:20:49 -04002210
2211/* dtls1_write_record sends a record. It returns one on success and <= 0 on
2212 * error. */
2213int dtls1_write_record(SSL *ssl, int type, const uint8_t *buf, size_t len,
2214 enum dtls1_use_epoch_t use_epoch);
Adam Langley95c29f32014-06-20 12:00:00 -07002215
David Benjamin0d56f882015-12-19 17:05:56 -05002216int dtls1_send_finished(SSL *ssl, int a, int b, const char *sender, int slen);
David Benjaminaad50db2016-06-23 17:49:12 -04002217int dtls1_retransmit_outgoing_messages(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05002218void dtls1_clear_record_buffer(SSL *ssl);
David Benjaminc6604172016-06-02 16:38:35 -04002219int dtls1_parse_fragment(CBS *cbs, struct hm_header_st *out_hdr,
2220 CBS *out_body);
David Benjamin0d56f882015-12-19 17:05:56 -05002221int dtls1_check_timeout_num(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05002222int dtls1_handshake_write(SSL *ssl);
David Benjamin2fa83de2015-02-08 01:40:08 -05002223
David Benjamin0d56f882015-12-19 17:05:56 -05002224void dtls1_start_timer(SSL *ssl);
2225void dtls1_stop_timer(SSL *ssl);
2226int dtls1_is_timer_expired(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07002227unsigned int dtls1_min_mtu(void);
2228
David Benjamin0d56f882015-12-19 17:05:56 -05002229int dtls1_new(SSL *ssl);
2230int dtls1_accept(SSL *ssl);
2231int dtls1_connect(SSL *ssl);
2232void dtls1_free(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07002233
David Benjamin7934f082017-08-01 16:32:25 -04002234bool dtls1_get_message(SSL *ssl, SSLMessage *out);
2235int dtls1_read_message(SSL *ssl);
David Benjamin8f94c312017-08-01 17:35:55 -04002236void dtls1_next_message(SSL *ssl);
David Benjamin0d56f882015-12-19 17:05:56 -05002237int dtls1_dispatch_alert(SSL *ssl);
Adam Langley95c29f32014-06-20 12:00:00 -07002238
David Benjamin67739722016-11-17 17:03:59 +09002239int tls1_change_cipher_state(SSL_HANDSHAKE *hs, int which);
Steven Valdez908ac192017-01-12 13:17:07 -05002240int tls1_generate_master_secret(SSL_HANDSHAKE *hs, uint8_t *out,
2241 const uint8_t *premaster, size_t premaster_len);
Adam Langley95c29f32014-06-20 12:00:00 -07002242
Steven Valdez5440fe02016-07-18 12:40:30 -04002243/* tls1_get_grouplist sets |*out_group_ids| and |*out_group_ids_len| to the
David Benjaminf04976b2016-10-07 00:37:55 -04002244 * locally-configured group preference list. */
2245void tls1_get_grouplist(SSL *ssl, const uint16_t **out_group_ids,
Steven Valdez5440fe02016-07-18 12:40:30 -04002246 size_t *out_group_ids_len);
2247
David Benjamin9d0b4bc2016-10-07 00:34:08 -04002248/* tls1_check_group_id returns one if |group_id| is consistent with
2249 * locally-configured group preferences. */
Steven Valdezce902a92016-05-17 11:47:53 -04002250int tls1_check_group_id(SSL *ssl, uint16_t group_id);
Sigbjorn Vik2b23d242015-06-29 15:07:26 +02002251
Steven Valdezce902a92016-05-17 11:47:53 -04002252/* tls1_get_shared_group sets |*out_group_id| to the first preferred shared
2253 * group between client and server preferences and returns one. If none may be
David Benjamin4298d772015-12-19 00:18:25 -05002254 * found, it returns zero. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +09002255int tls1_get_shared_group(SSL_HANDSHAKE *hs, uint16_t *out_group_id);
David Benjamin072334d2014-07-13 16:24:27 -04002256
2257/* tls1_set_curves converts the array of |ncurves| NIDs pointed to by |curves|
Steven Valdezce902a92016-05-17 11:47:53 -04002258 * into a newly allocated array of TLS group IDs. On success, the function
2259 * returns one and writes the array to |*out_group_ids| and its size to
2260 * |*out_group_ids_len|. Otherwise, it returns zero. */
2261int tls1_set_curves(uint16_t **out_group_ids, size_t *out_group_ids_len,
Adam Langleyfcf25832014-12-18 17:42:32 -08002262 const int *curves, size_t ncurves);
David Benjamin072334d2014-07-13 16:24:27 -04002263
Alessandro Ghedini5fd18072016-09-28 21:04:25 +01002264/* tls1_set_curves_list converts the string of curves pointed to by |curves|
2265 * into a newly allocated array of TLS group IDs. On success, the function
2266 * returns one and writes the array to |*out_group_ids| and its size to
2267 * |*out_group_ids_len|. Otherwise, it returns zero. */
2268int tls1_set_curves_list(uint16_t **out_group_ids, size_t *out_group_ids_len,
2269 const char *curves);
2270
David Benjamine8d53502015-10-10 14:13:23 -04002271/* ssl_add_clienthello_tlsext writes ClientHello extensions to |out|. It
2272 * returns one on success and zero on failure. The |header_len| argument is the
2273 * length of the ClientHello written so far and is used to compute the padding
2274 * length. (It does not include the record header.) */
David Benjamin8c880a22016-12-03 02:20:34 -05002275int ssl_add_clienthello_tlsext(SSL_HANDSHAKE *hs, CBB *out, size_t header_len);
David Benjamine8d53502015-10-10 14:13:23 -04002276
David Benjamin8c880a22016-12-03 02:20:34 -05002277int ssl_add_serverhello_tlsext(SSL_HANDSHAKE *hs, CBB *out);
David Benjamin731058e2016-12-03 23:15:13 -05002278int ssl_parse_clienthello_tlsext(SSL_HANDSHAKE *hs,
2279 const SSL_CLIENT_HELLO *client_hello);
David Benjamin8c880a22016-12-03 02:20:34 -05002280int ssl_parse_serverhello_tlsext(SSL_HANDSHAKE *hs, CBS *cbs);
Adam Langley95c29f32014-06-20 12:00:00 -07002281
Adam Langleyfcf25832014-12-18 17:42:32 -08002282#define tlsext_tick_md EVP_sha256
David Benjamine3aa1d92015-06-16 15:34:50 -04002283
Adam Langley4c341d02017-03-08 19:33:21 -08002284/* ssl_process_ticket processes a session ticket from the client. It returns
2285 * one of:
2286 * |ssl_ticket_aead_success|: |*out_session| is set to the parsed session and
2287 * |*out_renew_ticket| is set to whether the ticket should be renewed.
2288 * |ssl_ticket_aead_ignore_ticket|: |*out_renew_ticket| is set to whether a
2289 * fresh ticket should be sent, but the given ticket cannot be used.
2290 * |ssl_ticket_aead_retry|: the ticket could not be immediately decrypted.
2291 * Retry later.
2292 * |ssl_ticket_aead_error|: an error occured that is fatal to the connection. */
2293enum ssl_ticket_aead_result_t ssl_process_ticket(
David Benjamin37af90f2017-07-29 01:42:16 -04002294 SSL *ssl, UniquePtr<SSL_SESSION> *out_session, int *out_renew_ticket,
Adam Langley4c341d02017-03-08 19:33:21 -08002295 const uint8_t *ticket, size_t ticket_len, const uint8_t *session_id,
2296 size_t session_id_len);
Adam Langley95c29f32014-06-20 12:00:00 -07002297
David Benjamin7934f082017-08-01 16:32:25 -04002298/* tls1_verify_channel_id processes |msg| as a Channel ID message, and verifies
2299 * the signature. If the key is valid, it saves the Channel ID and returns
2300 * one. Otherwise, it returns zero. */
2301int tls1_verify_channel_id(SSL_HANDSHAKE *hs, const SSLMessage &msg);
Nick Harper60a85cb2016-09-23 16:25:11 -07002302
2303/* tls1_write_channel_id generates a Channel ID message and puts the output in
2304 * |cbb|. |ssl->tlsext_channel_id_private| must already be set before calling.
2305 * This function returns one on success and zero on error. */
Steven Valdez908ac192017-01-12 13:17:07 -05002306int tls1_write_channel_id(SSL_HANDSHAKE *hs, CBB *cbb);
Nick Harper60a85cb2016-09-23 16:25:11 -07002307
David Benjamind6a4ae92015-08-06 11:10:51 -04002308/* tls1_channel_id_hash computes the hash to be signed by Channel ID and writes
2309 * it to |out|, which must contain at least |EVP_MAX_MD_SIZE| bytes. It returns
2310 * one on success and zero on failure. */
Steven Valdez908ac192017-01-12 13:17:07 -05002311int tls1_channel_id_hash(SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len);
David Benjamind6a4ae92015-08-06 11:10:51 -04002312
Steven Valdez908ac192017-01-12 13:17:07 -05002313int tls1_record_handshake_hashes_for_channel_id(SSL_HANDSHAKE *hs);
Adam Langley1258b6a2014-06-20 12:00:00 -07002314
Nick Harper60a85cb2016-09-23 16:25:11 -07002315/* ssl_do_channel_id_callback checks runs |ssl->ctx->channel_id_cb| if
2316 * necessary. It returns one on success and zero on fatal error. Note that, on
2317 * success, |ssl->tlsext_channel_id_private| may be unset, in which case the
2318 * operation should be retried later. */
2319int ssl_do_channel_id_callback(SSL *ssl);
2320
David Benjamin0d56f882015-12-19 17:05:56 -05002321/* ssl3_can_false_start returns one if |ssl| is allowed to False Start and zero
David Benjamined7c4752015-02-16 19:16:46 -05002322 * otherwise. */
David Benjamin0d56f882015-12-19 17:05:56 -05002323int ssl3_can_false_start(const SSL *ssl);
David Benjaminceb6f282014-12-07 23:56:19 -05002324
Steven Valdez681eb6a2016-12-19 13:19:29 -05002325/* ssl_can_write returns one if |ssl| is allowed to write and zero otherwise. */
2326int ssl_can_write(const SSL *ssl);
2327
2328/* ssl_can_read returns one if |ssl| is allowed to read and zero otherwise. */
2329int ssl_can_read(const SSL *ssl);
2330
David Benjaminad8f5e12017-02-20 17:00:20 -05002331void ssl_get_current_time(const SSL *ssl, struct OPENSSL_timeval *out_clock);
Martin Kreichgauer72912d22017-08-04 12:06:43 -07002332void ssl_ctx_get_current_time(const SSL_CTX *ctx,
2333 struct OPENSSL_timeval *out_clock);
David Benjamin721e8b72016-08-03 13:13:17 -04002334
David Benjamin2be4aa72017-01-02 07:56:51 -05002335/* ssl_reset_error_state resets state for |SSL_get_error|. */
2336void ssl_reset_error_state(SSL *ssl);
2337
Steven Valdez87eab492016-06-27 16:34:59 -04002338
Adam Langley11d11d62017-07-17 11:10:46 -07002339/* Utility macros */
2340
2341#if defined(__clang__)
2342/* SSL_FALLTHROUGH annotates a fallthough case in a switch statement. */
2343#define SSL_FALLTHROUGH [[clang::fallthrough]]
2344#else
2345#define SSL_FALLTHROUGH
2346#endif
2347
David Benjamin86e95b82017-07-18 16:34:25 -04002348} // namespace bssl
Adam Langley11d11d62017-07-17 11:10:46 -07002349
Steven Valdez87eab492016-06-27 16:34:59 -04002350
David Benjamine39ac8f2017-07-20 12:22:21 -04002351/* Opaque C types.
2352 *
2353 * The following types are exported to C code as public typedefs, so they must
2354 * be defined outside of the namespace. */
2355
2356/* ssl_method_st backs the public |SSL_METHOD| type. It is a compatibility
2357 * structure to support the legacy version-locked methods. */
2358struct ssl_method_st {
2359 /* version, if non-zero, is the only protocol version acceptable to an
2360 * SSL_CTX initialized from this method. */
2361 uint16_t version;
2362 /* method is the underlying SSL_PROTOCOL_METHOD that initializes the
2363 * SSL_CTX. */
2364 const SSL_PROTOCOL_METHOD *method;
2365 /* x509_method contains pointers to functions that might deal with |X509|
2366 * compatibility, or might be a no-op, depending on the application. */
2367 const SSL_X509_METHOD *x509_method;
2368};
2369
2370/* ssl_protocol_method_st, aka |SSL_PROTOCOL_METHOD| abstracts between TLS and
2371 * DTLS. */
2372struct ssl_protocol_method_st {
2373 /* is_dtls is one if the protocol is DTLS and zero otherwise. */
2374 char is_dtls;
2375 int (*ssl_new)(SSL *ssl);
2376 void (*ssl_free)(SSL *ssl);
David Benjamin7934f082017-08-01 16:32:25 -04002377 /* get_message sets |*out| to the current handshake message and returns true
2378 * if one has been received. It returns false if more input is needed. */
2379 bool (*get_message)(SSL *ssl, bssl::SSLMessage *out);
2380 /* read_message reads additional handshake data for |get_message|. On success,
2381 * it returns one. Otherwise, it returns <= 0. */
2382 int (*read_message)(SSL *ssl);
David Benjamin8f94c312017-08-01 17:35:55 -04002383 /* next_message is called to release the current handshake message. */
2384 void (*next_message)(SSL *ssl);
David Benjamine39ac8f2017-07-20 12:22:21 -04002385 /* read_app_data reads up to |len| bytes of application data into |buf|. On
2386 * success, it returns the number of bytes read. Otherwise, it returns <= 0
2387 * and sets |*out_got_handshake| to whether the failure was due to a
David Benjamin7934f082017-08-01 16:32:25 -04002388 * post-handshake handshake message. If so, any handshake messages consumed
2389 * may be read with |get_message|. */
David Benjamine39ac8f2017-07-20 12:22:21 -04002390 int (*read_app_data)(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
2391 int peek);
2392 int (*read_change_cipher_spec)(SSL *ssl);
2393 void (*read_close_notify)(SSL *ssl);
2394 int (*write_app_data)(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
2395 int len);
2396 int (*dispatch_alert)(SSL *ssl);
2397 /* supports_cipher returns one if |cipher| is supported by this protocol and
2398 * zero otherwise. */
2399 int (*supports_cipher)(const SSL_CIPHER *cipher);
2400 /* init_message begins a new handshake message of type |type|. |cbb| is the
2401 * root CBB to be passed into |finish_message|. |*body| is set to a child CBB
2402 * the caller should write to. It returns one on success and zero on error. */
2403 int (*init_message)(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
2404 /* finish_message finishes a handshake message. It sets |*out_msg| to a
2405 * newly-allocated buffer with the serialized message. The caller must
2406 * release it with |OPENSSL_free| when done. It returns one on success and
2407 * zero on error. */
2408 int (*finish_message)(SSL *ssl, CBB *cbb, uint8_t **out_msg, size_t *out_len);
2409 /* add_message adds a handshake message to the pending flight. It returns one
2410 * on success and zero on error. In either case, it takes ownership of |msg|
2411 * and releases it with |OPENSSL_free| when done. */
2412 int (*add_message)(SSL *ssl, uint8_t *msg, size_t len);
2413 /* add_change_cipher_spec adds a ChangeCipherSpec record to the pending
2414 * flight. It returns one on success and zero on error. */
2415 int (*add_change_cipher_spec)(SSL *ssl);
2416 /* add_alert adds an alert to the pending flight. It returns one on success
2417 * and zero on error. */
2418 int (*add_alert)(SSL *ssl, uint8_t level, uint8_t desc);
2419 /* flush_flight flushes the pending flight to the transport. It returns one on
2420 * success and <= 0 on error. */
2421 int (*flush_flight)(SSL *ssl);
David Benjamin9bbdf582017-08-02 19:46:29 -04002422 /* on_handshake_complete is called when the handshake is complete. */
2423 void (*on_handshake_complete)(SSL *ssl);
David Benjamine39ac8f2017-07-20 12:22:21 -04002424 /* set_read_state sets |ssl|'s read cipher state to |aead_ctx|. It returns
2425 * one on success and zero if changing the read state is forbidden at this
2426 * point. */
2427 int (*set_read_state)(SSL *ssl,
2428 bssl::UniquePtr<bssl::SSLAEADContext> aead_ctx);
2429 /* set_write_state sets |ssl|'s write cipher state to |aead_ctx|. It returns
2430 * one on success and zero if changing the write state is forbidden at this
2431 * point. */
2432 int (*set_write_state)(SSL *ssl,
2433 bssl::UniquePtr<bssl::SSLAEADContext> aead_ctx);
2434};
2435
2436struct ssl_x509_method_st {
2437 /* check_client_CA_list returns one if |names| is a good list of X.509
2438 * distinguished names and zero otherwise. This is used to ensure that we can
2439 * reject unparsable values at handshake time when using crypto/x509. */
2440 int (*check_client_CA_list)(STACK_OF(CRYPTO_BUFFER) *names);
2441
2442 /* cert_clear frees and NULLs all X509 certificate-related state. */
2443 void (*cert_clear)(CERT *cert);
2444 /* cert_free frees all X509-related state. */
2445 void (*cert_free)(CERT *cert);
2446 /* cert_flush_cached_chain drops any cached |X509|-based certificate chain
2447 * from |cert|. */
2448 /* cert_dup duplicates any needed fields from |cert| to |new_cert|. */
2449 void (*cert_dup)(CERT *new_cert, const CERT *cert);
2450 void (*cert_flush_cached_chain)(CERT *cert);
2451 /* cert_flush_cached_chain drops any cached |X509|-based leaf certificate
2452 * from |cert|. */
2453 void (*cert_flush_cached_leaf)(CERT *cert);
2454
2455 /* session_cache_objects fills out |sess->x509_peer| and |sess->x509_chain|
2456 * from |sess->certs| and erases |sess->x509_chain_without_leaf|. It returns
2457 * one on success or zero on error. */
2458 int (*session_cache_objects)(SSL_SESSION *session);
2459 /* session_dup duplicates any needed fields from |session| to |new_session|.
2460 * It returns one on success or zero on error. */
2461 int (*session_dup)(SSL_SESSION *new_session, const SSL_SESSION *session);
2462 /* session_clear frees any X509-related state from |session|. */
2463 void (*session_clear)(SSL_SESSION *session);
2464 /* session_verify_cert_chain verifies the certificate chain in |session|,
2465 * sets |session->verify_result| and returns one on success or zero on
2466 * error. */
2467 int (*session_verify_cert_chain)(SSL_SESSION *session, SSL *ssl,
2468 uint8_t *out_alert);
2469
2470 /* hs_flush_cached_ca_names drops any cached |X509_NAME|s from |hs|. */
2471 void (*hs_flush_cached_ca_names)(bssl::SSL_HANDSHAKE *hs);
2472 /* ssl_new does any neccessary initialisation of |ssl|. It returns one on
2473 * success or zero on error. */
2474 int (*ssl_new)(SSL *ssl);
2475 /* ssl_free frees anything created by |ssl_new|. */
2476 void (*ssl_free)(SSL *ssl);
2477 /* ssl_flush_cached_client_CA drops any cached |X509_NAME|s from |ssl|. */
2478 void (*ssl_flush_cached_client_CA)(SSL *ssl);
2479 /* ssl_auto_chain_if_needed runs the deprecated auto-chaining logic if
2480 * necessary. On success, it updates |ssl|'s certificate configuration as
2481 * needed and returns one. Otherwise, it returns zero. */
2482 int (*ssl_auto_chain_if_needed)(SSL *ssl);
2483 /* ssl_ctx_new does any neccessary initialisation of |ctx|. It returns one on
2484 * success or zero on error. */
2485 int (*ssl_ctx_new)(SSL_CTX *ctx);
2486 /* ssl_ctx_free frees anything created by |ssl_ctx_new|. */
2487 void (*ssl_ctx_free)(SSL_CTX *ctx);
2488 /* ssl_ctx_flush_cached_client_CA drops any cached |X509_NAME|s from |ctx|. */
2489 void (*ssl_ctx_flush_cached_client_CA)(SSL_CTX *ssl);
2490};
2491
2492/* ssl_st backs the public |SSL| type. It subclasses the true type so that
2493 * SSLConnection may be a C++ type with methods and destructor without
2494 * polluting the global namespace. */
2495struct ssl_st : public bssl::SSLConnection {};
2496
2497struct cert_st : public bssl::SSLCertConfig {};
2498
2499
David Benjamin2ee94aa2015-04-07 22:38:30 -04002500#endif /* OPENSSL_HEADER_SSL_INTERNAL_H */