blob: c0085aa7c19aa86299a71f99401ca99b3a74abed [file] [log] [blame]
David Benjamin2e521212014-07-16 14:37:51 -04001/* Copyright (c) 2014, 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 <stdio.h>
David Benjamin751e8892014-10-19 00:59:36 -040016#include <string.h>
David Benjamin2e521212014-07-16 14:37:51 -040017
David Benjamin1d77e562015-03-22 17:22:08 -040018#include <string>
19#include <vector>
20
David Benjamin751e8892014-10-19 00:59:36 -040021#include <openssl/base64.h>
22#include <openssl/bio.h>
David Benjaminbb0a17c2014-09-20 15:35:39 -040023#include <openssl/err.h>
24#include <openssl/ssl.h>
25
David Benjamin1d77e562015-03-22 17:22:08 -040026#include "test/scoped_types.h"
27
28struct ExpectedCipher {
29 unsigned long id;
David Benjaminbb0a17c2014-09-20 15:35:39 -040030 int in_group_flag;
David Benjamin1d77e562015-03-22 17:22:08 -040031};
David Benjaminbb0a17c2014-09-20 15:35:39 -040032
David Benjamin1d77e562015-03-22 17:22:08 -040033struct CipherTest {
34 // The rule string to apply.
David Benjaminbb0a17c2014-09-20 15:35:39 -040035 const char *rule;
David Benjamin1d77e562015-03-22 17:22:08 -040036 // The list of expected ciphers, in order, terminated with -1.
37 const ExpectedCipher *expected;
38};
David Benjaminbb0a17c2014-09-20 15:35:39 -040039
David Benjamin1d77e562015-03-22 17:22:08 -040040// Selecting individual ciphers should work.
David Benjaminbb0a17c2014-09-20 15:35:39 -040041static const char kRule1[] =
42 "ECDHE-ECDSA-CHACHA20-POLY1305:"
43 "ECDHE-RSA-CHACHA20-POLY1305:"
44 "ECDHE-ECDSA-AES128-GCM-SHA256:"
45 "ECDHE-RSA-AES128-GCM-SHA256";
46
David Benjamin1d77e562015-03-22 17:22:08 -040047static const ExpectedCipher kExpected1[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -040048 { TLS1_CK_ECDHE_ECDSA_CHACHA20_POLY1305, 0 },
49 { TLS1_CK_ECDHE_RSA_CHACHA20_POLY1305, 0 },
50 { TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256, 0 },
51 { TLS1_CK_ECDHE_RSA_WITH_AES_128_GCM_SHA256, 0 },
David Benjamin1d77e562015-03-22 17:22:08 -040052 { 0, 0 },
David Benjaminbb0a17c2014-09-20 15:35:39 -040053};
54
David Benjamin1d77e562015-03-22 17:22:08 -040055// + reorders selected ciphers to the end, keeping their relative
56// order.
David Benjaminbb0a17c2014-09-20 15:35:39 -040057static const char kRule2[] =
58 "ECDHE-ECDSA-CHACHA20-POLY1305:"
59 "ECDHE-RSA-CHACHA20-POLY1305:"
60 "ECDHE-ECDSA-AES128-GCM-SHA256:"
61 "ECDHE-RSA-AES128-GCM-SHA256:"
62 "+aRSA";
63
David Benjamin1d77e562015-03-22 17:22:08 -040064static const ExpectedCipher kExpected2[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -040065 { TLS1_CK_ECDHE_ECDSA_CHACHA20_POLY1305, 0 },
66 { TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256, 0 },
67 { TLS1_CK_ECDHE_RSA_CHACHA20_POLY1305, 0 },
68 { TLS1_CK_ECDHE_RSA_WITH_AES_128_GCM_SHA256, 0 },
David Benjamin1d77e562015-03-22 17:22:08 -040069 { 0, 0 },
David Benjaminbb0a17c2014-09-20 15:35:39 -040070};
71
David Benjamin1d77e562015-03-22 17:22:08 -040072// ! banishes ciphers from future selections.
David Benjaminbb0a17c2014-09-20 15:35:39 -040073static const char kRule3[] =
74 "!aRSA:"
75 "ECDHE-ECDSA-CHACHA20-POLY1305:"
76 "ECDHE-RSA-CHACHA20-POLY1305:"
77 "ECDHE-ECDSA-AES128-GCM-SHA256:"
78 "ECDHE-RSA-AES128-GCM-SHA256";
79
David Benjamin1d77e562015-03-22 17:22:08 -040080static const ExpectedCipher kExpected3[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -040081 { TLS1_CK_ECDHE_ECDSA_CHACHA20_POLY1305, 0 },
82 { TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256, 0 },
David Benjamin1d77e562015-03-22 17:22:08 -040083 { 0, 0 },
David Benjaminbb0a17c2014-09-20 15:35:39 -040084};
85
David Benjamin1d77e562015-03-22 17:22:08 -040086// Multiple masks can be ANDed in a single rule.
David Benjaminbb0a17c2014-09-20 15:35:39 -040087static const char kRule4[] = "kRSA+AESGCM+AES128";
88
David Benjamin1d77e562015-03-22 17:22:08 -040089static const ExpectedCipher kExpected4[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -040090 { TLS1_CK_RSA_WITH_AES_128_GCM_SHA256, 0 },
David Benjamin1d77e562015-03-22 17:22:08 -040091 { 0, 0 },
David Benjaminbb0a17c2014-09-20 15:35:39 -040092};
93
David Benjamin1d77e562015-03-22 17:22:08 -040094// - removes selected ciphers, but preserves their order for future
95// selections. Select AES_128_GCM, but order the key exchanges RSA,
96// DHE_RSA, ECDHE_RSA.
David Benjaminbb0a17c2014-09-20 15:35:39 -040097static const char kRule5[] =
David Benjamin7061e282015-03-19 11:10:48 -040098 "ALL:-kECDHE:-kDHE:-kRSA:-ALL:"
David Benjaminbb0a17c2014-09-20 15:35:39 -040099 "AESGCM+AES128+aRSA";
100
David Benjamin1d77e562015-03-22 17:22:08 -0400101static const ExpectedCipher kExpected5[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400102 { TLS1_CK_RSA_WITH_AES_128_GCM_SHA256, 0 },
103 { TLS1_CK_DHE_RSA_WITH_AES_128_GCM_SHA256, 0 },
104 { TLS1_CK_ECDHE_RSA_WITH_AES_128_GCM_SHA256, 0 },
David Benjamin1d77e562015-03-22 17:22:08 -0400105 { 0, 0 },
David Benjaminbb0a17c2014-09-20 15:35:39 -0400106};
107
David Benjamin1d77e562015-03-22 17:22:08 -0400108// Unknown selectors are no-ops.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400109static const char kRule6[] =
110 "ECDHE-ECDSA-CHACHA20-POLY1305:"
111 "ECDHE-RSA-CHACHA20-POLY1305:"
112 "ECDHE-ECDSA-AES128-GCM-SHA256:"
113 "ECDHE-RSA-AES128-GCM-SHA256:"
114 "BOGUS1:-BOGUS2:+BOGUS3:!BOGUS4";
115
David Benjamin1d77e562015-03-22 17:22:08 -0400116static const ExpectedCipher kExpected6[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400117 { TLS1_CK_ECDHE_ECDSA_CHACHA20_POLY1305, 0 },
118 { TLS1_CK_ECDHE_RSA_CHACHA20_POLY1305, 0 },
119 { TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256, 0 },
120 { TLS1_CK_ECDHE_RSA_WITH_AES_128_GCM_SHA256, 0 },
David Benjamin1d77e562015-03-22 17:22:08 -0400121 { 0, 0 },
David Benjaminbb0a17c2014-09-20 15:35:39 -0400122};
123
David Benjamin1d77e562015-03-22 17:22:08 -0400124// Square brackets specify equi-preference groups.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400125static const char kRule7[] =
126 "[ECDHE-ECDSA-CHACHA20-POLY1305|ECDHE-ECDSA-AES128-GCM-SHA256]:"
127 "[ECDHE-RSA-CHACHA20-POLY1305]:"
128 "ECDHE-RSA-AES128-GCM-SHA256";
129
David Benjamin1d77e562015-03-22 17:22:08 -0400130static const ExpectedCipher kExpected7[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400131 { TLS1_CK_ECDHE_ECDSA_CHACHA20_POLY1305, 1 },
132 { TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256, 0 },
133 { TLS1_CK_ECDHE_RSA_CHACHA20_POLY1305, 0 },
134 { TLS1_CK_ECDHE_RSA_WITH_AES_128_GCM_SHA256, 0 },
David Benjamin1d77e562015-03-22 17:22:08 -0400135 { 0, 0 },
David Benjaminbb0a17c2014-09-20 15:35:39 -0400136};
137
David Benjamin1d77e562015-03-22 17:22:08 -0400138// @STRENGTH performs a stable strength-sort of the selected
139// ciphers and only the selected ciphers.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400140static const char kRule8[] =
David Benjamin1d77e562015-03-22 17:22:08 -0400141 // To simplify things, banish all but {ECDHE_RSA,RSA} x
142 // {CHACHA20,AES_256_CBC,AES_128_CBC,RC4} x SHA1.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400143 "!kEDH:!AESGCM:!3DES:!SHA256:!MD5:!SHA384:"
David Benjamin1d77e562015-03-22 17:22:08 -0400144 // Order some ciphers backwards by strength.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400145 "ALL:-CHACHA20:-AES256:-AES128:-RC4:-ALL:"
David Benjamin1d77e562015-03-22 17:22:08 -0400146 // Select ECDHE ones and sort them by strength. Ties should resolve
147 // based on the order above.
David Benjamin7061e282015-03-19 11:10:48 -0400148 "kECDHE:@STRENGTH:-ALL:"
David Benjamin1d77e562015-03-22 17:22:08 -0400149 // Now bring back everything uses RSA. ECDHE_RSA should be first,
150 // sorted by strength. Then RSA, backwards by strength.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400151 "aRSA";
152
David Benjamin1d77e562015-03-22 17:22:08 -0400153static const ExpectedCipher kExpected8[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400154 { TLS1_CK_ECDHE_RSA_WITH_AES_256_CBC_SHA, 0 },
155 { TLS1_CK_ECDHE_RSA_CHACHA20_POLY1305, 0 },
156 { TLS1_CK_ECDHE_RSA_WITH_RC4_128_SHA, 0 },
157 { TLS1_CK_ECDHE_RSA_WITH_AES_128_CBC_SHA, 0 },
158 { SSL3_CK_RSA_RC4_128_SHA, 0 },
159 { TLS1_CK_RSA_WITH_AES_128_SHA, 0 },
160 { TLS1_CK_RSA_WITH_AES_256_SHA, 0 },
David Benjamin1d77e562015-03-22 17:22:08 -0400161 { 0, 0 },
David Benjaminbb0a17c2014-09-20 15:35:39 -0400162};
163
David Benjamin0344daf2015-04-08 02:08:01 -0400164// Exact ciphers may not be used in multi-part rules; they are treated
165// as unknown aliases.
166static const char kRule9[] =
167 "ECDHE-ECDSA-CHACHA20-POLY1305:"
168 "ECDHE-RSA-CHACHA20-POLY1305:"
169 "!ECDHE-RSA-CHACHA20-POLY1305+RSA:"
170 "!ECDSA+ECDHE-ECDSA-CHACHA20-POLY1305";
171
172static const ExpectedCipher kExpected9[] = {
173 { TLS1_CK_ECDHE_ECDSA_CHACHA20_POLY1305, 0 },
174 { TLS1_CK_ECDHE_RSA_CHACHA20_POLY1305, 0 },
175 { 0, 0 },
176};
177
David Benjamin1d77e562015-03-22 17:22:08 -0400178static CipherTest kCipherTests[] = {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400179 { kRule1, kExpected1 },
180 { kRule2, kExpected2 },
181 { kRule3, kExpected3 },
182 { kRule4, kExpected4 },
183 { kRule5, kExpected5 },
184 { kRule6, kExpected6 },
185 { kRule7, kExpected7 },
186 { kRule8, kExpected8 },
David Benjamin0344daf2015-04-08 02:08:01 -0400187 { kRule9, kExpected9 },
David Benjaminbb0a17c2014-09-20 15:35:39 -0400188 { NULL, NULL },
189};
190
191static const char *kBadRules[] = {
David Benjamin1d77e562015-03-22 17:22:08 -0400192 // Invalid brackets.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400193 "[ECDHE-RSA-CHACHA20-POLY1305|ECDHE-RSA-AES128-GCM-SHA256",
194 "RSA]",
195 "[[RSA]]",
David Benjamin1d77e562015-03-22 17:22:08 -0400196 // Operators inside brackets.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400197 "[+RSA]",
David Benjamin1d77e562015-03-22 17:22:08 -0400198 // Unknown directive.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400199 "@BOGUS",
David Benjamin1d77e562015-03-22 17:22:08 -0400200 // Empty cipher lists error at SSL_CTX_set_cipher_list.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400201 "",
202 "BOGUS",
David Benjamin32fbdf22015-04-07 01:14:06 -0400203 // COMPLEMENTOFDEFAULT is empty.
204 "COMPLEMENTOFDEFAULT",
David Benjamin1d77e562015-03-22 17:22:08 -0400205 // Invalid command.
David Benjaminbb0a17c2014-09-20 15:35:39 -0400206 "?BAR",
David Benjamin1d77e562015-03-22 17:22:08 -0400207 // Special operators are not allowed if groups are used.
David Benjamin37d92462014-09-20 17:54:24 -0400208 "[ECDHE-RSA-CHACHA20-POLY1305|ECDHE-RSA-AES128-GCM-SHA256]:+FOO",
209 "[ECDHE-RSA-CHACHA20-POLY1305|ECDHE-RSA-AES128-GCM-SHA256]:!FOO",
210 "[ECDHE-RSA-CHACHA20-POLY1305|ECDHE-RSA-AES128-GCM-SHA256]:-FOO",
211 "[ECDHE-RSA-CHACHA20-POLY1305|ECDHE-RSA-AES128-GCM-SHA256]:@STRENGTH",
David Benjaminbb0a17c2014-09-20 15:35:39 -0400212 NULL,
213};
214
David Benjamin1d77e562015-03-22 17:22:08 -0400215static void PrintCipherPreferenceList(ssl_cipher_preference_list_st *list) {
216 bool in_group = false;
217 for (size_t i = 0; i < sk_SSL_CIPHER_num(list->ciphers); i++) {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400218 const SSL_CIPHER *cipher = sk_SSL_CIPHER_value(list->ciphers, i);
219 if (!in_group && list->in_group_flags[i]) {
220 fprintf(stderr, "\t[\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400221 in_group = true;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400222 }
223 fprintf(stderr, "\t");
224 if (in_group) {
225 fprintf(stderr, " ");
226 }
227 fprintf(stderr, "%s\n", SSL_CIPHER_get_name(cipher));
228 if (in_group && !list->in_group_flags[i]) {
229 fprintf(stderr, "\t]\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400230 in_group = false;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400231 }
232 }
233}
234
David Benjamin1d77e562015-03-22 17:22:08 -0400235static bool TestCipherRule(CipherTest *t) {
236 ScopedSSL_CTX ctx(SSL_CTX_new(TLS_method()));
237 if (!ctx) {
238 return false;
David Benjamin65226252015-02-05 16:49:47 -0500239 }
240
David Benjamin1d77e562015-03-22 17:22:08 -0400241 if (!SSL_CTX_set_cipher_list(ctx.get(), t->rule)) {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400242 fprintf(stderr, "Error testing cipher rule '%s'\n", t->rule);
David Benjamin1d77e562015-03-22 17:22:08 -0400243 return false;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400244 }
245
David Benjamin1d77e562015-03-22 17:22:08 -0400246 // Compare the two lists.
247 size_t i;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400248 for (i = 0; i < sk_SSL_CIPHER_num(ctx->cipher_list->ciphers); i++) {
249 const SSL_CIPHER *cipher =
250 sk_SSL_CIPHER_value(ctx->cipher_list->ciphers, i);
251 if (t->expected[i].id != SSL_CIPHER_get_id(cipher) ||
252 t->expected[i].in_group_flag != ctx->cipher_list->in_group_flags[i]) {
David Benjamin0344daf2015-04-08 02:08:01 -0400253 fprintf(stderr, "Error: cipher rule '%s' evaluated to:\n", t->rule);
David Benjamin1d77e562015-03-22 17:22:08 -0400254 PrintCipherPreferenceList(ctx->cipher_list);
255 return false;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400256 }
257 }
258
David Benjamin1d77e562015-03-22 17:22:08 -0400259 if (t->expected[i].id != 0) {
David Benjamin0344daf2015-04-08 02:08:01 -0400260 fprintf(stderr, "Error: cipher rule '%s' evaluated to:\n", t->rule);
David Benjamin1d77e562015-03-22 17:22:08 -0400261 PrintCipherPreferenceList(ctx->cipher_list);
262 return false;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400263 }
264
David Benjamin1d77e562015-03-22 17:22:08 -0400265 return true;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400266}
267
David Benjamin1d77e562015-03-22 17:22:08 -0400268static bool TestCipherRules() {
269 for (size_t i = 0; kCipherTests[i].rule != NULL; i++) {
270 if (!TestCipherRule(&kCipherTests[i])) {
271 return false;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400272 }
273 }
274
David Benjamin1d77e562015-03-22 17:22:08 -0400275 for (size_t i = 0; kBadRules[i] != NULL; i++) {
276 ScopedSSL_CTX ctx(SSL_CTX_new(SSLv23_server_method()));
277 if (!ctx) {
278 return false;
David Benjamin65226252015-02-05 16:49:47 -0500279 }
David Benjamin1d77e562015-03-22 17:22:08 -0400280 if (SSL_CTX_set_cipher_list(ctx.get(), kBadRules[i])) {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400281 fprintf(stderr, "Cipher rule '%s' unexpectedly succeeded\n", kBadRules[i]);
David Benjamin1d77e562015-03-22 17:22:08 -0400282 return false;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400283 }
284 ERR_clear_error();
David Benjaminbb0a17c2014-09-20 15:35:39 -0400285 }
286
David Benjamin1d77e562015-03-22 17:22:08 -0400287 return true;
David Benjaminbb0a17c2014-09-20 15:35:39 -0400288}
David Benjamin2e521212014-07-16 14:37:51 -0400289
David Benjamin1d77e562015-03-22 17:22:08 -0400290// kOpenSSLSession is a serialized SSL_SESSION generated from openssl
291// s_client -sess_out.
David Benjamin751e8892014-10-19 00:59:36 -0400292static const char kOpenSSLSession[] =
David Benjamin688d8df2014-11-02 23:06:42 -0500293 "MIIFpQIBAQICAwMEAsAvBCAG5Q1ndq4Yfmbeo1zwLkNRKmCXGdNgWvGT3cskV0yQ"
294 "kAQwJlrlzkAWBOWiLj/jJ76D7l+UXoizP2KI2C7I2FccqMmIfFmmkUy32nIJ0mZH"
295 "IWoJoQYCBFRDO46iBAICASyjggR6MIIEdjCCA16gAwIBAgIIK9dUvsPWSlUwDQYJ"
296 "KoZIhvcNAQEFBQAwSTELMAkGA1UEBhMCVVMxEzARBgNVBAoTCkdvb2dsZSBJbmMx"
297 "JTAjBgNVBAMTHEdvb2dsZSBJbnRlcm5ldCBBdXRob3JpdHkgRzIwHhcNMTQxMDA4"
298 "MTIwNzU3WhcNMTUwMTA2MDAwMDAwWjBoMQswCQYDVQQGEwJVUzETMBEGA1UECAwK"
299 "Q2FsaWZvcm5pYTEWMBQGA1UEBwwNTW91bnRhaW4gVmlldzETMBEGA1UECgwKR29v"
300 "Z2xlIEluYzEXMBUGA1UEAwwOd3d3Lmdvb2dsZS5jb20wggEiMA0GCSqGSIb3DQEB"
301 "AQUAA4IBDwAwggEKAoIBAQCcKeLrplAC+Lofy8t/wDwtB6eu72CVp0cJ4V3lknN6"
302 "huH9ct6FFk70oRIh/VBNBBz900jYy+7111Jm1b8iqOTQ9aT5C7SEhNcQFJvqzH3e"
303 "MPkb6ZSWGm1yGF7MCQTGQXF20Sk/O16FSjAynU/b3oJmOctcycWYkY0ytS/k3LBu"
304 "Id45PJaoMqjB0WypqvNeJHC3q5JjCB4RP7Nfx5jjHSrCMhw8lUMW4EaDxjaR9KDh"
305 "PLgjsk+LDIySRSRDaCQGhEOWLJZVLzLo4N6/UlctCHEllpBUSvEOyFga52qroGjg"
306 "rf3WOQ925MFwzd6AK+Ich0gDRg8sQfdLH5OuP1cfLfU1AgMBAAGjggFBMIIBPTAd"
307 "BgNVHSUEFjAUBggrBgEFBQcDAQYIKwYBBQUHAwIwGQYDVR0RBBIwEIIOd3d3Lmdv"
308 "b2dsZS5jb20waAYIKwYBBQUHAQEEXDBaMCsGCCsGAQUFBzAChh9odHRwOi8vcGtp"
309 "Lmdvb2dsZS5jb20vR0lBRzIuY3J0MCsGCCsGAQUFBzABhh9odHRwOi8vY2xpZW50"
310 "czEuZ29vZ2xlLmNvbS9vY3NwMB0GA1UdDgQWBBQ7a+CcxsZByOpc+xpYFcIbnUMZ"
311 "hTAMBgNVHRMBAf8EAjAAMB8GA1UdIwQYMBaAFErdBhYbvPZotXb1gba7Yhq6WoEv"
312 "MBcGA1UdIAQQMA4wDAYKKwYBBAHWeQIFATAwBgNVHR8EKTAnMCWgI6Ahhh9odHRw"
313 "Oi8vcGtpLmdvb2dsZS5jb20vR0lBRzIuY3JsMA0GCSqGSIb3DQEBBQUAA4IBAQCa"
314 "OXCBdoqUy5bxyq+Wrh1zsyyCFim1PH5VU2+yvDSWrgDY8ibRGJmfff3r4Lud5kal"
315 "dKs9k8YlKD3ITG7P0YT/Rk8hLgfEuLcq5cc0xqmE42xJ+Eo2uzq9rYorc5emMCxf"
316 "5L0TJOXZqHQpOEcuptZQ4OjdYMfSxk5UzueUhA3ogZKRcRkdB3WeWRp+nYRhx4St"
317 "o2rt2A0MKmY9165GHUqMK9YaaXHDXqBu7Sefr1uSoAP9gyIJKeihMivsGqJ1TD6Z"
318 "cc6LMe+dN2P8cZEQHtD1y296ul4Mivqk3jatUVL8/hCwgch9A8O4PGZq9WqBfEWm"
319 "IyHh1dPtbg1lOXdYCWtjpAIEAKUDAgEUqQUCAwGJwKqBpwSBpBwUQvoeOk0Kg36S"
320 "YTcLEkXqKwOBfF9vE4KX0NxeLwjcDTpsuh3qXEaZ992r1N38VDcyS6P7I6HBYN9B"
321 "sNHM362zZnY27GpTw+Kwd751CLoXFPoaMOe57dbBpXoro6Pd3BTbf/Tzr88K06yE"
322 "OTDKPNj3+inbMaVigtK4PLyPq+Topyzvx9USFgRvyuoxn0Hgb+R0A3j6SLRuyOdA"
323 "i4gv7Y5oliyn";
David Benjamin751e8892014-10-19 00:59:36 -0400324
David Benjamin1d77e562015-03-22 17:22:08 -0400325// kCustomSession is a custom serialized SSL_SESSION generated by
326// filling in missing fields from |kOpenSSLSession|. This includes
327// providing |peer_sha256|, so |peer| is not serialized.
David Benjamin751e8892014-10-19 00:59:36 -0400328static const char kCustomSession[] =
David Benjamin688d8df2014-11-02 23:06:42 -0500329 "MIIBdgIBAQICAwMEAsAvBCAG5Q1ndq4Yfmbeo1zwLkNRKmCXGdNgWvGT3cskV0yQ"
330 "kAQwJlrlzkAWBOWiLj/jJ76D7l+UXoizP2KI2C7I2FccqMmIfFmmkUy32nIJ0mZH"
331 "IWoJoQYCBFRDO46iBAICASykAwQBAqUDAgEUphAEDnd3dy5nb29nbGUuY29tqAcE"
332 "BXdvcmxkqQUCAwGJwKqBpwSBpBwUQvoeOk0Kg36SYTcLEkXqKwOBfF9vE4KX0Nxe"
333 "LwjcDTpsuh3qXEaZ992r1N38VDcyS6P7I6HBYN9BsNHM362zZnY27GpTw+Kwd751"
334 "CLoXFPoaMOe57dbBpXoro6Pd3BTbf/Tzr88K06yEOTDKPNj3+inbMaVigtK4PLyP"
335 "q+Topyzvx9USFgRvyuoxn0Hgb+R0A3j6SLRuyOdAi4gv7Y5oliynrSIEIAYGBgYG"
336 "BgYGBgYGBgYGBgYGBgYGBgYGBgYGBgYGBgYGrgMEAQevAwQBBLADBAEF";
David Benjamin751e8892014-10-19 00:59:36 -0400337
David Benjaminf297e022015-05-28 19:55:29 -0400338// kBadSessionExtraField is a custom serialized SSL_SESSION generated by replacing
339// the final (optional) element of |kCustomSession| with tag number 30.
340static const char kBadSessionExtraField[] =
341 "MIIBdgIBAQICAwMEAsAvBCAG5Q1ndq4Yfmbeo1zwLkNRKmCXGdNgWvGT3cskV0yQ"
342 "kAQwJlrlzkAWBOWiLj/jJ76D7l+UXoizP2KI2C7I2FccqMmIfFmmkUy32nIJ0mZH"
343 "IWoJoQYCBFRDO46iBAICASykAwQBAqUDAgEUphAEDnd3dy5nb29nbGUuY29tqAcE"
344 "BXdvcmxkqQUCAwGJwKqBpwSBpBwUQvoeOk0Kg36SYTcLEkXqKwOBfF9vE4KX0Nxe"
345 "LwjcDTpsuh3qXEaZ992r1N38VDcyS6P7I6HBYN9BsNHM362zZnY27GpTw+Kwd751"
346 "CLoXFPoaMOe57dbBpXoro6Pd3BTbf/Tzr88K06yEOTDKPNj3+inbMaVigtK4PLyP"
347 "q+Topyzvx9USFgRvyuoxn0Hgb+R0A3j6SLRuyOdAi4gv7Y5oliynrSIEIAYGBgYG"
348 "BgYGBgYGBgYGBgYGBgYGBgYGBgYGBgYGBgYGrgMEAQevAwQBBL4DBAEF";
349
David Benjamin1d77e562015-03-22 17:22:08 -0400350static bool DecodeBase64(std::vector<uint8_t> *out, const char *in) {
David Benjamin751e8892014-10-19 00:59:36 -0400351 size_t len;
David Benjamin751e8892014-10-19 00:59:36 -0400352 if (!EVP_DecodedLength(&len, strlen(in))) {
353 fprintf(stderr, "EVP_DecodedLength failed\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400354 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400355 }
356
David Benjamin1d77e562015-03-22 17:22:08 -0400357 out->resize(len);
358 if (!EVP_DecodeBase64(bssl::vector_data(out), &len, len, (const uint8_t *)in,
David Benjamin751e8892014-10-19 00:59:36 -0400359 strlen(in))) {
360 fprintf(stderr, "EVP_DecodeBase64 failed\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400361 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400362 }
David Benjamin1d77e562015-03-22 17:22:08 -0400363 out->resize(len);
364 return true;
David Benjamin751e8892014-10-19 00:59:36 -0400365}
366
David Benjamin1d77e562015-03-22 17:22:08 -0400367static bool TestSSL_SESSIONEncoding(const char *input_b64) {
David Benjamin751e8892014-10-19 00:59:36 -0400368 const uint8_t *cptr;
369 uint8_t *ptr;
David Benjamin751e8892014-10-19 00:59:36 -0400370
David Benjamin1d77e562015-03-22 17:22:08 -0400371 // Decode the input.
372 std::vector<uint8_t> input;
373 if (!DecodeBase64(&input, input_b64)) {
374 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400375 }
376
David Benjamin1d77e562015-03-22 17:22:08 -0400377 // Verify the SSL_SESSION decodes.
378 cptr = bssl::vector_data(&input);
379 ScopedSSL_SESSION session(d2i_SSL_SESSION(NULL, &cptr, input.size()));
380 if (!session || cptr != bssl::vector_data(&input) + input.size()) {
David Benjamin751e8892014-10-19 00:59:36 -0400381 fprintf(stderr, "d2i_SSL_SESSION failed\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400382 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400383 }
384
David Benjamin1d77e562015-03-22 17:22:08 -0400385 // Verify the SSL_SESSION encoding round-trips.
386 size_t encoded_len;
387 ScopedOpenSSLBytes encoded;
388 uint8_t *encoded_raw;
389 if (!SSL_SESSION_to_bytes(session.get(), &encoded_raw, &encoded_len)) {
David Benjamin3cac4502014-10-21 01:46:30 -0400390 fprintf(stderr, "SSL_SESSION_to_bytes failed\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400391 return false;
David Benjamin3cac4502014-10-21 01:46:30 -0400392 }
David Benjamin1d77e562015-03-22 17:22:08 -0400393 encoded.reset(encoded_raw);
394 if (encoded_len != input.size() ||
395 memcmp(bssl::vector_data(&input), encoded.get(), input.size()) != 0) {
David Benjamin3cac4502014-10-21 01:46:30 -0400396 fprintf(stderr, "SSL_SESSION_to_bytes did not round-trip\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400397 return false;
David Benjamin3cac4502014-10-21 01:46:30 -0400398 }
David Benjamin3cac4502014-10-21 01:46:30 -0400399
David Benjamin1d77e562015-03-22 17:22:08 -0400400 // Verify the SSL_SESSION encoding round-trips via the legacy API.
401 int len = i2d_SSL_SESSION(session.get(), NULL);
402 if (len < 0 || (size_t)len != input.size()) {
David Benjamin751e8892014-10-19 00:59:36 -0400403 fprintf(stderr, "i2d_SSL_SESSION(NULL) returned invalid length\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400404 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400405 }
406
David Benjamin1d77e562015-03-22 17:22:08 -0400407 encoded.reset((uint8_t *)OPENSSL_malloc(input.size()));
408 if (!encoded) {
David Benjamin751e8892014-10-19 00:59:36 -0400409 fprintf(stderr, "malloc failed\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400410 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400411 }
David Benjamin1d77e562015-03-22 17:22:08 -0400412
413 ptr = encoded.get();
414 len = i2d_SSL_SESSION(session.get(), &ptr);
415 if (len < 0 || (size_t)len != input.size()) {
David Benjamin751e8892014-10-19 00:59:36 -0400416 fprintf(stderr, "i2d_SSL_SESSION returned invalid length\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400417 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400418 }
David Benjamin1d77e562015-03-22 17:22:08 -0400419 if (ptr != encoded.get() + input.size()) {
David Benjamin751e8892014-10-19 00:59:36 -0400420 fprintf(stderr, "i2d_SSL_SESSION did not advance ptr correctly\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400421 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400422 }
David Benjamin1d77e562015-03-22 17:22:08 -0400423 if (memcmp(bssl::vector_data(&input), encoded.get(), input.size()) != 0) {
David Benjamin751e8892014-10-19 00:59:36 -0400424 fprintf(stderr, "i2d_SSL_SESSION did not round-trip\n");
David Benjamin1d77e562015-03-22 17:22:08 -0400425 return false;
David Benjamin751e8892014-10-19 00:59:36 -0400426 }
427
David Benjamin1d77e562015-03-22 17:22:08 -0400428 return true;
David Benjamin751e8892014-10-19 00:59:36 -0400429}
430
David Benjaminf297e022015-05-28 19:55:29 -0400431static bool TestBadSSL_SESSIONEncoding(const char *input_b64) {
432 std::vector<uint8_t> input;
433 if (!DecodeBase64(&input, input_b64)) {
434 return false;
435 }
436
437 // Verify that the SSL_SESSION fails to decode.
438 const uint8_t *ptr = bssl::vector_data(&input);
439 ScopedSSL_SESSION session(d2i_SSL_SESSION(NULL, &ptr, input.size()));
440 if (session) {
441 fprintf(stderr, "d2i_SSL_SESSION unexpectedly succeeded\n");
442 return false;
443 }
444 ERR_clear_error();
445 return true;
446}
447
David Benjamin1d77e562015-03-22 17:22:08 -0400448static bool TestDefaultVersion(uint16_t version,
449 const SSL_METHOD *(*method)(void)) {
450 ScopedSSL_CTX ctx(SSL_CTX_new(method()));
451 if (!ctx) {
452 return false;
David Benjamin82c9e902014-12-12 15:55:27 -0500453 }
David Benjamin1d77e562015-03-22 17:22:08 -0400454 return ctx->min_version == version && ctx->max_version == version;
David Benjamin82c9e902014-12-12 15:55:27 -0500455}
456
David Benjamin1d77e562015-03-22 17:22:08 -0400457static bool CipherGetRFCName(std::string *out, uint16_t value) {
David Benjamin2bdb35c2015-02-21 11:03:06 -0500458 const SSL_CIPHER *cipher = SSL_get_cipher_by_value(value);
459 if (cipher == NULL) {
David Benjamin1d77e562015-03-22 17:22:08 -0400460 return false;
David Benjamin65226252015-02-05 16:49:47 -0500461 }
David Benjamin67be0482015-04-20 16:19:00 -0400462 ScopedOpenSSLString rfc_name(SSL_CIPHER_get_rfc_name(cipher));
David Benjamin3fa65f02015-05-15 19:11:57 -0400463 if (!rfc_name) {
464 return false;
465 }
David Benjamin67be0482015-04-20 16:19:00 -0400466 out->assign(rfc_name.get());
David Benjamin1d77e562015-03-22 17:22:08 -0400467 return true;
David Benjamin65226252015-02-05 16:49:47 -0500468}
469
470typedef struct {
David Benjamin2bdb35c2015-02-21 11:03:06 -0500471 int id;
David Benjamin65226252015-02-05 16:49:47 -0500472 const char *rfc_name;
473} CIPHER_RFC_NAME_TEST;
474
475static const CIPHER_RFC_NAME_TEST kCipherRFCNameTests[] = {
David Benjamin2bdb35c2015-02-21 11:03:06 -0500476 { SSL3_CK_RSA_DES_192_CBC3_SHA, "TLS_RSA_WITH_3DES_EDE_CBC_SHA" },
477 { SSL3_CK_RSA_RC4_128_MD5, "TLS_RSA_WITH_RC4_MD5" },
478 { TLS1_CK_RSA_WITH_AES_128_SHA, "TLS_RSA_WITH_AES_128_CBC_SHA" },
David Benjamin2bdb35c2015-02-21 11:03:06 -0500479 { TLS1_CK_DHE_RSA_WITH_AES_256_SHA, "TLS_DHE_RSA_WITH_AES_256_CBC_SHA" },
480 { TLS1_CK_DHE_RSA_WITH_AES_256_SHA256,
481 "TLS_DHE_RSA_WITH_AES_256_CBC_SHA256" },
David Benjamin2bdb35c2015-02-21 11:03:06 -0500482 { TLS1_CK_ECDHE_RSA_WITH_AES_128_SHA256,
483 "TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256" },
484 { TLS1_CK_ECDHE_RSA_WITH_AES_256_SHA384,
485 "TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384" },
486 { TLS1_CK_ECDHE_RSA_WITH_AES_128_GCM_SHA256,
487 "TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256" },
488 { TLS1_CK_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256,
489 "TLS_ECDHE_ECDSA_WITH_AES_128_GCM_SHA256" },
490 { TLS1_CK_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384,
491 "TLS_ECDHE_ECDSA_WITH_AES_256_GCM_SHA384" },
492 { TLS1_CK_PSK_WITH_RC4_128_SHA, "TLS_PSK_WITH_RC4_SHA" },
David Benjamin1d77e562015-03-22 17:22:08 -0400493 // These names are non-standard:
David Benjamin2bdb35c2015-02-21 11:03:06 -0500494 { TLS1_CK_ECDHE_RSA_CHACHA20_POLY1305,
495 "TLS_ECDHE_RSA_WITH_CHACHA20_POLY1305_SHA256" },
496 { TLS1_CK_ECDHE_ECDSA_CHACHA20_POLY1305,
497 "TLS_ECDHE_ECDSA_WITH_CHACHA20_POLY1305_SHA256" },
498 { TLS1_CK_ECDHE_PSK_WITH_AES_128_GCM_SHA256,
499 "TLS_ECDHE_PSK_WITH_AES_128_GCM_SHA256" },
David Benjamin65226252015-02-05 16:49:47 -0500500};
501
David Benjamin1d77e562015-03-22 17:22:08 -0400502static bool TestCipherGetRFCName(void) {
503 for (size_t i = 0;
504 i < sizeof(kCipherRFCNameTests) / sizeof(kCipherRFCNameTests[0]); i++) {
David Benjamin65226252015-02-05 16:49:47 -0500505 const CIPHER_RFC_NAME_TEST *test = &kCipherRFCNameTests[i];
David Benjamin1d77e562015-03-22 17:22:08 -0400506 std::string rfc_name;
507 if (!CipherGetRFCName(&rfc_name, test->id & 0xffff)) {
508 fprintf(stderr, "SSL_CIPHER_get_rfc_name failed\n");
509 return false;
David Benjamin65226252015-02-05 16:49:47 -0500510 }
David Benjamin1d77e562015-03-22 17:22:08 -0400511 if (rfc_name != test->rfc_name) {
David Benjamin65226252015-02-05 16:49:47 -0500512 fprintf(stderr, "SSL_CIPHER_get_rfc_name: got '%s', wanted '%s'\n",
David Benjamin1d77e562015-03-22 17:22:08 -0400513 rfc_name.c_str(), test->rfc_name);
514 return false;
David Benjamin65226252015-02-05 16:49:47 -0500515 }
David Benjamin65226252015-02-05 16:49:47 -0500516 }
David Benjamin1d77e562015-03-22 17:22:08 -0400517 return true;
David Benjamin65226252015-02-05 16:49:47 -0500518}
519
David Benjaminc44d2f42014-08-20 16:24:00 -0400520int main(void) {
David Benjaminbb0a17c2014-09-20 15:35:39 -0400521 SSL_library_init();
522
David Benjamin1d77e562015-03-22 17:22:08 -0400523 if (!TestCipherRules() ||
524 !TestSSL_SESSIONEncoding(kOpenSSLSession) ||
525 !TestSSL_SESSIONEncoding(kCustomSession) ||
David Benjaminf297e022015-05-28 19:55:29 -0400526 !TestBadSSL_SESSIONEncoding(kBadSessionExtraField) ||
David Benjamin1d77e562015-03-22 17:22:08 -0400527 !TestDefaultVersion(0, &TLS_method) ||
528 !TestDefaultVersion(SSL3_VERSION, &SSLv3_method) ||
529 !TestDefaultVersion(TLS1_VERSION, &TLSv1_method) ||
530 !TestDefaultVersion(TLS1_1_VERSION, &TLSv1_1_method) ||
David Benjamin68793732015-05-04 20:20:48 -0400531 !TestDefaultVersion(TLS1_2_VERSION, &TLSv1_2_method) ||
David Benjamin1d77e562015-03-22 17:22:08 -0400532 !TestDefaultVersion(0, &DTLS_method) ||
533 !TestDefaultVersion(DTLS1_VERSION, &DTLSv1_method) ||
534 !TestDefaultVersion(DTLS1_2_VERSION, &DTLSv1_2_method) ||
535 !TestCipherGetRFCName()) {
Brian Smith83a82982015-04-09 16:21:10 -1000536 ERR_print_errors_fp(stderr);
David Benjaminbb0a17c2014-09-20 15:35:39 -0400537 return 1;
538 }
539
David Benjamin2e521212014-07-16 14:37:51 -0400540 printf("PASS\n");
541 return 0;
542}