| /* 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-2002 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. */ | |
| #include <openssl/ssl.h> | |
| #include <assert.h> | |
| #include <limits.h> | |
| #include <string.h> | |
| #include <tuple> | |
| #include <openssl/buf.h> | |
| #include <openssl/bytestring.h> | |
| #include <openssl/err.h> | |
| #include <openssl/evp.h> | |
| #include <openssl/mem.h> | |
| #include <openssl/md5.h> | |
| #include <openssl/nid.h> | |
| #include <openssl/rand.h> | |
| #include <openssl/sha.h> | |
| #include "../crypto/internal.h" | |
| #include "internal.h" | |
| BSSL_NAMESPACE_BEGIN | |
| static bool add_record_to_flight(SSL *ssl, uint8_t type, | |
| Span<const uint8_t> in) { | |
| // The caller should have flushed |pending_hs_data| first. | |
| assert(!ssl->s3->pending_hs_data); | |
| // We'll never add a flight while in the process of writing it out. | |
| assert(ssl->s3->pending_flight_offset == 0); | |
| if (ssl->s3->pending_flight == nullptr) { | |
| ssl->s3->pending_flight.reset(BUF_MEM_new()); | |
| if (ssl->s3->pending_flight == nullptr) { | |
| return false; | |
| } | |
| } | |
| size_t max_out = in.size() + SSL_max_seal_overhead(ssl); | |
| size_t new_cap = ssl->s3->pending_flight->length + max_out; | |
| if (max_out < in.size() || new_cap < max_out) { | |
| OPENSSL_PUT_ERROR(SSL, ERR_R_OVERFLOW); | |
| return false; | |
| } | |
| size_t len; | |
| if (!BUF_MEM_reserve(ssl->s3->pending_flight.get(), new_cap) || | |
| !tls_seal_record(ssl, | |
| (uint8_t *)ssl->s3->pending_flight->data + | |
| ssl->s3->pending_flight->length, | |
| &len, max_out, type, in.data(), in.size())) { | |
| return false; | |
| } | |
| ssl->s3->pending_flight->length += len; | |
| return true; | |
| } | |
| bool tls_init_message(const SSL *ssl, CBB *cbb, CBB *body, uint8_t type) { | |
| // Pick a modest size hint to save most of the |realloc| calls. | |
| if (!CBB_init(cbb, 64) || | |
| !CBB_add_u8(cbb, type) || | |
| !CBB_add_u24_length_prefixed(cbb, body)) { | |
| OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR); | |
| CBB_cleanup(cbb); | |
| return false; | |
| } | |
| return true; | |
| } | |
| bool tls_finish_message(const SSL *ssl, CBB *cbb, Array<uint8_t> *out_msg) { | |
| return CBBFinishArray(cbb, out_msg); | |
| } | |
| bool tls_add_message(SSL *ssl, Array<uint8_t> msg) { | |
| // Pack handshake data into the minimal number of records. This avoids | |
| // unnecessary encryption overhead, notably in TLS 1.3 where we send several | |
| // encrypted messages in a row. For now, we do not do this for the null | |
| // cipher. The benefit is smaller and there is a risk of breaking buggy | |
| // implementations. | |
| // | |
| // TODO(davidben): See if we can do this uniformly. | |
| Span<const uint8_t> rest = msg; | |
| if (ssl->quic_method == nullptr && | |
| ssl->s3->aead_write_ctx->is_null_cipher()) { | |
| while (!rest.empty()) { | |
| Span<const uint8_t> chunk = rest.subspan(0, ssl->max_send_fragment); | |
| rest = rest.subspan(chunk.size()); | |
| if (!add_record_to_flight(ssl, SSL3_RT_HANDSHAKE, chunk)) { | |
| return false; | |
| } | |
| } | |
| } else { | |
| while (!rest.empty()) { | |
| // Flush if |pending_hs_data| is full. | |
| if (ssl->s3->pending_hs_data && | |
| ssl->s3->pending_hs_data->length >= ssl->max_send_fragment && | |
| !tls_flush_pending_hs_data(ssl)) { | |
| return false; | |
| } | |
| size_t pending_len = | |
| ssl->s3->pending_hs_data ? ssl->s3->pending_hs_data->length : 0; | |
| Span<const uint8_t> chunk = | |
| rest.subspan(0, ssl->max_send_fragment - pending_len); | |
| assert(!chunk.empty()); | |
| rest = rest.subspan(chunk.size()); | |
| if (!ssl->s3->pending_hs_data) { | |
| ssl->s3->pending_hs_data.reset(BUF_MEM_new()); | |
| } | |
| if (!ssl->s3->pending_hs_data || | |
| !BUF_MEM_append(ssl->s3->pending_hs_data.get(), chunk.data(), | |
| chunk.size())) { | |
| return false; | |
| } | |
| } | |
| } | |
| ssl_do_msg_callback(ssl, 1 /* write */, SSL3_RT_HANDSHAKE, msg); | |
| // TODO(svaldez): Move this up a layer to fix abstraction for SSLTranscript on | |
| // hs. | |
| if (ssl->s3->hs != NULL && | |
| !ssl->s3->hs->transcript.Update(msg)) { | |
| return false; | |
| } | |
| return true; | |
| } | |
| bool tls_flush_pending_hs_data(SSL *ssl) { | |
| if (!ssl->s3->pending_hs_data || ssl->s3->pending_hs_data->length == 0) { | |
| return true; | |
| } | |
| UniquePtr<BUF_MEM> pending_hs_data = std::move(ssl->s3->pending_hs_data); | |
| auto data = | |
| MakeConstSpan(reinterpret_cast<const uint8_t *>(pending_hs_data->data), | |
| pending_hs_data->length); | |
| if (ssl->quic_method) { | |
| if ((ssl->s3->hs == nullptr || !ssl->s3->hs->hints_requested) && | |
| !ssl->quic_method->add_handshake_data(ssl, ssl->s3->write_level, | |
| data.data(), data.size())) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_QUIC_INTERNAL_ERROR); | |
| return false; | |
| } | |
| return true; | |
| } | |
| return add_record_to_flight(ssl, SSL3_RT_HANDSHAKE, data); | |
| } | |
| bool tls_add_change_cipher_spec(SSL *ssl) { | |
| static const uint8_t kChangeCipherSpec[1] = {SSL3_MT_CCS}; | |
| if (!tls_flush_pending_hs_data(ssl)) { | |
| return false; | |
| } | |
| if (!ssl->quic_method && | |
| !add_record_to_flight(ssl, SSL3_RT_CHANGE_CIPHER_SPEC, | |
| kChangeCipherSpec)) { | |
| return false; | |
| } | |
| ssl_do_msg_callback(ssl, 1 /* write */, SSL3_RT_CHANGE_CIPHER_SPEC, | |
| kChangeCipherSpec); | |
| return true; | |
| } | |
| int tls_flush_flight(SSL *ssl) { | |
| if (!tls_flush_pending_hs_data(ssl)) { | |
| return -1; | |
| } | |
| if (ssl->quic_method) { | |
| if (ssl->s3->write_shutdown != ssl_shutdown_none) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_PROTOCOL_IS_SHUTDOWN); | |
| return -1; | |
| } | |
| if (!ssl->quic_method->flush_flight(ssl)) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_QUIC_INTERNAL_ERROR); | |
| return -1; | |
| } | |
| } | |
| if (ssl->s3->pending_flight == nullptr) { | |
| return 1; | |
| } | |
| if (ssl->s3->write_shutdown != ssl_shutdown_none) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_PROTOCOL_IS_SHUTDOWN); | |
| return -1; | |
| } | |
| static_assert(INT_MAX <= 0xffffffff, "int is larger than 32 bits"); | |
| if (ssl->s3->pending_flight->length > INT_MAX) { | |
| OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR); | |
| return -1; | |
| } | |
| // If there is pending data in the write buffer, it must be flushed out before | |
| // any new data in pending_flight. | |
| if (!ssl->s3->write_buffer.empty()) { | |
| int ret = ssl_write_buffer_flush(ssl); | |
| if (ret <= 0) { | |
| ssl->s3->rwstate = SSL_ERROR_WANT_WRITE; | |
| return ret; | |
| } | |
| } | |
| if (ssl->wbio == nullptr) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_BIO_NOT_SET); | |
| return -1; | |
| } | |
| // Write the pending flight. | |
| while (ssl->s3->pending_flight_offset < ssl->s3->pending_flight->length) { | |
| int ret = BIO_write( | |
| ssl->wbio.get(), | |
| ssl->s3->pending_flight->data + ssl->s3->pending_flight_offset, | |
| ssl->s3->pending_flight->length - ssl->s3->pending_flight_offset); | |
| if (ret <= 0) { | |
| ssl->s3->rwstate = SSL_ERROR_WANT_WRITE; | |
| return ret; | |
| } | |
| ssl->s3->pending_flight_offset += ret; | |
| } | |
| if (BIO_flush(ssl->wbio.get()) <= 0) { | |
| ssl->s3->rwstate = SSL_ERROR_WANT_WRITE; | |
| return -1; | |
| } | |
| ssl->s3->pending_flight.reset(); | |
| ssl->s3->pending_flight_offset = 0; | |
| return 1; | |
| } | |
| static ssl_open_record_t read_v2_client_hello(SSL *ssl, size_t *out_consumed, | |
| Span<const uint8_t> in) { | |
| *out_consumed = 0; | |
| assert(in.size() >= SSL3_RT_HEADER_LENGTH); | |
| // Determine the length of the V2ClientHello. | |
| size_t msg_length = ((in[0] & 0x7f) << 8) | in[1]; | |
| if (msg_length > (1024 * 4)) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_RECORD_TOO_LARGE); | |
| return ssl_open_record_error; | |
| } | |
| if (msg_length < SSL3_RT_HEADER_LENGTH - 2) { | |
| // Reject lengths that are too short early. We have already read | |
| // |SSL3_RT_HEADER_LENGTH| bytes, so we should not attempt to process an | |
| // (invalid) V2ClientHello which would be shorter than that. | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_RECORD_LENGTH_MISMATCH); | |
| return ssl_open_record_error; | |
| } | |
| // Ask for the remainder of the V2ClientHello. | |
| if (in.size() < 2 + msg_length) { | |
| *out_consumed = 2 + msg_length; | |
| return ssl_open_record_partial; | |
| } | |
| CBS v2_client_hello = CBS(ssl->s3->read_buffer.span().subspan(2, msg_length)); | |
| // The V2ClientHello without the length is incorporated into the handshake | |
| // hash. This is only ever called at the start of the handshake, so hs is | |
| // guaranteed to be non-NULL. | |
| if (!ssl->s3->hs->transcript.Update(v2_client_hello)) { | |
| return ssl_open_record_error; | |
| } | |
| ssl_do_msg_callback(ssl, 0 /* read */, 0 /* V2ClientHello */, | |
| v2_client_hello); | |
| uint8_t msg_type; | |
| uint16_t version, cipher_spec_length, session_id_length, challenge_length; | |
| CBS cipher_specs, session_id, challenge; | |
| if (!CBS_get_u8(&v2_client_hello, &msg_type) || | |
| !CBS_get_u16(&v2_client_hello, &version) || | |
| !CBS_get_u16(&v2_client_hello, &cipher_spec_length) || | |
| !CBS_get_u16(&v2_client_hello, &session_id_length) || | |
| !CBS_get_u16(&v2_client_hello, &challenge_length) || | |
| !CBS_get_bytes(&v2_client_hello, &cipher_specs, cipher_spec_length) || | |
| !CBS_get_bytes(&v2_client_hello, &session_id, session_id_length) || | |
| !CBS_get_bytes(&v2_client_hello, &challenge, challenge_length) || | |
| CBS_len(&v2_client_hello) != 0) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR); | |
| return ssl_open_record_error; | |
| } | |
| // msg_type has already been checked. | |
| assert(msg_type == SSL2_MT_CLIENT_HELLO); | |
| // The client_random is the V2ClientHello challenge. Truncate or left-pad with | |
| // zeros as needed. | |
| size_t rand_len = CBS_len(&challenge); | |
| if (rand_len > SSL3_RANDOM_SIZE) { | |
| rand_len = SSL3_RANDOM_SIZE; | |
| } | |
| uint8_t random[SSL3_RANDOM_SIZE]; | |
| OPENSSL_memset(random, 0, SSL3_RANDOM_SIZE); | |
| OPENSSL_memcpy(random + (SSL3_RANDOM_SIZE - rand_len), CBS_data(&challenge), | |
| rand_len); | |
| // Write out an equivalent TLS ClientHello directly to the handshake buffer. | |
| size_t max_v3_client_hello = SSL3_HM_HEADER_LENGTH + 2 /* version */ + | |
| SSL3_RANDOM_SIZE + 1 /* session ID length */ + | |
| 2 /* cipher list length */ + | |
| CBS_len(&cipher_specs) / 3 * 2 + | |
| 1 /* compression length */ + 1 /* compression */; | |
| ScopedCBB client_hello; | |
| CBB hello_body, cipher_suites; | |
| if (!ssl->s3->hs_buf) { | |
| ssl->s3->hs_buf.reset(BUF_MEM_new()); | |
| } | |
| if (!ssl->s3->hs_buf || | |
| !BUF_MEM_reserve(ssl->s3->hs_buf.get(), max_v3_client_hello) || | |
| !CBB_init_fixed(client_hello.get(), (uint8_t *)ssl->s3->hs_buf->data, | |
| ssl->s3->hs_buf->max) || | |
| !CBB_add_u8(client_hello.get(), SSL3_MT_CLIENT_HELLO) || | |
| !CBB_add_u24_length_prefixed(client_hello.get(), &hello_body) || | |
| !CBB_add_u16(&hello_body, version) || | |
| !CBB_add_bytes(&hello_body, random, SSL3_RANDOM_SIZE) || | |
| // No session id. | |
| !CBB_add_u8(&hello_body, 0) || | |
| !CBB_add_u16_length_prefixed(&hello_body, &cipher_suites)) { | |
| return ssl_open_record_error; | |
| } | |
| // Copy the cipher suites. | |
| while (CBS_len(&cipher_specs) > 0) { | |
| uint32_t cipher_spec; | |
| if (!CBS_get_u24(&cipher_specs, &cipher_spec)) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR); | |
| return ssl_open_record_error; | |
| } | |
| // Skip SSLv2 ciphers. | |
| if ((cipher_spec & 0xff0000) != 0) { | |
| continue; | |
| } | |
| if (!CBB_add_u16(&cipher_suites, cipher_spec)) { | |
| OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR); | |
| return ssl_open_record_error; | |
| } | |
| } | |
| // Add the null compression scheme and finish. | |
| if (!CBB_add_u8(&hello_body, 1) || | |
| !CBB_add_u8(&hello_body, 0) || | |
| !CBB_finish(client_hello.get(), NULL, &ssl->s3->hs_buf->length)) { | |
| OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR); | |
| return ssl_open_record_error; | |
| } | |
| *out_consumed = 2 + msg_length; | |
| ssl->s3->is_v2_hello = true; | |
| return ssl_open_record_success; | |
| } | |
| static bool parse_message(const SSL *ssl, SSLMessage *out, | |
| size_t *out_bytes_needed) { | |
| if (!ssl->s3->hs_buf) { | |
| *out_bytes_needed = 4; | |
| return false; | |
| } | |
| CBS cbs; | |
| uint32_t len; | |
| CBS_init(&cbs, reinterpret_cast<const uint8_t *>(ssl->s3->hs_buf->data), | |
| ssl->s3->hs_buf->length); | |
| if (!CBS_get_u8(&cbs, &out->type) || | |
| !CBS_get_u24(&cbs, &len)) { | |
| *out_bytes_needed = 4; | |
| return false; | |
| } | |
| if (!CBS_get_bytes(&cbs, &out->body, len)) { | |
| *out_bytes_needed = 4 + len; | |
| return false; | |
| } | |
| CBS_init(&out->raw, reinterpret_cast<const uint8_t *>(ssl->s3->hs_buf->data), | |
| 4 + len); | |
| out->is_v2_hello = ssl->s3->is_v2_hello; | |
| return true; | |
| } | |
| bool tls_get_message(const SSL *ssl, SSLMessage *out) { | |
| size_t unused; | |
| if (!parse_message(ssl, out, &unused)) { | |
| return false; | |
| } | |
| if (!ssl->s3->has_message) { | |
| if (!out->is_v2_hello) { | |
| ssl_do_msg_callback(ssl, 0 /* read */, SSL3_RT_HANDSHAKE, out->raw); | |
| } | |
| ssl->s3->has_message = true; | |
| } | |
| return true; | |
| } | |
| bool tls_can_accept_handshake_data(const SSL *ssl, uint8_t *out_alert) { | |
| // If there is a complete message, the caller must have consumed it first. | |
| SSLMessage msg; | |
| size_t bytes_needed; | |
| if (parse_message(ssl, &msg, &bytes_needed)) { | |
| OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR); | |
| *out_alert = SSL_AD_INTERNAL_ERROR; | |
| return false; | |
| } | |
| // Enforce the limit so the peer cannot force us to buffer 16MB. | |
| if (bytes_needed > 4 + ssl_max_handshake_message_len(ssl)) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_EXCESSIVE_MESSAGE_SIZE); | |
| *out_alert = SSL_AD_ILLEGAL_PARAMETER; | |
| return false; | |
| } | |
| return true; | |
| } | |
| bool tls_has_unprocessed_handshake_data(const SSL *ssl) { | |
| size_t msg_len = 0; | |
| if (ssl->s3->has_message) { | |
| SSLMessage msg; | |
| size_t unused; | |
| if (parse_message(ssl, &msg, &unused)) { | |
| msg_len = CBS_len(&msg.raw); | |
| } | |
| } | |
| return ssl->s3->hs_buf && ssl->s3->hs_buf->length > msg_len; | |
| } | |
| bool tls_append_handshake_data(SSL *ssl, Span<const uint8_t> data) { | |
| // Re-create the handshake buffer if needed. | |
| if (!ssl->s3->hs_buf) { | |
| ssl->s3->hs_buf.reset(BUF_MEM_new()); | |
| } | |
| return ssl->s3->hs_buf && | |
| BUF_MEM_append(ssl->s3->hs_buf.get(), data.data(), data.size()); | |
| } | |
| ssl_open_record_t tls_open_handshake(SSL *ssl, size_t *out_consumed, | |
| uint8_t *out_alert, Span<uint8_t> in) { | |
| *out_consumed = 0; | |
| // Bypass the record layer for the first message to handle V2ClientHello. | |
| if (ssl->server && !ssl->s3->v2_hello_done) { | |
| // Ask for the first 5 bytes, the size of the TLS record header. This is | |
| // sufficient to detect a V2ClientHello and ensures that we never read | |
| // beyond the first record. | |
| if (in.size() < SSL3_RT_HEADER_LENGTH) { | |
| *out_consumed = SSL3_RT_HEADER_LENGTH; | |
| return ssl_open_record_partial; | |
| } | |
| // Some dedicated error codes for protocol mixups should the application | |
| // wish to interpret them differently. (These do not overlap with | |
| // ClientHello or V2ClientHello.) | |
| const char *str = reinterpret_cast<const char*>(in.data()); | |
| if (strncmp("GET ", str, 4) == 0 || | |
| strncmp("POST ", str, 5) == 0 || | |
| strncmp("HEAD ", str, 5) == 0 || | |
| strncmp("PUT ", str, 4) == 0) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_HTTP_REQUEST); | |
| *out_alert = 0; | |
| return ssl_open_record_error; | |
| } | |
| if (strncmp("CONNE", str, 5) == 0) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_HTTPS_PROXY_REQUEST); | |
| *out_alert = 0; | |
| return ssl_open_record_error; | |
| } | |
| // Check for a V2ClientHello. | |
| if ((in[0] & 0x80) != 0 && in[2] == SSL2_MT_CLIENT_HELLO && | |
| in[3] == SSL3_VERSION_MAJOR) { | |
| auto ret = read_v2_client_hello(ssl, out_consumed, in); | |
| if (ret == ssl_open_record_error) { | |
| *out_alert = 0; | |
| } else if (ret == ssl_open_record_success) { | |
| ssl->s3->v2_hello_done = true; | |
| } | |
| return ret; | |
| } | |
| ssl->s3->v2_hello_done = true; | |
| } | |
| uint8_t type; | |
| Span<uint8_t> body; | |
| auto ret = tls_open_record(ssl, &type, &body, out_consumed, out_alert, in); | |
| if (ret != ssl_open_record_success) { | |
| return ret; | |
| } | |
| // WatchGuard's TLS 1.3 interference bug is very distinctive: they drop the | |
| // ServerHello and send the remaining encrypted application data records | |
| // as-is. This manifests as an application data record when we expect | |
| // handshake. Report a dedicated error code for this case. | |
| if (!ssl->server && type == SSL3_RT_APPLICATION_DATA && | |
| ssl->s3->aead_read_ctx->is_null_cipher()) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_APPLICATION_DATA_INSTEAD_OF_HANDSHAKE); | |
| *out_alert = SSL_AD_UNEXPECTED_MESSAGE; | |
| return ssl_open_record_error; | |
| } | |
| if (type != SSL3_RT_HANDSHAKE) { | |
| OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_RECORD); | |
| *out_alert = SSL_AD_UNEXPECTED_MESSAGE; | |
| return ssl_open_record_error; | |
| } | |
| // Append the entire handshake record to the buffer. | |
| if (!tls_append_handshake_data(ssl, body)) { | |
| *out_alert = SSL_AD_INTERNAL_ERROR; | |
| return ssl_open_record_error; | |
| } | |
| return ssl_open_record_success; | |
| } | |
| void tls_next_message(SSL *ssl) { | |
| SSLMessage msg; | |
| if (!tls_get_message(ssl, &msg) || | |
| !ssl->s3->hs_buf || | |
| ssl->s3->hs_buf->length < CBS_len(&msg.raw)) { | |
| assert(0); | |
| return; | |
| } | |
| OPENSSL_memmove(ssl->s3->hs_buf->data, | |
| ssl->s3->hs_buf->data + CBS_len(&msg.raw), | |
| ssl->s3->hs_buf->length - CBS_len(&msg.raw)); | |
| ssl->s3->hs_buf->length -= CBS_len(&msg.raw); | |
| ssl->s3->is_v2_hello = false; | |
| ssl->s3->has_message = false; | |
| // Post-handshake messages are rare, so release the buffer after every | |
| // message. During the handshake, |on_handshake_complete| will release it. | |
| if (!SSL_in_init(ssl) && ssl->s3->hs_buf->length == 0) { | |
| ssl->s3->hs_buf.reset(); | |
| } | |
| } | |
| // CipherScorer produces a "score" for each possible cipher suite offered by | |
| // the client. | |
| class CipherScorer { | |
| public: | |
| CipherScorer(bool has_aes_hw) : aes_is_fine_(has_aes_hw) {} | |
| typedef std::tuple<bool, bool> Score; | |
| // MinScore returns a |Score| that will compare less than the score of all | |
| // cipher suites. | |
| Score MinScore() const { | |
| return Score(false, false); | |
| } | |
| Score Evaluate(const SSL_CIPHER *a) const { | |
| return Score( | |
| // Something is always preferable to nothing. | |
| true, | |
| // Either AES is fine, or else ChaCha20 is preferred. | |
| aes_is_fine_ || a->algorithm_enc == SSL_CHACHA20POLY1305); | |
| } | |
| private: | |
| const bool aes_is_fine_; | |
| }; | |
| bool ssl_tls13_cipher_meets_policy(uint16_t cipher_id, | |
| enum ssl_compliance_policy_t policy) { | |
| switch (policy) { | |
| case ssl_compliance_policy_none: | |
| return true; | |
| case ssl_compliance_policy_fips_202205: | |
| switch (cipher_id) { | |
| case TLS1_3_CK_AES_128_GCM_SHA256 & 0xffff: | |
| case TLS1_3_CK_AES_256_GCM_SHA384 & 0xffff: | |
| return true; | |
| case TLS1_3_CK_CHACHA20_POLY1305_SHA256 & 0xffff: | |
| return false; | |
| default: | |
| assert(false); | |
| return false; | |
| } | |
| case ssl_compliance_policy_wpa3_192_202304: | |
| switch (cipher_id) { | |
| case TLS1_3_CK_AES_256_GCM_SHA384 & 0xffff: | |
| return true; | |
| case TLS1_3_CK_AES_128_GCM_SHA256 & 0xffff: | |
| case TLS1_3_CK_CHACHA20_POLY1305_SHA256 & 0xffff: | |
| return false; | |
| default: | |
| assert(false); | |
| return false; | |
| } | |
| } | |
| assert(false); | |
| return false; | |
| } | |
| const SSL_CIPHER *ssl_choose_tls13_cipher(CBS cipher_suites, bool has_aes_hw, | |
| uint16_t version, uint16_t group_id, | |
| enum ssl_compliance_policy_t policy) { | |
| if (CBS_len(&cipher_suites) % 2 != 0) { | |
| return nullptr; | |
| } | |
| const SSL_CIPHER *best = nullptr; | |
| CipherScorer scorer(has_aes_hw); | |
| CipherScorer::Score best_score = scorer.MinScore(); | |
| while (CBS_len(&cipher_suites) > 0) { | |
| uint16_t cipher_suite; | |
| if (!CBS_get_u16(&cipher_suites, &cipher_suite)) { | |
| return nullptr; | |
| } | |
| // Limit to TLS 1.3 ciphers we know about. | |
| const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite); | |
| if (candidate == nullptr || | |
| SSL_CIPHER_get_min_version(candidate) > version || | |
| SSL_CIPHER_get_max_version(candidate) < version) { | |
| continue; | |
| } | |
| if (!ssl_tls13_cipher_meets_policy(SSL_CIPHER_get_protocol_id(candidate), | |
| policy)) { | |
| continue; | |
| } | |
| const CipherScorer::Score candidate_score = scorer.Evaluate(candidate); | |
| // |candidate_score| must be larger to displace the current choice. That way | |
| // the client's order controls between ciphers with an equal score. | |
| if (candidate_score > best_score) { | |
| best = candidate; | |
| best_score = candidate_score; | |
| } | |
| } | |
| return best; | |
| } | |
| BSSL_NAMESPACE_END |