test/tls13ccstest.c

   1 /*
   2  * Copyright 2017-2018 The OpenSSL Project Authors. All Rights Reserved.
   3  *
   4  * Licensed under the OpenSSL license (the "License").  You may not use
   5  * this file except in compliance with the License.  You can obtain a copy
   6  * in the file LICENSE in the source distribution or at
   7  * https://www.openssl.org/source/license.html
   8  */
   9
  10 #include <openssl/ssl.h>
  11 #include <string.h>
  12 #include "ssltestlib.h"
  13 #include "testutil.h"
  14 #include "../ssl/packet_locl.h"
  15
  16 static char *cert = NULL;
  17 static char *privkey = NULL;
  18
  19 static BIO *s_to_c_fbio = NULL, *c_to_s_fbio = NULL;
  20 static int chseen = 0, shseen = 0, sccsseen = 0, ccsaftersh = 0;
  21 static int ccsbeforesh = 0, sappdataseen = 0, cappdataseen = 0, badccs = 0;
  22 static int badvers = 0, badsessid = 0;
  23
  24 static unsigned char chsessid[SSL_MAX_SSL_SESSION_ID_LENGTH];
  25 static size_t chsessidlen = 0;
  26
  27 static int watchccs_new(BIO *bi);
  28 static int watchccs_free(BIO *a);
  29 static int watchccs_read(BIO *b, char *out, int outl);
  30 static int watchccs_write(BIO *b, const char *in, int inl);
  31 static long watchccs_ctrl(BIO *b, int cmd, long num, void *ptr);
  32 static int watchccs_gets(BIO *bp, char *buf, int size);
  33 static int watchccs_puts(BIO *bp, const char *str);
  34
  35 /* Choose a sufficiently large type likely to be unused for this custom BIO */
  36 # define BIO_TYPE_WATCHCCS_FILTER  (0x80 | BIO_TYPE_FILTER)
  37
  38 static BIO_METHOD *method_watchccs = NULL;
  39
  40 static const BIO_METHOD *bio_f_watchccs_filter()
  41 {
  42     if (method_watchccs == NULL) {
  43         method_watchccs = BIO_meth_new(BIO_TYPE_WATCHCCS_FILTER,
  44                                        "Watch CCS filter");
  45         if (   method_watchccs == NULL
  46             || !BIO_meth_set_write(method_watchccs, watchccs_write)
  47             || !BIO_meth_set_read(method_watchccs, watchccs_read)
  48             || !BIO_meth_set_puts(method_watchccs, watchccs_puts)
  49             || !BIO_meth_set_gets(method_watchccs, watchccs_gets)
  50             || !BIO_meth_set_ctrl(method_watchccs, watchccs_ctrl)
  51             || !BIO_meth_set_create(method_watchccs, watchccs_new)
  52             || !BIO_meth_set_destroy(method_watchccs, watchccs_free))
  53             return NULL;
  54     }
  55     return method_watchccs;
  56 }
  57
  58 static int watchccs_new(BIO *bio)
  59 {
  60     BIO_set_init(bio, 1);
  61     return 1;
  62 }
  63
  64 static int watchccs_free(BIO *bio)
  65 {
  66     BIO_set_init(bio, 0);
  67     return 1;
  68 }
  69
  70 static int watchccs_read(BIO *bio, char *out, int outl)
  71 {
  72     int ret = 0;
  73     BIO *next = BIO_next(bio);
  74
  75     if (outl <= 0)
  76         return 0;
  77     if (next == NULL)
  78         return 0;
  79
  80     BIO_clear_retry_flags(bio);
  81
  82     ret = BIO_read(next, out, outl);
  83     if (ret <= 0 && BIO_should_read(next))
  84         BIO_set_retry_read(bio);
  85
  86     return ret;
  87 }
  88
  89 static int watchccs_write(BIO *bio, const char *in, int inl)
  90 {
  91     int ret = 0;
  92     BIO *next = BIO_next(bio);
  93     PACKET pkt, msg, msgbody, sessionid;
  94     unsigned int rectype, recvers, msgtype, expectedrecvers;
  95
  96     if (inl <= 0)
  97         return 0;
  98     if (next == NULL)
  99         return 0;
 100
 101     BIO_clear_retry_flags(bio);
 102
 103     if (!PACKET_buf_init(&pkt, (const unsigned char *)in, inl))
 104         return 0;
 105
 106     /* We assume that we always write complete records each time */
 107     while (PACKET_remaining(&pkt)) {
 108         if (!PACKET_get_1(&pkt, &rectype)
 109                 || !PACKET_get_net_2(&pkt, &recvers)
 110                 || !PACKET_get_length_prefixed_2(&pkt, &msg))
 111             return 0;
 112
 113         expectedrecvers = TLS1_2_VERSION;
 114
 115         if (rectype == SSL3_RT_HANDSHAKE) {
 116             if (!PACKET_get_1(&msg, &msgtype)
 117                     || !PACKET_get_length_prefixed_3(&msg, &msgbody))
 118                 return 0;
 119             if (msgtype == SSL3_MT_CLIENT_HELLO) {
 120                 chseen++;
 121
 122                 /*
 123                  * Skip legacy_version (2 bytes) and Random (32 bytes) to read
 124                  * session_id.
 125                  */
 126                 if (!PACKET_forward(&msgbody, 34)
 127                         || !PACKET_get_length_prefixed_1(&msgbody, &sessionid))
 128                     return 0;
 129
 130                 if (chseen == 1) {
 131                     expectedrecvers = TLS1_VERSION;
 132
 133                     /* Save the session id for later */
 134                     chsessidlen = PACKET_remaining(&sessionid);
 135                     if (!PACKET_copy_bytes(&sessionid, chsessid, chsessidlen))
 136                         return 0;
 137                 } else {
 138                     /*
 139                      * Check the session id for the second ClientHello is the
 140                      * same as the first one.
 141                      */
 142                     if (PACKET_remaining(&sessionid) != chsessidlen
 143                             || (chsessidlen > 0
 144                                 && memcmp(chsessid, PACKET_data(&sessionid),
 145                                           chsessidlen) != 0))
 146                         badsessid = 1;
 147                 }
 148             } else if (msgtype == SSL3_MT_SERVER_HELLO) {
 149                 shseen++;
 150                 /*
 151                  * Skip legacy_version (2 bytes) and Random (32 bytes) to read
 152                  * session_id.
 153                  */
 154                 if (!PACKET_forward(&msgbody, 34)
 155                         || !PACKET_get_length_prefixed_1(&msgbody, &sessionid))
 156                     return 0;
 157
 158                 /*
 159                  * Check the session id is the same as the one in the
 160                  * ClientHello
 161                  */
 162                 if (PACKET_remaining(&sessionid) != chsessidlen
 163                         || (chsessidlen > 0
 164                             && memcmp(chsessid, PACKET_data(&sessionid),
 165                                       chsessidlen) != 0))
 166                     badsessid = 1;
 167             }
 168         } else if (rectype == SSL3_RT_CHANGE_CIPHER_SPEC) {
 169             if (bio == s_to_c_fbio) {
 170                 /*
 171                  * Server writing. We shouldn't have written any app data
 172                  * yet, and we should have seen both the ClientHello and the
 173                  * ServerHello
 174                  */
 175                 if (!sappdataseen
 176                         && chseen == 1
 177                         && shseen == 1
 178                         && !sccsseen)
 179                     sccsseen = 1;
 180                 else
 181                     badccs = 1;
 182             } else if (!cappdataseen) {
 183                 /*
 184                  * Client writing. We shouldn't have written any app data
 185                  * yet, and we should have seen the ClientHello
 186                  */
 187                 if (shseen == 1 && !ccsaftersh)
 188                     ccsaftersh = 1;
 189                 else if (shseen == 0 && !ccsbeforesh)
 190                     ccsbeforesh = 1;
 191                 else
 192                     badccs = 1;
 193             } else {
 194                 badccs = 1;
 195             }
 196         } else if(rectype == SSL3_RT_APPLICATION_DATA) {
 197             if (bio == s_to_c_fbio)
 198                 sappdataseen = 1;
 199             else
 200                 cappdataseen = 1;
 201         }
 202         if (recvers != expectedrecvers)
 203             badvers = 1;
 204     }
 205
 206     ret = BIO_write(next, in, inl);
 207     if (ret <= 0 && BIO_should_write(next))
 208         BIO_set_retry_write(bio);
 209
 210     return ret;
 211 }
 212
 213 static long watchccs_ctrl(BIO *bio, int cmd, long num, void *ptr)
 214 {
 215     long ret;
 216     BIO *next = BIO_next(bio);
 217
 218     if (next == NULL)
 219         return 0;
 220
 221     switch (cmd) {
 222     case BIO_CTRL_DUP:
 223         ret = 0;
 224         break;
 225     default:
 226         ret = BIO_ctrl(next, cmd, num, ptr);
 227         break;
 228     }
 229     return ret;
 230 }
 231
 232 static int watchccs_gets(BIO *bio, char *buf, int size)
 233 {
 234     /* We don't support this - not needed anyway */
 235     return -1;
 236 }
 237
 238 static int watchccs_puts(BIO *bio, const char *str)
 239 {
 240     return watchccs_write(bio, str, strlen(str));
 241 }
 242
 243 static int test_tls13ccs(int tst)
 244 {
 245     SSL_CTX *sctx = NULL, *cctx = NULL;
 246     SSL *sssl = NULL, *cssl = NULL;
 247     int ret = 0;
 248     const char msg[] = "Dummy data";
 249     char buf[80];
 250     size_t written, readbytes;
 251     SSL_SESSION *sess = NULL;
 252
 253     chseen = shseen = sccsseen = ccsaftersh = ccsbeforesh = 0;
 254     sappdataseen = cappdataseen = badccs = badvers = badsessid = 0;
 255     chsessidlen = 0;
 256
 257     if (!TEST_true(create_ssl_ctx_pair(TLS_server_method(), TLS_client_method(),
 258                                        &sctx, &cctx, cert, privkey))
 259         || !TEST_true(SSL_CTX_set_max_early_data(sctx,
 260                                                  SSL3_RT_MAX_PLAIN_LENGTH))
 261         || !TEST_true(SSL_CTX_set_max_early_data(cctx,
 262                                                  SSL3_RT_MAX_PLAIN_LENGTH)))
 263         goto err;
 264
 265     /*
 266      * Test 0: Simple Handshake
 267      * Test 1: Simple Handshake, client middlebox compat mode disabled
 268      * Test 2: Simple Handshake, server middlebox compat mode disabled
 269      * Test 3: HRR Handshake
 270      * Test 4: HRR Handshake, client middlebox compat mode disabled
 271      * Test 5: HRR Handshake, server middlebox compat mode disabled
 272      * Test 6: Early data handshake
 273      * Test 7: Early data handshake, client middlebox compat mode disabled
 274      * Test 8: Early data handshake, server middlebox compat mode disabled
 275      * Test 9: Early data then HRR
 276      * Test 10: Early data then HRR, client middlebox compat mode disabled
 277      * Test 11: Early data then HRR, server middlebox compat mode disabled
 278      */
 279     switch (tst) {
 280     case 0:
 281     case 3:
 282     case 6:
 283     case 9:
 284         break;
 285     case 1:
 286     case 4:
 287     case 7:
 288     case 10:
 289         SSL_CTX_clear_options(cctx, SSL_OP_ENABLE_MIDDLEBOX_COMPAT);
 290         break;
 291     case 2:
 292     case 5:
 293     case 8:
 294     case 11:
 295         SSL_CTX_clear_options(sctx, SSL_OP_ENABLE_MIDDLEBOX_COMPAT);
 296         break;
 297     default:
 298         TEST_error("Invalid test value");
 299         goto err;
 300     }
 301
 302     if (tst >= 6) {
 303         /* Get a session suitable for early_data */
 304         if (!TEST_true(create_ssl_objects(sctx, cctx, &sssl, &cssl, NULL, NULL))
 305                 || !TEST_true(create_ssl_connection(sssl, cssl, SSL_ERROR_NONE)))
 306             goto err;
 307         sess = SSL_get1_session(cssl);
 308         if (!TEST_ptr(sess))
 309             goto err;
 310         SSL_shutdown(cssl);
 311         SSL_shutdown(sssl);
 312         SSL_free(sssl);
 313         SSL_free(cssl);
 314         sssl = cssl = NULL;
 315     }
 316
 317     if ((tst >= 3 && tst <= 5) || tst >= 9) {
 318         /* HRR handshake */
 319         if (!TEST_true(SSL_CTX_set1_groups_list(sctx, "P-256")))
 320             goto err;
 321     }
 322
 323     s_to_c_fbio = BIO_new(bio_f_watchccs_filter());
 324     c_to_s_fbio = BIO_new(bio_f_watchccs_filter());
 325     if (!TEST_ptr(s_to_c_fbio)
 326             || !TEST_ptr(c_to_s_fbio)) {
 327         BIO_free(s_to_c_fbio);
 328         BIO_free(c_to_s_fbio);
 329         goto err;
 330     }
 331
 332     /* BIOs get freed on error */
 333     if (!TEST_true(create_ssl_objects(sctx, cctx, &sssl, &cssl, s_to_c_fbio,
 334                                       c_to_s_fbio)))
 335         goto err;
 336
 337     if (tst >= 6) {
 338         /* Early data */
 339         if (!TEST_true(SSL_set_session(cssl, sess))
 340                 || !TEST_true(SSL_write_early_data(cssl, msg, strlen(msg),
 341                                                    &written))
 342                 || (tst <= 8
 343                     && !TEST_int_eq(SSL_read_early_data(sssl, buf,  sizeof(buf),
 344                                                 &readbytes),
 345                                                 SSL_READ_EARLY_DATA_SUCCESS)))
 346             goto err;
 347         if (tst <= 8) {
 348             if (!TEST_int_gt(SSL_connect(cssl), 0))
 349                 goto err;
 350         } else {
 351             if (!TEST_int_le(SSL_connect(cssl), 0))
 352                 goto err;
 353         }
 354         if (!TEST_int_eq(SSL_read_early_data(sssl, buf,  sizeof(buf),
 355                                              &readbytes),
 356                          SSL_READ_EARLY_DATA_FINISH))
 357             goto err;
 358     }
 359
 360     /* Perform handshake (or complete it if doing early data ) */
 361     if (!TEST_true(create_ssl_connection(sssl, cssl, SSL_ERROR_NONE)))
 362         goto err;
 363
 364     /*
 365      * Check there were no unexpected CCS messages, all record versions
 366      * were as expected, and that the session ids were reflected by the server
 367      * correctly.
 368      */
 369     if (!TEST_false(badccs) || !TEST_false(badvers) || !TEST_false(badsessid))
 370         goto err;
 371
 372     switch (tst) {
 373     case 0:
 374         if (!TEST_true(sccsseen)
 375                 || !TEST_true(ccsaftersh)
 376                 || !TEST_false(ccsbeforesh)
 377                 || !TEST_size_t_gt(chsessidlen, 0))
 378             goto err;
 379         break;
 380
 381     case 1:
 382         if (!TEST_true(sccsseen)
 383                 || !TEST_false(ccsaftersh)
 384                 || !TEST_false(ccsbeforesh)
 385                 || !TEST_size_t_eq(chsessidlen, 0))
 386             goto err;
 387         break;
 388
 389     case 2:
 390         if (!TEST_false(sccsseen)
 391                 || !TEST_true(ccsaftersh)
 392                 || !TEST_false(ccsbeforesh)
 393                 || !TEST_size_t_gt(chsessidlen, 0))
 394             goto err;
 395         break;
 396
 397     case 3:
 398         if (!TEST_true(sccsseen)
 399                 || !TEST_true(ccsaftersh)
 400                 || !TEST_false(ccsbeforesh)
 401                 || !TEST_size_t_gt(chsessidlen, 0))
 402             goto err;
 403         break;
 404
 405     case 4:
 406         if (!TEST_true(sccsseen)
 407                 || !TEST_false(ccsaftersh)
 408                 || !TEST_false(ccsbeforesh)
 409                 || !TEST_size_t_eq(chsessidlen, 0))
 410             goto err;
 411         break;
 412
 413     case 5:
 414         if (!TEST_false(sccsseen)
 415                 || !TEST_true(ccsaftersh)
 416                 || !TEST_false(ccsbeforesh)
 417                 || !TEST_size_t_gt(chsessidlen, 0))
 418             goto err;
 419         break;
 420
 421     case 6:
 422         if (!TEST_true(sccsseen)
 423                 || !TEST_false(ccsaftersh)
 424                 || !TEST_true(ccsbeforesh)
 425                 || !TEST_size_t_gt(chsessidlen, 0))
 426             goto err;
 427         break;
 428
 429     case 7:
 430         if (!TEST_true(sccsseen)
 431                 || !TEST_false(ccsaftersh)
 432                 || !TEST_false(ccsbeforesh)
 433                 || !TEST_size_t_eq(chsessidlen, 0))
 434             goto err;
 435         break;
 436
 437     case 8:
 438         if (!TEST_false(sccsseen)
 439                 || !TEST_false(ccsaftersh)
 440                 || !TEST_true(ccsbeforesh)
 441                 || !TEST_size_t_gt(chsessidlen, 0))
 442             goto err;
 443         break;
 444
 445     case 9:
 446         if (!TEST_true(sccsseen)
 447                 || !TEST_false(ccsaftersh)
 448                 || !TEST_true(ccsbeforesh)
 449                 || !TEST_size_t_gt(chsessidlen, 0))
 450             goto err;
 451         break;
 452
 453     case 10:
 454         if (!TEST_true(sccsseen)
 455                 || !TEST_false(ccsaftersh)
 456                 || !TEST_false(ccsbeforesh)
 457                 || !TEST_size_t_eq(chsessidlen, 0))
 458             goto err;
 459         break;
 460
 461     case 11:
 462         if (!TEST_false(sccsseen)
 463                 || !TEST_false(ccsaftersh)
 464                 || !TEST_true(ccsbeforesh)
 465                 || !TEST_size_t_gt(chsessidlen, 0))
 466             goto err;
 467         break;
 468
 469     default:
 470         TEST_error("Invalid test value");
 471         goto err;
 472     }
 473
 474     ret = 1;
 475  err:
 476     SSL_SESSION_free(sess);
 477     SSL_free(sssl);
 478     SSL_free(cssl);
 479     SSL_CTX_free(sctx);
 480     SSL_CTX_free(cctx);
 481
 482     return ret;
 483 }
 484
 485 int setup_tests(void)
 486 {
 487     if (!TEST_ptr(cert = test_get_argument(0))
 488             || !TEST_ptr(privkey = test_get_argument(1)))
 489         return 0;
 490
 491     ADD_ALL_TESTS(test_tls13ccs, 12);
 492
 493     return 1;
 494 }
 495
 496 void cleanup_tests(void)
 497 {
 498     BIO_meth_free(method_watchccs);
 499 }