extensions.c 18.1 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/*
 * Copyright 2016 The OpenSSL Project Authors. All Rights Reserved.
 *
 * Licensed under the OpenSSL license (the "License").  You may not use
 * this file except in compliance with the License.  You can obtain a copy
 * in the file LICENSE in the source distribution or at
 * https://www.openssl.org/source/license.html
 */

#include <stdlib.h>
#include "../ssl_locl.h"
#include "statem_locl.h"

typedef struct {
    /* The ID for the extension */
    unsigned int type;
17 18 19 20 21 22 23 24
    /* Parse extension received by server from client */
    int (*parse_client_ext)(SSL *s, PACKET *pkt, int *al);
    /* Parse extension received by client from server */
    int (*parse_server_ext)(SSL *s, PACKET *pkt, int *al);
    /* Construct extension sent by server */
    int (*construct_server_ext)(SSL *s, WPACKET *pkt, int *al);
    /* Construct extension sent by client */
    int (*construct_client_ext)(SSL *s, WPACKET *pkt, int *al);
25 26 27
    unsigned int context;
} EXTENSION_DEFINITION;

M
Matt Caswell 已提交
28 29 30 31 32
/*
 * TODO(TLS1.3): Temporarily modified the definitions below to put all TLS1.3
 * extensions in the ServerHello for now. That needs to be put back to correct
 * setting once encrypted extensions is working properly.
 */
33 34 35
static const EXTENSION_DEFINITION ext_defs[] = {
    {
        TLSEXT_TYPE_renegotiate,
M
Matt Caswell 已提交
36
        tls_parse_client_renegotiate,
37
        tls_parse_server_renegotiate,
38
        tls_construct_server_renegotiate,
39
        tls_construct_client_renegotiate,
40 41 42 43 44
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO | EXT_SSL3_ALLOWED
        | EXT_TLS1_2_AND_BELOW_ONLY
    },
    {
        TLSEXT_TYPE_server_name,
M
Matt Caswell 已提交
45
        tls_parse_client_server_name,
46
        tls_parse_server_server_name,
47
        tls_construct_server_server_name,
48
        tls_construct_client_server_name,
49
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO
50
        | EXT_TLS1_3_ENCRYPTED_EXTENSIONS
51 52 53 54
    },
#ifndef OPENSSL_NO_SRP
    {
        TLSEXT_TYPE_srp,
M
Matt Caswell 已提交
55
        tls_parse_client_srp,
56
        NULL,
M
Matt Caswell 已提交
57
        NULL,
58
        tls_construct_client_srp,
59 60 61 62 63 64
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO | EXT_TLS1_2_AND_BELOW_ONLY
    },
#endif
#ifndef OPENSSL_NO_EC
    {
        TLSEXT_TYPE_ec_point_formats,
M
Matt Caswell 已提交
65
        tls_parse_client_ec_pt_formats,
66
        tls_parse_server_ec_pt_formats,
67
        tls_construct_server_ec_pt_formats,
68
        tls_construct_client_ec_pt_formats,
69 70 71 72
        EXT_CLIENT_HELLO | EXT_TLS1_2_AND_BELOW_ONLY
    },
    {
        TLSEXT_TYPE_supported_groups,
M
Matt Caswell 已提交
73
        tls_parse_client_supported_groups,
74
        NULL,
75
        NULL /* TODO(TLS1.3): Need to add this */,
76
        tls_construct_client_supported_groups,
M
Matt Caswell 已提交
77
        EXT_CLIENT_HELLO
78
        | EXT_TLS1_3_ENCRYPTED_EXTENSIONS
79 80 81 82
    },
#endif
    {
        TLSEXT_TYPE_session_ticket,
M
Matt Caswell 已提交
83
        tls_parse_client_session_ticket,
84
        tls_parse_server_session_ticket,
85
        tls_construct_server_session_ticket,
86
        tls_construct_client_session_ticket,
87 88 89 90
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO | EXT_TLS1_2_AND_BELOW_ONLY
    },
    {
        TLSEXT_TYPE_signature_algorithms,
M
Matt Caswell 已提交
91
        tls_parse_client_sig_algs,
92
        NULL,
M
Matt Caswell 已提交
93
        NULL,
94
        tls_construct_client_sig_algs,
95 96
        EXT_CLIENT_HELLO
    },
97
#ifndef OPENSSL_NO_OCSP
98 99
    {
        TLSEXT_TYPE_status_request,
M
Matt Caswell 已提交
100
        tls_parse_client_status_request,
101
        tls_parse_server_status_request,
102
        tls_construct_server_status_request,
103
        tls_construct_client_status_request,
M
Matt Caswell 已提交
104
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO
105
        | EXT_TLS1_3_CERTIFICATE
106
    },
107
#endif
108 109 110
#ifndef OPENSSL_NO_NEXTPROTONEG
    {
        TLSEXT_TYPE_next_proto_neg,
M
Matt Caswell 已提交
111
        tls_parse_client_npn,
112
        tls_parse_server_npn,
113
        tls_construct_server_next_proto_neg,
114
        tls_construct_client_npn,
115 116 117 118 119
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO | EXT_TLS1_2_AND_BELOW_ONLY
    },
#endif
    {
        TLSEXT_TYPE_application_layer_protocol_negotiation,
M
Matt Caswell 已提交
120
        tls_parse_client_alpn,
121
        tls_parse_server_alpn,
122
        tls_construct_server_alpn,
123
        tls_construct_client_alpn,
124
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO
125
        | EXT_TLS1_3_ENCRYPTED_EXTENSIONS
126
    },
127
#ifndef OPENSSL_NO_SRTP
128 129
    {
        TLSEXT_TYPE_use_srtp,
M
Matt Caswell 已提交
130
        tls_parse_client_use_srtp,
131
        tls_parse_server_use_srtp,
132
        tls_construct_server_use_srtp,
133
        tls_construct_client_use_srtp,
134 135 136
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO
        | EXT_TLS1_3_ENCRYPTED_EXTENSIONS | EXT_DTLS_ONLY
    },
137
#endif
138 139
    {
        TLSEXT_TYPE_encrypt_then_mac,
M
Matt Caswell 已提交
140
        tls_parse_client_etm,
141
        tls_parse_server_etm,
142
        tls_construct_server_etm,
143
        tls_construct_client_etm,
144 145
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO | EXT_TLS1_2_AND_BELOW_ONLY
    },
146
#ifndef OPENSSL_NO_CT
147 148 149 150 151 152 153 154
    {
        TLSEXT_TYPE_signed_certificate_timestamp,
        /*
         * No server side support for this, but can be provided by a custom
         * extension. This is an exception to the rule that custom extensions
         * cannot override built in ones.
         */
        NULL,
155
        tls_parse_server_sct,
M
Matt Caswell 已提交
156
        NULL,
157
        tls_construct_client_sct,
M
Matt Caswell 已提交
158
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO
159
        | EXT_TLS1_3_CERTIFICATE
160
    },
161
#endif
162 163
    {
        TLSEXT_TYPE_extended_master_secret,
M
Matt Caswell 已提交
164
        tls_parse_client_ems,
165
        tls_parse_server_ems,
166
        tls_construct_server_ems,
167
        tls_construct_client_ems,
168 169 170 171 172 173 174
        EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO | EXT_TLS1_2_AND_BELOW_ONLY
    },
    {
        TLSEXT_TYPE_supported_versions,
        /* Processed inline as part of version selection */
        NULL,
        NULL,
M
Matt Caswell 已提交
175
        NULL,
176 177
        tls_construct_client_supported_versions,
        EXT_CLIENT_HELLO | EXT_TLS_IMPLEMENTATION_ONLY | EXT_TLS1_3_ONLY
178 179 180
    },
    {
        TLSEXT_TYPE_key_share,
M
Matt Caswell 已提交
181
        tls_parse_client_key_share,
182
        tls_parse_server_key_share,
183
        tls_construct_server_key_share,
184
        tls_construct_client_key_share,
185 186 187
        EXT_CLIENT_HELLO | EXT_TLS1_3_SERVER_HELLO
        | EXT_TLS1_3_HELLO_RETRY_REQUEST | EXT_TLS_IMPLEMENTATION_ONLY
        | EXT_TLS1_3_ONLY
188 189 190 191 192 193 194 195 196 197 198 199
    },
    {
        /*
         * Special unsolicited ServerHello extension only used when
         * SSL_OP_CRYPTOPRO_TLSEXT_BUG is set
         */
        TLSEXT_TYPE_cryptopro_bug,
        NULL,
        NULL,
        tls_construct_server_cryptopro_bug,
        NULL,
        EXT_TLS1_2_SERVER_HELLO | EXT_TLS1_2_AND_BELOW_ONLY
200 201 202 203 204 205 206 207 208 209
    },
    {
        /* Last in the list because it must be added as the last extension */
        TLSEXT_TYPE_padding,
        /* We send this, but don't read it */
        NULL,
        NULL,
        NULL,
        tls_construct_client_padding,
        EXT_CLIENT_HELLO
210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288
    }
};

/*
 * Comparison function used in a call to qsort (see tls_collect_extensions()
 * below.)
 * The two arguments |p1| and |p2| are expected to be pointers to RAW_EXTENSIONs
 *
 * Returns:
 *  1 if the type for p1 is greater than p2
 *  0 if the type for p1 and p2 are the same
 * -1 if the type for p1 is less than p2
 */
static int compare_extensions(const void *p1, const void *p2)
{
    const RAW_EXTENSION *e1 = (const RAW_EXTENSION *)p1;
    const RAW_EXTENSION *e2 = (const RAW_EXTENSION *)p2;

    if (e1->type < e2->type)
        return -1;
    else if (e1->type > e2->type)
        return 1;

    return 0;
}

/*
 * Verify whether we are allowed to use the extension |type| in the current
 * |context|. Returns 1 to indicate the extension is allowed or unknown or 0 to
 * indicate the extension is not allowed.
 */
static int verify_extension(SSL *s, unsigned int context, unsigned int type)
{
    size_t i;

    for (i = 0; i < OSSL_NELEM(ext_defs); i++) {
        if (type == ext_defs[i].type) {
            /* Check we're allowed to use this extension in this context */
            if ((context & ext_defs[i].context) == 0)
                return 0;

            if (SSL_IS_DTLS(s)) {
                if ((ext_defs[i].context & EXT_TLS_ONLY) != 0)
                    return 0;
            } else if ((ext_defs[i].context & EXT_DTLS_ONLY) != 0) {
                    return 0;
            }

            return 1;
        }
    }

    /* Unknown extension. We allow it */
    return 1;
}

/*
 * Finds an extension definition for the give extension |type|.
 * Returns 1 if found and stores the definition in |*def|, or returns 0
 * otherwise.
 */
static int find_extension_definition(SSL *s, unsigned int type,
                                     const EXTENSION_DEFINITION **def)
{
    size_t i;

    for (i = 0; i < OSSL_NELEM(ext_defs); i++) {
        if (type == ext_defs[i].type) {
            *def = &ext_defs[i];
            return 1;
        }
    }

    /* Unknown extension */
    return 0;
}

/*
 * Gather a list of all the extensions from the data in |packet]. |context|
289
 * tells us which message this extension is for. Ttls_parse_server_ec_pt_formatshe raw extension data is
290 291 292 293 294 295 296 297 298 299
 * stored in |*res| with the number of found extensions in |*numfound|. In the
 * event of an error the alert type to use is stored in |*ad|. We don't actually
 * process the content of the extensions yet, except to check their types.
 *
 * Per http://tools.ietf.org/html/rfc5246#section-7.4.1.4, there may not be
 * more than one extension of the same type in a ClientHello or ServerHello.
 * This function returns 1 if all extensions are unique and we have parsed their
 * types, and 0 if the extensions contain duplicates, could not be successfully
 * parsed, or an internal error occurred.
 */
300

301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373
int tls_collect_extensions(SSL *s, PACKET *packet, unsigned int context,
                           RAW_EXTENSION **res, size_t *numfound, int *ad)
{
    PACKET extensions = *packet;
    size_t num_extensions = 0, i = 0;
    RAW_EXTENSION *raw_extensions = NULL;

    /* First pass: count the extensions. */
    while (PACKET_remaining(&extensions) > 0) {
        unsigned int type;
        PACKET extension;

        if (!PACKET_get_net_2(&extensions, &type) ||
            !PACKET_get_length_prefixed_2(&extensions, &extension)) {
            SSLerr(SSL_F_TLS_COLLECT_EXTENSIONS, SSL_R_BAD_EXTENSION);
            *ad = SSL_AD_DECODE_ERROR;
            goto err;
        }
        /* Verify this extension is allowed */
        if (!verify_extension(s, context, type)) {
            SSLerr(SSL_F_TLS_COLLECT_EXTENSIONS, SSL_R_BAD_EXTENSION);
            *ad = SSL_AD_ILLEGAL_PARAMETER;
            goto err;
        }
        num_extensions++;
    }

    if (num_extensions > 0) {
        raw_extensions = OPENSSL_zalloc(sizeof(*raw_extensions)
                                        * num_extensions);
        if (raw_extensions == NULL) {
            *ad = SSL_AD_INTERNAL_ERROR;
            SSLerr(SSL_F_TLS_COLLECT_EXTENSIONS, ERR_R_MALLOC_FAILURE);
            goto err;
        }

        /* Second pass: collect the extensions. */
        for (i = 0; i < num_extensions; i++) {
            if (!PACKET_get_net_2(packet, &raw_extensions[i].type) ||
                !PACKET_get_length_prefixed_2(packet,
                                              &raw_extensions[i].data)) {
                /* This should not happen. */
                *ad = SSL_AD_INTERNAL_ERROR;
                SSLerr(SSL_F_TLS_COLLECT_EXTENSIONS, ERR_R_INTERNAL_ERROR);
                goto err;
            }
        }

        if (PACKET_remaining(packet) != 0) {
            *ad = SSL_AD_DECODE_ERROR;
            SSLerr(SSL_F_TLS_COLLECT_EXTENSIONS, SSL_R_LENGTH_MISMATCH);
            goto err;
        }
        /* Sort the extensions and make sure there are no duplicates. */
        qsort(raw_extensions, num_extensions, sizeof(*raw_extensions),
              compare_extensions);
        for (i = 1; i < num_extensions; i++) {
            if (raw_extensions[i - 1].type == raw_extensions[i].type) {
                *ad = SSL_AD_DECODE_ERROR;
                goto err;
            }
        }
    }

    *res = raw_extensions;
    *numfound = num_extensions;
    return 1;

 err:
    OPENSSL_free(raw_extensions);
    return 0;
}

M
Matt Caswell 已提交
374 375
int tls_parse_all_extensions(SSL *s, int context, RAW_EXTENSION *exts,
                             size_t numexts, int *al)
376 377 378 379 380 381 382 383 384
{
    size_t loop;

    for (loop = 0; loop < numexts; loop++) {
        RAW_EXTENSION *currext = &exts[loop];
        const EXTENSION_DEFINITION *extdef = NULL;
        int (*parser)(SSL *s, PACKET *pkt, int *al) = NULL;

        if (s->tlsext_debug_cb)
385
            s->tlsext_debug_cb(s, !s->server, currext->type,
386 387 388 389 390 391 392 393 394 395 396
                               PACKET_data(&currext->data),
                               PACKET_remaining(&currext->data),
                               s->tlsext_debug_arg);

        /* Skip if we've already parsed this extension */
        if (currext->parsed)
            continue;

        currext->parsed = 1;

        parser = NULL;
M
Matt Caswell 已提交
397
        if (find_extension_definition(s, currext->type, &extdef)) {
398 399
            parser = s->server ? extdef->parse_client_ext
                               : extdef->parse_server_ext;
400

M
Matt Caswell 已提交
401 402 403 404 405 406 407 408 409 410 411 412
            /* Check if extension is defined for our protocol. If not, skip */
            if ((SSL_IS_DTLS(s)
                        && (extdef->context & EXT_TLS_IMPLEMENTATION_ONLY) != 0)
                    || (s->version == SSL3_VERSION
                            && (extdef->context & EXT_SSL3_ALLOWED) == 0)
                    || (SSL_IS_TLS13(s)
                        && (extdef->context & EXT_TLS1_2_AND_BELOW_ONLY) != 0)
                    || (!SSL_IS_TLS13(s)
                        && (extdef->context & EXT_TLS1_3_ONLY) != 0))
                continue;
        }

413 414 415
        if (parser == NULL) {
            /*
             * Could be a custom extension. We only allow this if it is a non
M
Matt Caswell 已提交
416 417 418 419 420
             * resumed session on the server side.
             * 
             * TODO(TLS1.3): We only allow old style <=TLS1.2 custom extensions.
             * We're going to need a new mechanism for TLS1.3 to specify which
             * messages to add the custom extensions to.
421 422
             */
            if ((!s->hit || !s->server)
M
Matt Caswell 已提交
423 424
                    && (context
                        & (EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO)) != 0
425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446
                    && custom_ext_parse(s, s->server, currext->type,
                                        PACKET_data(&currext->data),
                                        PACKET_remaining(&currext->data),
                                        al) <= 0)
                return 0;

            continue;
        }

        if (!parser(s, &currext->data, al))
            return 0;
    }

    return 1;
}

/*
 * Find a specific extension by |type| in the list |exts| containing |numexts|
 * extensions, and the parse it immediately. Returns 1 on success, or 0 on
 * failure. If a failure has occurred then |*al| will also be set to the alert
 * to be sent.
 */
M
Matt Caswell 已提交
447 448
int tls_parse_extension(SSL *s, int type, int context, RAW_EXTENSION *exts,
                        size_t numexts, int *al)
449 450 451 452 453 454
{
    RAW_EXTENSION *ext = tls_get_extension_by_type(exts, numexts, type);

    if (ext == NULL)
        return 1;

M
Matt Caswell 已提交
455
    return tls_parse_all_extensions(s, context, ext, 1, al);
456 457
}

M
Matt Caswell 已提交
458 459 460 461 462
int tls_construct_extensions(SSL *s, WPACKET *pkt, unsigned int context,
                             int *al)
{
    size_t loop;
    int addcustom = 0;
463
    int min_version, max_version = 0, reason;
M
Matt Caswell 已提交
464

465 466 467 468 469 470
    /*
     * Normally if something goes wrong during construction its an internal
     * error. We can always override this later.
     */
    *al = SSL_AD_INTERNAL_ERROR;

M
Matt Caswell 已提交
471 472 473
    if (!WPACKET_start_sub_packet_u16(pkt)
               /*
                * If extensions are of zero length then we don't even add the
474
                * extensions length bytes to a ClientHello/ServerHello in SSLv3
M
Matt Caswell 已提交
475
                */
476 477
            || ((context & (EXT_CLIENT_HELLO | EXT_TLS1_2_SERVER_HELLO)) != 0
               && s->version == SSL3_VERSION
M
Matt Caswell 已提交
478 479 480 481 482 483
               && !WPACKET_set_flags(pkt,
                                     WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH))) {
        SSLerr(SSL_F_TLS_CONSTRUCT_EXTENSIONS, ERR_R_INTERNAL_ERROR);
        return 0;
    }

484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512
    if ((context & EXT_CLIENT_HELLO) != 0) {
        reason = ssl_get_client_min_max_version(s, &min_version, &max_version);
        if (reason != 0) {
            SSLerr(SSL_F_TLS_CONSTRUCT_EXTENSIONS, reason);
            return 0;
        }
    }

    /* Add custom extensions first */
    if ((context & EXT_CLIENT_HELLO) != 0) {
        custom_ext_init(&s->cert->cli_ext);
        addcustom = 1;
    } else if ((context & EXT_TLS1_2_SERVER_HELLO) != 0) {
        /*
         * We already initialised the custom extensions during ClientHello
         * parsing.
         * 
         * TODO(TLS1.3): We're going to need a new custom extension mechanism
         * for TLS1.3, so that custom extensions can specify which of the
         * multiple message they wish to add themselves to.
         */
        addcustom = 1;
    }

    if (addcustom && !custom_ext_add(s, s->server, pkt, al)) {
        SSLerr(SSL_F_TLS_CONSTRUCT_EXTENSIONS, ERR_R_INTERNAL_ERROR);
        return 0;
    }

M
Matt Caswell 已提交
513
    for (loop = 0; loop < OSSL_NELEM(ext_defs); loop++) {
M
Matt Caswell 已提交
514 515
        int (*construct)(SSL *s, WPACKET *pkt, int *al);

M
Matt Caswell 已提交
516 517 518 519
        /* Skip if not relevant for our context */
        if ((ext_defs[loop].context & context) == 0)
            continue;

520 521
        construct = s->server ? ext_defs[loop].construct_server_ext
                              : ext_defs[loop].construct_client_ext;
M
Matt Caswell 已提交
522 523 524

        /* Check if this extension is defined for our protocol. If not, skip */
        if ((SSL_IS_DTLS(s)
M
Matt Caswell 已提交
525 526
                    && (ext_defs[loop].context & EXT_TLS_IMPLEMENTATION_ONLY)
                       != 0)
M
Matt Caswell 已提交
527
                || (s->version == SSL3_VERSION
M
Matt Caswell 已提交
528
                        && (ext_defs[loop].context & EXT_SSL3_ALLOWED) == 0)
M
Matt Caswell 已提交
529
                || (SSL_IS_TLS13(s)
M
Matt Caswell 已提交
530 531
                    && (ext_defs[loop].context & EXT_TLS1_2_AND_BELOW_ONLY)
                       != 0)
M
Matt Caswell 已提交
532
                || (!SSL_IS_TLS13(s)
M
Matt Caswell 已提交
533 534
                    && (ext_defs[loop].context & EXT_TLS1_3_ONLY) != 0
                    && (context & EXT_CLIENT_HELLO) == 0)
535 536 537
                || ((ext_defs[loop].context & EXT_TLS1_3_ONLY) != 0
                    && (context & EXT_CLIENT_HELLO) != 0
                    && (SSL_IS_DTLS(s) || max_version < TLS1_3_VERSION))
M
Matt Caswell 已提交
538 539 540 541 542 543 544 545 546 547 548 549 550 551
                || construct == NULL)
            continue;

        if (!construct(s, pkt, al))
            return 0;
    }

    if (!WPACKET_close(pkt)) {
        SSLerr(SSL_F_TLS_CONSTRUCT_EXTENSIONS, ERR_R_INTERNAL_ERROR);
        return 0;
    }

    return 1;
}