2014-06-20 20:00:00 +01:00
|
|
|
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* This package is an SSL implementation written
|
|
|
|
* by Eric Young (eay@cryptsoft.com).
|
|
|
|
* The implementation was written so as to conform with Netscapes SSL.
|
|
|
|
*
|
|
|
|
* This library is free for commercial and non-commercial use as long as
|
|
|
|
* the following conditions are aheared to. The following conditions
|
|
|
|
* apply to all code found in this distribution, be it the RC4, RSA,
|
|
|
|
* lhash, DES, etc., code; not just the SSL code. The SSL documentation
|
|
|
|
* included with this distribution is covered by the same copyright terms
|
|
|
|
* except that the holder is Tim Hudson (tjh@cryptsoft.com).
|
|
|
|
*
|
|
|
|
* Copyright remains Eric Young's, and as such any Copyright notices in
|
|
|
|
* the code are not to be removed.
|
|
|
|
* If this package is used in a product, Eric Young should be given attribution
|
|
|
|
* as the author of the parts of the library used.
|
|
|
|
* This can be in the form of a textual message at program startup or
|
|
|
|
* in documentation (online or textual) provided with the package.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
* 3. All advertising materials mentioning features or use of this software
|
|
|
|
* must display the following acknowledgement:
|
|
|
|
* "This product includes cryptographic software written by
|
|
|
|
* Eric Young (eay@cryptsoft.com)"
|
|
|
|
* The word 'cryptographic' can be left out if the rouines from the library
|
|
|
|
* being used are not cryptographic related :-).
|
|
|
|
* 4. If you include any Windows specific code (or a derivative thereof) from
|
|
|
|
* the apps directory (application code) you must include an acknowledgement:
|
|
|
|
* "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*
|
|
|
|
* The licence and distribution terms for any publically available version or
|
|
|
|
* derivative of this code cannot be changed. i.e. this code cannot simply be
|
|
|
|
* copied and put under another distribution licence
|
|
|
|
* [including the GNU Public Licence.]
|
|
|
|
*/
|
|
|
|
/* ====================================================================
|
|
|
|
* Copyright (c) 1998-2007 The OpenSSL Project. All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
*
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
*
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in
|
|
|
|
* the documentation and/or other materials provided with the
|
|
|
|
* distribution.
|
|
|
|
*
|
|
|
|
* 3. All advertising materials mentioning features or use of this
|
|
|
|
* software must display the following acknowledgment:
|
|
|
|
* "This product includes software developed by the OpenSSL Project
|
|
|
|
* for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
|
|
|
|
*
|
|
|
|
* 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
|
|
|
|
* endorse or promote products derived from this software without
|
|
|
|
* prior written permission. For written permission, please contact
|
|
|
|
* openssl-core@openssl.org.
|
|
|
|
*
|
|
|
|
* 5. Products derived from this software may not be called "OpenSSL"
|
|
|
|
* nor may "OpenSSL" appear in their names without prior written
|
|
|
|
* permission of the OpenSSL Project.
|
|
|
|
*
|
|
|
|
* 6. Redistributions of any form whatsoever must retain the following
|
|
|
|
* acknowledgment:
|
|
|
|
* "This product includes software developed by the OpenSSL Project
|
|
|
|
* for use in the OpenSSL Toolkit (http://www.openssl.org/)"
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
|
|
|
|
* EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
|
|
|
|
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
|
|
|
|
* ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
|
|
|
* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
|
|
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
|
|
|
|
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
|
|
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
|
|
|
|
* OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
* ====================================================================
|
|
|
|
*
|
|
|
|
* This product includes cryptographic software written by Eric Young
|
|
|
|
* (eay@cryptsoft.com). This product includes software written by Tim
|
|
|
|
* Hudson (tjh@cryptsoft.com).
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
/* ====================================================================
|
|
|
|
* Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
|
|
|
|
* ECC cipher suite support in OpenSSL originally developed by
|
|
|
|
* SUN MICROSYSTEMS, INC., and contributed to the OpenSSL project.
|
|
|
|
*/
|
|
|
|
/* ====================================================================
|
|
|
|
* Copyright 2005 Nokia. All rights reserved.
|
|
|
|
*
|
|
|
|
* The portions of the attached software ("Contribution") is developed by
|
|
|
|
* Nokia Corporation and is licensed pursuant to the OpenSSL open source
|
|
|
|
* license.
|
|
|
|
*
|
|
|
|
* The Contribution, originally written by Mika Kousa and Pasi Eronen of
|
|
|
|
* Nokia Corporation, consists of the "PSK" (Pre-Shared Key) ciphersuites
|
|
|
|
* support (see RFC 4279) to OpenSSL.
|
|
|
|
*
|
|
|
|
* No patent licenses or other rights except those expressly stated in
|
|
|
|
* the OpenSSL open source license shall be deemed granted or received
|
|
|
|
* expressly, by implication, estoppel, or otherwise.
|
|
|
|
*
|
|
|
|
* No assurances are provided by Nokia that the Contribution does not
|
|
|
|
* infringe the patent or other intellectual property rights of any third
|
|
|
|
* party or that the license provides you with all the necessary rights
|
|
|
|
* to make use of the Contribution.
|
|
|
|
*
|
|
|
|
* THE SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND. IN
|
|
|
|
* ADDITION TO THE DISCLAIMERS INCLUDED IN THE LICENSE, NOKIA
|
|
|
|
* SPECIFICALLY DISCLAIMS ANY LIABILITY FOR CLAIMS BROUGHT BY YOU OR ANY
|
|
|
|
* OTHER ENTITY BASED ON INFRINGEMENT OF INTELLECTUAL PROPERTY RIGHTS OR
|
|
|
|
* OTHERWISE.
|
|
|
|
*/
|
|
|
|
|
2015-04-08 03:38:30 +01:00
|
|
|
#ifndef OPENSSL_HEADER_SSL_INTERNAL_H
|
|
|
|
#define OPENSSL_HEADER_SSL_INTERNAL_H
|
2014-06-20 20:00:00 +01:00
|
|
|
|
|
|
|
#include <openssl/base.h>
|
|
|
|
|
2017-07-24 20:31:13 +01:00
|
|
|
#include <stdlib.h>
|
|
|
|
|
2017-07-29 16:44:22 +01:00
|
|
|
#include <new>
|
2017-07-19 03:45:18 +01:00
|
|
|
#include <type_traits>
|
|
|
|
#include <utility>
|
|
|
|
|
2014-06-20 20:00:00 +01:00
|
|
|
#include <openssl/aead.h>
|
2017-07-19 03:45:18 +01:00
|
|
|
#include <openssl/err.h>
|
|
|
|
#include <openssl/mem.h>
|
2014-06-20 20:00:00 +01:00
|
|
|
#include <openssl/ssl.h>
|
|
|
|
#include <openssl/stack.h>
|
|
|
|
|
2016-08-17 21:56:14 +01:00
|
|
|
|
2015-05-08 18:29:45 +01:00
|
|
|
#if defined(OPENSSL_WINDOWS)
|
|
|
|
/* Windows defines struct timeval in winsock2.h. */
|
2016-06-09 21:48:33 +01:00
|
|
|
OPENSSL_MSVC_PRAGMA(warning(push, 3))
|
2015-05-08 18:29:45 +01:00
|
|
|
#include <winsock2.h>
|
2016-06-09 21:48:33 +01:00
|
|
|
OPENSSL_MSVC_PRAGMA(warning(pop))
|
2015-05-08 18:29:45 +01:00
|
|
|
#else
|
2015-12-05 02:49:53 +00:00
|
|
|
#include <sys/time.h>
|
2015-05-08 18:29:45 +01:00
|
|
|
#endif
|
|
|
|
|
2016-06-27 21:34:59 +01:00
|
|
|
|
2017-07-20 17:22:21 +01:00
|
|
|
typedef struct cert_st CERT;
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
namespace bssl {
|
2014-12-19 01:42:32 +00:00
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct SSL_HANDSHAKE;
|
2017-06-20 15:55:02 +01:00
|
|
|
|
2017-07-19 03:45:18 +01:00
|
|
|
/* C++ utilities. */
|
|
|
|
|
|
|
|
/* New behaves like |new| but uses |OPENSSL_malloc| for memory allocation. It
|
|
|
|
* returns nullptr on allocation error. It only implements single-object
|
|
|
|
* allocation and not new T[n].
|
|
|
|
*
|
|
|
|
* Note: unlike |new|, this does not support non-public constructors. */
|
|
|
|
template <typename T, typename... Args>
|
|
|
|
T *New(Args &&... args) {
|
2017-07-31 18:52:31 +01:00
|
|
|
void *t = OPENSSL_malloc(sizeof(T));
|
2017-07-19 03:45:18 +01:00
|
|
|
if (t == nullptr) {
|
|
|
|
OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
|
|
|
|
return nullptr;
|
|
|
|
}
|
2017-07-31 18:52:31 +01:00
|
|
|
return new (t) T(std::forward<Args>(args)...);
|
2017-07-19 03:45:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Delete behaves like |delete| but uses |OPENSSL_free| to release memory.
|
|
|
|
*
|
|
|
|
* Note: unlike |delete| this does not support non-public destructors. */
|
|
|
|
template <typename T>
|
|
|
|
void Delete(T *t) {
|
|
|
|
if (t != nullptr) {
|
|
|
|
t->~T();
|
|
|
|
OPENSSL_free(t);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-26 03:26:44 +01:00
|
|
|
/* All types with kAllowUniquePtr set may be used with UniquePtr. Other types
|
|
|
|
* may be C structs which require a |BORINGSSL_MAKE_DELETER| registration. */
|
2017-07-19 03:45:18 +01:00
|
|
|
namespace internal {
|
|
|
|
template <typename T>
|
2017-07-26 03:26:44 +01:00
|
|
|
struct DeleterImpl<T, typename std::enable_if<T::kAllowUniquePtr>::type> {
|
2017-07-19 03:45:18 +01:00
|
|
|
static void Free(T *t) { Delete(t); }
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
/* MakeUnique behaves like |std::make_unique| but returns nullptr on allocation
|
|
|
|
* error. */
|
|
|
|
template <typename T, typename... Args>
|
|
|
|
UniquePtr<T> MakeUnique(Args &&... args) {
|
|
|
|
return UniquePtr<T>(New<T>(std::forward<Args>(args)...));
|
|
|
|
}
|
|
|
|
|
2017-07-25 20:18:18 +01:00
|
|
|
#if defined(BORINGSSL_ALLOW_CXX_RUNTIME)
|
|
|
|
#define HAS_VIRTUAL_DESTRUCTOR
|
|
|
|
#define PURE_VIRTUAL = 0
|
|
|
|
#else
|
2017-07-26 03:26:44 +01:00
|
|
|
/* HAS_VIRTUAL_DESTRUCTOR should be declared in any base clas ~s which defines a
|
2017-07-24 20:31:13 +01:00
|
|
|
* virtual destructor. This avoids a dependency on |_ZdlPv| and prevents the
|
|
|
|
* class from being used with |delete|. */
|
|
|
|
#define HAS_VIRTUAL_DESTRUCTOR \
|
|
|
|
void operator delete(void *) { abort(); }
|
|
|
|
|
|
|
|
/* PURE_VIRTUAL should be used instead of = 0 when defining pure-virtual
|
|
|
|
* functions. This avoids a dependency on |__cxa_pure_virtual| but loses
|
|
|
|
* compile-time checking. */
|
|
|
|
#define PURE_VIRTUAL { abort(); }
|
2017-07-25 20:18:18 +01:00
|
|
|
#endif
|
2017-07-24 20:31:13 +01:00
|
|
|
|
2017-07-19 03:45:18 +01:00
|
|
|
|
2017-06-20 15:55:02 +01:00
|
|
|
/* Protocol versions.
|
|
|
|
*
|
|
|
|
* Due to DTLS's historical wire version differences and to support multiple
|
|
|
|
* variants of the same protocol during development, we maintain two notions of
|
|
|
|
* version.
|
|
|
|
*
|
|
|
|
* The "version" or "wire version" is the actual 16-bit value that appears on
|
|
|
|
* the wire. It uniquely identifies a version and is also used at API
|
|
|
|
* boundaries. The set of supported versions differs between TLS and DTLS. Wire
|
|
|
|
* versions are opaque values and may not be compared numerically.
|
|
|
|
*
|
|
|
|
* The "protocol version" identifies the high-level handshake variant being
|
|
|
|
* used. DTLS versions map to the corresponding TLS versions. Draft TLS 1.3
|
|
|
|
* variants all map to TLS 1.3. Protocol versions are sequential and may be
|
|
|
|
* compared numerically. */
|
|
|
|
|
|
|
|
/* ssl_protocol_version_from_wire sets |*out| to the protocol version
|
|
|
|
* corresponding to wire version |version| and returns one. If |version| is not
|
|
|
|
* a valid TLS or DTLS version, it returns zero.
|
|
|
|
*
|
|
|
|
* Note this simultaneously handles both DTLS and TLS. Use one of the
|
|
|
|
* higher-level functions below for most operations. */
|
|
|
|
int ssl_protocol_version_from_wire(uint16_t *out, uint16_t version);
|
|
|
|
|
|
|
|
/* ssl_get_version_range sets |*out_min_version| and |*out_max_version| to the
|
|
|
|
* minimum and maximum enabled protocol versions, respectively. */
|
|
|
|
int ssl_get_version_range(const SSL *ssl, uint16_t *out_min_version,
|
|
|
|
uint16_t *out_max_version);
|
|
|
|
|
|
|
|
/* ssl_supports_version returns one if |hs| supports |version| and zero
|
|
|
|
* otherwise. */
|
|
|
|
int ssl_supports_version(SSL_HANDSHAKE *hs, uint16_t version);
|
|
|
|
|
|
|
|
/* ssl_add_supported_versions writes the supported versions of |hs| to |cbb|, in
|
|
|
|
* decreasing preference order. */
|
|
|
|
int ssl_add_supported_versions(SSL_HANDSHAKE *hs, CBB *cbb);
|
|
|
|
|
|
|
|
/* ssl_negotiate_version negotiates a common version based on |hs|'s preferences
|
|
|
|
* and the peer preference list in |peer_versions|. On success, it returns one
|
|
|
|
* and sets |*out_version| to the selected version. Otherwise, it returns zero
|
|
|
|
* and sets |*out_alert| to an alert to send. */
|
|
|
|
int ssl_negotiate_version(SSL_HANDSHAKE *hs, uint8_t *out_alert,
|
|
|
|
uint16_t *out_version, const CBS *peer_versions);
|
|
|
|
|
|
|
|
/* ssl3_protocol_version returns |ssl|'s protocol version. It is an error to
|
|
|
|
* call this function before the version is determined. */
|
|
|
|
uint16_t ssl3_protocol_version(const SSL *ssl);
|
|
|
|
|
|
|
|
|
2015-04-08 07:36:59 +01:00
|
|
|
/* Cipher suites. */
|
|
|
|
|
|
|
|
/* Bits for |algorithm_mkey| (key exchange algorithm). */
|
2017-07-12 21:31:08 +01:00
|
|
|
#define SSL_kRSA 0x00000001u
|
|
|
|
#define SSL_kECDHE 0x00000002u
|
2015-04-08 07:36:59 +01:00
|
|
|
/* SSL_kPSK is only set for plain PSK, not ECDHE_PSK. */
|
2017-07-12 21:31:08 +01:00
|
|
|
#define SSL_kPSK 0x00000004u
|
|
|
|
#define SSL_kGENERIC 0x00000008u
|
2015-04-08 07:36:59 +01:00
|
|
|
|
|
|
|
/* Bits for |algorithm_auth| (server authentication). */
|
2017-07-12 21:31:08 +01:00
|
|
|
#define SSL_aRSA 0x00000001u
|
|
|
|
#define SSL_aECDSA 0x00000002u
|
2015-04-08 07:36:59 +01:00
|
|
|
/* SSL_aPSK is set for both PSK and ECDHE_PSK. */
|
2017-07-12 21:31:08 +01:00
|
|
|
#define SSL_aPSK 0x00000004u
|
|
|
|
#define SSL_aGENERIC 0x00000008u
|
2015-04-08 07:36:59 +01:00
|
|
|
|
2016-05-12 19:54:57 +01:00
|
|
|
#define SSL_aCERT (SSL_aRSA | SSL_aECDSA)
|
|
|
|
|
2015-04-08 07:36:59 +01:00
|
|
|
/* Bits for |algorithm_enc| (symmetric encryption). */
|
2017-07-12 21:31:08 +01:00
|
|
|
#define SSL_3DES 0x00000001u
|
|
|
|
#define SSL_AES128 0x00000002u
|
|
|
|
#define SSL_AES256 0x00000004u
|
|
|
|
#define SSL_AES128GCM 0x00000008u
|
|
|
|
#define SSL_AES256GCM 0x00000010u
|
|
|
|
#define SSL_eNULL 0x00000020u
|
|
|
|
#define SSL_CHACHA20POLY1305 0x00000040u
|
2015-04-08 07:36:59 +01:00
|
|
|
|
|
|
|
#define SSL_AES (SSL_AES128 | SSL_AES256 | SSL_AES128GCM | SSL_AES256GCM)
|
|
|
|
|
|
|
|
/* Bits for |algorithm_mac| (symmetric authentication). */
|
2017-07-12 21:31:08 +01:00
|
|
|
#define SSL_SHA1 0x00000001u
|
|
|
|
#define SSL_SHA256 0x00000002u
|
|
|
|
#define SSL_SHA384 0x00000004u
|
2015-04-08 07:36:59 +01:00
|
|
|
/* SSL_AEAD is set for all AEADs. */
|
2017-07-12 21:31:08 +01:00
|
|
|
#define SSL_AEAD 0x00000008u
|
2015-04-08 07:36:59 +01:00
|
|
|
|
2015-08-04 14:24:14 +01:00
|
|
|
/* Bits for |algorithm_prf| (handshake digest). */
|
2015-08-06 14:54:13 +01:00
|
|
|
#define SSL_HANDSHAKE_MAC_DEFAULT 0x1
|
|
|
|
#define SSL_HANDSHAKE_MAC_SHA256 0x2
|
|
|
|
#define SSL_HANDSHAKE_MAC_SHA384 0x4
|
2015-04-08 07:36:59 +01:00
|
|
|
|
|
|
|
/* SSL_MAX_DIGEST is the number of digest types which exist. When adding a new
|
|
|
|
* one, update the table in ssl_cipher.c. */
|
|
|
|
#define SSL_MAX_DIGEST 4
|
|
|
|
|
|
|
|
/* ssl_cipher_get_evp_aead sets |*out_aead| to point to the correct EVP_AEAD
|
|
|
|
* object for |cipher| protocol version |version|. It sets |*out_mac_secret_len|
|
|
|
|
* and |*out_fixed_iv_len| to the MAC key length and fixed IV length,
|
|
|
|
* respectively. The MAC key length is zero except for legacy block and stream
|
|
|
|
* ciphers. It returns 1 on success and 0 on error. */
|
|
|
|
int ssl_cipher_get_evp_aead(const EVP_AEAD **out_aead,
|
|
|
|
size_t *out_mac_secret_len,
|
2017-05-24 21:54:35 +01:00
|
|
|
size_t *out_fixed_iv_len, const SSL_CIPHER *cipher,
|
|
|
|
uint16_t version, int is_dtls);
|
2015-04-08 07:36:59 +01:00
|
|
|
|
2015-08-06 14:54:13 +01:00
|
|
|
/* ssl_get_handshake_digest returns the |EVP_MD| corresponding to
|
2017-01-12 18:17:07 +00:00
|
|
|
* |algorithm_prf| and the |version|. */
|
|
|
|
const EVP_MD *ssl_get_handshake_digest(uint32_t algorithm_prf,
|
|
|
|
uint16_t version);
|
2015-04-08 07:36:59 +01:00
|
|
|
|
|
|
|
/* ssl_create_cipher_list evaluates |rule_str| according to the ciphers in
|
|
|
|
* |ssl_method|. It sets |*out_cipher_list| to a newly-allocated
|
2017-02-22 00:41:33 +00:00
|
|
|
* |ssl_cipher_preference_list_st| containing the result. It returns 1 on
|
|
|
|
* success and 0 on failure. If |strict| is true, nonsense will be rejected. If
|
|
|
|
* false, nonsense will be silently ignored. An empty result is considered an
|
|
|
|
* error regardless of |strict|. */
|
|
|
|
int ssl_create_cipher_list(
|
|
|
|
const SSL_PROTOCOL_METHOD *ssl_method,
|
|
|
|
struct ssl_cipher_preference_list_st **out_cipher_list,
|
|
|
|
const char *rule_str, int strict);
|
2015-04-08 07:36:59 +01:00
|
|
|
|
2015-05-30 22:03:14 +01:00
|
|
|
/* ssl_cipher_get_value returns the cipher suite id of |cipher|. */
|
|
|
|
uint16_t ssl_cipher_get_value(const SSL_CIPHER *cipher);
|
|
|
|
|
2017-03-28 21:38:29 +01:00
|
|
|
/* ssl_cipher_auth_mask_for_key returns the mask of cipher |algorithm_auth|
|
|
|
|
* values suitable for use with |key| in TLS 1.2 and below. */
|
|
|
|
uint32_t ssl_cipher_auth_mask_for_key(const EVP_PKEY *key);
|
2015-04-08 07:36:59 +01:00
|
|
|
|
2016-05-12 19:54:57 +01:00
|
|
|
/* ssl_cipher_uses_certificate_auth returns one if |cipher| authenticates the
|
|
|
|
* server and, optionally, the client with a certificate. Otherwise it returns
|
|
|
|
* zero. */
|
|
|
|
int ssl_cipher_uses_certificate_auth(const SSL_CIPHER *cipher);
|
2015-04-08 07:36:59 +01:00
|
|
|
|
|
|
|
/* ssl_cipher_requires_server_key_exchange returns 1 if |cipher| requires a
|
|
|
|
* ServerKeyExchange message. Otherwise it returns 0.
|
|
|
|
*
|
2016-05-12 19:54:57 +01:00
|
|
|
* This function may return zero while still allowing |cipher| an optional
|
|
|
|
* ServerKeyExchange. This is the case for plain PSK ciphers. */
|
2015-04-08 07:36:59 +01:00
|
|
|
int ssl_cipher_requires_server_key_exchange(const SSL_CIPHER *cipher);
|
|
|
|
|
2015-07-29 02:34:45 +01:00
|
|
|
/* ssl_cipher_get_record_split_len, for TLS 1.0 CBC mode ciphers, returns the
|
|
|
|
* length of an encrypted 1-byte record, for use in record-splitting. Otherwise
|
|
|
|
* it returns zero. */
|
|
|
|
size_t ssl_cipher_get_record_split_len(const SSL_CIPHER *cipher);
|
|
|
|
|
2015-04-08 07:36:59 +01:00
|
|
|
|
2017-01-12 18:17:07 +00:00
|
|
|
/* Transcript layer. */
|
|
|
|
|
2017-07-19 21:38:21 +01:00
|
|
|
/* SSLTranscript maintains the handshake transcript as a combination of a
|
2017-01-12 18:17:07 +00:00
|
|
|
* buffer and running hash. */
|
2017-07-19 21:38:21 +01:00
|
|
|
class SSLTranscript {
|
|
|
|
public:
|
|
|
|
SSLTranscript();
|
|
|
|
~SSLTranscript();
|
|
|
|
|
|
|
|
/* Init initializes the handshake transcript. If called on an existing
|
|
|
|
* transcript, it resets the transcript and hash. It returns true on success
|
|
|
|
* and false on failure. */
|
|
|
|
bool Init();
|
|
|
|
|
|
|
|
/* InitHash initializes the handshake hash based on the PRF and contents of
|
|
|
|
* the handshake transcript. Subsequent calls to |Update| will update the
|
|
|
|
* rolling hash. It returns one on success and zero on failure. It is an error
|
|
|
|
* to call this function after the handshake buffer is released. */
|
|
|
|
bool InitHash(uint16_t version, int algorithm_prf);
|
|
|
|
|
|
|
|
const uint8_t *buffer_data() const {
|
|
|
|
return reinterpret_cast<const uint8_t *>(buffer_->data);
|
|
|
|
}
|
|
|
|
size_t buffer_len() const { return buffer_->length; }
|
|
|
|
|
|
|
|
/* FreeBuffer releases the handshake buffer. Subsequent calls to
|
|
|
|
* |Update| will not update the handshake buffer. */
|
|
|
|
void FreeBuffer();
|
|
|
|
|
|
|
|
/* DigestLen returns the length of the PRF hash. */
|
|
|
|
size_t DigestLen() const;
|
|
|
|
|
|
|
|
/* Digest returns the PRF hash. For TLS 1.1 and below, this is
|
|
|
|
* |EVP_md5_sha1|. */
|
|
|
|
const EVP_MD *Digest() const;
|
|
|
|
|
|
|
|
/* Update adds |in| to the handshake buffer and handshake hash, whichever is
|
|
|
|
* enabled. It returns true on success and false on failure. */
|
|
|
|
bool Update(const uint8_t *in, size_t in_len);
|
|
|
|
|
|
|
|
/* GetHash writes the handshake hash to |out| which must have room for at
|
|
|
|
* least |DigestLen| bytes. On success, it returns true and sets |*out_len| to
|
|
|
|
* the number of bytes written. Otherwise, it returns false. */
|
|
|
|
bool GetHash(uint8_t *out, size_t *out_len);
|
|
|
|
|
|
|
|
/* GetSSL3CertVerifyHash writes the SSL 3.0 CertificateVerify hash into the
|
|
|
|
* bytes pointed to by |out| and writes the number of bytes to
|
|
|
|
* |*out_len|. |out| must have room for |EVP_MAX_MD_SIZE| bytes. It returns
|
|
|
|
* one on success and zero on failure. */
|
|
|
|
bool GetSSL3CertVerifyHash(uint8_t *out, size_t *out_len,
|
|
|
|
const SSL_SESSION *session,
|
|
|
|
uint16_t signature_algorithm);
|
|
|
|
|
|
|
|
/* GetFinishedMAC computes the MAC for the Finished message into the bytes
|
|
|
|
* pointed by |out| and writes the number of bytes to |*out_len|. |out| must
|
|
|
|
* have room for |EVP_MAX_MD_SIZE| bytes. It returns true on success and false
|
|
|
|
* on failure. */
|
|
|
|
bool GetFinishedMAC(uint8_t *out, size_t *out_len, const SSL_SESSION *session,
|
|
|
|
bool from_server, uint16_t version);
|
|
|
|
|
|
|
|
private:
|
|
|
|
/* buffer_, if non-null, contains the handshake transcript. */
|
|
|
|
UniquePtr<BUF_MEM> buffer_;
|
2017-01-12 18:17:07 +00:00
|
|
|
/* hash, if initialized with an |EVP_MD|, maintains the handshake hash. For
|
|
|
|
* TLS 1.1 and below, it is the SHA-1 half. */
|
2017-07-19 21:38:21 +01:00
|
|
|
ScopedEVP_MD_CTX hash_;
|
2017-01-12 18:17:07 +00:00
|
|
|
/* md5, if initialized with an |EVP_MD|, maintains the MD5 half of the
|
|
|
|
* handshake hash for TLS 1.1 and below. */
|
2017-07-19 21:38:21 +01:00
|
|
|
ScopedEVP_MD_CTX md5_;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2017-01-12 18:17:07 +00:00
|
|
|
|
|
|
|
/* tls1_prf computes the PRF function for |ssl|. It writes |out_len| bytes to
|
|
|
|
* |out|, using |secret| as the secret and |label| as the label. |seed1| and
|
|
|
|
* |seed2| are concatenated to form the seed parameter. It returns one on
|
|
|
|
* success and zero on failure. */
|
|
|
|
int tls1_prf(const EVP_MD *digest, uint8_t *out, size_t out_len,
|
|
|
|
const uint8_t *secret, size_t secret_len, const char *label,
|
|
|
|
size_t label_len, const uint8_t *seed1, size_t seed1_len,
|
|
|
|
const uint8_t *seed2, size_t seed2_len);
|
|
|
|
|
|
|
|
|
2015-03-03 19:20:26 +00:00
|
|
|
/* Encryption layer. */
|
|
|
|
|
2017-07-19 03:45:18 +01:00
|
|
|
/* SSLAEADContext contains information about an AEAD that is being used to
|
|
|
|
* encrypt an SSL connection. */
|
|
|
|
class SSLAEADContext {
|
|
|
|
public:
|
|
|
|
SSLAEADContext(uint16_t version, const SSL_CIPHER *cipher);
|
|
|
|
~SSLAEADContext();
|
2017-07-26 03:26:44 +01:00
|
|
|
static constexpr bool kAllowUniquePtr = true;
|
|
|
|
|
2017-07-19 03:45:18 +01:00
|
|
|
SSLAEADContext(const SSLAEADContext &&) = delete;
|
|
|
|
SSLAEADContext &operator=(const SSLAEADContext &&) = delete;
|
|
|
|
|
|
|
|
/* CreateNullCipher creates an |SSLAEADContext| for the null cipher. */
|
|
|
|
static UniquePtr<SSLAEADContext> CreateNullCipher();
|
|
|
|
|
|
|
|
/* Create creates an |SSLAEADContext| using the supplied key material. It
|
|
|
|
* returns nullptr on error. Only one of |Open| or |Seal| may be used with the
|
|
|
|
* resulting object, depending on |direction|. |version| is the normalized
|
|
|
|
* protocol version, so DTLS 1.0 is represented as 0x0301, not 0xffef. */
|
|
|
|
static UniquePtr<SSLAEADContext> Create(
|
|
|
|
enum evp_aead_direction_t direction, uint16_t version, int is_dtls,
|
|
|
|
const SSL_CIPHER *cipher, const uint8_t *enc_key, size_t enc_key_len,
|
|
|
|
const uint8_t *mac_key, size_t mac_key_len, const uint8_t *fixed_iv,
|
|
|
|
size_t fixed_iv_len);
|
|
|
|
|
|
|
|
uint16_t version() const { return version_; }
|
|
|
|
const SSL_CIPHER *cipher() const { return cipher_; }
|
|
|
|
|
|
|
|
/* is_null_cipher returns true if this is the null cipher. */
|
|
|
|
bool is_null_cipher() const { return !cipher_; }
|
|
|
|
|
|
|
|
/* ExplicitNonceLen returns the length of the explicit nonce. */
|
|
|
|
size_t ExplicitNonceLen() const;
|
|
|
|
|
|
|
|
/* MaxOverhead returns the maximum overhead of calling |Seal|. */
|
|
|
|
size_t MaxOverhead() const;
|
|
|
|
|
2017-07-22 00:27:54 +01:00
|
|
|
/* SuffixLen calculates the suffix length written by |SealScatter| and writes
|
|
|
|
* it to |*out_suffix_len|. It returns true on success and false on error.
|
|
|
|
* |in_len| and |extra_in_len| should equal the argument of the same names
|
|
|
|
* passed to |SealScatter|. */
|
|
|
|
bool SuffixLen(size_t *out_suffix_len, size_t in_len,
|
|
|
|
size_t extra_in_len) const;
|
2017-07-19 03:45:18 +01:00
|
|
|
|
|
|
|
/* Open authenticates and decrypts |in_len| bytes from |in| in-place. On
|
|
|
|
* success, it sets |*out| to the plaintext in |in| and returns true.
|
|
|
|
* Otherwise, it returns false. The output will always be |ExplicitNonceLen|
|
|
|
|
* bytes ahead of |in|. */
|
|
|
|
bool Open(CBS *out, uint8_t type, uint16_t wire_version,
|
|
|
|
const uint8_t seqnum[8], uint8_t *in, size_t in_len);
|
|
|
|
|
|
|
|
/* Seal encrypts and authenticates |in_len| bytes from |in| and writes the
|
|
|
|
* result to |out|. It returns true on success and false on error.
|
|
|
|
*
|
|
|
|
* If |in| and |out| alias then |out| + |ExplicitNonceLen| must be == |in|. */
|
|
|
|
bool Seal(uint8_t *out, size_t *out_len, size_t max_out, uint8_t type,
|
|
|
|
uint16_t wire_version, const uint8_t seqnum[8], const uint8_t *in,
|
|
|
|
size_t in_len);
|
|
|
|
|
|
|
|
/* SealScatter encrypts and authenticates |in_len| bytes from |in| and splits
|
|
|
|
* the result between |out_prefix|, |out| and |out_suffix|. It returns one on
|
|
|
|
* success and zero on error.
|
|
|
|
*
|
|
|
|
* On successful return, exactly |ExplicitNonceLen| bytes are written to
|
2017-07-22 00:27:54 +01:00
|
|
|
* |out_prefix|, |in_len| bytes to |out|, and |SuffixLen| bytes to
|
|
|
|
* |out_suffix|.
|
2017-07-19 03:45:18 +01:00
|
|
|
*
|
|
|
|
* |extra_in| may point to an additional plaintext buffer. If present,
|
|
|
|
* |extra_in_len| additional bytes are encrypted and authenticated, and the
|
2017-07-22 00:27:54 +01:00
|
|
|
* ciphertext is written to the beginning of |out_suffix|. |SuffixLen| should
|
|
|
|
* be used to size |out_suffix| accordingly.
|
2017-07-19 03:45:18 +01:00
|
|
|
*
|
|
|
|
* If |in| and |out| alias then |out| must be == |in|. Other arguments may not
|
|
|
|
* alias anything. */
|
|
|
|
bool SealScatter(uint8_t *out_prefix, uint8_t *out, uint8_t *out_suffix,
|
|
|
|
uint8_t type, uint16_t wire_version, const uint8_t seqnum[8],
|
|
|
|
const uint8_t *in, size_t in_len, const uint8_t *extra_in,
|
|
|
|
size_t extra_in_len);
|
|
|
|
|
|
|
|
bool GetIV(const uint8_t **out_iv, size_t *out_iv_len) const;
|
|
|
|
|
|
|
|
private:
|
|
|
|
/* GetAdditionalData writes the additional data into |out| and returns the
|
|
|
|
* number of bytes written. */
|
|
|
|
size_t GetAdditionalData(uint8_t out[13], uint8_t type, uint16_t wire_version,
|
|
|
|
const uint8_t seqnum[8], size_t plaintext_len);
|
|
|
|
|
|
|
|
const SSL_CIPHER *cipher_;
|
|
|
|
ScopedEVP_AEAD_CTX ctx_;
|
|
|
|
/* fixed_nonce_ contains any bytes of the nonce that are fixed for all
|
2015-03-03 19:20:26 +00:00
|
|
|
* records. */
|
2017-07-19 03:45:18 +01:00
|
|
|
uint8_t fixed_nonce_[12];
|
|
|
|
uint8_t fixed_nonce_len_ = 0, variable_nonce_len_ = 0;
|
|
|
|
/* version_ is the protocol version that should be used with this AEAD. */
|
|
|
|
uint16_t version_;
|
|
|
|
/* variable_nonce_included_in_record_ is true if the variable nonce
|
2015-03-03 19:20:26 +00:00
|
|
|
* for a record is included as a prefix before the ciphertext. */
|
2017-07-19 03:45:18 +01:00
|
|
|
bool variable_nonce_included_in_record_ : 1;
|
|
|
|
/* random_variable_nonce_ is true if the variable nonce is
|
2015-03-03 19:20:26 +00:00
|
|
|
* randomly generated, rather than derived from the sequence
|
|
|
|
* number. */
|
2017-07-19 03:45:18 +01:00
|
|
|
bool random_variable_nonce_ : 1;
|
|
|
|
/* omit_length_in_ad_ is true if the length should be omitted in the
|
2015-03-03 19:20:26 +00:00
|
|
|
* AEAD's ad parameter. */
|
2017-07-19 03:45:18 +01:00
|
|
|
bool omit_length_in_ad_ : 1;
|
|
|
|
/* omit_version_in_ad_ is true if the version should be omitted
|
2015-03-03 19:20:26 +00:00
|
|
|
* in the AEAD's ad parameter. */
|
2017-07-19 03:45:18 +01:00
|
|
|
bool omit_version_in_ad_ : 1;
|
|
|
|
/* omit_ad_ is true if the AEAD's ad parameter should be omitted. */
|
|
|
|
bool omit_ad_ : 1;
|
|
|
|
/* xor_fixed_nonce_ is true if the fixed nonce should be XOR'd into the
|
2015-12-10 04:02:39 +00:00
|
|
|
* variable nonce rather than prepended. */
|
2017-07-19 03:45:18 +01:00
|
|
|
bool xor_fixed_nonce_ : 1;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2015-03-03 19:20:26 +00:00
|
|
|
|
|
|
|
|
2015-07-25 22:53:57 +01:00
|
|
|
/* DTLS replay bitmap. */
|
|
|
|
|
|
|
|
/* DTLS1_BITMAP maintains a sliding window of 64 sequence numbers to detect
|
|
|
|
* replayed packets. It should be initialized by zeroing every field. */
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct DTLS1_BITMAP {
|
2015-07-25 22:53:57 +01:00
|
|
|
/* map is a bit mask of the last 64 sequence numbers. Bit
|
|
|
|
* |1<<i| corresponds to |max_seq_num - i|. */
|
|
|
|
uint64_t map;
|
|
|
|
/* max_seq_num is the largest sequence number seen so far as a 64-bit
|
|
|
|
* integer. */
|
|
|
|
uint64_t max_seq_num;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2015-07-25 22:53:57 +01:00
|
|
|
|
|
|
|
|
2015-07-29 02:34:45 +01:00
|
|
|
/* Record layer. */
|
|
|
|
|
2015-12-25 20:11:39 +00:00
|
|
|
/* ssl_record_sequence_update increments the sequence number in |seq|. It
|
|
|
|
* returns one on success and zero on wraparound. */
|
|
|
|
int ssl_record_sequence_update(uint8_t *seq, size_t seq_len);
|
|
|
|
|
2015-07-29 02:34:45 +01:00
|
|
|
/* ssl_record_prefix_len returns the length of the prefix before the ciphertext
|
|
|
|
* of a record for |ssl|.
|
|
|
|
*
|
|
|
|
* TODO(davidben): Expose this as part of public API once the high-level
|
|
|
|
* buffer-free APIs are available. */
|
|
|
|
size_t ssl_record_prefix_len(const SSL *ssl);
|
|
|
|
|
|
|
|
enum ssl_open_record_t {
|
|
|
|
ssl_open_record_success,
|
|
|
|
ssl_open_record_discard,
|
|
|
|
ssl_open_record_partial,
|
2016-06-02 20:42:01 +01:00
|
|
|
ssl_open_record_close_notify,
|
|
|
|
ssl_open_record_fatal_alert,
|
2015-07-29 02:34:45 +01:00
|
|
|
ssl_open_record_error,
|
|
|
|
};
|
|
|
|
|
2016-06-06 23:54:51 +01:00
|
|
|
/* tls_open_record decrypts a record from |in| in-place.
|
2016-06-02 20:42:01 +01:00
|
|
|
*
|
|
|
|
* If the input did not contain a complete record, it returns
|
|
|
|
* |ssl_open_record_partial|. It sets |*out_consumed| to the total number of
|
|
|
|
* bytes necessary. It is guaranteed that a successful call to |tls_open_record|
|
|
|
|
* will consume at least that many bytes.
|
|
|
|
*
|
|
|
|
* Otherwise, it sets |*out_consumed| to the number of bytes of input
|
|
|
|
* consumed. Note that input may be consumed on all return codes if a record was
|
|
|
|
* decrypted.
|
2015-07-29 02:34:45 +01:00
|
|
|
*
|
|
|
|
* On success, it returns |ssl_open_record_success|. It sets |*out_type| to the
|
2016-06-06 23:54:51 +01:00
|
|
|
* record type and |*out| to the record body in |in|. Note that |*out| may be
|
|
|
|
* empty.
|
2015-07-29 02:34:45 +01:00
|
|
|
*
|
|
|
|
* If a record was successfully processed but should be discarded, it returns
|
2016-06-02 20:42:01 +01:00
|
|
|
* |ssl_open_record_discard|.
|
2015-07-29 02:34:45 +01:00
|
|
|
*
|
2016-06-02 20:42:01 +01:00
|
|
|
* If a record was successfully processed but is a close_notify or fatal alert,
|
|
|
|
* it returns |ssl_open_record_close_notify| or |ssl_open_record_fatal_alert|.
|
2015-07-29 02:34:45 +01:00
|
|
|
*
|
|
|
|
* On failure, it returns |ssl_open_record_error| and sets |*out_alert| to an
|
2016-06-06 23:54:51 +01:00
|
|
|
* alert to emit. */
|
|
|
|
enum ssl_open_record_t tls_open_record(SSL *ssl, uint8_t *out_type, CBS *out,
|
|
|
|
size_t *out_consumed, uint8_t *out_alert,
|
|
|
|
uint8_t *in, size_t in_len);
|
2015-07-29 02:34:45 +01:00
|
|
|
|
|
|
|
/* dtls_open_record implements |tls_open_record| for DTLS. It never returns
|
|
|
|
* |ssl_open_record_partial| but otherwise behaves analogously. */
|
2016-06-06 23:54:51 +01:00
|
|
|
enum ssl_open_record_t dtls_open_record(SSL *ssl, uint8_t *out_type, CBS *out,
|
|
|
|
size_t *out_consumed,
|
|
|
|
uint8_t *out_alert, uint8_t *in,
|
|
|
|
size_t in_len);
|
2015-07-29 02:34:45 +01:00
|
|
|
|
2016-06-08 23:31:24 +01:00
|
|
|
/* ssl_seal_align_prefix_len returns the length of the prefix before the start
|
|
|
|
* of the bulk of the ciphertext when sealing a record with |ssl|. Callers may
|
|
|
|
* use this to align buffers.
|
|
|
|
*
|
|
|
|
* Note when TLS 1.0 CBC record-splitting is enabled, this includes the one byte
|
2017-01-24 22:51:33 +00:00
|
|
|
* record and is the offset into second record's ciphertext. Thus sealing a
|
|
|
|
* small record may result in a smaller output than this value.
|
2015-07-29 02:34:45 +01:00
|
|
|
*
|
2017-01-24 22:51:33 +00:00
|
|
|
* TODO(davidben): Is this alignment valuable? Record-splitting makes this a
|
|
|
|
* mess. */
|
2016-06-08 23:31:24 +01:00
|
|
|
size_t ssl_seal_align_prefix_len(const SSL *ssl);
|
2015-07-29 02:34:45 +01:00
|
|
|
|
|
|
|
/* tls_seal_record seals a new record of type |type| and body |in| and writes it
|
|
|
|
* to |out|. At most |max_out| bytes will be written. It returns one on success
|
|
|
|
* and zero on error. If enabled, |tls_seal_record| implements TLS 1.0 CBC 1/n-1
|
|
|
|
* record splitting and may write two records concatenated.
|
|
|
|
*
|
2016-06-08 23:31:24 +01:00
|
|
|
* For a large record, the bulk of the ciphertext will begin
|
|
|
|
* |ssl_seal_align_prefix_len| bytes into out. Aligning |out| appropriately may
|
2016-11-04 19:44:28 +00:00
|
|
|
* improve performance. It writes at most |in_len| + |SSL_max_seal_overhead|
|
2016-06-08 23:31:24 +01:00
|
|
|
* bytes to |out|.
|
2015-07-29 02:34:45 +01:00
|
|
|
*
|
2016-06-08 23:31:24 +01:00
|
|
|
* |in| and |out| may not alias. */
|
2015-07-29 02:34:45 +01:00
|
|
|
int tls_seal_record(SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
|
|
|
|
uint8_t type, const uint8_t *in, size_t in_len);
|
|
|
|
|
|
|
|
enum dtls1_use_epoch_t {
|
|
|
|
dtls1_use_previous_epoch,
|
|
|
|
dtls1_use_current_epoch,
|
|
|
|
};
|
|
|
|
|
2017-01-03 15:30:35 +00:00
|
|
|
/* dtls_max_seal_overhead returns the maximum overhead, in bytes, of sealing a
|
|
|
|
* record. */
|
|
|
|
size_t dtls_max_seal_overhead(const SSL *ssl, enum dtls1_use_epoch_t use_epoch);
|
|
|
|
|
2017-01-24 22:51:33 +00:00
|
|
|
/* dtls_seal_prefix_len returns the number of bytes of prefix to reserve in
|
|
|
|
* front of the plaintext when sealing a record in-place. */
|
|
|
|
size_t dtls_seal_prefix_len(const SSL *ssl, enum dtls1_use_epoch_t use_epoch);
|
|
|
|
|
2015-07-29 02:34:45 +01:00
|
|
|
/* dtls_seal_record implements |tls_seal_record| for DTLS. |use_epoch| selects
|
2017-01-24 22:51:33 +00:00
|
|
|
* which epoch's cipher state to use. Unlike |tls_seal_record|, |in| and |out|
|
|
|
|
* may alias but, if they do, |in| must be exactly |dtls_seal_prefix_len| bytes
|
|
|
|
* ahead of |out|. */
|
2015-07-29 02:34:45 +01:00
|
|
|
int dtls_seal_record(SSL *ssl, uint8_t *out, size_t *out_len, size_t max_out,
|
|
|
|
uint8_t type, const uint8_t *in, size_t in_len,
|
|
|
|
enum dtls1_use_epoch_t use_epoch);
|
|
|
|
|
2016-06-02 20:42:01 +01:00
|
|
|
/* ssl_process_alert processes |in| as an alert and updates |ssl|'s shutdown
|
|
|
|
* state. It returns one of |ssl_open_record_discard|, |ssl_open_record_error|,
|
|
|
|
* |ssl_open_record_close_notify|, or |ssl_open_record_fatal_alert| as
|
|
|
|
* appropriate. */
|
|
|
|
enum ssl_open_record_t ssl_process_alert(SSL *ssl, uint8_t *out_alert,
|
|
|
|
const uint8_t *in, size_t in_len);
|
|
|
|
|
2015-07-29 02:34:45 +01:00
|
|
|
|
2015-05-29 22:11:21 +01:00
|
|
|
/* Private key operations. */
|
|
|
|
|
2015-07-24 17:31:31 +01:00
|
|
|
/* ssl_has_private_key returns one if |ssl| has a private key
|
|
|
|
* configured and zero otherwise. */
|
2016-07-14 03:03:11 +01:00
|
|
|
int ssl_has_private_key(const SSL *ssl);
|
2015-07-24 17:31:31 +01:00
|
|
|
|
2017-06-17 18:20:59 +01:00
|
|
|
/* ssl_private_key_* perform the corresponding operation on
|
|
|
|
* |SSL_PRIVATE_KEY_METHOD|. If there is a custom private key configured, they
|
|
|
|
* call the corresponding function or |complete| depending on whether there is a
|
|
|
|
* pending operation. Otherwise, they implement the operation with
|
|
|
|
* |EVP_PKEY|. */
|
2015-05-29 22:11:21 +01:00
|
|
|
|
|
|
|
enum ssl_private_key_result_t ssl_private_key_sign(
|
2017-06-17 18:20:59 +01:00
|
|
|
SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len, size_t max_out,
|
2017-08-01 00:09:42 +01:00
|
|
|
uint16_t sigalg, const uint8_t *in, size_t in_len);
|
2015-05-29 22:11:21 +01:00
|
|
|
|
2015-08-07 22:07:52 +01:00
|
|
|
enum ssl_private_key_result_t ssl_private_key_decrypt(
|
2017-06-17 18:20:59 +01:00
|
|
|
SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len, size_t max_out,
|
2015-08-07 22:07:52 +01:00
|
|
|
const uint8_t *in, size_t in_len);
|
|
|
|
|
2017-03-30 21:51:53 +01:00
|
|
|
/* ssl_private_key_supports_signature_algorithm returns one if |hs|'s private
|
2017-03-30 22:37:54 +01:00
|
|
|
* key supports |sigalg| and zero otherwise. */
|
2017-03-30 21:51:53 +01:00
|
|
|
int ssl_private_key_supports_signature_algorithm(SSL_HANDSHAKE *hs,
|
2017-03-30 22:37:54 +01:00
|
|
|
uint16_t sigalg);
|
2016-07-09 02:52:12 +01:00
|
|
|
|
2016-06-30 18:27:23 +01:00
|
|
|
/* ssl_public_key_verify verifies that the |signature| is valid for the public
|
2017-08-01 00:09:42 +01:00
|
|
|
* key |pkey| and input |in|, using the signature algorithm |sigalg|. */
|
|
|
|
int ssl_public_key_verify(SSL *ssl, const uint8_t *signature,
|
|
|
|
size_t signature_len, uint16_t sigalg, EVP_PKEY *pkey,
|
|
|
|
const uint8_t *in, size_t in_len);
|
2015-05-29 22:11:21 +01:00
|
|
|
|
2016-07-09 02:52:12 +01:00
|
|
|
|
2015-07-31 02:10:13 +01:00
|
|
|
/* Custom extensions */
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
} // namespace bssl
|
|
|
|
|
|
|
|
/* |SSL_CUSTOM_EXTENSION| is a structure that contains information about
|
|
|
|
* custom-extension callbacks. It is defined unnamespaced for compatibility with
|
|
|
|
* |STACK_OF(SSL_CUSTOM_EXTENSION)|. */
|
|
|
|
typedef struct ssl_custom_extension {
|
2015-07-31 02:10:13 +01:00
|
|
|
SSL_custom_ext_add_cb add_callback;
|
|
|
|
void *add_arg;
|
|
|
|
SSL_custom_ext_free_cb free_callback;
|
|
|
|
SSL_custom_ext_parse_cb parse_callback;
|
|
|
|
void *parse_arg;
|
|
|
|
uint16_t value;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
} SSL_CUSTOM_EXTENSION;
|
2015-07-31 02:10:13 +01:00
|
|
|
|
2017-04-15 23:12:55 +01:00
|
|
|
DEFINE_STACK_OF(SSL_CUSTOM_EXTENSION)
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
namespace bssl {
|
|
|
|
|
|
|
|
void SSL_CUSTOM_EXTENSION_free(SSL_CUSTOM_EXTENSION *custom_extension);
|
|
|
|
|
2016-11-17 07:47:15 +00:00
|
|
|
int custom_ext_add_clienthello(SSL_HANDSHAKE *hs, CBB *extensions);
|
|
|
|
int custom_ext_parse_serverhello(SSL_HANDSHAKE *hs, int *out_alert,
|
|
|
|
uint16_t value, const CBS *extension);
|
|
|
|
int custom_ext_parse_clienthello(SSL_HANDSHAKE *hs, int *out_alert,
|
|
|
|
uint16_t value, const CBS *extension);
|
|
|
|
int custom_ext_add_serverhello(SSL_HANDSHAKE *hs, CBB *extensions);
|
2015-07-31 02:10:13 +01:00
|
|
|
|
|
|
|
|
2017-07-20 04:28:43 +01:00
|
|
|
/* Key shares. */
|
2015-12-19 05:18:25 +00:00
|
|
|
|
2017-07-20 04:28:43 +01:00
|
|
|
/* SSLKeyShare abstracts over Diffie-Hellman-like key exchanges. */
|
|
|
|
class SSLKeyShare {
|
|
|
|
public:
|
|
|
|
virtual ~SSLKeyShare() {}
|
2017-07-26 03:26:44 +01:00
|
|
|
static constexpr bool kAllowUniquePtr = true;
|
2017-07-24 20:31:13 +01:00
|
|
|
HAS_VIRTUAL_DESTRUCTOR
|
2016-10-26 18:47:33 +01:00
|
|
|
|
2017-07-20 04:28:43 +01:00
|
|
|
/* Create returns a SSLKeyShare instance for use with group |group_id| or
|
|
|
|
* nullptr on error. */
|
|
|
|
static UniquePtr<SSLKeyShare> Create(uint16_t group_id);
|
2015-12-19 05:18:25 +00:00
|
|
|
|
2017-07-20 04:28:43 +01:00
|
|
|
/* GroupID returns the group ID. */
|
2017-07-24 20:31:13 +01:00
|
|
|
virtual uint16_t GroupID() const PURE_VIRTUAL;
|
2015-12-19 05:18:25 +00:00
|
|
|
|
2017-07-20 04:28:43 +01:00
|
|
|
/* Offer generates a keypair and writes the public value to
|
|
|
|
* |out_public_key|. It returns true on success and false on error. */
|
2017-07-24 20:31:13 +01:00
|
|
|
virtual bool Offer(CBB *out_public_key) PURE_VIRTUAL;
|
2016-05-16 22:27:14 +01:00
|
|
|
|
2017-07-20 04:28:43 +01:00
|
|
|
/* Accept performs a key exchange against the |peer_key| generated by |offer|.
|
|
|
|
* On success, it returns true, writes the public value to |out_public_key|,
|
2016-05-16 22:27:14 +01:00
|
|
|
* and sets |*out_secret| and |*out_secret_len| to a newly-allocated buffer
|
|
|
|
* containing the shared secret. The caller must release this buffer with
|
2017-07-20 04:28:43 +01:00
|
|
|
* |OPENSSL_free|. On failure, it returns false and sets |*out_alert| to an
|
|
|
|
* alert to send to the peer.
|
|
|
|
*
|
|
|
|
* The default implementation calls |Offer| and then |Finish|, assuming a key
|
|
|
|
* exchange protocol where the peers are symmetric.
|
|
|
|
*
|
|
|
|
* TODO(davidben): out_secret should be a smart pointer. */
|
|
|
|
virtual bool Accept(CBB *out_public_key, uint8_t **out_secret,
|
|
|
|
size_t *out_secret_len, uint8_t *out_alert,
|
|
|
|
const uint8_t *peer_key, size_t peer_key_len);
|
|
|
|
|
|
|
|
/* Finish performs a key exchange against the |peer_key| generated by
|
|
|
|
* |Accept|. On success, it returns true and sets |*out_secret| and
|
2016-05-16 22:27:14 +01:00
|
|
|
* |*out_secret_len| to a newly-allocated buffer containing the shared
|
|
|
|
* secret. The caller must release this buffer with |OPENSSL_free|. On
|
|
|
|
* failure, it returns zero and sets |*out_alert| to an alert to send to the
|
2017-07-20 04:28:43 +01:00
|
|
|
* peer.
|
|
|
|
*
|
|
|
|
* TODO(davidben): out_secret should be a smart pointer. */
|
|
|
|
virtual bool Finish(uint8_t **out_secret, size_t *out_secret_len,
|
|
|
|
uint8_t *out_alert, const uint8_t *peer_key,
|
2017-07-24 20:31:13 +01:00
|
|
|
size_t peer_key_len) PURE_VIRTUAL;
|
2016-10-26 18:47:33 +01:00
|
|
|
};
|
2015-12-19 05:18:25 +00:00
|
|
|
|
2016-05-17 16:47:53 +01:00
|
|
|
/* ssl_nid_to_group_id looks up the group corresponding to |nid|. On success, it
|
|
|
|
* sets |*out_group_id| to the group ID and returns one. Otherwise, it returns
|
2015-12-19 05:18:25 +00:00
|
|
|
* zero. */
|
2016-05-17 16:47:53 +01:00
|
|
|
int ssl_nid_to_group_id(uint16_t *out_group_id, int nid);
|
2015-12-19 05:18:25 +00:00
|
|
|
|
2016-09-28 21:04:25 +01:00
|
|
|
/* ssl_name_to_group_id looks up the group corresponding to the |name| string
|
|
|
|
* of length |len|. On success, it sets |*out_group_id| to the group ID and
|
|
|
|
* returns one. Otherwise, it returns zero. */
|
|
|
|
int ssl_name_to_group_id(uint16_t *out_group_id, const char *name, size_t len);
|
|
|
|
|
2015-12-19 05:18:25 +00:00
|
|
|
|
Simplify handshake message size limits.
A handshake message can go up to 2^24 bytes = 16MB which is a little large for
the peer to force us to buffer. Accordingly, we bound the size of a
handshake message.
Rather than have a global limit, the existing logic uses a different limit at
each state in the handshake state machine and, for certificates, allows
configuring the maximum certificate size. This is nice in that we engage larger
limits iff the relevant state is reachable from the handshake. Servers without
client auth get a tighter limit "for free".
However, this doesn't work for DTLS due to out-of-order messages and we use a
simpler scheme for DTLS. This scheme also is tricky on optional messages and
makes the handshake <-> message layer communication complex.
Apart from an ignored 20,000 byte limit on ServerHello, the largest
non-certificate limit is the common 16k limit on ClientHello. So this
complexity wasn't buying us anything. Unify everything on the DTLS scheme
except, so as not to regress bounds on client-auth-less servers, also correctly
check for whether client auth is configured. The value of 16k was chosen based
on this value.
(The 20,000 byte ServerHello limit makes no sense. We can easily bound the
ServerHello because servers may not send extensions we don't implement. But it
gets overshadowed by the certificate anyway.)
Change-Id: I00309b16d809a3c2a1543f99fd29c4163e3add81
Reviewed-on: https://boringssl-review.googlesource.com/7941
Reviewed-by: David Benjamin <davidben@google.com>
2016-05-12 05:43:05 +01:00
|
|
|
/* Handshake messages. */
|
|
|
|
|
2016-06-18 00:12:54 +01:00
|
|
|
/* SSL_MAX_HANDSHAKE_FLIGHT is the number of messages, including
|
|
|
|
* ChangeCipherSpec, in the longest handshake flight. Currently this is the
|
|
|
|
* client's second leg in a full handshake when client certificates, NPN, and
|
|
|
|
* Channel ID, are all enabled. */
|
|
|
|
#define SSL_MAX_HANDSHAKE_FLIGHT 7
|
|
|
|
|
Simplify handshake message size limits.
A handshake message can go up to 2^24 bytes = 16MB which is a little large for
the peer to force us to buffer. Accordingly, we bound the size of a
handshake message.
Rather than have a global limit, the existing logic uses a different limit at
each state in the handshake state machine and, for certificates, allows
configuring the maximum certificate size. This is nice in that we engage larger
limits iff the relevant state is reachable from the handshake. Servers without
client auth get a tighter limit "for free".
However, this doesn't work for DTLS due to out-of-order messages and we use a
simpler scheme for DTLS. This scheme also is tricky on optional messages and
makes the handshake <-> message layer communication complex.
Apart from an ignored 20,000 byte limit on ServerHello, the largest
non-certificate limit is the common 16k limit on ClientHello. So this
complexity wasn't buying us anything. Unify everything on the DTLS scheme
except, so as not to regress bounds on client-auth-less servers, also correctly
check for whether client auth is configured. The value of 16k was chosen based
on this value.
(The 20,000 byte ServerHello limit makes no sense. We can easily bound the
ServerHello because servers may not send extensions we don't implement. But it
gets overshadowed by the certificate anyway.)
Change-Id: I00309b16d809a3c2a1543f99fd29c4163e3add81
Reviewed-on: https://boringssl-review.googlesource.com/7941
Reviewed-by: David Benjamin <davidben@google.com>
2016-05-12 05:43:05 +01:00
|
|
|
/* ssl_max_handshake_message_len returns the maximum number of bytes permitted
|
|
|
|
* in a handshake message for |ssl|. */
|
|
|
|
size_t ssl_max_handshake_message_len(const SSL *ssl);
|
|
|
|
|
2016-06-18 00:30:47 +01:00
|
|
|
/* dtls_clear_incoming_messages releases all buffered incoming messages. */
|
|
|
|
void dtls_clear_incoming_messages(SSL *ssl);
|
|
|
|
|
2016-07-15 04:10:43 +01:00
|
|
|
/* dtls_has_incoming_messages returns one if there are buffered incoming
|
|
|
|
* messages ahead of the current message and zero otherwise. */
|
|
|
|
int dtls_has_incoming_messages(const SSL *ssl);
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct DTLS_OUTGOING_MESSAGE {
|
2016-06-18 00:12:54 +01:00
|
|
|
uint8_t *data;
|
|
|
|
uint32_t len;
|
|
|
|
uint16_t epoch;
|
|
|
|
char is_ccs;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2016-06-18 00:12:54 +01:00
|
|
|
|
|
|
|
/* dtls_clear_outgoing_messages releases all buffered outgoing messages. */
|
|
|
|
void dtls_clear_outgoing_messages(SSL *ssl);
|
|
|
|
|
Simplify handshake message size limits.
A handshake message can go up to 2^24 bytes = 16MB which is a little large for
the peer to force us to buffer. Accordingly, we bound the size of a
handshake message.
Rather than have a global limit, the existing logic uses a different limit at
each state in the handshake state machine and, for certificates, allows
configuring the maximum certificate size. This is nice in that we engage larger
limits iff the relevant state is reachable from the handshake. Servers without
client auth get a tighter limit "for free".
However, this doesn't work for DTLS due to out-of-order messages and we use a
simpler scheme for DTLS. This scheme also is tricky on optional messages and
makes the handshake <-> message layer communication complex.
Apart from an ignored 20,000 byte limit on ServerHello, the largest
non-certificate limit is the common 16k limit on ClientHello. So this
complexity wasn't buying us anything. Unify everything on the DTLS scheme
except, so as not to regress bounds on client-auth-less servers, also correctly
check for whether client auth is configured. The value of 16k was chosen based
on this value.
(The 20,000 byte ServerHello limit makes no sense. We can easily bound the
ServerHello because servers may not send extensions we don't implement. But it
gets overshadowed by the certificate anyway.)
Change-Id: I00309b16d809a3c2a1543f99fd29c4163e3add81
Reviewed-on: https://boringssl-review.googlesource.com/7941
Reviewed-by: David Benjamin <davidben@google.com>
2016-05-12 05:43:05 +01:00
|
|
|
|
2016-06-02 01:16:03 +01:00
|
|
|
/* Callbacks. */
|
|
|
|
|
|
|
|
/* ssl_do_info_callback calls |ssl|'s info callback, if set. */
|
|
|
|
void ssl_do_info_callback(const SSL *ssl, int type, int value);
|
|
|
|
|
|
|
|
/* ssl_do_msg_callback calls |ssl|'s message callback, if set. */
|
2016-09-20 01:15:07 +01:00
|
|
|
void ssl_do_msg_callback(SSL *ssl, int is_write, int content_type,
|
2016-06-02 01:16:03 +01:00
|
|
|
const void *buf, size_t len);
|
|
|
|
|
|
|
|
|
2015-07-29 02:34:45 +01:00
|
|
|
/* Transport buffers. */
|
|
|
|
|
|
|
|
/* ssl_read_buffer returns a pointer to contents of the read buffer. */
|
|
|
|
uint8_t *ssl_read_buffer(SSL *ssl);
|
|
|
|
|
|
|
|
/* ssl_read_buffer_len returns the length of the read buffer. */
|
|
|
|
size_t ssl_read_buffer_len(const SSL *ssl);
|
|
|
|
|
|
|
|
/* ssl_read_buffer_extend_to extends the read buffer to the desired length. For
|
|
|
|
* TLS, it reads to the end of the buffer until the buffer is |len| bytes
|
|
|
|
* long. For DTLS, it reads a new packet and ignores |len|. It returns one on
|
|
|
|
* success, zero on EOF, and a negative number on error.
|
|
|
|
*
|
|
|
|
* It is an error to call |ssl_read_buffer_extend_to| in DTLS when the buffer is
|
|
|
|
* non-empty. */
|
|
|
|
int ssl_read_buffer_extend_to(SSL *ssl, size_t len);
|
|
|
|
|
|
|
|
/* ssl_read_buffer_consume consumes |len| bytes from the read buffer. It
|
|
|
|
* advances the data pointer and decrements the length. The memory consumed will
|
|
|
|
* remain valid until the next call to |ssl_read_buffer_extend| or it is
|
|
|
|
* discarded with |ssl_read_buffer_discard|. */
|
|
|
|
void ssl_read_buffer_consume(SSL *ssl, size_t len);
|
|
|
|
|
|
|
|
/* ssl_read_buffer_discard discards the consumed bytes from the read buffer. If
|
|
|
|
* the buffer is now empty, it releases memory used by it. */
|
|
|
|
void ssl_read_buffer_discard(SSL *ssl);
|
|
|
|
|
|
|
|
/* ssl_read_buffer_clear releases all memory associated with the read buffer and
|
|
|
|
* zero-initializes it. */
|
|
|
|
void ssl_read_buffer_clear(SSL *ssl);
|
|
|
|
|
|
|
|
/* ssl_write_buffer_is_pending returns one if the write buffer has pending data
|
|
|
|
* and zero if is empty. */
|
|
|
|
int ssl_write_buffer_is_pending(const SSL *ssl);
|
|
|
|
|
|
|
|
/* ssl_write_buffer_init initializes the write buffer. On success, it sets
|
|
|
|
* |*out_ptr| to the start of the write buffer with space for up to |max_len|
|
|
|
|
* bytes. It returns one on success and zero on failure. Call
|
|
|
|
* |ssl_write_buffer_set_len| to complete initialization. */
|
|
|
|
int ssl_write_buffer_init(SSL *ssl, uint8_t **out_ptr, size_t max_len);
|
|
|
|
|
|
|
|
/* ssl_write_buffer_set_len is called after |ssl_write_buffer_init| to complete
|
|
|
|
* initialization after |len| bytes are written to the buffer. */
|
|
|
|
void ssl_write_buffer_set_len(SSL *ssl, size_t len);
|
|
|
|
|
|
|
|
/* ssl_write_buffer_flush flushes the write buffer to the transport. It returns
|
|
|
|
* one on success and <= 0 on error. For DTLS, whether or not the write
|
|
|
|
* succeeds, the write buffer will be cleared. */
|
|
|
|
int ssl_write_buffer_flush(SSL *ssl);
|
|
|
|
|
|
|
|
/* ssl_write_buffer_clear releases all memory associated with the write buffer
|
|
|
|
* and zero-initializes it. */
|
|
|
|
void ssl_write_buffer_clear(SSL *ssl);
|
|
|
|
|
|
|
|
|
2016-06-17 23:48:29 +01:00
|
|
|
/* Certificate functions. */
|
2015-04-08 07:36:59 +01:00
|
|
|
|
2016-07-14 03:03:11 +01:00
|
|
|
/* ssl_has_certificate returns one if a certificate and private key are
|
|
|
|
* configured and zero otherwise. */
|
|
|
|
int ssl_has_certificate(const SSL *ssl);
|
|
|
|
|
2016-07-14 04:03:26 +01:00
|
|
|
/* ssl_parse_cert_chain parses a certificate list from |cbs| in the format used
|
2017-07-21 01:19:36 +01:00
|
|
|
* by a TLS Certificate message. On success, it advances |cbs| and returns
|
|
|
|
* true. Otherwise, it returns false and sets |*out_alert| to an alert to send
|
|
|
|
* to the peer.
|
2016-12-12 19:37:43 +00:00
|
|
|
*
|
2017-07-21 01:19:36 +01:00
|
|
|
* If the list is non-empty then |*out_chain| and |*out_pubkey| will be set to
|
|
|
|
* the certificate chain and the leaf certificate's public key
|
|
|
|
* respectively. Otherwise, both will be set to nullptr.
|
2016-12-12 19:37:43 +00:00
|
|
|
*
|
|
|
|
* If the list is non-empty and |out_leaf_sha256| is non-NULL, it writes the
|
|
|
|
* SHA-256 hash of the leaf to |out_leaf_sha256|. */
|
2017-07-21 01:19:36 +01:00
|
|
|
bool ssl_parse_cert_chain(uint8_t *out_alert,
|
|
|
|
UniquePtr<STACK_OF(CRYPTO_BUFFER)> *out_chain,
|
|
|
|
UniquePtr<EVP_PKEY> *out_pubkey,
|
|
|
|
uint8_t *out_leaf_sha256, CBS *cbs,
|
|
|
|
CRYPTO_BUFFER_POOL *pool);
|
2016-07-14 04:03:26 +01:00
|
|
|
|
2016-07-14 03:03:11 +01:00
|
|
|
/* ssl_add_cert_chain adds |ssl|'s certificate chain to |cbb| in the format used
|
|
|
|
* by a TLS Certificate message. If there is no certificate chain, it emits an
|
|
|
|
* empty certificate list. It returns one on success and zero on error. */
|
|
|
|
int ssl_add_cert_chain(SSL *ssl, CBB *cbb);
|
|
|
|
|
2016-12-13 20:05:49 +00:00
|
|
|
/* ssl_cert_check_digital_signature_key_usage parses the DER-encoded, X.509
|
|
|
|
* certificate in |in| and returns one if doesn't specify a key usage or, if it
|
|
|
|
* does, if it includes digitalSignature. Otherwise it pushes to the error
|
|
|
|
* queue and returns zero. */
|
|
|
|
int ssl_cert_check_digital_signature_key_usage(const CBS *in);
|
|
|
|
|
2016-12-12 19:37:43 +00:00
|
|
|
/* ssl_cert_parse_pubkey extracts the public key from the DER-encoded, X.509
|
2017-07-20 19:49:15 +01:00
|
|
|
* certificate in |in|. It returns an allocated |EVP_PKEY| or else returns
|
|
|
|
* nullptr and pushes to the error queue. */
|
|
|
|
UniquePtr<EVP_PKEY> ssl_cert_parse_pubkey(const CBS *in);
|
2016-12-12 19:37:43 +00:00
|
|
|
|
2016-07-14 03:40:36 +01:00
|
|
|
/* ssl_parse_client_CA_list parses a CA list from |cbs| in the format used by a
|
|
|
|
* TLS CertificateRequest message. On success, it returns a newly-allocated
|
2017-07-20 19:49:15 +01:00
|
|
|
* |CRYPTO_BUFFER| list and advances |cbs|. Otherwise, it returns nullptr and
|
|
|
|
* sets |*out_alert| to an alert to send to the peer. */
|
|
|
|
UniquePtr<STACK_OF(CRYPTO_BUFFER)> ssl_parse_client_CA_list(SSL *ssl,
|
|
|
|
uint8_t *out_alert,
|
|
|
|
CBS *cbs);
|
2016-07-14 03:40:36 +01:00
|
|
|
|
2016-07-14 03:03:11 +01:00
|
|
|
/* ssl_add_client_CA_list adds the configured CA list to |cbb| in the format
|
|
|
|
* used by a TLS CertificateRequest message. It returns one on success and zero
|
|
|
|
* on error. */
|
|
|
|
int ssl_add_client_CA_list(SSL *ssl, CBB *cbb);
|
|
|
|
|
2016-12-13 20:05:49 +00:00
|
|
|
/* ssl_check_leaf_certificate returns one if |pkey| and |leaf| are suitable as
|
2017-02-10 01:01:26 +00:00
|
|
|
* a server's leaf certificate for |hs|. Otherwise, it returns zero and pushes
|
2016-12-13 20:05:49 +00:00
|
|
|
* an error on the error queue. */
|
2017-02-10 01:01:26 +00:00
|
|
|
int ssl_check_leaf_certificate(SSL_HANDSHAKE *hs, EVP_PKEY *pkey,
|
2016-12-13 20:05:49 +00:00
|
|
|
const CRYPTO_BUFFER *leaf);
|
2016-07-15 12:07:40 +01:00
|
|
|
|
2017-03-30 21:51:53 +01:00
|
|
|
/* ssl_on_certificate_selected is called once the certificate has been selected.
|
|
|
|
* It finalizes the certificate and initializes |hs->local_pubkey|. It returns
|
|
|
|
* one on success and zero on error. */
|
|
|
|
int ssl_on_certificate_selected(SSL_HANDSHAKE *hs);
|
|
|
|
|
2014-12-19 01:42:32 +00:00
|
|
|
|
2016-07-11 18:19:03 +01:00
|
|
|
/* TLS 1.3 key derivation. */
|
|
|
|
|
|
|
|
/* tls13_init_key_schedule initializes the handshake hash and key derivation
|
2016-11-01 17:39:36 +00:00
|
|
|
* state. The cipher suite and PRF hash must have been selected at this point.
|
|
|
|
* It returns one on success and zero on error. */
|
2016-11-17 07:43:08 +00:00
|
|
|
int tls13_init_key_schedule(SSL_HANDSHAKE *hs);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2017-01-11 16:34:52 +00:00
|
|
|
/* tls13_init_early_key_schedule initializes the handshake hash and key
|
|
|
|
* derivation state from the resumption secret to derive the early secrets. It
|
|
|
|
* returns one on success and zero on error. */
|
|
|
|
int tls13_init_early_key_schedule(SSL_HANDSHAKE *hs);
|
|
|
|
|
2016-07-11 18:19:03 +01:00
|
|
|
/* tls13_advance_key_schedule incorporates |in| into the key schedule with
|
|
|
|
* HKDF-Extract. It returns one on success and zero on error. */
|
2016-11-17 07:43:08 +00:00
|
|
|
int tls13_advance_key_schedule(SSL_HANDSHAKE *hs, const uint8_t *in,
|
|
|
|
size_t len);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-11-01 17:39:36 +00:00
|
|
|
/* tls13_set_traffic_key sets the read or write traffic keys to
|
|
|
|
* |traffic_secret|. It returns one on success and zero on error. */
|
|
|
|
int tls13_set_traffic_key(SSL *ssl, enum evp_aead_direction_t direction,
|
2016-07-11 18:19:03 +01:00
|
|
|
const uint8_t *traffic_secret,
|
|
|
|
size_t traffic_secret_len);
|
|
|
|
|
2017-01-11 16:34:52 +00:00
|
|
|
/* tls13_derive_early_secrets derives the early traffic secret. It returns one
|
|
|
|
* on success and zero on error. */
|
|
|
|
int tls13_derive_early_secrets(SSL_HANDSHAKE *hs);
|
|
|
|
|
2016-12-16 16:29:28 +00:00
|
|
|
/* tls13_derive_handshake_secrets derives the handshake traffic secret. It
|
|
|
|
* returns one on success and zero on error. */
|
|
|
|
int tls13_derive_handshake_secrets(SSL_HANDSHAKE *hs);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-07-26 17:27:38 +01:00
|
|
|
/* tls13_rotate_traffic_key derives the next read or write traffic secret. It
|
|
|
|
* returns one on success and zero on error. */
|
|
|
|
int tls13_rotate_traffic_key(SSL *ssl, enum evp_aead_direction_t direction);
|
|
|
|
|
2016-11-01 17:39:36 +00:00
|
|
|
/* tls13_derive_application_secrets derives the initial application data traffic
|
|
|
|
* and exporter secrets based on the handshake transcripts and |master_secret|.
|
|
|
|
* It returns one on success and zero on error. */
|
2016-11-17 07:43:08 +00:00
|
|
|
int tls13_derive_application_secrets(SSL_HANDSHAKE *hs);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-11-01 17:39:36 +00:00
|
|
|
/* tls13_derive_resumption_secret derives the |resumption_secret|. */
|
2016-11-17 07:43:08 +00:00
|
|
|
int tls13_derive_resumption_secret(SSL_HANDSHAKE *hs);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-11-01 17:39:36 +00:00
|
|
|
/* tls13_export_keying_material provides an exporter interface to use the
|
2016-07-11 18:19:03 +01:00
|
|
|
* |exporter_secret|. */
|
|
|
|
int tls13_export_keying_material(SSL *ssl, uint8_t *out, size_t out_len,
|
|
|
|
const char *label, size_t label_len,
|
|
|
|
const uint8_t *context, size_t context_len,
|
|
|
|
int use_context);
|
|
|
|
|
|
|
|
/* tls13_finished_mac calculates the MAC of the handshake transcript to verify
|
|
|
|
* the integrity of the Finished message, and stores the result in |out| and
|
|
|
|
* length in |out_len|. |is_server| is 1 if this is for the Server Finished and
|
|
|
|
* 0 for the Client Finished. */
|
2016-11-17 07:43:08 +00:00
|
|
|
int tls13_finished_mac(SSL_HANDSHAKE *hs, uint8_t *out,
|
|
|
|
size_t *out_len, int is_server);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-11-01 17:39:36 +00:00
|
|
|
/* tls13_write_psk_binder calculates the PSK binder value and replaces the last
|
|
|
|
* bytes of |msg| with the resulting value. It returns 1 on success, and 0 on
|
|
|
|
* failure. */
|
2017-01-12 18:17:07 +00:00
|
|
|
int tls13_write_psk_binder(SSL_HANDSHAKE *hs, uint8_t *msg, size_t len);
|
2016-07-29 19:32:55 +01:00
|
|
|
|
2016-11-01 17:39:36 +00:00
|
|
|
/* tls13_verify_psk_binder verifies that the handshake transcript, truncated
|
|
|
|
* up to the binders has a valid signature using the value of |session|'s
|
|
|
|
* resumption secret. It returns 1 on success, and 0 on failure. */
|
2017-01-12 18:17:07 +00:00
|
|
|
int tls13_verify_psk_binder(SSL_HANDSHAKE *hs, SSL_SESSION *session,
|
|
|
|
CBS *binders);
|
2016-07-29 19:32:55 +01:00
|
|
|
|
2016-07-11 18:19:03 +01:00
|
|
|
|
|
|
|
/* Handshake functions. */
|
|
|
|
|
|
|
|
enum ssl_hs_wait_t {
|
|
|
|
ssl_hs_error,
|
|
|
|
ssl_hs_ok,
|
|
|
|
ssl_hs_read_message,
|
|
|
|
ssl_hs_flush,
|
2016-07-18 21:25:05 +01:00
|
|
|
ssl_hs_flush_and_read_message,
|
2016-07-11 18:19:03 +01:00
|
|
|
ssl_hs_x509_lookup,
|
2016-09-24 00:25:11 +01:00
|
|
|
ssl_hs_channel_id_lookup,
|
2016-07-11 18:19:03 +01:00
|
|
|
ssl_hs_private_key_operation,
|
2017-03-10 22:47:18 +00:00
|
|
|
ssl_hs_pending_ticket,
|
2017-03-09 19:56:07 +00:00
|
|
|
ssl_hs_early_data_rejected,
|
2017-01-11 16:34:52 +00:00
|
|
|
ssl_hs_read_end_of_early_data,
|
2017-06-13 17:45:25 +01:00
|
|
|
ssl_hs_read_change_cipher_spec,
|
2017-07-11 21:13:10 +01:00
|
|
|
ssl_hs_certificate_verify,
|
2016-07-11 18:19:03 +01:00
|
|
|
};
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct SSL_HANDSHAKE {
|
2017-07-20 19:01:44 +01:00
|
|
|
explicit SSL_HANDSHAKE(SSL *ssl);
|
|
|
|
~SSL_HANDSHAKE();
|
2017-07-26 03:26:44 +01:00
|
|
|
static constexpr bool kAllowUniquePtr = true;
|
2017-07-20 19:01:44 +01:00
|
|
|
|
2016-11-14 01:45:16 +00:00
|
|
|
/* ssl is a non-owning pointer to the parent |SSL| object. */
|
|
|
|
SSL *ssl;
|
|
|
|
|
|
|
|
/* do_tls13_handshake runs the TLS 1.3 handshake. On completion, it returns
|
|
|
|
* |ssl_hs_ok|. Otherwise, it returns a value corresponding to what operation
|
|
|
|
* is needed to progress. */
|
2016-11-14 01:32:04 +00:00
|
|
|
enum ssl_hs_wait_t (*do_tls13_handshake)(SSL_HANDSHAKE *hs);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-12-07 23:54:54 +00:00
|
|
|
/* wait contains the operation |do_tls13_handshake| is currently blocking on
|
|
|
|
* or |ssl_hs_ok| if none. */
|
2017-07-20 19:01:44 +01:00
|
|
|
enum ssl_hs_wait_t wait = ssl_hs_ok;
|
2016-12-07 23:54:54 +00:00
|
|
|
|
2016-12-12 22:00:50 +00:00
|
|
|
/* state contains one of the SSL3_ST_* values. */
|
2017-07-20 19:01:44 +01:00
|
|
|
int state = SSL_ST_INIT;
|
2016-12-12 22:00:50 +00:00
|
|
|
|
|
|
|
/* next_state is used when SSL_ST_FLUSH_DATA is entered */
|
2017-07-20 19:01:44 +01:00
|
|
|
int next_state = 0;
|
2016-12-12 22:00:50 +00:00
|
|
|
|
2016-12-11 18:30:41 +00:00
|
|
|
/* tls13_state is the internal state for the TLS 1.3 handshake. Its values
|
|
|
|
* depend on |do_tls13_handshake| but the starting state is always zero. */
|
2017-07-20 19:01:44 +01:00
|
|
|
int tls13_state = 0;
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2017-06-20 19:49:43 +01:00
|
|
|
/* min_version is the minimum accepted protocol version, taking account both
|
|
|
|
* |SSL_OP_NO_*| and |SSL_CTX_set_min_proto_version| APIs. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t min_version = 0;
|
2017-06-20 19:49:43 +01:00
|
|
|
|
|
|
|
/* max_version is the maximum accepted protocol version, taking account both
|
|
|
|
* |SSL_OP_NO_*| and |SSL_CTX_set_max_proto_version| APIs. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t max_version = 0;
|
2017-06-20 19:49:43 +01:00
|
|
|
|
2017-06-13 17:45:25 +01:00
|
|
|
/* session_id is the session ID in the ClientHello, used for the experimental
|
|
|
|
* TLS 1.3 variant. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint8_t session_id[SSL_MAX_SSL_SESSION_ID_LENGTH] = {0};
|
|
|
|
uint8_t session_id_len = 0;
|
|
|
|
|
|
|
|
size_t hash_len = 0;
|
|
|
|
uint8_t secret[EVP_MAX_MD_SIZE] = {0};
|
|
|
|
uint8_t early_traffic_secret[EVP_MAX_MD_SIZE] = {0};
|
|
|
|
uint8_t client_handshake_secret[EVP_MAX_MD_SIZE] = {0};
|
|
|
|
uint8_t server_handshake_secret[EVP_MAX_MD_SIZE] = {0};
|
|
|
|
uint8_t client_traffic_secret_0[EVP_MAX_MD_SIZE] = {0};
|
|
|
|
uint8_t server_traffic_secret_0[EVP_MAX_MD_SIZE] = {0};
|
|
|
|
uint8_t expected_client_finished[EVP_MAX_MD_SIZE] = {0};
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-10-07 00:39:20 +01:00
|
|
|
union {
|
|
|
|
/* sent is a bitset where the bits correspond to elements of kExtensions
|
|
|
|
* in t1_lib.c. Each bit is set if that extension was sent in a
|
|
|
|
* ClientHello. It's not used by servers. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint32_t sent = 0;
|
2016-10-07 00:39:20 +01:00
|
|
|
/* received is a bitset, like |sent|, but is used by servers to record
|
|
|
|
* which extensions were received from a client. */
|
|
|
|
uint32_t received;
|
|
|
|
} extensions;
|
|
|
|
|
|
|
|
union {
|
|
|
|
/* sent is a bitset where the bits correspond to elements of
|
|
|
|
* |client_custom_extensions| in the |SSL_CTX|. Each bit is set if that
|
|
|
|
* extension was sent in a ClientHello. It's not used by servers. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t sent = 0;
|
2016-10-07 00:39:20 +01:00
|
|
|
/* received is a bitset, like |sent|, but is used by servers to record
|
|
|
|
* which custom extensions were received from a client. The bits here
|
|
|
|
* correspond to |server_custom_extensions|. */
|
|
|
|
uint16_t received;
|
|
|
|
} custom_extensions;
|
|
|
|
|
2016-08-16 07:17:03 +01:00
|
|
|
/* retry_group is the group ID selected by the server in HelloRetryRequest in
|
|
|
|
* TLS 1.3. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t retry_group = 0;
|
2016-08-16 07:17:03 +01:00
|
|
|
|
2017-07-20 04:28:43 +01:00
|
|
|
/* key_share is the current key exchange instance. */
|
|
|
|
UniquePtr<SSLKeyShare> key_share;
|
2016-12-07 23:54:54 +00:00
|
|
|
|
2017-01-12 18:17:07 +00:00
|
|
|
/* transcript is the current handshake transcript. */
|
2017-07-19 21:38:21 +01:00
|
|
|
SSLTranscript transcript;
|
2017-01-12 18:17:07 +00:00
|
|
|
|
2016-10-08 02:10:38 +01:00
|
|
|
/* cookie is the value of the cookie received from the server, if any. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint8_t *cookie = nullptr;
|
|
|
|
size_t cookie_len = 0;
|
2016-10-08 02:10:38 +01:00
|
|
|
|
2016-08-16 07:17:03 +01:00
|
|
|
/* key_share_bytes is the value of the previously sent KeyShare extension by
|
|
|
|
* the client in TLS 1.3. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint8_t *key_share_bytes = nullptr;
|
|
|
|
size_t key_share_bytes_len = 0;
|
2016-08-16 07:17:03 +01:00
|
|
|
|
2017-03-30 21:45:21 +01:00
|
|
|
/* ecdh_public_key, for servers, is the key share to be sent to the client in
|
|
|
|
* TLS 1.3. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint8_t *ecdh_public_key = nullptr;
|
|
|
|
size_t ecdh_public_key_len = 0;
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-08-17 20:29:46 +01:00
|
|
|
/* peer_sigalgs are the signature algorithms that the peer supports. These are
|
|
|
|
* taken from the contents of the signature algorithms extension for a server
|
|
|
|
* or from the CertificateRequest for a client. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t *peer_sigalgs = nullptr;
|
2016-08-17 20:29:46 +01:00
|
|
|
/* num_peer_sigalgs is the number of entries in |peer_sigalgs|. */
|
2017-07-20 19:01:44 +01:00
|
|
|
size_t num_peer_sigalgs = 0;
|
2016-08-17 20:29:46 +01:00
|
|
|
|
2016-10-07 05:41:50 +01:00
|
|
|
/* peer_supported_group_list contains the supported group IDs advertised by
|
|
|
|
* the peer. This is only set on the server's end. The server does not
|
|
|
|
* advertise this extension to the client. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t *peer_supported_group_list = nullptr;
|
|
|
|
size_t peer_supported_group_list_len = 0;
|
2016-10-07 05:41:50 +01:00
|
|
|
|
2016-10-08 07:49:01 +01:00
|
|
|
/* peer_key is the peer's ECDH key for a TLS 1.2 client. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint8_t *peer_key = nullptr;
|
|
|
|
size_t peer_key_len = 0;
|
2016-10-08 07:49:01 +01:00
|
|
|
|
2017-06-17 18:20:59 +01:00
|
|
|
/* server_params, in a TLS 1.2 server, stores the ServerKeyExchange
|
|
|
|
* parameters. It has client and server randoms prepended for signing
|
|
|
|
* convenience. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint8_t *server_params = nullptr;
|
|
|
|
size_t server_params_len = 0;
|
2016-10-08 07:49:01 +01:00
|
|
|
|
2016-12-07 23:54:54 +00:00
|
|
|
/* peer_psk_identity_hint, on the client, is the psk_identity_hint sent by the
|
|
|
|
* server when using a TLS 1.2 PSK key exchange. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<char> peer_psk_identity_hint;
|
2016-12-07 23:54:54 +00:00
|
|
|
|
|
|
|
/* ca_names, on the client, contains the list of CAs received in a
|
|
|
|
* CertificateRequest message. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<STACK_OF(CRYPTO_BUFFER)> ca_names;
|
2017-02-02 18:57:17 +00:00
|
|
|
|
|
|
|
/* cached_x509_ca_names contains a cache of parsed versions of the elements
|
|
|
|
* of |ca_names|. */
|
2017-07-20 19:01:44 +01:00
|
|
|
STACK_OF(X509_NAME) *cached_x509_ca_names = nullptr;
|
2016-12-07 23:54:54 +00:00
|
|
|
|
|
|
|
/* certificate_types, on the client, contains the set of certificate types
|
|
|
|
* received in a CertificateRequest message. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint8_t *certificate_types = nullptr;
|
|
|
|
size_t num_certificate_types = 0;
|
2016-12-07 23:54:54 +00:00
|
|
|
|
|
|
|
/* hostname, on the server, is the value of the SNI extension. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<char> hostname;
|
2017-03-30 21:51:53 +01:00
|
|
|
|
|
|
|
/* local_pubkey is the public key we are authenticating as. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<EVP_PKEY> local_pubkey;
|
2016-12-07 23:54:54 +00:00
|
|
|
|
2016-12-12 19:37:43 +00:00
|
|
|
/* peer_pubkey is the public key parsed from the peer's leaf certificate. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<EVP_PKEY> peer_pubkey;
|
2016-12-12 19:37:43 +00:00
|
|
|
|
2017-02-10 01:01:26 +00:00
|
|
|
/* new_session is the new mutable session being established by the current
|
|
|
|
* handshake. It should not be cached. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<SSL_SESSION> new_session;
|
2017-02-10 01:01:26 +00:00
|
|
|
|
2017-03-09 19:56:07 +00:00
|
|
|
/* early_session is the session corresponding to the current 0-RTT state on
|
|
|
|
* the client if |in_early_data| is true. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<SSL_SESSION> early_session;
|
2017-03-09 19:56:07 +00:00
|
|
|
|
2017-02-10 01:01:26 +00:00
|
|
|
/* new_cipher is the cipher being negotiated in this handshake. */
|
2017-07-20 19:01:44 +01:00
|
|
|
const SSL_CIPHER *new_cipher = nullptr;
|
2017-02-10 01:01:26 +00:00
|
|
|
|
2016-12-07 23:54:54 +00:00
|
|
|
/* key_block is the record-layer key block for TLS 1.2 and earlier. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint8_t *key_block = nullptr;
|
|
|
|
uint8_t key_block_len = 0;
|
2016-12-07 23:54:54 +00:00
|
|
|
|
|
|
|
/* scts_requested is one if the SCT extension is in the ClientHello. */
|
|
|
|
unsigned scts_requested:1;
|
|
|
|
|
|
|
|
/* needs_psk_binder if the ClientHello has a placeholder PSK binder to be
|
|
|
|
* filled in. */
|
|
|
|
unsigned needs_psk_binder:1;
|
|
|
|
|
|
|
|
unsigned received_hello_retry_request:1;
|
|
|
|
|
|
|
|
/* accept_psk_mode stores whether the client's PSK mode is compatible with our
|
|
|
|
* preferences. */
|
|
|
|
unsigned accept_psk_mode:1;
|
|
|
|
|
2016-10-07 00:11:32 +01:00
|
|
|
/* cert_request is one if a client certificate was requested and zero
|
|
|
|
* otherwise. */
|
|
|
|
unsigned cert_request:1;
|
|
|
|
|
|
|
|
/* certificate_status_expected is one if OCSP stapling was negotiated and the
|
|
|
|
* server is expected to send a CertificateStatus message. (This is used on
|
|
|
|
* both the client and server sides.) */
|
|
|
|
unsigned certificate_status_expected:1;
|
|
|
|
|
|
|
|
/* ocsp_stapling_requested is one if a client requested OCSP stapling. */
|
|
|
|
unsigned ocsp_stapling_requested:1;
|
|
|
|
|
|
|
|
/* should_ack_sni is used by a server and indicates that the SNI extension
|
|
|
|
* should be echoed in the ServerHello. */
|
|
|
|
unsigned should_ack_sni:1;
|
|
|
|
|
|
|
|
/* in_false_start is one if there is a pending client handshake in False
|
|
|
|
* Start. The client may write data at this point. */
|
|
|
|
unsigned in_false_start:1;
|
|
|
|
|
2017-03-09 19:56:07 +00:00
|
|
|
/* in_early_data is one if there is a pending handshake that has progressed
|
|
|
|
* enough to send and receive early data. */
|
|
|
|
unsigned in_early_data:1;
|
|
|
|
|
2017-01-11 16:34:52 +00:00
|
|
|
/* early_data_offered is one if the client sent the early_data extension. */
|
|
|
|
unsigned early_data_offered:1;
|
|
|
|
|
2016-12-19 18:19:29 +00:00
|
|
|
/* can_early_read is one if application data may be read at this point in the
|
|
|
|
* handshake. */
|
|
|
|
unsigned can_early_read:1;
|
|
|
|
|
|
|
|
/* can_early_write is one if application data may be written at this point in
|
|
|
|
* the handshake. */
|
|
|
|
unsigned can_early_write:1;
|
|
|
|
|
2016-10-07 00:43:48 +01:00
|
|
|
/* next_proto_neg_seen is one of NPN was negotiated. */
|
|
|
|
unsigned next_proto_neg_seen:1;
|
|
|
|
|
2016-11-12 02:20:55 +00:00
|
|
|
/* ticket_expected is one if a TLS 1.2 NewSessionTicket message is to be sent
|
|
|
|
* or received. */
|
|
|
|
unsigned ticket_expected:1;
|
2016-12-06 18:35:25 +00:00
|
|
|
|
2017-02-17 21:26:01 +00:00
|
|
|
/* extended_master_secret is one if the extended master secret extension is
|
|
|
|
* negotiated in this handshake. */
|
|
|
|
unsigned extended_master_secret:1;
|
|
|
|
|
2017-06-17 18:20:59 +01:00
|
|
|
/* pending_private_key_op is one if there is a pending private key operation
|
|
|
|
* in progress. */
|
|
|
|
unsigned pending_private_key_op:1;
|
|
|
|
|
2016-12-06 18:35:25 +00:00
|
|
|
/* client_version is the value sent or received in the ClientHello version. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t client_version = 0;
|
2017-04-17 19:12:33 +01:00
|
|
|
|
|
|
|
/* early_data_read is the amount of early data that has been read by the
|
|
|
|
* record layer. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t early_data_read = 0;
|
2017-03-09 19:56:07 +00:00
|
|
|
|
|
|
|
/* early_data_written is the amount of early data that has been written by the
|
|
|
|
* record layer. */
|
2017-07-20 19:01:44 +01:00
|
|
|
uint16_t early_data_written = 0;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-11-14 01:45:16 +00:00
|
|
|
SSL_HANDSHAKE *ssl_handshake_new(SSL *ssl);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
|
|
|
/* ssl_handshake_free releases all memory associated with |hs|. */
|
|
|
|
void ssl_handshake_free(SSL_HANDSHAKE *hs);
|
|
|
|
|
2017-01-21 19:13:39 +00:00
|
|
|
/* ssl_check_message_type checks if the current message has type |type|. If so
|
|
|
|
* it returns one. Otherwise, it sends an alert and returns zero. */
|
|
|
|
int ssl_check_message_type(SSL *ssl, int type);
|
|
|
|
|
2016-07-11 18:19:03 +01:00
|
|
|
/* tls13_handshake runs the TLS 1.3 handshake. It returns one on success and <=
|
2016-12-19 18:19:29 +00:00
|
|
|
* 0 on error. It sets |out_early_return| to one if we've completed the
|
|
|
|
* handshake early. */
|
|
|
|
int tls13_handshake(SSL_HANDSHAKE *hs, int *out_early_return);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-11-14 01:45:16 +00:00
|
|
|
/* The following are implementations of |do_tls13_handshake| for the client and
|
2016-07-11 18:19:03 +01:00
|
|
|
* server. */
|
2016-11-14 01:32:04 +00:00
|
|
|
enum ssl_hs_wait_t tls13_client_handshake(SSL_HANDSHAKE *hs);
|
|
|
|
enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-07-26 17:39:22 +01:00
|
|
|
/* tls13_post_handshake processes a post-handshake message. It returns one on
|
|
|
|
* success and zero on failure. */
|
|
|
|
int tls13_post_handshake(SSL *ssl);
|
|
|
|
|
2016-12-12 19:46:09 +00:00
|
|
|
int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous);
|
|
|
|
int tls13_process_certificate_verify(SSL_HANDSHAKE *hs);
|
2017-03-26 04:24:23 +01:00
|
|
|
|
|
|
|
/* tls13_process_finished processes the current message as a Finished message
|
|
|
|
* from the peer. If |use_saved_value| is one, the verify_data is compared
|
|
|
|
* against |hs->expected_client_finished| rather than computed fresh. */
|
|
|
|
int tls13_process_finished(SSL_HANDSHAKE *hs, int use_saved_value);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2017-01-13 00:46:50 +00:00
|
|
|
int tls13_add_certificate(SSL_HANDSHAKE *hs);
|
2017-06-17 18:20:59 +01:00
|
|
|
|
|
|
|
/* tls13_add_certificate_verify adds a TLS 1.3 CertificateVerify message to the
|
|
|
|
* handshake. If it returns |ssl_private_key_retry|, it should be called again
|
|
|
|
* to retry when the signing operation is completed. */
|
|
|
|
enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs);
|
|
|
|
|
2017-01-13 00:46:50 +00:00
|
|
|
int tls13_add_finished(SSL_HANDSHAKE *hs);
|
2016-07-27 16:10:52 +01:00
|
|
|
int tls13_process_new_session_ticket(SSL *ssl);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-11-17 08:11:16 +00:00
|
|
|
int ssl_ext_key_share_parse_serverhello(SSL_HANDSHAKE *hs, uint8_t **out_secret,
|
2016-08-02 21:55:05 +01:00
|
|
|
size_t *out_secret_len,
|
|
|
|
uint8_t *out_alert, CBS *contents);
|
2016-11-17 08:11:16 +00:00
|
|
|
int ssl_ext_key_share_parse_clienthello(SSL_HANDSHAKE *hs, int *out_found,
|
2016-08-02 21:55:05 +01:00
|
|
|
uint8_t **out_secret,
|
|
|
|
size_t *out_secret_len,
|
|
|
|
uint8_t *out_alert, CBS *contents);
|
2016-11-17 08:11:16 +00:00
|
|
|
int ssl_ext_key_share_add_serverhello(SSL_HANDSHAKE *hs, CBB *out);
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-11-17 08:11:16 +00:00
|
|
|
int ssl_ext_pre_shared_key_parse_serverhello(SSL_HANDSHAKE *hs,
|
|
|
|
uint8_t *out_alert, CBS *contents);
|
2017-03-03 20:05:56 +00:00
|
|
|
int ssl_ext_pre_shared_key_parse_clienthello(
|
2017-03-10 22:47:18 +00:00
|
|
|
SSL_HANDSHAKE *hs, CBS *out_ticket, CBS *out_binders,
|
2017-03-03 20:05:56 +00:00
|
|
|
uint32_t *out_obfuscated_ticket_age, uint8_t *out_alert, CBS *contents);
|
2016-11-17 08:11:16 +00:00
|
|
|
int ssl_ext_pre_shared_key_add_serverhello(SSL_HANDSHAKE *hs, CBB *out);
|
2016-07-29 19:32:55 +01:00
|
|
|
|
2016-11-17 21:21:27 +00:00
|
|
|
/* ssl_is_sct_list_valid does a shallow parse of the SCT list in |contents| and
|
|
|
|
* returns one iff it's valid. */
|
|
|
|
int ssl_is_sct_list_valid(const CBS *contents);
|
|
|
|
|
2016-12-03 07:20:34 +00:00
|
|
|
int ssl_write_client_hello(SSL_HANDSHAKE *hs);
|
2016-07-18 17:40:30 +01:00
|
|
|
|
2016-08-16 07:17:03 +01:00
|
|
|
/* ssl_clear_tls13_state releases client state only needed for TLS 1.3. It
|
|
|
|
* should be called once the version is known to be TLS 1.2 or earlier. */
|
2016-11-17 07:43:08 +00:00
|
|
|
void ssl_clear_tls13_state(SSL_HANDSHAKE *hs);
|
2016-08-16 07:17:03 +01:00
|
|
|
|
2016-09-24 00:25:11 +01:00
|
|
|
enum ssl_cert_verify_context_t {
|
|
|
|
ssl_cert_verify_server,
|
|
|
|
ssl_cert_verify_client,
|
|
|
|
ssl_cert_verify_channel_id,
|
|
|
|
};
|
|
|
|
|
|
|
|
/* tls13_get_cert_verify_signature_input generates the message to be signed for
|
|
|
|
* TLS 1.3's CertificateVerify message. |cert_verify_context| determines the
|
|
|
|
* type of signature. It sets |*out| and |*out_len| to a newly allocated buffer
|
|
|
|
* containing the result. The caller must free it with |OPENSSL_free| to release
|
|
|
|
* it. This function returns one on success and zero on failure. */
|
|
|
|
int tls13_get_cert_verify_signature_input(
|
2017-01-12 18:17:07 +00:00
|
|
|
SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
|
2016-09-24 00:25:11 +01:00
|
|
|
enum ssl_cert_verify_context_t cert_verify_context);
|
|
|
|
|
2016-10-31 22:01:13 +00:00
|
|
|
/* ssl_negotiate_alpn negotiates the ALPN extension, if applicable. It returns
|
|
|
|
* one on successful negotiation or if nothing was negotiated. It returns zero
|
|
|
|
* and sets |*out_alert| to an alert on error. */
|
2016-11-17 08:20:47 +00:00
|
|
|
int ssl_negotiate_alpn(SSL_HANDSHAKE *hs, uint8_t *out_alert,
|
2016-12-04 04:15:13 +00:00
|
|
|
const SSL_CLIENT_HELLO *client_hello);
|
2016-10-31 22:01:13 +00:00
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct SSL_EXTENSION_TYPE {
|
2016-11-13 01:32:10 +00:00
|
|
|
uint16_t type;
|
|
|
|
int *out_present;
|
|
|
|
CBS *out_data;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2016-11-13 01:32:10 +00:00
|
|
|
|
|
|
|
/* ssl_parse_extensions parses a TLS extensions block out of |cbs| and advances
|
|
|
|
* it. It writes the parsed extensions to pointers denoted by |ext_types|. On
|
|
|
|
* success, it fills in the |out_present| and |out_data| fields and returns one.
|
|
|
|
* Otherwise, it sets |*out_alert| to an alert to send and returns zero. Unknown
|
2016-12-07 20:29:45 +00:00
|
|
|
* extensions are rejected unless |ignore_unknown| is 1. */
|
2016-11-13 01:32:10 +00:00
|
|
|
int ssl_parse_extensions(const CBS *cbs, uint8_t *out_alert,
|
|
|
|
const SSL_EXTENSION_TYPE *ext_types,
|
2016-12-07 20:29:45 +00:00
|
|
|
size_t num_ext_types, int ignore_unknown);
|
2016-11-13 01:32:10 +00:00
|
|
|
|
2017-07-11 21:13:10 +01:00
|
|
|
/* ssl_verify_peer_cert verifies the peer certificate for |hs|. */
|
|
|
|
enum ssl_verify_result_t ssl_verify_peer_cert(SSL_HANDSHAKE *hs);
|
|
|
|
|
2016-07-11 18:19:03 +01:00
|
|
|
|
2016-07-19 06:26:49 +01:00
|
|
|
/* SSLKEYLOGFILE functions. */
|
|
|
|
|
|
|
|
/* ssl_log_secret logs |secret| with label |label|, if logging is enabled for
|
|
|
|
* |ssl|. It returns one on success and zero on failure. */
|
|
|
|
int ssl_log_secret(const SSL *ssl, const char *label, const uint8_t *secret,
|
|
|
|
size_t secret_len);
|
|
|
|
|
|
|
|
|
2016-08-09 21:21:24 +01:00
|
|
|
/* ClientHello functions. */
|
|
|
|
|
2016-12-04 04:15:13 +00:00
|
|
|
int ssl_client_hello_init(SSL *ssl, SSL_CLIENT_HELLO *out, const uint8_t *in,
|
|
|
|
size_t in_len);
|
2016-08-09 21:21:24 +01:00
|
|
|
|
2016-12-04 04:15:13 +00:00
|
|
|
int ssl_client_hello_get_extension(const SSL_CLIENT_HELLO *client_hello,
|
|
|
|
CBS *out, uint16_t extension_type);
|
2016-08-09 21:21:24 +01:00
|
|
|
|
2016-12-04 04:15:13 +00:00
|
|
|
int ssl_client_cipher_list_contains_cipher(const SSL_CLIENT_HELLO *client_hello,
|
|
|
|
uint16_t id);
|
2016-08-09 21:21:24 +01:00
|
|
|
|
|
|
|
|
2016-09-03 02:35:25 +01:00
|
|
|
/* GREASE. */
|
|
|
|
|
|
|
|
enum ssl_grease_index_t {
|
|
|
|
ssl_grease_cipher = 0,
|
|
|
|
ssl_grease_group,
|
|
|
|
ssl_grease_extension1,
|
|
|
|
ssl_grease_extension2,
|
2016-09-27 21:39:52 +01:00
|
|
|
ssl_grease_version,
|
2016-10-07 20:19:18 +01:00
|
|
|
ssl_grease_ticket_extension,
|
2016-09-03 02:35:25 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
/* ssl_get_grease_value returns a GREASE value for |ssl|. For a given
|
|
|
|
* connection, the values for each index will be deterministic. This allows the
|
|
|
|
* same ClientHello be sent twice for a HelloRetryRequest or the same group be
|
|
|
|
* advertised in both supported_groups and key_shares. */
|
|
|
|
uint16_t ssl_get_grease_value(const SSL *ssl, enum ssl_grease_index_t index);
|
|
|
|
|
|
|
|
|
2016-10-17 22:59:54 +01:00
|
|
|
/* Signature algorithms. */
|
|
|
|
|
|
|
|
/* tls1_parse_peer_sigalgs parses |sigalgs| as the list of peer signature
|
2016-11-17 08:20:47 +00:00
|
|
|
* algorithms and saves them on |hs|. It returns one on success and zero on
|
|
|
|
* error. */
|
|
|
|
int tls1_parse_peer_sigalgs(SSL_HANDSHAKE *hs, const CBS *sigalgs);
|
2016-10-17 22:59:54 +01:00
|
|
|
|
2017-04-20 22:49:36 +01:00
|
|
|
/* tls1_get_legacy_signature_algorithm sets |*out| to the signature algorithm
|
|
|
|
* that should be used with |pkey| in TLS 1.1 and earlier. It returns one on
|
|
|
|
* success and zero if |pkey| may not be used at those versions. */
|
|
|
|
int tls1_get_legacy_signature_algorithm(uint16_t *out, const EVP_PKEY *pkey);
|
|
|
|
|
2016-10-17 22:59:54 +01:00
|
|
|
/* tls1_choose_signature_algorithm sets |*out| to a signature algorithm for use
|
2016-11-17 08:20:47 +00:00
|
|
|
* with |hs|'s private key based on the peer's preferences and the algorithms
|
2016-10-17 22:59:54 +01:00
|
|
|
* supported. It returns one on success and zero on error. */
|
2016-11-17 08:20:47 +00:00
|
|
|
int tls1_choose_signature_algorithm(SSL_HANDSHAKE *hs, uint16_t *out);
|
2016-10-17 22:59:54 +01:00
|
|
|
|
2017-03-28 21:38:29 +01:00
|
|
|
/* tls12_add_verify_sigalgs adds the signature algorithms acceptable for the
|
|
|
|
* peer signature to |out|. It returns one on success and zero on error. */
|
|
|
|
int tls12_add_verify_sigalgs(const SSL *ssl, CBB *out);
|
2016-10-17 22:59:54 +01:00
|
|
|
|
|
|
|
/* tls12_check_peer_sigalg checks if |sigalg| is acceptable for the peer
|
|
|
|
* signature. It returns one on success and zero on error, setting |*out_alert|
|
|
|
|
* to an alert to send. */
|
2017-06-16 03:43:04 +01:00
|
|
|
int tls12_check_peer_sigalg(SSL *ssl, uint8_t *out_alert, uint16_t sigalg);
|
2016-10-17 22:59:54 +01:00
|
|
|
|
|
|
|
|
2016-06-17 23:48:29 +01:00
|
|
|
/* Underdocumented functions.
|
|
|
|
*
|
|
|
|
* Functions below here haven't been touched up and may be underdocumented. */
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2014-06-20 20:00:00 +01:00
|
|
|
#define TLSEXT_CHANNEL_ID_SIZE 128
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2014-10-13 21:12:45 +01:00
|
|
|
/* From RFC4492, used in encoding the curve type in ECParameters */
|
2014-12-19 01:42:32 +00:00
|
|
|
#define NAMED_CURVE_TYPE 3
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2017-07-20 17:22:21 +01:00
|
|
|
struct SSLCertConfig {
|
2015-07-05 16:54:09 +01:00
|
|
|
EVP_PKEY *privatekey;
|
2017-01-24 21:59:42 +00:00
|
|
|
|
|
|
|
/* chain contains the certificate chain, with the leaf at the beginning. The
|
|
|
|
* first element of |chain| may be NULL to indicate that the leaf certificate
|
|
|
|
* has not yet been set.
|
|
|
|
* If |chain| != NULL -> len(chain) >= 1
|
|
|
|
* If |chain[0]| == NULL -> len(chain) >= 2.
|
|
|
|
* |chain[1..]| != NULL */
|
|
|
|
STACK_OF(CRYPTO_BUFFER) *chain;
|
|
|
|
|
|
|
|
/* x509_chain may contain a parsed copy of |chain[1..]|. This is only used as
|
|
|
|
* a cache in order to implement “get0” functions that return a non-owning
|
|
|
|
* pointer to the certificate chain. */
|
2016-11-07 20:02:35 +00:00
|
|
|
STACK_OF(X509) *x509_chain;
|
2014-12-19 01:42:32 +00:00
|
|
|
|
2017-01-24 21:59:42 +00:00
|
|
|
/* x509_leaf may contain a parsed copy of the first element of |chain|. This
|
|
|
|
* is only used as a cache in order to implement “get0” functions that return
|
|
|
|
* a non-owning pointer to the certificate chain. */
|
|
|
|
X509 *x509_leaf;
|
|
|
|
|
2017-01-31 23:24:31 +00:00
|
|
|
/* x509_stash contains the last |X509| object append to the chain. This is a
|
|
|
|
* workaround for some third-party code that continue to use an |X509| object
|
|
|
|
* even after passing ownership with an “add0” function. */
|
|
|
|
X509 *x509_stash;
|
|
|
|
|
2015-05-29 22:11:21 +01:00
|
|
|
/* key_method, if non-NULL, is a set of callbacks to call for private key
|
|
|
|
* operations. */
|
|
|
|
const SSL_PRIVATE_KEY_METHOD *key_method;
|
|
|
|
|
2017-02-01 19:59:18 +00:00
|
|
|
/* x509_method contains pointers to functions that might deal with |X509|
|
|
|
|
* compatibility, or might be a no-op, depending on the application. */
|
|
|
|
const SSL_X509_METHOD *x509_method;
|
|
|
|
|
2016-08-17 20:29:46 +01:00
|
|
|
/* sigalgs, if non-NULL, is the set of signature algorithms supported by
|
|
|
|
* |privatekey| in decreasing order of preference. */
|
2016-07-08 23:07:02 +01:00
|
|
|
uint16_t *sigalgs;
|
2016-08-17 20:29:46 +01:00
|
|
|
size_t num_sigalgs;
|
2014-12-19 01:42:32 +00:00
|
|
|
|
|
|
|
/* Certificate setup callback: if set is called whenever a
|
|
|
|
* certificate may be required (client or server). the callback
|
|
|
|
* can then examine any appropriate parameters and setup any
|
|
|
|
* certificates required. This allows advanced applications
|
|
|
|
* to select certificates on the fly: for example based on
|
|
|
|
* supported signature algorithms or curves. */
|
|
|
|
int (*cert_cb)(SSL *ssl, void *arg);
|
|
|
|
void *cert_cb_arg;
|
2016-03-01 23:58:14 +00:00
|
|
|
|
|
|
|
/* Optional X509_STORE for certificate validation. If NULL the parent SSL_CTX
|
|
|
|
* store is used instead. */
|
|
|
|
X509_STORE *verify_store;
|
2017-02-14 23:34:54 +00:00
|
|
|
|
|
|
|
/* Signed certificate timestamp list to be sent to the client, if requested */
|
|
|
|
CRYPTO_BUFFER *signed_cert_timestamp_list;
|
|
|
|
|
|
|
|
/* OCSP response to be sent to the client, if requested. */
|
|
|
|
CRYPTO_BUFFER *ocsp_response;
|
2017-02-15 01:07:11 +00:00
|
|
|
|
|
|
|
/* sid_ctx partitions the session space within a shared session cache or
|
|
|
|
* ticket key. Only sessions with a matching value will be accepted. */
|
|
|
|
uint8_t sid_ctx_length;
|
|
|
|
uint8_t sid_ctx[SSL_MAX_SID_CTX_LENGTH];
|
2017-03-30 22:33:24 +01:00
|
|
|
|
|
|
|
/* If enable_early_data is non-zero, early data can be sent and accepted. */
|
|
|
|
unsigned enable_early_data:1;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2014-12-19 01:42:32 +00:00
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
/* ssl_crypto_x509_method provides the |SSL_X509_METHOD| functions using
|
2017-02-01 19:59:18 +00:00
|
|
|
* crypto/x509. */
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
extern const SSL_X509_METHOD ssl_crypto_x509_method;
|
2017-02-01 19:59:18 +00:00
|
|
|
|
2017-08-04 18:59:24 +01:00
|
|
|
/* ssl_noop_x509_method provides the |SSL_X509_METHOD| functions that avoid
|
|
|
|
* crypto/x509. */
|
|
|
|
extern const SSL_X509_METHOD ssl_noop_x509_method;
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct SSL3_RECORD {
|
2016-10-18 01:41:08 +01:00
|
|
|
/* type is the record type. */
|
|
|
|
uint8_t type;
|
|
|
|
/* length is the number of unconsumed bytes in the record. */
|
|
|
|
uint16_t length;
|
|
|
|
/* data is a non-owning pointer to the first unconsumed byte of the record. */
|
|
|
|
uint8_t *data;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2016-10-18 01:41:08 +01:00
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct SSL3_BUFFER {
|
2016-10-18 01:41:08 +01:00
|
|
|
/* buf is the memory allocated for this buffer. */
|
|
|
|
uint8_t *buf;
|
|
|
|
/* offset is the offset into |buf| which the buffer contents start at. */
|
|
|
|
uint16_t offset;
|
|
|
|
/* len is the length of the buffer contents from |buf| + |offset|. */
|
|
|
|
uint16_t len;
|
|
|
|
/* cap is how much memory beyond |buf| + |offset| is available. */
|
|
|
|
uint16_t cap;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2016-10-18 01:41:08 +01:00
|
|
|
|
|
|
|
/* An ssl_shutdown_t describes the shutdown state of one end of the connection,
|
|
|
|
* whether it is alive or has been shutdown via close_notify or fatal alert. */
|
|
|
|
enum ssl_shutdown_t {
|
|
|
|
ssl_shutdown_none = 0,
|
|
|
|
ssl_shutdown_close_notify = 1,
|
|
|
|
ssl_shutdown_fatal_alert = 2,
|
|
|
|
};
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct SSL3_STATE {
|
2016-10-18 01:41:08 +01:00
|
|
|
uint8_t read_sequence[8];
|
|
|
|
uint8_t write_sequence[8];
|
|
|
|
|
|
|
|
uint8_t server_random[SSL3_RANDOM_SIZE];
|
|
|
|
uint8_t client_random[SSL3_RANDOM_SIZE];
|
|
|
|
|
|
|
|
/* read_buffer holds data from the transport to be processed. */
|
|
|
|
SSL3_BUFFER read_buffer;
|
|
|
|
/* write_buffer holds data to be written to the transport. */
|
|
|
|
SSL3_BUFFER write_buffer;
|
|
|
|
|
|
|
|
SSL3_RECORD rrec; /* each decoded record goes in here */
|
|
|
|
|
|
|
|
/* partial write - check the numbers match */
|
|
|
|
unsigned int wnum; /* number of bytes sent so far */
|
|
|
|
int wpend_tot; /* number bytes written */
|
|
|
|
int wpend_type;
|
|
|
|
int wpend_ret; /* number of bytes submitted */
|
|
|
|
const uint8_t *wpend_buf;
|
|
|
|
|
|
|
|
/* recv_shutdown is the shutdown state for the receive half of the
|
|
|
|
* connection. */
|
|
|
|
enum ssl_shutdown_t recv_shutdown;
|
|
|
|
|
|
|
|
/* recv_shutdown is the shutdown state for the send half of the connection. */
|
|
|
|
enum ssl_shutdown_t send_shutdown;
|
|
|
|
|
|
|
|
int alert_dispatch;
|
|
|
|
|
|
|
|
int total_renegotiations;
|
|
|
|
|
2016-12-07 23:54:54 +00:00
|
|
|
/* early_data_skipped is the amount of early data that has been skipped by the
|
|
|
|
* record layer. */
|
|
|
|
uint16_t early_data_skipped;
|
|
|
|
|
2016-10-18 01:41:08 +01:00
|
|
|
/* empty_record_count is the number of consecutive empty records received. */
|
|
|
|
uint8_t empty_record_count;
|
|
|
|
|
|
|
|
/* warning_alert_count is the number of consecutive warning alerts
|
|
|
|
* received. */
|
|
|
|
uint8_t warning_alert_count;
|
|
|
|
|
|
|
|
/* key_update_count is the number of consecutive KeyUpdates received. */
|
|
|
|
uint8_t key_update_count;
|
|
|
|
|
2016-12-07 23:54:54 +00:00
|
|
|
/* skip_early_data instructs the record layer to skip unexpected early data
|
|
|
|
* messages when 0RTT is rejected. */
|
|
|
|
unsigned skip_early_data:1;
|
|
|
|
|
|
|
|
/* have_version is true if the connection's final version is known. Otherwise
|
|
|
|
* the version has not been negotiated yet. */
|
|
|
|
unsigned have_version:1;
|
|
|
|
|
|
|
|
/* v2_hello_done is true if the peer's V2ClientHello, if any, has been handled
|
|
|
|
* and future messages should use the record layer. */
|
|
|
|
unsigned v2_hello_done:1;
|
|
|
|
|
2017-01-21 19:27:45 +00:00
|
|
|
/* is_v2_hello is true if the current handshake message was derived from a
|
|
|
|
* V2ClientHello rather than received from the peer directly. */
|
|
|
|
unsigned is_v2_hello:1;
|
|
|
|
|
2016-12-07 23:54:54 +00:00
|
|
|
/* initial_handshake_complete is true if the initial handshake has
|
|
|
|
* completed. */
|
|
|
|
unsigned initial_handshake_complete:1;
|
|
|
|
|
|
|
|
/* session_reused indicates whether a session was resumed. */
|
|
|
|
unsigned session_reused:1;
|
|
|
|
|
|
|
|
unsigned send_connection_binding:1;
|
|
|
|
|
|
|
|
/* In a client, this means that the server supported Channel ID and that a
|
|
|
|
* Channel ID was sent. In a server it means that we echoed support for
|
|
|
|
* Channel IDs and that tlsext_channel_id will be valid after the
|
|
|
|
* handshake. */
|
|
|
|
unsigned tlsext_channel_id_valid:1;
|
|
|
|
|
2017-04-06 17:54:12 +01:00
|
|
|
/* key_update_pending is one if we have a KeyUpdate acknowledgment
|
|
|
|
* outstanding. */
|
|
|
|
unsigned key_update_pending:1;
|
|
|
|
|
2017-03-09 19:56:07 +00:00
|
|
|
/* wpend_pending is one if we have a pending write outstanding. */
|
|
|
|
unsigned wpend_pending:1;
|
|
|
|
|
2016-12-07 23:54:54 +00:00
|
|
|
uint8_t send_alert[2];
|
|
|
|
|
Don't use the buffer BIO in TLS.
On the TLS side, we introduce a running buffer of ciphertext. Queuing up
pending data consists of encrypting the record into the buffer. This
effectively reimplements what the buffer BIO was doing previously, but
this resizes to fit the whole flight.
As part of this, rename all the functions to add to the pending flight
to be more uniform. This CL proposes "add_foo" to add to the pending
flight and "flush_flight" to drain it.
We add an add_alert hook for alerts but, for now, only the SSL 3.0
warning alert (sent mid-handshake) uses this mechanism. Later work will
push this down to the rest of the write path so closure alerts use it
too, as in DTLS. The intended end state is that all the ssl_buffer.c and
wpend_ret logic will only be used for application data and eventually
optionally replaced by the in-place API, while all "incidental" data
will be handled internally.
For now, the two buffers are mutually exclusive. Moving closure alerts
to "incidentals" will change this, but flushing application data early
is tricky due to wpend_ret. (If we call ssl_write_buffer_flush,
do_ssl3_write doesn't realize it still has a wpend_ret to replay.) That
too is all left alone in this change.
To keep the diff down, write_message is retained for now and will be
removed from the state machines in a follow-up change.
BUG=72
Change-Id: Ibce882f5f7196880648f25d5005322ca4055c71d
Reviewed-on: https://boringssl-review.googlesource.com/13224
Reviewed-by: Adam Langley <agl@google.com>
2017-01-03 23:37:41 +00:00
|
|
|
/* pending_flight is the pending outgoing flight. This is used to flush each
|
2017-04-06 17:54:12 +01:00
|
|
|
* handshake flight in a single write. |write_buffer| must be written out
|
|
|
|
* before this data. */
|
Don't use the buffer BIO in TLS.
On the TLS side, we introduce a running buffer of ciphertext. Queuing up
pending data consists of encrypting the record into the buffer. This
effectively reimplements what the buffer BIO was doing previously, but
this resizes to fit the whole flight.
As part of this, rename all the functions to add to the pending flight
to be more uniform. This CL proposes "add_foo" to add to the pending
flight and "flush_flight" to drain it.
We add an add_alert hook for alerts but, for now, only the SSL 3.0
warning alert (sent mid-handshake) uses this mechanism. Later work will
push this down to the rest of the write path so closure alerts use it
too, as in DTLS. The intended end state is that all the ssl_buffer.c and
wpend_ret logic will only be used for application data and eventually
optionally replaced by the in-place API, while all "incidental" data
will be handled internally.
For now, the two buffers are mutually exclusive. Moving closure alerts
to "incidentals" will change this, but flushing application data early
is tricky due to wpend_ret. (If we call ssl_write_buffer_flush,
do_ssl3_write doesn't realize it still has a wpend_ret to replay.) That
too is all left alone in this change.
To keep the diff down, write_message is retained for now and will be
removed from the state machines in a follow-up change.
BUG=72
Change-Id: Ibce882f5f7196880648f25d5005322ca4055c71d
Reviewed-on: https://boringssl-review.googlesource.com/13224
Reviewed-by: Adam Langley <agl@google.com>
2017-01-03 23:37:41 +00:00
|
|
|
BUF_MEM *pending_flight;
|
|
|
|
|
|
|
|
/* pending_flight_offset is the number of bytes of |pending_flight| which have
|
|
|
|
* been successfully written. */
|
|
|
|
uint32_t pending_flight_offset;
|
2016-12-07 23:54:54 +00:00
|
|
|
|
2016-10-18 01:41:08 +01:00
|
|
|
/* aead_read_ctx is the current read cipher state. */
|
2017-07-19 03:45:18 +01:00
|
|
|
SSLAEADContext *aead_read_ctx;
|
2016-10-18 01:41:08 +01:00
|
|
|
|
|
|
|
/* aead_write_ctx is the current write cipher state. */
|
2017-07-19 03:45:18 +01:00
|
|
|
SSLAEADContext *aead_write_ctx;
|
2016-10-18 01:41:08 +01:00
|
|
|
|
|
|
|
/* hs is the handshake state for the current handshake or NULL if there isn't
|
|
|
|
* one. */
|
|
|
|
SSL_HANDSHAKE *hs;
|
|
|
|
|
|
|
|
uint8_t write_traffic_secret[EVP_MAX_MD_SIZE];
|
|
|
|
uint8_t read_traffic_secret[EVP_MAX_MD_SIZE];
|
|
|
|
uint8_t exporter_secret[EVP_MAX_MD_SIZE];
|
2017-01-11 16:34:52 +00:00
|
|
|
uint8_t early_exporter_secret[EVP_MAX_MD_SIZE];
|
2016-12-07 23:54:54 +00:00
|
|
|
uint8_t write_traffic_secret_len;
|
|
|
|
uint8_t read_traffic_secret_len;
|
2016-10-18 01:41:08 +01:00
|
|
|
uint8_t exporter_secret_len;
|
2017-01-11 16:34:52 +00:00
|
|
|
uint8_t early_exporter_secret_len;
|
2016-10-18 01:41:08 +01:00
|
|
|
|
2016-12-07 23:54:54 +00:00
|
|
|
/* Connection binding to prevent renegotiation attacks */
|
|
|
|
uint8_t previous_client_finished[12];
|
|
|
|
uint8_t previous_client_finished_len;
|
|
|
|
uint8_t previous_server_finished_len;
|
|
|
|
uint8_t previous_server_finished[12];
|
|
|
|
|
2016-10-18 01:41:08 +01:00
|
|
|
/* State pertaining to the pending handshake.
|
|
|
|
*
|
|
|
|
* TODO(davidben): Move everything not needed after the handshake completes to
|
|
|
|
* |hs| and remove this. */
|
|
|
|
struct {
|
2016-12-07 23:54:54 +00:00
|
|
|
int message_type;
|
|
|
|
|
2016-10-18 01:41:08 +01:00
|
|
|
int reuse_message;
|
|
|
|
|
|
|
|
uint8_t new_mac_secret_len;
|
|
|
|
uint8_t new_key_len;
|
|
|
|
uint8_t new_fixed_iv_len;
|
|
|
|
} tmp;
|
|
|
|
|
|
|
|
/* established_session is the session established by the connection. This
|
|
|
|
* session is only filled upon the completion of the handshake and is
|
|
|
|
* immutable. */
|
|
|
|
SSL_SESSION *established_session;
|
|
|
|
|
|
|
|
/* Next protocol negotiation. For the client, this is the protocol that we
|
|
|
|
* sent in NextProtocol and is set when handling ServerHello extensions.
|
|
|
|
*
|
|
|
|
* For a server, this is the client's selected_protocol from NextProtocol and
|
|
|
|
* is set when handling the NextProtocol message, before the Finished
|
|
|
|
* message. */
|
|
|
|
uint8_t *next_proto_negotiated;
|
|
|
|
size_t next_proto_negotiated_len;
|
|
|
|
|
|
|
|
/* ALPN information
|
|
|
|
* (we are in the process of transitioning from NPN to ALPN.) */
|
|
|
|
|
|
|
|
/* In a server these point to the selected ALPN protocol after the
|
|
|
|
* ClientHello has been processed. In a client these contain the protocol
|
|
|
|
* that the server selected once the ServerHello has been processed. */
|
|
|
|
uint8_t *alpn_selected;
|
|
|
|
size_t alpn_selected_len;
|
|
|
|
|
|
|
|
/* For a server:
|
|
|
|
* If |tlsext_channel_id_valid| is true, then this contains the
|
|
|
|
* verified Channel ID from the client: a P256 point, (x,y), where
|
|
|
|
* each are big-endian values. */
|
|
|
|
uint8_t tlsext_channel_id[64];
|
2017-03-03 20:05:56 +00:00
|
|
|
|
|
|
|
/* ticket_age_skew is the difference, in seconds, between the client-sent
|
|
|
|
* ticket age and the server-computed value in TLS 1.3 server connections
|
|
|
|
* which resumed a session. */
|
|
|
|
int32_t ticket_age_skew;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2016-10-18 01:41:08 +01:00
|
|
|
|
2015-05-08 18:08:52 +01:00
|
|
|
/* lengths of messages */
|
|
|
|
#define DTLS1_COOKIE_LENGTH 256
|
|
|
|
|
|
|
|
#define DTLS1_RT_HEADER_LENGTH 13
|
|
|
|
|
|
|
|
#define DTLS1_HM_HEADER_LENGTH 12
|
|
|
|
|
|
|
|
#define DTLS1_CCS_HEADER_LENGTH 1
|
|
|
|
|
|
|
|
#define DTLS1_AL_HEADER_LENGTH 2
|
|
|
|
|
|
|
|
struct hm_header_st {
|
|
|
|
uint8_t type;
|
|
|
|
uint32_t msg_len;
|
|
|
|
uint16_t seq;
|
|
|
|
uint32_t frag_off;
|
|
|
|
uint32_t frag_len;
|
|
|
|
};
|
|
|
|
|
2016-07-08 17:34:05 +01:00
|
|
|
/* An hm_fragment is an incoming DTLS message, possibly not yet assembled. */
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct hm_fragment {
|
2016-07-08 17:34:05 +01:00
|
|
|
/* type is the type of the message. */
|
|
|
|
uint8_t type;
|
|
|
|
/* seq is the sequence number of this message. */
|
|
|
|
uint16_t seq;
|
|
|
|
/* msg_len is the length of the message body. */
|
|
|
|
uint32_t msg_len;
|
|
|
|
/* data is a pointer to the message, including message header. It has length
|
|
|
|
* |DTLS1_HM_HEADER_LENGTH| + |msg_len|. */
|
|
|
|
uint8_t *data;
|
|
|
|
/* reassembly is a bitmask of |msg_len| bits corresponding to which parts of
|
|
|
|
* the message have been received. It is NULL if the message is complete. */
|
2015-05-08 18:08:52 +01:00
|
|
|
uint8_t *reassembly;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2015-05-08 18:08:52 +01:00
|
|
|
|
2017-02-20 22:00:20 +00:00
|
|
|
struct OPENSSL_timeval {
|
|
|
|
uint64_t tv_sec;
|
|
|
|
uint32_t tv_usec;
|
|
|
|
};
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct DTLS1_STATE {
|
2017-06-26 03:42:55 +01:00
|
|
|
/* send_cookie is true if we are resending the ClientHello with a cookie from
|
|
|
|
* a HelloVerifyRequest. */
|
|
|
|
bool send_cookie:1;
|
|
|
|
|
|
|
|
/* has_change_cipher_spec is true if we have received a ChangeCipherSpec from
|
|
|
|
* the peer in this epoch. */
|
|
|
|
bool has_change_cipher_spec:1;
|
2015-05-08 18:08:52 +01:00
|
|
|
|
2017-08-03 00:46:29 +01:00
|
|
|
/* outgoing_messages_complete is true if |outgoing_messages| has been
|
|
|
|
* completed by an attempt to flush it. Future calls to |add_message| and
|
|
|
|
* |add_change_cipher_spec| will start a new flight. */
|
|
|
|
bool outgoing_messages_complete:1;
|
|
|
|
|
2015-05-08 18:08:52 +01:00
|
|
|
uint8_t cookie[DTLS1_COOKIE_LENGTH];
|
|
|
|
size_t cookie_len;
|
|
|
|
|
|
|
|
/* The current data and handshake epoch. This is initially undefined, and
|
|
|
|
* starts at zero once the initial handshake is completed. */
|
|
|
|
uint16_t r_epoch;
|
|
|
|
uint16_t w_epoch;
|
|
|
|
|
|
|
|
/* records being received in the current epoch */
|
|
|
|
DTLS1_BITMAP bitmap;
|
|
|
|
|
|
|
|
uint16_t handshake_write_seq;
|
|
|
|
uint16_t handshake_read_seq;
|
|
|
|
|
|
|
|
/* save last sequence number for retransmissions */
|
|
|
|
uint8_t last_write_sequence[8];
|
2017-07-19 03:45:18 +01:00
|
|
|
SSLAEADContext *last_aead_write_ctx;
|
2015-05-08 18:08:52 +01:00
|
|
|
|
2016-06-18 00:30:47 +01:00
|
|
|
/* incoming_messages is a ring buffer of incoming handshake messages that have
|
|
|
|
* yet to be processed. The front of the ring buffer is message number
|
|
|
|
* |handshake_read_seq|, at position |handshake_read_seq| %
|
|
|
|
* |SSL_MAX_HANDSHAKE_FLIGHT|. */
|
|
|
|
hm_fragment *incoming_messages[SSL_MAX_HANDSHAKE_FLIGHT];
|
2015-05-08 18:08:52 +01:00
|
|
|
|
2016-06-18 00:12:54 +01:00
|
|
|
/* outgoing_messages is the queue of outgoing messages from the last handshake
|
|
|
|
* flight. */
|
|
|
|
DTLS_OUTGOING_MESSAGE outgoing_messages[SSL_MAX_HANDSHAKE_FLIGHT];
|
|
|
|
uint8_t outgoing_messages_len;
|
2015-05-08 18:08:52 +01:00
|
|
|
|
2017-01-03 15:30:35 +00:00
|
|
|
/* outgoing_written is the number of outgoing messages that have been
|
|
|
|
* written. */
|
|
|
|
uint8_t outgoing_written;
|
|
|
|
/* outgoing_offset is the number of bytes of the next outgoing message have
|
|
|
|
* been written. */
|
|
|
|
uint32_t outgoing_offset;
|
|
|
|
|
2015-05-08 18:08:52 +01:00
|
|
|
unsigned int mtu; /* max DTLS packet size */
|
|
|
|
|
|
|
|
/* num_timeouts is the number of times the retransmit timer has fired since
|
|
|
|
* the last time it was reset. */
|
|
|
|
unsigned int num_timeouts;
|
|
|
|
|
|
|
|
/* Indicates when the last handshake msg or heartbeat sent will
|
2015-05-08 18:29:45 +01:00
|
|
|
* timeout. */
|
2017-02-20 22:00:20 +00:00
|
|
|
struct OPENSSL_timeval next_timeout;
|
2015-05-08 18:08:52 +01:00
|
|
|
|
2016-05-11 03:30:28 +01:00
|
|
|
/* timeout_duration_ms is the timeout duration in milliseconds. */
|
|
|
|
unsigned timeout_duration_ms;
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
};
|
2015-05-08 18:08:52 +01:00
|
|
|
|
2017-07-20 17:22:21 +01:00
|
|
|
/* SSLConnection backs the public |SSL| type. Due to compatibility constraints,
|
|
|
|
* it is a base class for |ssl_st|. */
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
struct SSLConnection {
|
2017-02-06 18:38:26 +00:00
|
|
|
/* method is the method table corresponding to the current protocol (DTLS or
|
|
|
|
* TLS). */
|
|
|
|
const SSL_PROTOCOL_METHOD *method;
|
|
|
|
|
|
|
|
/* version is the protocol version. */
|
2017-06-20 15:55:02 +01:00
|
|
|
uint16_t version;
|
2017-02-06 18:38:26 +00:00
|
|
|
|
2017-06-20 19:39:32 +01:00
|
|
|
/* conf_max_version is the maximum acceptable protocol version configured by
|
|
|
|
* |SSL_set_max_proto_version|. Note this version is normalized in DTLS and is
|
|
|
|
* further constrainted by |SSL_OP_NO_*|. */
|
|
|
|
uint16_t conf_max_version;
|
|
|
|
|
|
|
|
/* conf_min_version is the minimum acceptable protocol version configured by
|
|
|
|
* |SSL_set_min_proto_version|. Note this version is normalized in DTLS and is
|
|
|
|
* further constrainted by |SSL_OP_NO_*|. */
|
|
|
|
uint16_t conf_min_version;
|
2017-02-06 18:38:26 +00:00
|
|
|
|
2017-07-11 20:08:32 +01:00
|
|
|
/* tls13_variant is the variant of TLS 1.3 we are using for this
|
|
|
|
* configuration. */
|
|
|
|
enum tls13_variant_t tls13_variant;
|
|
|
|
|
2017-02-06 18:38:26 +00:00
|
|
|
uint16_t max_send_fragment;
|
|
|
|
|
|
|
|
/* There are 2 BIO's even though they are normally both the same. This is so
|
|
|
|
* data can be read and written to different handlers */
|
|
|
|
|
|
|
|
BIO *rbio; /* used by SSL_read */
|
|
|
|
BIO *wbio; /* used by SSL_write */
|
|
|
|
|
|
|
|
int (*handshake_func)(SSL_HANDSHAKE *hs);
|
|
|
|
|
|
|
|
BUF_MEM *init_buf; /* buffer used during init */
|
|
|
|
|
|
|
|
/* init_msg is a pointer to the current handshake message body. */
|
|
|
|
const uint8_t *init_msg;
|
|
|
|
/* init_num is the length of the current handshake message body. */
|
|
|
|
uint32_t init_num;
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
SSL3_STATE *s3; /* SSLv3 variables */
|
|
|
|
DTLS1_STATE *d1; /* DTLSv1 variables */
|
2017-02-06 18:38:26 +00:00
|
|
|
|
|
|
|
/* callback that allows applications to peek at protocol messages */
|
|
|
|
void (*msg_callback)(int write_p, int version, int content_type,
|
|
|
|
const void *buf, size_t len, SSL *ssl, void *arg);
|
|
|
|
void *msg_callback_arg;
|
|
|
|
|
|
|
|
X509_VERIFY_PARAM *param;
|
|
|
|
|
|
|
|
/* crypto */
|
|
|
|
struct ssl_cipher_preference_list_st *cipher_list;
|
|
|
|
|
|
|
|
/* session info */
|
|
|
|
|
|
|
|
/* client cert? */
|
|
|
|
/* This is used to hold the server certificate used */
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
CERT *cert;
|
2017-02-06 18:38:26 +00:00
|
|
|
|
|
|
|
/* This holds a variable that indicates what we were doing when a 0 or -1 is
|
|
|
|
* returned. This is needed for non-blocking IO so we know what request
|
|
|
|
* needs re-doing when in SSL_accept or SSL_connect */
|
|
|
|
int rwstate;
|
|
|
|
|
|
|
|
/* initial_timeout_duration_ms is the default DTLS timeout duration in
|
|
|
|
* milliseconds. It's used to initialize the timer any time it's restarted. */
|
|
|
|
unsigned initial_timeout_duration_ms;
|
|
|
|
|
|
|
|
/* session is the configured session to be offered by the client. This session
|
|
|
|
* is immutable. */
|
|
|
|
SSL_SESSION *session;
|
|
|
|
|
|
|
|
int (*verify_callback)(int ok,
|
|
|
|
X509_STORE_CTX *ctx); /* fail if callback returns 0 */
|
|
|
|
|
2017-07-11 21:13:10 +01:00
|
|
|
enum ssl_verify_result_t (*custom_verify_callback)(SSL *ssl,
|
|
|
|
uint8_t *out_alert);
|
|
|
|
|
2017-02-06 18:38:26 +00:00
|
|
|
void (*info_callback)(const SSL *ssl, int type, int value);
|
|
|
|
|
|
|
|
/* Server-only: psk_identity_hint is the identity hint to send in
|
|
|
|
* PSK-based key exchanges. */
|
|
|
|
char *psk_identity_hint;
|
|
|
|
|
|
|
|
unsigned int (*psk_client_callback)(SSL *ssl, const char *hint,
|
|
|
|
char *identity,
|
|
|
|
unsigned int max_identity_len,
|
|
|
|
uint8_t *psk, unsigned int max_psk_len);
|
|
|
|
unsigned int (*psk_server_callback)(SSL *ssl, const char *identity,
|
|
|
|
uint8_t *psk, unsigned int max_psk_len);
|
|
|
|
|
|
|
|
SSL_CTX *ctx;
|
|
|
|
|
|
|
|
/* extra application data */
|
|
|
|
CRYPTO_EX_DATA ex_data;
|
|
|
|
|
|
|
|
/* for server side, keep the list of CA_dn we can use */
|
2017-02-02 18:57:17 +00:00
|
|
|
STACK_OF(CRYPTO_BUFFER) *client_CA;
|
|
|
|
|
|
|
|
/* cached_x509_client_CA is a cache of parsed versions of the elements of
|
|
|
|
* |client_CA|. */
|
|
|
|
STACK_OF(X509_NAME) *cached_x509_client_CA;
|
2017-02-06 18:38:26 +00:00
|
|
|
|
|
|
|
uint32_t options; /* protocol behaviour */
|
|
|
|
uint32_t mode; /* API behaviour */
|
|
|
|
uint32_t max_cert_list;
|
|
|
|
char *tlsext_hostname;
|
|
|
|
size_t supported_group_list_len;
|
|
|
|
uint16_t *supported_group_list; /* our list */
|
|
|
|
|
2017-03-10 21:08:36 +00:00
|
|
|
/* session_ctx is the |SSL_CTX| used for the session cache and related
|
|
|
|
* settings. */
|
|
|
|
SSL_CTX *session_ctx;
|
2017-02-06 18:38:26 +00:00
|
|
|
|
|
|
|
/* srtp_profiles is the list of configured SRTP protection profiles for
|
|
|
|
* DTLS-SRTP. */
|
|
|
|
STACK_OF(SRTP_PROTECTION_PROFILE) *srtp_profiles;
|
|
|
|
|
|
|
|
/* srtp_profile is the selected SRTP protection profile for
|
|
|
|
* DTLS-SRTP. */
|
|
|
|
const SRTP_PROTECTION_PROFILE *srtp_profile;
|
|
|
|
|
|
|
|
/* The client's Channel ID private key. */
|
|
|
|
EVP_PKEY *tlsext_channel_id_private;
|
|
|
|
|
|
|
|
/* For a client, this contains the list of supported protocols in wire
|
|
|
|
* format. */
|
|
|
|
uint8_t *alpn_client_proto_list;
|
|
|
|
unsigned alpn_client_proto_list_len;
|
|
|
|
|
|
|
|
/* renegotiate_mode controls how peer renegotiation attempts are handled. */
|
|
|
|
enum ssl_renegotiate_mode_t renegotiate_mode;
|
|
|
|
|
|
|
|
/* verify_mode is a bitmask of |SSL_VERIFY_*| values. */
|
|
|
|
uint8_t verify_mode;
|
|
|
|
|
|
|
|
/* server is true iff the this SSL* is the server half. Note: before the SSL*
|
|
|
|
* is initialized by either SSL_set_accept_state or SSL_set_connect_state,
|
|
|
|
* the side is not determined. In this state, server is always false. */
|
|
|
|
unsigned server:1;
|
|
|
|
|
|
|
|
/* quiet_shutdown is true if the connection should not send a close_notify on
|
|
|
|
* shutdown. */
|
|
|
|
unsigned quiet_shutdown:1;
|
|
|
|
|
|
|
|
/* Enable signed certificate time stamps. Currently client only. */
|
|
|
|
unsigned signed_cert_timestamps_enabled:1;
|
|
|
|
|
|
|
|
/* ocsp_stapling_enabled is only used by client connections and indicates
|
|
|
|
* whether OCSP stapling will be requested. */
|
|
|
|
unsigned ocsp_stapling_enabled:1;
|
|
|
|
|
|
|
|
/* tlsext_channel_id_enabled is copied from the |SSL_CTX|. For a server,
|
|
|
|
* means that we'll accept Channel IDs from clients. For a client, means that
|
|
|
|
* we'll advertise support. */
|
|
|
|
unsigned tlsext_channel_id_enabled:1;
|
|
|
|
|
|
|
|
/* retain_only_sha256_of_client_certs is true if we should compute the SHA256
|
|
|
|
* hash of the peer's certificate and then discard it to save memory and
|
|
|
|
* session space. Only effective on the server side. */
|
|
|
|
unsigned retain_only_sha256_of_client_certs:1;
|
2017-01-11 16:34:52 +00:00
|
|
|
|
|
|
|
/* early_data_accepted is true if early data was accepted by the server. */
|
|
|
|
unsigned early_data_accepted:1;
|
2017-02-06 18:38:26 +00:00
|
|
|
};
|
|
|
|
|
2016-11-01 17:39:36 +00:00
|
|
|
/* From draft-ietf-tls-tls13-18, used in determining PSK modes. */
|
|
|
|
#define SSL_PSK_KE 0x0
|
|
|
|
#define SSL_PSK_DHE_KE 0x1
|
2016-07-27 16:10:52 +01:00
|
|
|
|
2016-10-03 17:25:56 +01:00
|
|
|
/* From draft-ietf-tls-tls13-16, used in determining whether to respond with a
|
|
|
|
* KeyUpdate. */
|
|
|
|
#define SSL_KEY_UPDATE_NOT_REQUESTED 0
|
|
|
|
#define SSL_KEY_UPDATE_REQUESTED 1
|
|
|
|
|
2017-04-17 19:12:33 +01:00
|
|
|
/* kMaxEarlyDataAccepted is the advertised number of plaintext bytes of early
|
|
|
|
* data that will be accepted. This value should be slightly below
|
|
|
|
* kMaxEarlyDataSkipped in tls_record.c, which is measured in ciphertext. */
|
|
|
|
static const size_t kMaxEarlyDataAccepted = 14336;
|
|
|
|
|
2017-02-01 19:59:18 +00:00
|
|
|
CERT *ssl_cert_new(const SSL_X509_METHOD *x509_method);
|
2014-06-20 20:00:00 +01:00
|
|
|
CERT *ssl_cert_dup(CERT *cert);
|
2017-08-01 00:09:42 +01:00
|
|
|
void ssl_cert_clear_certs(CERT *cert);
|
|
|
|
void ssl_cert_free(CERT *cert);
|
2017-07-26 03:36:00 +01:00
|
|
|
int ssl_set_cert(CERT *cert, UniquePtr<CRYPTO_BUFFER> buffer);
|
2017-02-01 20:40:31 +00:00
|
|
|
int ssl_is_key_type_supported(int key_type);
|
2017-01-25 17:34:42 +00:00
|
|
|
/* ssl_compare_public_and_private_key returns one if |pubkey| is the public
|
|
|
|
* counterpart to |privkey|. Otherwise it returns zero and pushes a helpful
|
|
|
|
* message on the error queue. */
|
|
|
|
int ssl_compare_public_and_private_key(const EVP_PKEY *pubkey,
|
|
|
|
const EVP_PKEY *privkey);
|
2017-01-24 21:59:42 +00:00
|
|
|
int ssl_cert_check_private_key(const CERT *cert, const EVP_PKEY *privkey);
|
2016-11-17 08:20:47 +00:00
|
|
|
int ssl_get_new_session(SSL_HANDSHAKE *hs, int is_server);
|
2016-07-27 16:10:52 +01:00
|
|
|
int ssl_encrypt_ticket(SSL *ssl, CBB *out, const SSL_SESSION *session);
|
2015-06-16 20:34:50 +01:00
|
|
|
|
2017-07-20 19:49:15 +01:00
|
|
|
/* ssl_session_new returns a newly-allocated blank |SSL_SESSION| or nullptr on
|
2017-02-01 23:49:37 +00:00
|
|
|
* error. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<SSL_SESSION> ssl_session_new(const SSL_X509_METHOD *x509_method);
|
2017-02-01 23:49:37 +00:00
|
|
|
|
|
|
|
/* SSL_SESSION_parse parses an |SSL_SESSION| from |cbs| and advances |cbs| over
|
|
|
|
* the parsed data. */
|
2017-07-20 19:49:15 +01:00
|
|
|
UniquePtr<SSL_SESSION> SSL_SESSION_parse(CBS *cbs,
|
|
|
|
const SSL_X509_METHOD *x509_method,
|
|
|
|
CRYPTO_BUFFER_POOL *pool);
|
2017-02-01 23:49:37 +00:00
|
|
|
|
2016-07-29 19:32:55 +01:00
|
|
|
/* ssl_session_is_context_valid returns one if |session|'s session ID context
|
|
|
|
* matches the one set on |ssl| and zero otherwise. */
|
|
|
|
int ssl_session_is_context_valid(const SSL *ssl, const SSL_SESSION *session);
|
|
|
|
|
|
|
|
/* ssl_session_is_time_valid returns one if |session| is still valid and zero if
|
|
|
|
* it has expired. */
|
|
|
|
int ssl_session_is_time_valid(const SSL *ssl, const SSL_SESSION *session);
|
|
|
|
|
2017-02-10 01:01:26 +00:00
|
|
|
/* ssl_session_is_resumable returns one if |session| is resumable for |hs| and
|
2016-11-12 03:36:06 +00:00
|
|
|
* zero otherwise. */
|
2017-02-10 01:01:26 +00:00
|
|
|
int ssl_session_is_resumable(const SSL_HANDSHAKE *hs,
|
|
|
|
const SSL_SESSION *session);
|
2016-11-12 03:36:06 +00:00
|
|
|
|
2017-06-20 15:55:02 +01:00
|
|
|
/* SSL_SESSION_protocol_version returns the protocol version associated with
|
|
|
|
* |session|. */
|
|
|
|
uint16_t SSL_SESSION_protocol_version(const SSL_SESSION *session);
|
|
|
|
|
|
|
|
/* SSL_SESSION_get_digest returns the digest used in |session|. */
|
|
|
|
const EVP_MD *SSL_SESSION_get_digest(const SSL_SESSION *session);
|
2017-01-12 18:17:07 +00:00
|
|
|
|
2016-09-01 06:10:07 +01:00
|
|
|
void ssl_set_session(SSL *ssl, SSL_SESSION *session);
|
|
|
|
|
2015-06-16 20:34:50 +01:00
|
|
|
enum ssl_session_result_t {
|
|
|
|
ssl_session_success,
|
|
|
|
ssl_session_error,
|
|
|
|
ssl_session_retry,
|
2017-03-09 03:33:21 +00:00
|
|
|
ssl_session_ticket_retry,
|
2015-06-16 20:34:50 +01:00
|
|
|
};
|
|
|
|
|
2016-12-04 04:15:13 +00:00
|
|
|
/* ssl_get_prev_session looks up the previous session based on |client_hello|.
|
2017-07-29 06:42:16 +01:00
|
|
|
* On success, it sets |*out_session| to the session or nullptr if none was
|
|
|
|
* found. If the session could not be looked up synchronously, it returns
|
2017-03-09 03:33:21 +00:00
|
|
|
* |ssl_session_retry| and should be called again. If a ticket could not be
|
|
|
|
* decrypted immediately it returns |ssl_session_ticket_retry| and should also
|
|
|
|
* be called again. Otherwise, it returns |ssl_session_error|. */
|
2015-06-16 20:34:50 +01:00
|
|
|
enum ssl_session_result_t ssl_get_prev_session(
|
2017-07-29 06:42:16 +01:00
|
|
|
SSL *ssl, UniquePtr<SSL_SESSION> *out_session, int *out_tickets_supported,
|
2016-12-04 04:15:13 +00:00
|
|
|
int *out_renew_ticket, const SSL_CLIENT_HELLO *client_hello);
|
2015-06-16 20:34:50 +01:00
|
|
|
|
2016-07-29 19:32:55 +01:00
|
|
|
/* The following flags determine which parts of the session are duplicated. */
|
|
|
|
#define SSL_SESSION_DUP_AUTH_ONLY 0x0
|
|
|
|
#define SSL_SESSION_INCLUDE_TICKET 0x1
|
|
|
|
#define SSL_SESSION_INCLUDE_NONAUTH 0x2
|
|
|
|
#define SSL_SESSION_DUP_ALL \
|
|
|
|
(SSL_SESSION_INCLUDE_TICKET | SSL_SESSION_INCLUDE_NONAUTH)
|
|
|
|
|
2016-06-27 21:34:59 +01:00
|
|
|
/* SSL_SESSION_dup returns a newly-allocated |SSL_SESSION| with a copy of the
|
2017-07-20 19:49:15 +01:00
|
|
|
* fields in |session| or nullptr on error. The new session is non-resumable and
|
2016-06-27 21:34:59 +01:00
|
|
|
* must be explicitly marked resumable once it has been filled in. */
|
2017-07-20 19:49:15 +01:00
|
|
|
OPENSSL_EXPORT UniquePtr<SSL_SESSION> SSL_SESSION_dup(SSL_SESSION *session,
|
|
|
|
int dup_flags);
|
2016-06-27 21:34:59 +01:00
|
|
|
|
2017-01-28 19:00:32 +00:00
|
|
|
/* ssl_session_rebase_time updates |session|'s start time to the current time,
|
2016-11-03 20:59:25 +00:00
|
|
|
* adjusting the timeout so the expiration time is unchanged. */
|
2017-01-28 19:00:32 +00:00
|
|
|
void ssl_session_rebase_time(SSL *ssl, SSL_SESSION *session);
|
|
|
|
|
|
|
|
/* ssl_session_renew_timeout calls |ssl_session_rebase_time| and renews
|
|
|
|
* |session|'s timeout to |timeout| (measured from the current time). The
|
|
|
|
* renewal is clamped to the session's auth_timeout. */
|
2017-02-20 22:00:20 +00:00
|
|
|
void ssl_session_renew_timeout(SSL *ssl, SSL_SESSION *session,
|
|
|
|
uint32_t timeout);
|
2016-11-03 20:59:25 +00:00
|
|
|
|
2014-06-20 20:00:00 +01:00
|
|
|
void ssl_cipher_preference_list_free(
|
2014-12-19 01:42:32 +00:00
|
|
|
struct ssl_cipher_preference_list_st *cipher_list);
|
2016-10-31 23:20:42 +00:00
|
|
|
|
|
|
|
/* ssl_get_cipher_preferences returns the cipher preference list for TLS 1.2 and
|
|
|
|
* below. */
|
2016-10-31 20:29:57 +00:00
|
|
|
const struct ssl_cipher_preference_list_st *ssl_get_cipher_preferences(
|
|
|
|
const SSL *ssl);
|
2014-12-22 02:27:41 +00:00
|
|
|
|
2016-11-17 08:20:47 +00:00
|
|
|
void ssl_update_cache(SSL_HANDSHAKE *hs, int mode);
|
2014-11-13 23:05:55 +00:00
|
|
|
|
2016-11-14 01:32:04 +00:00
|
|
|
int ssl3_get_finished(SSL_HANDSHAKE *hs);
|
2015-12-19 22:05:56 +00:00
|
|
|
int ssl3_send_alert(SSL *ssl, int level, int desc);
|
2017-01-21 19:49:39 +00:00
|
|
|
int ssl3_get_message(SSL *ssl);
|
2016-11-14 08:12:11 +00:00
|
|
|
void ssl3_get_current_message(const SSL *ssl, CBS *out);
|
2017-08-03 01:06:53 +01:00
|
|
|
void ssl3_release_current_message(SSL *ssl);
|
2014-08-26 05:32:30 +01:00
|
|
|
|
2017-01-13 01:02:05 +00:00
|
|
|
int ssl3_send_finished(SSL_HANDSHAKE *hs);
|
2015-12-19 22:05:56 +00:00
|
|
|
int ssl3_dispatch_alert(SSL *ssl);
|
2016-07-28 16:05:58 +01:00
|
|
|
int ssl3_read_app_data(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
|
|
|
|
int peek);
|
2015-11-26 07:16:49 +00:00
|
|
|
int ssl3_read_change_cipher_spec(SSL *ssl);
|
2015-05-30 21:22:10 +01:00
|
|
|
void ssl3_read_close_notify(SSL *ssl);
|
2016-07-28 16:05:58 +01:00
|
|
|
int ssl3_read_handshake_bytes(SSL *ssl, uint8_t *buf, int len);
|
2017-03-09 19:56:07 +00:00
|
|
|
int ssl3_write_app_data(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
|
|
|
|
int len);
|
2015-12-19 22:05:56 +00:00
|
|
|
int ssl3_output_cert_chain(SSL *ssl);
|
2016-10-26 16:56:35 +01:00
|
|
|
|
2015-12-19 22:05:56 +00:00
|
|
|
int ssl3_new(SSL *ssl);
|
|
|
|
void ssl3_free(SSL *ssl);
|
2016-11-14 01:45:16 +00:00
|
|
|
int ssl3_accept(SSL_HANDSHAKE *hs);
|
|
|
|
int ssl3_connect(SSL_HANDSHAKE *hs);
|
2014-12-19 01:42:32 +00:00
|
|
|
|
2016-06-17 23:48:29 +01:00
|
|
|
int ssl3_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
|
2016-11-12 03:23:25 +00:00
|
|
|
int ssl3_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg, size_t *out_len);
|
Don't use the buffer BIO in TLS.
On the TLS side, we introduce a running buffer of ciphertext. Queuing up
pending data consists of encrypting the record into the buffer. This
effectively reimplements what the buffer BIO was doing previously, but
this resizes to fit the whole flight.
As part of this, rename all the functions to add to the pending flight
to be more uniform. This CL proposes "add_foo" to add to the pending
flight and "flush_flight" to drain it.
We add an add_alert hook for alerts but, for now, only the SSL 3.0
warning alert (sent mid-handshake) uses this mechanism. Later work will
push this down to the rest of the write path so closure alerts use it
too, as in DTLS. The intended end state is that all the ssl_buffer.c and
wpend_ret logic will only be used for application data and eventually
optionally replaced by the in-place API, while all "incidental" data
will be handled internally.
For now, the two buffers are mutually exclusive. Moving closure alerts
to "incidentals" will change this, but flushing application data early
is tricky due to wpend_ret. (If we call ssl_write_buffer_flush,
do_ssl3_write doesn't realize it still has a wpend_ret to replay.) That
too is all left alone in this change.
To keep the diff down, write_message is retained for now and will be
removed from the state machines in a follow-up change.
BUG=72
Change-Id: Ibce882f5f7196880648f25d5005322ca4055c71d
Reviewed-on: https://boringssl-review.googlesource.com/13224
Reviewed-by: Adam Langley <agl@google.com>
2017-01-03 23:37:41 +00:00
|
|
|
int ssl3_add_message(SSL *ssl, uint8_t *msg, size_t len);
|
|
|
|
int ssl3_add_change_cipher_spec(SSL *ssl);
|
|
|
|
int ssl3_add_alert(SSL *ssl, uint8_t level, uint8_t desc);
|
|
|
|
int ssl3_flush_flight(SSL *ssl);
|
2016-06-17 23:48:29 +01:00
|
|
|
|
|
|
|
int dtls1_init_message(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
|
2016-11-12 03:23:25 +00:00
|
|
|
int dtls1_finish_message(SSL *ssl, CBB *cbb, uint8_t **out_msg,
|
|
|
|
size_t *out_len);
|
Don't use the buffer BIO in TLS.
On the TLS side, we introduce a running buffer of ciphertext. Queuing up
pending data consists of encrypting the record into the buffer. This
effectively reimplements what the buffer BIO was doing previously, but
this resizes to fit the whole flight.
As part of this, rename all the functions to add to the pending flight
to be more uniform. This CL proposes "add_foo" to add to the pending
flight and "flush_flight" to drain it.
We add an add_alert hook for alerts but, for now, only the SSL 3.0
warning alert (sent mid-handshake) uses this mechanism. Later work will
push this down to the rest of the write path so closure alerts use it
too, as in DTLS. The intended end state is that all the ssl_buffer.c and
wpend_ret logic will only be used for application data and eventually
optionally replaced by the in-place API, while all "incidental" data
will be handled internally.
For now, the two buffers are mutually exclusive. Moving closure alerts
to "incidentals" will change this, but flushing application data early
is tricky due to wpend_ret. (If we call ssl_write_buffer_flush,
do_ssl3_write doesn't realize it still has a wpend_ret to replay.) That
too is all left alone in this change.
To keep the diff down, write_message is retained for now and will be
removed from the state machines in a follow-up change.
BUG=72
Change-Id: Ibce882f5f7196880648f25d5005322ca4055c71d
Reviewed-on: https://boringssl-review.googlesource.com/13224
Reviewed-by: Adam Langley <agl@google.com>
2017-01-03 23:37:41 +00:00
|
|
|
int dtls1_add_message(SSL *ssl, uint8_t *msg, size_t len);
|
|
|
|
int dtls1_add_change_cipher_spec(SSL *ssl);
|
|
|
|
int dtls1_add_alert(SSL *ssl, uint8_t level, uint8_t desc);
|
2017-01-03 15:30:35 +00:00
|
|
|
int dtls1_flush_flight(SSL *ssl);
|
2016-06-02 21:38:35 +01:00
|
|
|
|
Don't use the buffer BIO in TLS.
On the TLS side, we introduce a running buffer of ciphertext. Queuing up
pending data consists of encrypting the record into the buffer. This
effectively reimplements what the buffer BIO was doing previously, but
this resizes to fit the whole flight.
As part of this, rename all the functions to add to the pending flight
to be more uniform. This CL proposes "add_foo" to add to the pending
flight and "flush_flight" to drain it.
We add an add_alert hook for alerts but, for now, only the SSL 3.0
warning alert (sent mid-handshake) uses this mechanism. Later work will
push this down to the rest of the write path so closure alerts use it
too, as in DTLS. The intended end state is that all the ssl_buffer.c and
wpend_ret logic will only be used for application data and eventually
optionally replaced by the in-place API, while all "incidental" data
will be handled internally.
For now, the two buffers are mutually exclusive. Moving closure alerts
to "incidentals" will change this, but flushing application data early
is tricky due to wpend_ret. (If we call ssl_write_buffer_flush,
do_ssl3_write doesn't realize it still has a wpend_ret to replay.) That
too is all left alone in this change.
To keep the diff down, write_message is retained for now and will be
removed from the state machines in a follow-up change.
BUG=72
Change-Id: Ibce882f5f7196880648f25d5005322ca4055c71d
Reviewed-on: https://boringssl-review.googlesource.com/13224
Reviewed-by: Adam Langley <agl@google.com>
2017-01-03 23:37:41 +00:00
|
|
|
/* ssl_add_message_cbb finishes the handshake message in |cbb| and adds it to
|
|
|
|
* the pending flight. It returns one on success and zero on error. */
|
|
|
|
int ssl_add_message_cbb(SSL *ssl, CBB *cbb);
|
2016-11-12 03:23:25 +00:00
|
|
|
|
2016-11-14 08:12:11 +00:00
|
|
|
/* ssl_hash_current_message incorporates the current handshake message into the
|
|
|
|
* handshake hash. It returns one on success and zero on allocation failure. */
|
2017-01-12 18:17:07 +00:00
|
|
|
int ssl_hash_current_message(SSL_HANDSHAKE *hs);
|
2016-11-14 08:12:11 +00:00
|
|
|
|
2016-06-02 21:38:35 +01:00
|
|
|
/* dtls1_get_record reads a new input record. On success, it places it in
|
|
|
|
* |ssl->s3->rrec| and returns one. Otherwise it returns <= 0 on error or if
|
|
|
|
* more data is needed. */
|
|
|
|
int dtls1_get_record(SSL *ssl);
|
|
|
|
|
2016-07-28 16:05:58 +01:00
|
|
|
int dtls1_read_app_data(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
|
|
|
|
int peek);
|
2015-11-26 07:16:49 +00:00
|
|
|
int dtls1_read_change_cipher_spec(SSL *ssl);
|
2015-05-30 21:22:10 +01:00
|
|
|
void dtls1_read_close_notify(SSL *ssl);
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2017-03-09 19:56:07 +00:00
|
|
|
int dtls1_write_app_data(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
|
|
|
|
int len);
|
2016-06-07 20:20:49 +01:00
|
|
|
|
|
|
|
/* dtls1_write_record sends a record. It returns one on success and <= 0 on
|
|
|
|
* error. */
|
|
|
|
int dtls1_write_record(SSL *ssl, int type, const uint8_t *buf, size_t len,
|
|
|
|
enum dtls1_use_epoch_t use_epoch);
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2015-12-19 22:05:56 +00:00
|
|
|
int dtls1_send_finished(SSL *ssl, int a, int b, const char *sender, int slen);
|
2016-06-23 22:49:12 +01:00
|
|
|
int dtls1_retransmit_outgoing_messages(SSL *ssl);
|
2015-12-19 22:05:56 +00:00
|
|
|
void dtls1_clear_record_buffer(SSL *ssl);
|
2016-06-02 21:38:35 +01:00
|
|
|
int dtls1_parse_fragment(CBS *cbs, struct hm_header_st *out_hdr,
|
|
|
|
CBS *out_body);
|
2015-12-19 22:05:56 +00:00
|
|
|
int dtls1_check_timeout_num(SSL *ssl);
|
|
|
|
int dtls1_handshake_write(SSL *ssl);
|
2015-02-08 06:40:08 +00:00
|
|
|
|
2015-12-19 22:05:56 +00:00
|
|
|
void dtls1_start_timer(SSL *ssl);
|
|
|
|
void dtls1_stop_timer(SSL *ssl);
|
|
|
|
int dtls1_is_timer_expired(SSL *ssl);
|
2014-06-20 20:00:00 +01:00
|
|
|
unsigned int dtls1_min_mtu(void);
|
|
|
|
|
2015-12-19 22:05:56 +00:00
|
|
|
int dtls1_new(SSL *ssl);
|
|
|
|
int dtls1_accept(SSL *ssl);
|
|
|
|
int dtls1_connect(SSL *ssl);
|
|
|
|
void dtls1_free(SSL *ssl);
|
|
|
|
|
2017-01-21 19:49:39 +00:00
|
|
|
int dtls1_get_message(SSL *ssl);
|
2016-11-14 08:12:11 +00:00
|
|
|
void dtls1_get_current_message(const SSL *ssl, CBS *out);
|
2017-08-03 01:06:53 +01:00
|
|
|
void dtls1_release_current_message(SSL *ssl);
|
2015-12-19 22:05:56 +00:00
|
|
|
int dtls1_dispatch_alert(SSL *ssl);
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2016-11-17 08:03:59 +00:00
|
|
|
int tls1_change_cipher_state(SSL_HANDSHAKE *hs, int which);
|
2017-01-12 18:17:07 +00:00
|
|
|
int tls1_generate_master_secret(SSL_HANDSHAKE *hs, uint8_t *out,
|
|
|
|
const uint8_t *premaster, size_t premaster_len);
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2016-07-18 17:40:30 +01:00
|
|
|
/* tls1_get_grouplist sets |*out_group_ids| and |*out_group_ids_len| to the
|
2016-10-07 05:37:55 +01:00
|
|
|
* locally-configured group preference list. */
|
|
|
|
void tls1_get_grouplist(SSL *ssl, const uint16_t **out_group_ids,
|
2016-07-18 17:40:30 +01:00
|
|
|
size_t *out_group_ids_len);
|
|
|
|
|
2016-10-07 05:34:08 +01:00
|
|
|
/* tls1_check_group_id returns one if |group_id| is consistent with
|
|
|
|
* locally-configured group preferences. */
|
2016-05-17 16:47:53 +01:00
|
|
|
int tls1_check_group_id(SSL *ssl, uint16_t group_id);
|
2015-12-19 05:18:25 +00:00
|
|
|
|
2016-05-17 16:47:53 +01:00
|
|
|
/* tls1_get_shared_group sets |*out_group_id| to the first preferred shared
|
|
|
|
* group between client and server preferences and returns one. If none may be
|
2015-12-19 05:18:25 +00:00
|
|
|
* found, it returns zero. */
|
2016-11-17 08:20:47 +00:00
|
|
|
int tls1_get_shared_group(SSL_HANDSHAKE *hs, uint16_t *out_group_id);
|
2014-07-13 21:24:27 +01:00
|
|
|
|
|
|
|
/* tls1_set_curves converts the array of |ncurves| NIDs pointed to by |curves|
|
2016-05-17 16:47:53 +01:00
|
|
|
* into a newly allocated array of TLS group IDs. On success, the function
|
|
|
|
* returns one and writes the array to |*out_group_ids| and its size to
|
|
|
|
* |*out_group_ids_len|. Otherwise, it returns zero. */
|
|
|
|
int tls1_set_curves(uint16_t **out_group_ids, size_t *out_group_ids_len,
|
2014-12-19 01:42:32 +00:00
|
|
|
const int *curves, size_t ncurves);
|
2014-07-13 21:24:27 +01:00
|
|
|
|
2016-09-28 21:04:25 +01:00
|
|
|
/* tls1_set_curves_list converts the string of curves pointed to by |curves|
|
|
|
|
* into a newly allocated array of TLS group IDs. On success, the function
|
|
|
|
* returns one and writes the array to |*out_group_ids| and its size to
|
|
|
|
* |*out_group_ids_len|. Otherwise, it returns zero. */
|
|
|
|
int tls1_set_curves_list(uint16_t **out_group_ids, size_t *out_group_ids_len,
|
|
|
|
const char *curves);
|
|
|
|
|
2015-10-10 19:13:23 +01:00
|
|
|
/* ssl_add_clienthello_tlsext writes ClientHello extensions to |out|. It
|
|
|
|
* returns one on success and zero on failure. The |header_len| argument is the
|
|
|
|
* length of the ClientHello written so far and is used to compute the padding
|
|
|
|
* length. (It does not include the record header.) */
|
2016-12-03 07:20:34 +00:00
|
|
|
int ssl_add_clienthello_tlsext(SSL_HANDSHAKE *hs, CBB *out, size_t header_len);
|
2015-10-10 19:13:23 +01:00
|
|
|
|
2016-12-03 07:20:34 +00:00
|
|
|
int ssl_add_serverhello_tlsext(SSL_HANDSHAKE *hs, CBB *out);
|
2016-12-04 04:15:13 +00:00
|
|
|
int ssl_parse_clienthello_tlsext(SSL_HANDSHAKE *hs,
|
|
|
|
const SSL_CLIENT_HELLO *client_hello);
|
2016-12-03 07:20:34 +00:00
|
|
|
int ssl_parse_serverhello_tlsext(SSL_HANDSHAKE *hs, CBS *cbs);
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2014-12-19 01:42:32 +00:00
|
|
|
#define tlsext_tick_md EVP_sha256
|
2015-06-16 20:34:50 +01:00
|
|
|
|
2017-03-09 03:33:21 +00:00
|
|
|
/* ssl_process_ticket processes a session ticket from the client. It returns
|
|
|
|
* one of:
|
|
|
|
* |ssl_ticket_aead_success|: |*out_session| is set to the parsed session and
|
|
|
|
* |*out_renew_ticket| is set to whether the ticket should be renewed.
|
|
|
|
* |ssl_ticket_aead_ignore_ticket|: |*out_renew_ticket| is set to whether a
|
|
|
|
* fresh ticket should be sent, but the given ticket cannot be used.
|
|
|
|
* |ssl_ticket_aead_retry|: the ticket could not be immediately decrypted.
|
|
|
|
* Retry later.
|
|
|
|
* |ssl_ticket_aead_error|: an error occured that is fatal to the connection. */
|
|
|
|
enum ssl_ticket_aead_result_t ssl_process_ticket(
|
2017-07-29 06:42:16 +01:00
|
|
|
SSL *ssl, UniquePtr<SSL_SESSION> *out_session, int *out_renew_ticket,
|
2017-03-09 03:33:21 +00:00
|
|
|
const uint8_t *ticket, size_t ticket_len, const uint8_t *session_id,
|
|
|
|
size_t session_id_len);
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2016-09-24 00:25:11 +01:00
|
|
|
/* tls1_verify_channel_id processes the current message as a Channel ID message,
|
|
|
|
* and verifies the signature. If the key is valid, it saves the Channel ID and
|
|
|
|
* returns one. Otherwise, it returns zero. */
|
2017-01-12 18:17:07 +00:00
|
|
|
int tls1_verify_channel_id(SSL_HANDSHAKE *hs);
|
2016-09-24 00:25:11 +01:00
|
|
|
|
|
|
|
/* tls1_write_channel_id generates a Channel ID message and puts the output in
|
|
|
|
* |cbb|. |ssl->tlsext_channel_id_private| must already be set before calling.
|
|
|
|
* This function returns one on success and zero on error. */
|
2017-01-12 18:17:07 +00:00
|
|
|
int tls1_write_channel_id(SSL_HANDSHAKE *hs, CBB *cbb);
|
2016-09-24 00:25:11 +01:00
|
|
|
|
2015-08-06 16:10:51 +01:00
|
|
|
/* tls1_channel_id_hash computes the hash to be signed by Channel ID and writes
|
|
|
|
* it to |out|, which must contain at least |EVP_MAX_MD_SIZE| bytes. It returns
|
|
|
|
* one on success and zero on failure. */
|
2017-01-12 18:17:07 +00:00
|
|
|
int tls1_channel_id_hash(SSL_HANDSHAKE *hs, uint8_t *out, size_t *out_len);
|
2015-08-06 16:10:51 +01:00
|
|
|
|
2017-01-12 18:17:07 +00:00
|
|
|
int tls1_record_handshake_hashes_for_channel_id(SSL_HANDSHAKE *hs);
|
2014-06-20 20:00:00 +01:00
|
|
|
|
2016-09-24 00:25:11 +01:00
|
|
|
/* ssl_do_channel_id_callback checks runs |ssl->ctx->channel_id_cb| if
|
|
|
|
* necessary. It returns one on success and zero on fatal error. Note that, on
|
|
|
|
* success, |ssl->tlsext_channel_id_private| may be unset, in which case the
|
|
|
|
* operation should be retried later. */
|
|
|
|
int ssl_do_channel_id_callback(SSL *ssl);
|
|
|
|
|
2015-12-19 22:05:56 +00:00
|
|
|
/* ssl3_can_false_start returns one if |ssl| is allowed to False Start and zero
|
2015-02-17 00:16:46 +00:00
|
|
|
* otherwise. */
|
2015-12-19 22:05:56 +00:00
|
|
|
int ssl3_can_false_start(const SSL *ssl);
|
2014-12-08 04:56:19 +00:00
|
|
|
|
2016-12-19 18:19:29 +00:00
|
|
|
/* ssl_can_write returns one if |ssl| is allowed to write and zero otherwise. */
|
|
|
|
int ssl_can_write(const SSL *ssl);
|
|
|
|
|
|
|
|
/* ssl_can_read returns one if |ssl| is allowed to read and zero otherwise. */
|
|
|
|
int ssl_can_read(const SSL *ssl);
|
|
|
|
|
2017-02-20 22:00:20 +00:00
|
|
|
void ssl_get_current_time(const SSL *ssl, struct OPENSSL_timeval *out_clock);
|
2016-08-03 18:13:17 +01:00
|
|
|
|
2017-01-02 12:56:51 +00:00
|
|
|
/* ssl_reset_error_state resets state for |SSL_get_error|. */
|
|
|
|
void ssl_reset_error_state(SSL *ssl);
|
|
|
|
|
2016-06-27 21:34:59 +01:00
|
|
|
|
2017-07-17 19:10:46 +01:00
|
|
|
/* Utility macros */
|
|
|
|
|
|
|
|
#if defined(__clang__)
|
|
|
|
/* SSL_FALLTHROUGH annotates a fallthough case in a switch statement. */
|
|
|
|
#define SSL_FALLTHROUGH [[clang::fallthrough]]
|
|
|
|
#else
|
|
|
|
#define SSL_FALLTHROUGH
|
|
|
|
#endif
|
|
|
|
|
Move libssl's internals into the bssl namespace.
This is horrible, but everything else I tried was worse. The goal with
this CL is to take the extern "C" out of ssl/internal.h and move most
symbols to namespace bssl, so we can start using C++ helpers and
destructors without worry.
Complications:
- Public API functions must be extern "C" and match their declaration in
ssl.h, which is unnamespaced. C++ really does not want you to
interleave namespaced and unnamespaced things. One can actually write
a namespaced extern "C" function, but this means, from C++'s
perspective, the function is namespaced. Trying to namespace the
public header would worked but ended up too deep a rabbithole.
- Our STACK_OF macros do not work right in namespaces.
- The typedefs for our exposed but opaque types are visible in the
header files and copied into consuming projects as forward
declarations. We ultimately want to give SSL a destructor, but
clobbering an unnamespaced ssl_st::~ssl_st seems bad manners.
- MSVC complains about ambiguous names if one typedefs SSL to bssl::SSL.
This CL opts for:
- ssl/*.cc must begin with #define BORINGSSL_INTERNAL_CXX_TYPES. This
informs the public headers to create forward declarations which are
compatible with our namespaces.
- For now, C++-defined type FOO ends up at bssl::FOO with a typedef
outside. Later I imagine we'll rename many of them.
- Internal functions get namespace bssl, so we stop worrying about
stomping the tls1_prf symbol. Exported C functions are stuck as they
are. Rather than try anything weird, bite the bullet and reorder files
which have a mix of public and private functions. I expect that over
time, the public functions will become fairly small as we move logic
to more idiomatic C++.
Files without any public C functions can just be written normally.
- To avoid MSVC troubles, some bssl types are renamed to CPlusPlusStyle
in advance of them being made idiomatic C++.
Bug: 132
Change-Id: Ic931895e117c38b14ff8d6e5a273e868796c7581
Reviewed-on: https://boringssl-review.googlesource.com/18124
Reviewed-by: David Benjamin <davidben@google.com>
2017-07-18 21:34:25 +01:00
|
|
|
} // namespace bssl
|
2017-07-17 19:10:46 +01:00
|
|
|
|
2016-06-27 21:34:59 +01:00
|
|
|
|
2017-07-20 17:22:21 +01:00
|
|
|
/* Opaque C types.
|
|
|
|
*
|
|
|
|
* The following types are exported to C code as public typedefs, so they must
|
|
|
|
* be defined outside of the namespace. */
|
|
|
|
|
|
|
|
/* ssl_method_st backs the public |SSL_METHOD| type. It is a compatibility
|
|
|
|
* structure to support the legacy version-locked methods. */
|
|
|
|
struct ssl_method_st {
|
|
|
|
/* version, if non-zero, is the only protocol version acceptable to an
|
|
|
|
* SSL_CTX initialized from this method. */
|
|
|
|
uint16_t version;
|
|
|
|
/* method is the underlying SSL_PROTOCOL_METHOD that initializes the
|
|
|
|
* SSL_CTX. */
|
|
|
|
const SSL_PROTOCOL_METHOD *method;
|
|
|
|
/* x509_method contains pointers to functions that might deal with |X509|
|
|
|
|
* compatibility, or might be a no-op, depending on the application. */
|
|
|
|
const SSL_X509_METHOD *x509_method;
|
|
|
|
};
|
|
|
|
|
|
|
|
/* ssl_protocol_method_st, aka |SSL_PROTOCOL_METHOD| abstracts between TLS and
|
|
|
|
* DTLS. */
|
|
|
|
struct ssl_protocol_method_st {
|
|
|
|
/* is_dtls is one if the protocol is DTLS and zero otherwise. */
|
|
|
|
char is_dtls;
|
|
|
|
int (*ssl_new)(SSL *ssl);
|
|
|
|
void (*ssl_free)(SSL *ssl);
|
|
|
|
/* ssl_get_message reads the next handshake message. On success, it returns
|
|
|
|
* one and sets |ssl->s3->tmp.message_type|, |ssl->init_msg|, and
|
|
|
|
* |ssl->init_num|. Otherwise, it returns <= 0. */
|
|
|
|
int (*ssl_get_message)(SSL *ssl);
|
|
|
|
/* get_current_message sets |*out| to the current handshake message. This
|
|
|
|
* includes the protocol-specific message header. */
|
|
|
|
void (*get_current_message)(const SSL *ssl, CBS *out);
|
2017-08-03 01:06:53 +01:00
|
|
|
/* release_current_message is called to release the current handshake
|
|
|
|
* message. */
|
|
|
|
void (*release_current_message)(SSL *ssl);
|
2017-07-20 17:22:21 +01:00
|
|
|
/* read_app_data reads up to |len| bytes of application data into |buf|. On
|
|
|
|
* success, it returns the number of bytes read. Otherwise, it returns <= 0
|
|
|
|
* and sets |*out_got_handshake| to whether the failure was due to a
|
|
|
|
* post-handshake handshake message. If so, it fills in the current message as
|
|
|
|
* in |ssl_get_message|. */
|
|
|
|
int (*read_app_data)(SSL *ssl, int *out_got_handshake, uint8_t *buf, int len,
|
|
|
|
int peek);
|
|
|
|
int (*read_change_cipher_spec)(SSL *ssl);
|
|
|
|
void (*read_close_notify)(SSL *ssl);
|
|
|
|
int (*write_app_data)(SSL *ssl, int *out_needs_handshake, const uint8_t *buf,
|
|
|
|
int len);
|
|
|
|
int (*dispatch_alert)(SSL *ssl);
|
|
|
|
/* supports_cipher returns one if |cipher| is supported by this protocol and
|
|
|
|
* zero otherwise. */
|
|
|
|
int (*supports_cipher)(const SSL_CIPHER *cipher);
|
|
|
|
/* init_message begins a new handshake message of type |type|. |cbb| is the
|
|
|
|
* root CBB to be passed into |finish_message|. |*body| is set to a child CBB
|
|
|
|
* the caller should write to. It returns one on success and zero on error. */
|
|
|
|
int (*init_message)(SSL *ssl, CBB *cbb, CBB *body, uint8_t type);
|
|
|
|
/* finish_message finishes a handshake message. It sets |*out_msg| to a
|
|
|
|
* newly-allocated buffer with the serialized message. The caller must
|
|
|
|
* release it with |OPENSSL_free| when done. It returns one on success and
|
|
|
|
* zero on error. */
|
|
|
|
int (*finish_message)(SSL *ssl, CBB *cbb, uint8_t **out_msg, size_t *out_len);
|
|
|
|
/* add_message adds a handshake message to the pending flight. It returns one
|
|
|
|
* on success and zero on error. In either case, it takes ownership of |msg|
|
|
|
|
* and releases it with |OPENSSL_free| when done. */
|
|
|
|
int (*add_message)(SSL *ssl, uint8_t *msg, size_t len);
|
|
|
|
/* add_change_cipher_spec adds a ChangeCipherSpec record to the pending
|
|
|
|
* flight. It returns one on success and zero on error. */
|
|
|
|
int (*add_change_cipher_spec)(SSL *ssl);
|
|
|
|
/* add_alert adds an alert to the pending flight. It returns one on success
|
|
|
|
* and zero on error. */
|
|
|
|
int (*add_alert)(SSL *ssl, uint8_t level, uint8_t desc);
|
|
|
|
/* flush_flight flushes the pending flight to the transport. It returns one on
|
|
|
|
* success and <= 0 on error. */
|
|
|
|
int (*flush_flight)(SSL *ssl);
|
2017-08-03 00:46:29 +01:00
|
|
|
/* on_handshake_complete is called when the handshake is complete. */
|
|
|
|
void (*on_handshake_complete)(SSL *ssl);
|
2017-07-20 17:22:21 +01:00
|
|
|
/* set_read_state sets |ssl|'s read cipher state to |aead_ctx|. It returns
|
|
|
|
* one on success and zero if changing the read state is forbidden at this
|
|
|
|
* point. */
|
|
|
|
int (*set_read_state)(SSL *ssl,
|
|
|
|
bssl::UniquePtr<bssl::SSLAEADContext> aead_ctx);
|
|
|
|
/* set_write_state sets |ssl|'s write cipher state to |aead_ctx|. It returns
|
|
|
|
* one on success and zero if changing the write state is forbidden at this
|
|
|
|
* point. */
|
|
|
|
int (*set_write_state)(SSL *ssl,
|
|
|
|
bssl::UniquePtr<bssl::SSLAEADContext> aead_ctx);
|
|
|
|
};
|
|
|
|
|
|
|
|
struct ssl_x509_method_st {
|
|
|
|
/* check_client_CA_list returns one if |names| is a good list of X.509
|
|
|
|
* distinguished names and zero otherwise. This is used to ensure that we can
|
|
|
|
* reject unparsable values at handshake time when using crypto/x509. */
|
|
|
|
int (*check_client_CA_list)(STACK_OF(CRYPTO_BUFFER) *names);
|
|
|
|
|
|
|
|
/* cert_clear frees and NULLs all X509 certificate-related state. */
|
|
|
|
void (*cert_clear)(CERT *cert);
|
|
|
|
/* cert_free frees all X509-related state. */
|
|
|
|
void (*cert_free)(CERT *cert);
|
|
|
|
/* cert_flush_cached_chain drops any cached |X509|-based certificate chain
|
|
|
|
* from |cert|. */
|
|
|
|
/* cert_dup duplicates any needed fields from |cert| to |new_cert|. */
|
|
|
|
void (*cert_dup)(CERT *new_cert, const CERT *cert);
|
|
|
|
void (*cert_flush_cached_chain)(CERT *cert);
|
|
|
|
/* cert_flush_cached_chain drops any cached |X509|-based leaf certificate
|
|
|
|
* from |cert|. */
|
|
|
|
void (*cert_flush_cached_leaf)(CERT *cert);
|
|
|
|
|
|
|
|
/* session_cache_objects fills out |sess->x509_peer| and |sess->x509_chain|
|
|
|
|
* from |sess->certs| and erases |sess->x509_chain_without_leaf|. It returns
|
|
|
|
* one on success or zero on error. */
|
|
|
|
int (*session_cache_objects)(SSL_SESSION *session);
|
|
|
|
/* session_dup duplicates any needed fields from |session| to |new_session|.
|
|
|
|
* It returns one on success or zero on error. */
|
|
|
|
int (*session_dup)(SSL_SESSION *new_session, const SSL_SESSION *session);
|
|
|
|
/* session_clear frees any X509-related state from |session|. */
|
|
|
|
void (*session_clear)(SSL_SESSION *session);
|
|
|
|
/* session_verify_cert_chain verifies the certificate chain in |session|,
|
|
|
|
* sets |session->verify_result| and returns one on success or zero on
|
|
|
|
* error. */
|
|
|
|
int (*session_verify_cert_chain)(SSL_SESSION *session, SSL *ssl,
|
|
|
|
uint8_t *out_alert);
|
|
|
|
|
|
|
|
/* hs_flush_cached_ca_names drops any cached |X509_NAME|s from |hs|. */
|
|
|
|
void (*hs_flush_cached_ca_names)(bssl::SSL_HANDSHAKE *hs);
|
|
|
|
/* ssl_new does any neccessary initialisation of |ssl|. It returns one on
|
|
|
|
* success or zero on error. */
|
|
|
|
int (*ssl_new)(SSL *ssl);
|
|
|
|
/* ssl_free frees anything created by |ssl_new|. */
|
|
|
|
void (*ssl_free)(SSL *ssl);
|
|
|
|
/* ssl_flush_cached_client_CA drops any cached |X509_NAME|s from |ssl|. */
|
|
|
|
void (*ssl_flush_cached_client_CA)(SSL *ssl);
|
|
|
|
/* ssl_auto_chain_if_needed runs the deprecated auto-chaining logic if
|
|
|
|
* necessary. On success, it updates |ssl|'s certificate configuration as
|
|
|
|
* needed and returns one. Otherwise, it returns zero. */
|
|
|
|
int (*ssl_auto_chain_if_needed)(SSL *ssl);
|
|
|
|
/* ssl_ctx_new does any neccessary initialisation of |ctx|. It returns one on
|
|
|
|
* success or zero on error. */
|
|
|
|
int (*ssl_ctx_new)(SSL_CTX *ctx);
|
|
|
|
/* ssl_ctx_free frees anything created by |ssl_ctx_new|. */
|
|
|
|
void (*ssl_ctx_free)(SSL_CTX *ctx);
|
|
|
|
/* ssl_ctx_flush_cached_client_CA drops any cached |X509_NAME|s from |ctx|. */
|
|
|
|
void (*ssl_ctx_flush_cached_client_CA)(SSL_CTX *ssl);
|
|
|
|
};
|
|
|
|
|
|
|
|
/* ssl_st backs the public |SSL| type. It subclasses the true type so that
|
|
|
|
* SSLConnection may be a C++ type with methods and destructor without
|
|
|
|
* polluting the global namespace. */
|
|
|
|
struct ssl_st : public bssl::SSLConnection {};
|
|
|
|
|
|
|
|
struct cert_st : public bssl::SSLCertConfig {};
|
|
|
|
|
|
|
|
|
2015-04-08 03:38:30 +01:00
|
|
|
#endif /* OPENSSL_HEADER_SSL_INTERNAL_H */
|