Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 1 | /* Copyright (c) 2017, Google Inc. |
| 2 | * |
| 3 | * Permission to use, copy, modify, and/or distribute this software for any |
| 4 | * purpose with or without fee is hereby granted, provided that the above |
| 5 | * copyright notice and this permission notice appear in all copies. |
| 6 | * |
| 7 | * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES |
| 8 | * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
| 9 | * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY |
| 10 | * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
| 11 | * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION |
| 12 | * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN |
| 13 | * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */ |
| 14 | |
| 15 | #include <openssl/ssl.h> |
| 16 | |
| 17 | #include <assert.h> |
| 18 | |
David Benjamin | a972b78 | 2023-05-05 10:22:43 -0400 | [diff] [blame] | 19 | #include <algorithm> |
| 20 | |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 21 | #include <openssl/bytestring.h> |
| 22 | #include <openssl/err.h> |
David Benjamin | a972b78 | 2023-05-05 10:22:43 -0400 | [diff] [blame] | 23 | #include <openssl/span.h> |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 24 | |
| 25 | #include "internal.h" |
| 26 | #include "../crypto/internal.h" |
| 27 | |
| 28 | |
Joshua Liebow-Feeser | 8c7c635 | 2018-08-26 18:53:36 -0700 | [diff] [blame] | 29 | BSSL_NAMESPACE_BEGIN |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 30 | |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 31 | bool ssl_protocol_version_from_wire(uint16_t *out, uint16_t version) { |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 32 | switch (version) { |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 33 | case TLS1_VERSION: |
| 34 | case TLS1_1_VERSION: |
| 35 | case TLS1_2_VERSION: |
Steven Valdez | d451453 | 2018-08-13 10:07:45 -0400 | [diff] [blame] | 36 | case TLS1_3_VERSION: |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 37 | *out = version; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 38 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 39 | |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 40 | case DTLS1_VERSION: |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 41 | // DTLS 1.0 is analogous to TLS 1.1, not TLS 1.0. |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 42 | *out = TLS1_1_VERSION; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 43 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 44 | |
| 45 | case DTLS1_2_VERSION: |
| 46 | *out = TLS1_2_VERSION; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 47 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 48 | |
| 49 | default: |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 50 | return false; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 51 | } |
| 52 | } |
| 53 | |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 54 | // The follow arrays are the supported versions for TLS and DTLS, in order of |
| 55 | // decreasing preference. |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 56 | |
| 57 | static const uint16_t kTLSVersions[] = { |
Steven Valdez | d451453 | 2018-08-13 10:07:45 -0400 | [diff] [blame] | 58 | TLS1_3_VERSION, |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 59 | TLS1_2_VERSION, |
| 60 | TLS1_1_VERSION, |
| 61 | TLS1_VERSION, |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 62 | }; |
| 63 | |
| 64 | static const uint16_t kDTLSVersions[] = { |
| 65 | DTLS1_2_VERSION, |
| 66 | DTLS1_VERSION, |
| 67 | }; |
| 68 | |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 69 | static Span<const uint16_t> get_method_versions( |
| 70 | const SSL_PROTOCOL_METHOD *method) { |
| 71 | return method->is_dtls ? Span<const uint16_t>(kDTLSVersions) |
| 72 | : Span<const uint16_t>(kTLSVersions); |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 73 | } |
| 74 | |
Matthew Braithwaite | 0e9e0ba | 2018-04-10 15:40:12 -0700 | [diff] [blame] | 75 | bool ssl_method_supports_version(const SSL_PROTOCOL_METHOD *method, |
| 76 | uint16_t version) { |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 77 | for (uint16_t supported : get_method_versions(method)) { |
| 78 | if (supported == version) { |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 79 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 80 | } |
| 81 | } |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 82 | return false; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 83 | } |
| 84 | |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 85 | // The following functions map between API versions and wire versions. The |
Steven Valdez | b84674b | 2018-08-28 10:14:07 -0400 | [diff] [blame] | 86 | // public API works on wire versions. |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 87 | |
Adam Langley | c215ce7 | 2023-05-08 11:35:14 -0700 | [diff] [blame] | 88 | static const char* kUnknownVersion = "unknown"; |
| 89 | |
| 90 | struct VersionInfo { |
David Benjamin | a972b78 | 2023-05-05 10:22:43 -0400 | [diff] [blame] | 91 | uint16_t version; |
| 92 | const char *name; |
Adam Langley | c215ce7 | 2023-05-08 11:35:14 -0700 | [diff] [blame] | 93 | }; |
| 94 | |
| 95 | static const VersionInfo kVersionNames[] = { |
David Benjamin | a972b78 | 2023-05-05 10:22:43 -0400 | [diff] [blame] | 96 | {TLS1_3_VERSION, "TLSv1.3"}, |
| 97 | {TLS1_2_VERSION, "TLSv1.2"}, |
| 98 | {TLS1_1_VERSION, "TLSv1.1"}, |
| 99 | {TLS1_VERSION, "TLSv1"}, |
| 100 | {DTLS1_VERSION, "DTLSv1"}, |
| 101 | {DTLS1_2_VERSION, "DTLSv1.2"}, |
| 102 | }; |
| 103 | |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 104 | static const char *ssl_version_to_string(uint16_t version) { |
David Benjamin | a972b78 | 2023-05-05 10:22:43 -0400 | [diff] [blame] | 105 | for (const auto &v : kVersionNames) { |
| 106 | if (v.version == version) { |
| 107 | return v.name; |
| 108 | } |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 109 | } |
Adam Langley | c215ce7 | 2023-05-08 11:35:14 -0700 | [diff] [blame] | 110 | return kUnknownVersion; |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | static uint16_t wire_version_to_api(uint16_t version) { |
Steven Valdez | b84674b | 2018-08-28 10:14:07 -0400 | [diff] [blame] | 114 | return version; |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 115 | } |
| 116 | |
Steven Valdez | b84674b | 2018-08-28 10:14:07 -0400 | [diff] [blame] | 117 | // api_version_to_wire maps |version| to some representative wire version. |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 118 | static bool api_version_to_wire(uint16_t *out, uint16_t version) { |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 119 | // Check it is a real protocol version. |
| 120 | uint16_t unused; |
| 121 | if (!ssl_protocol_version_from_wire(&unused, version)) { |
| 122 | return false; |
| 123 | } |
| 124 | |
| 125 | *out = version; |
| 126 | return true; |
| 127 | } |
| 128 | |
| 129 | static bool set_version_bound(const SSL_PROTOCOL_METHOD *method, uint16_t *out, |
| 130 | uint16_t version) { |
| 131 | if (!api_version_to_wire(&version, version) || |
Nitish Sakhawalkar | a4af5f8 | 2019-03-25 17:26:59 -0700 | [diff] [blame] | 132 | !ssl_method_supports_version(method, version)) { |
David Benjamin | 353577c | 2017-06-29 15:54:58 -0400 | [diff] [blame] | 133 | OPENSSL_PUT_ERROR(SSL, SSL_R_UNKNOWN_SSL_VERSION); |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 134 | return false; |
David Benjamin | 353577c | 2017-06-29 15:54:58 -0400 | [diff] [blame] | 135 | } |
| 136 | |
Nitish Sakhawalkar | a4af5f8 | 2019-03-25 17:26:59 -0700 | [diff] [blame] | 137 | *out = version; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 138 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 139 | } |
| 140 | |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 141 | static bool set_min_version(const SSL_PROTOCOL_METHOD *method, uint16_t *out, |
| 142 | uint16_t version) { |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 143 | // Zero is interpreted as the default minimum version. |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 144 | if (version == 0) { |
Nitish Sakhawalkar | a4af5f8 | 2019-03-25 17:26:59 -0700 | [diff] [blame] | 145 | *out = method->is_dtls ? DTLS1_VERSION : TLS1_VERSION; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 146 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 147 | } |
| 148 | |
| 149 | return set_version_bound(method, out, version); |
| 150 | } |
| 151 | |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 152 | static bool set_max_version(const SSL_PROTOCOL_METHOD *method, uint16_t *out, |
| 153 | uint16_t version) { |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 154 | // Zero is interpreted as the default maximum version. |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 155 | if (version == 0) { |
Matthew Braithwaite | 58d56f4 | 2019-11-04 13:20:01 -0800 | [diff] [blame] | 156 | *out = method->is_dtls ? DTLS1_2_VERSION : TLS1_3_VERSION; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 157 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 158 | } |
| 159 | |
| 160 | return set_version_bound(method, out, version); |
| 161 | } |
| 162 | |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 163 | const struct { |
| 164 | uint16_t version; |
| 165 | uint32_t flag; |
| 166 | } kProtocolVersions[] = { |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 167 | {TLS1_VERSION, SSL_OP_NO_TLSv1}, |
| 168 | {TLS1_1_VERSION, SSL_OP_NO_TLSv1_1}, |
| 169 | {TLS1_2_VERSION, SSL_OP_NO_TLSv1_2}, |
| 170 | {TLS1_3_VERSION, SSL_OP_NO_TLSv1_3}, |
| 171 | }; |
| 172 | |
Matthew Braithwaite | b7bc80a | 2018-04-13 15:51:30 -0700 | [diff] [blame] | 173 | bool ssl_get_version_range(const SSL_HANDSHAKE *hs, uint16_t *out_min_version, |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 174 | uint16_t *out_max_version) { |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 175 | // For historical reasons, |SSL_OP_NO_DTLSv1| aliases |SSL_OP_NO_TLSv1|, but |
| 176 | // DTLS 1.0 should be mapped to TLS 1.1. |
Matthew Braithwaite | b7bc80a | 2018-04-13 15:51:30 -0700 | [diff] [blame] | 177 | uint32_t options = hs->ssl->options; |
| 178 | if (SSL_is_dtls(hs->ssl)) { |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 179 | options &= ~SSL_OP_NO_TLSv1_1; |
| 180 | if (options & SSL_OP_NO_DTLSv1) { |
| 181 | options |= SSL_OP_NO_TLSv1_1; |
| 182 | } |
| 183 | } |
| 184 | |
Nitish Sakhawalkar | a4af5f8 | 2019-03-25 17:26:59 -0700 | [diff] [blame] | 185 | uint16_t min_version, max_version; |
| 186 | if (!ssl_protocol_version_from_wire(&min_version, |
| 187 | hs->config->conf_min_version) || |
| 188 | !ssl_protocol_version_from_wire(&max_version, |
| 189 | hs->config->conf_max_version)) { |
| 190 | OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR); |
| 191 | return false; |
| 192 | } |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 193 | |
Steven Valdez | c8e0f90 | 2018-07-14 11:23:01 -0400 | [diff] [blame] | 194 | // QUIC requires TLS 1.3. |
Alessandro Ghedini | 3cbb029 | 2018-12-13 13:53:57 +0000 | [diff] [blame] | 195 | if (hs->ssl->quic_method && min_version < TLS1_3_VERSION) { |
Steven Valdez | c8e0f90 | 2018-07-14 11:23:01 -0400 | [diff] [blame] | 196 | min_version = TLS1_3_VERSION; |
| 197 | } |
| 198 | |
David Benjamin | 72b095d | 2020-06-11 14:41:28 -0400 | [diff] [blame] | 199 | // The |SSL_OP_NO_*| flags disable individual protocols. This has two |
| 200 | // problems. First, prior to TLS 1.3, the protocol can only express a |
| 201 | // contiguous range of versions. Second, a library consumer trying to set a |
| 202 | // maximum version cannot disable protocol versions that get added in a future |
| 203 | // version of the library. |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 204 | // |
| 205 | // To account for both of these, OpenSSL interprets the client-side bitmask |
| 206 | // as a min/max range by picking the lowest contiguous non-empty range of |
| 207 | // enabled protocols. Note that this means it is impossible to set a maximum |
| 208 | // version of the higest supported TLS version in a future-proof way. |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 209 | bool any_enabled = false; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 210 | for (size_t i = 0; i < OPENSSL_ARRAY_SIZE(kProtocolVersions); i++) { |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 211 | // Only look at the versions already enabled. |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 212 | if (min_version > kProtocolVersions[i].version) { |
| 213 | continue; |
| 214 | } |
| 215 | if (max_version < kProtocolVersions[i].version) { |
| 216 | break; |
| 217 | } |
| 218 | |
| 219 | if (!(options & kProtocolVersions[i].flag)) { |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 220 | // The minimum version is the first enabled version. |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 221 | if (!any_enabled) { |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 222 | any_enabled = true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 223 | min_version = kProtocolVersions[i].version; |
| 224 | } |
| 225 | continue; |
| 226 | } |
| 227 | |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 228 | // If there is a disabled version after the first enabled one, all versions |
| 229 | // after it are implicitly disabled. |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 230 | if (any_enabled) { |
| 231 | max_version = kProtocolVersions[i-1].version; |
| 232 | break; |
| 233 | } |
| 234 | } |
| 235 | |
| 236 | if (!any_enabled) { |
| 237 | OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SUPPORTED_VERSIONS_ENABLED); |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 238 | return false; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 239 | } |
| 240 | |
| 241 | *out_min_version = min_version; |
| 242 | *out_max_version = max_version; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 243 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 244 | } |
| 245 | |
David Benjamin | d9cbb53 | 2017-07-07 13:17:19 -0400 | [diff] [blame] | 246 | static uint16_t ssl_version(const SSL *ssl) { |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 247 | // In early data, we report the predicted version. |
David Benjamin | d9cbb53 | 2017-07-07 13:17:19 -0400 | [diff] [blame] | 248 | if (SSL_in_early_data(ssl) && !ssl->server) { |
| 249 | return ssl->s3->hs->early_session->ssl_version; |
| 250 | } |
| 251 | return ssl->version; |
| 252 | } |
| 253 | |
David Benjamin | d1e3ce1 | 2017-10-06 18:31:15 -0400 | [diff] [blame] | 254 | uint16_t ssl_protocol_version(const SSL *ssl) { |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 255 | assert(ssl->s3->have_version); |
| 256 | uint16_t version; |
| 257 | if (!ssl_protocol_version_from_wire(&version, ssl->version)) { |
David Benjamin | c11ea942 | 2017-08-29 16:33:21 -0400 | [diff] [blame] | 258 | // |ssl->version| will always be set to a valid version. |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 259 | assert(0); |
| 260 | return 0; |
| 261 | } |
| 262 | |
| 263 | return version; |
| 264 | } |
| 265 | |
David Benjamin | 14e51ad | 2021-05-19 15:24:34 -0400 | [diff] [blame] | 266 | bool ssl_supports_version(const SSL_HANDSHAKE *hs, uint16_t version) { |
| 267 | const SSL *const ssl = hs->ssl; |
Steven Valdez | cd8470f | 2017-10-11 12:29:36 -0400 | [diff] [blame] | 268 | uint16_t protocol_version; |
Matthew Braithwaite | 0e9e0ba | 2018-04-10 15:40:12 -0700 | [diff] [blame] | 269 | if (!ssl_method_supports_version(ssl->method, version) || |
Steven Valdez | cd8470f | 2017-10-11 12:29:36 -0400 | [diff] [blame] | 270 | !ssl_protocol_version_from_wire(&protocol_version, version) || |
| 271 | hs->min_version > protocol_version || |
| 272 | protocol_version > hs->max_version) { |
| 273 | return false; |
Steven Valdez | 520e122 | 2017-06-13 12:45:25 -0400 | [diff] [blame] | 274 | } |
| 275 | |
Steven Valdez | 56c4ed9 | 2018-05-10 11:04:53 -0400 | [diff] [blame] | 276 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 277 | } |
| 278 | |
David Benjamin | 83a4993 | 2021-05-20 15:57:09 -0400 | [diff] [blame] | 279 | bool ssl_add_supported_versions(const SSL_HANDSHAKE *hs, CBB *cbb, |
| 280 | uint16_t extra_min_version) { |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 281 | for (uint16_t version : get_method_versions(hs->ssl->method)) { |
David Benjamin | 83a4993 | 2021-05-20 15:57:09 -0400 | [diff] [blame] | 282 | uint16_t protocol_version; |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 283 | if (ssl_supports_version(hs, version) && |
David Benjamin | 83a4993 | 2021-05-20 15:57:09 -0400 | [diff] [blame] | 284 | ssl_protocol_version_from_wire(&protocol_version, version) && |
| 285 | protocol_version >= extra_min_version && // |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 286 | !CBB_add_u16(cbb, version)) { |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 287 | return false; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 288 | } |
| 289 | } |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 290 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 291 | } |
| 292 | |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 293 | bool ssl_negotiate_version(SSL_HANDSHAKE *hs, uint8_t *out_alert, |
| 294 | uint16_t *out_version, const CBS *peer_versions) { |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 295 | for (uint16_t version : get_method_versions(hs->ssl->method)) { |
| 296 | if (!ssl_supports_version(hs, version)) { |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 297 | continue; |
| 298 | } |
| 299 | |
David Benjamin | 6965d25 | 2018-11-19 15:49:56 -0600 | [diff] [blame] | 300 | // JDK 11, prior to 11.0.2, has a buggy TLS 1.3 implementation which fails |
| 301 | // to send SNI when offering 1.3 sessions. Disable TLS 1.3 for such |
| 302 | // clients. We apply this logic here rather than |ssl_supports_version| so |
| 303 | // the downgrade signal continues to query the true capabilities. (The |
| 304 | // workaround is a limitation of the peer's capabilities rather than our |
| 305 | // own.) |
| 306 | // |
| 307 | // See https://bugs.openjdk.java.net/browse/JDK-8211806. |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 308 | if (version == TLS1_3_VERSION && hs->apply_jdk11_workaround) { |
David Benjamin | 6965d25 | 2018-11-19 15:49:56 -0600 | [diff] [blame] | 309 | continue; |
| 310 | } |
| 311 | |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 312 | CBS copy = *peer_versions; |
| 313 | while (CBS_len(©) != 0) { |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 314 | uint16_t peer_version; |
| 315 | if (!CBS_get_u16(©, &peer_version)) { |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 316 | OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR); |
| 317 | *out_alert = SSL_AD_DECODE_ERROR; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 318 | return false; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 319 | } |
| 320 | |
David Benjamin | 95dd54e | 2019-08-22 16:43:15 -0400 | [diff] [blame] | 321 | if (peer_version == version) { |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 322 | *out_version = version; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 323 | return true; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 324 | } |
| 325 | } |
| 326 | } |
| 327 | |
| 328 | OPENSSL_PUT_ERROR(SSL, SSL_R_UNSUPPORTED_PROTOCOL); |
| 329 | *out_alert = SSL_AD_PROTOCOL_VERSION; |
David Benjamin | ed9aed1 | 2017-09-27 19:24:09 -0400 | [diff] [blame] | 330 | return false; |
Steven Valdez | 8f36c51 | 2017-06-20 10:55:02 -0400 | [diff] [blame] | 331 | } |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 332 | |
Joshua Liebow-Feeser | 8c7c635 | 2018-08-26 18:53:36 -0700 | [diff] [blame] | 333 | BSSL_NAMESPACE_END |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 334 | |
| 335 | using namespace bssl; |
| 336 | |
| 337 | int SSL_CTX_set_min_proto_version(SSL_CTX *ctx, uint16_t version) { |
| 338 | return set_min_version(ctx->method, &ctx->conf_min_version, version); |
| 339 | } |
| 340 | |
| 341 | int SSL_CTX_set_max_proto_version(SSL_CTX *ctx, uint16_t version) { |
| 342 | return set_max_version(ctx->method, &ctx->conf_max_version, version); |
| 343 | } |
| 344 | |
Alessandro Ghedini | 12049fd | 2019-10-10 17:25:50 +0100 | [diff] [blame] | 345 | uint16_t SSL_CTX_get_min_proto_version(const SSL_CTX *ctx) { |
Nitish Sakhawalkar | a4af5f8 | 2019-03-25 17:26:59 -0700 | [diff] [blame] | 346 | return ctx->conf_min_version; |
| 347 | } |
| 348 | |
Alessandro Ghedini | 12049fd | 2019-10-10 17:25:50 +0100 | [diff] [blame] | 349 | uint16_t SSL_CTX_get_max_proto_version(const SSL_CTX *ctx) { |
Nitish Sakhawalkar | a4af5f8 | 2019-03-25 17:26:59 -0700 | [diff] [blame] | 350 | return ctx->conf_max_version; |
| 351 | } |
| 352 | |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 353 | int SSL_set_min_proto_version(SSL *ssl, uint16_t version) { |
Matthew Braithwaite | b7bc80a | 2018-04-13 15:51:30 -0700 | [diff] [blame] | 354 | if (!ssl->config) { |
| 355 | return 0; |
| 356 | } |
| 357 | return set_min_version(ssl->method, &ssl->config->conf_min_version, version); |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 358 | } |
| 359 | |
| 360 | int SSL_set_max_proto_version(SSL *ssl, uint16_t version) { |
Matthew Braithwaite | b7bc80a | 2018-04-13 15:51:30 -0700 | [diff] [blame] | 361 | if (!ssl->config) { |
| 362 | return 0; |
| 363 | } |
| 364 | return set_max_version(ssl->method, &ssl->config->conf_max_version, version); |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 365 | } |
| 366 | |
Alessandro Ghedini | 12049fd | 2019-10-10 17:25:50 +0100 | [diff] [blame] | 367 | uint16_t SSL_get_min_proto_version(const SSL *ssl) { |
| 368 | if (!ssl->config) { |
| 369 | return 0; |
| 370 | } |
| 371 | return ssl->config->conf_min_version; |
| 372 | } |
| 373 | |
| 374 | uint16_t SSL_get_max_proto_version(const SSL *ssl) { |
| 375 | if (!ssl->config) { |
| 376 | return 0; |
| 377 | } |
| 378 | return ssl->config->conf_max_version; |
| 379 | } |
| 380 | |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 381 | int SSL_version(const SSL *ssl) { |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 382 | return wire_version_to_api(ssl_version(ssl)); |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 383 | } |
| 384 | |
| 385 | const char *SSL_get_version(const SSL *ssl) { |
| 386 | return ssl_version_to_string(ssl_version(ssl)); |
| 387 | } |
| 388 | |
David Benjamin | a972b78 | 2023-05-05 10:22:43 -0400 | [diff] [blame] | 389 | size_t SSL_get_all_version_names(const char **out, size_t max_out) { |
Adam Langley | c215ce7 | 2023-05-08 11:35:14 -0700 | [diff] [blame] | 390 | return GetAllNames(out, max_out, MakeConstSpan(&kUnknownVersion, 1), |
| 391 | &VersionInfo::name, MakeConstSpan(kVersionNames)); |
David Benjamin | a972b78 | 2023-05-05 10:22:43 -0400 | [diff] [blame] | 392 | } |
| 393 | |
David Benjamin | 86e95b8 | 2017-07-18 16:34:25 -0400 | [diff] [blame] | 394 | const char *SSL_SESSION_get_version(const SSL_SESSION *session) { |
| 395 | return ssl_version_to_string(session->ssl_version); |
| 396 | } |
David Benjamin | a4bafd3 | 2017-10-03 15:06:29 -0400 | [diff] [blame] | 397 | |
| 398 | uint16_t SSL_SESSION_get_protocol_version(const SSL_SESSION *session) { |
| 399 | return wire_version_to_api(session->ssl_version); |
| 400 | } |
| 401 | |
| 402 | int SSL_SESSION_set_protocol_version(SSL_SESSION *session, uint16_t version) { |
| 403 | // This picks a representative TLS 1.3 version, but this API should only be |
| 404 | // used on unit test sessions anyway. |
| 405 | return api_version_to_wire(&session->ssl_version, version); |
| 406 | } |
Adam Langley | c2827d3 | 2021-10-12 13:18:18 -0700 | [diff] [blame] | 407 | |
| 408 | int SSL_CTX_set_record_protocol_version(SSL_CTX *ctx, int version) { |
| 409 | return version == 0; |
| 410 | } |