statem_locl.h 18.1 KB
Newer Older
R
Rich Salz 已提交
1 2
/*
 * Copyright 2015-2016 The OpenSSL Project Authors. All Rights Reserved.
M
Matt Caswell 已提交
3
 *
R
Rich Salz 已提交
4 5 6 7
 * 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
M
Matt Caswell 已提交
8 9 10 11 12 13 14 15 16 17 18 19 20 21
 */

/*****************************************************************************
 *                                                                           *
 * The following definitions are PRIVATE to the state machine. They should   *
 * NOT be used outside of the state machine.                                 *
 *                                                                           *
 *****************************************************************************/

/* Max message length definitions */

/* The spec allows for a longer length than this, but we limit it */
#define HELLO_VERIFY_REQUEST_MAX_LENGTH 258
#define SERVER_HELLO_MAX_LENGTH         20000
22
#define HELLO_RETRY_REQUEST_MAX_LENGTH  20000
M
Matt Caswell 已提交
23
#define ENCRYPTED_EXTENSIONS_MAX_LENGTH 20000
M
Matt Caswell 已提交
24 25 26 27 28 29
#define SERVER_KEY_EXCH_MAX_LENGTH      102400
#define SERVER_HELLO_DONE_MAX_LENGTH    0
#define CCS_MAX_LENGTH                  1
/* Max should actually be 36 but we are generous */
#define FINISHED_MAX_LENGTH             64

30
/* Extension context codes */
31
/* This extension is only allowed in TLS */
32
#define EXT_TLS_ONLY                        0x0001
33
/* This extension is only allowed in DTLS */
34 35 36 37 38
#define EXT_DTLS_ONLY                       0x0002
/* Some extensions may be allowed in DTLS but we don't implement them for it */
#define EXT_TLS_IMPLEMENTATION_ONLY         0x0004
/* Most extensions are not defined for SSLv3 but EXT_TYPE_renegotiate is */
#define EXT_SSL3_ALLOWED                    0x0008
39
/* Extension is only defined for TLS1.2 and above */
40
#define EXT_TLS1_2_AND_BELOW_ONLY           0x0010
41
/* Extension is only defined for TLS1.3 and above */
42 43
#define EXT_TLS1_3_ONLY                     0x0020
#define EXT_CLIENT_HELLO                    0x0040
44
/* Really means TLS1.2 or below */
45 46 47 48 49 50
#define EXT_TLS1_2_SERVER_HELLO             0x0080
#define EXT_TLS1_3_SERVER_HELLO             0x0100
#define EXT_TLS1_3_ENCRYPTED_EXTENSIONS     0x0200
#define EXT_TLS1_3_HELLO_RETRY_REQUEST      0x0400
#define EXT_TLS1_3_CERTIFICATE              0x0800
#define EXT_TLS1_3_NEW_SESSION_TICKET       0x1000
51

M
Matt Caswell 已提交
52
/* Message processing return codes */
M
Matt Caswell 已提交
53
typedef enum {
M
Matt Caswell 已提交
54 55 56 57 58 59 60 61 62 63 64
    /* Something bad happened */
    MSG_PROCESS_ERROR,
    /* We've finished reading - swap to writing */
    MSG_PROCESS_FINISHED_READING,
    /*
     * We've completed the main processing of this message but there is some
     * post processing to be done.
     */
    MSG_PROCESS_CONTINUE_PROCESSING,
    /* We've finished this message - read the next message */
    MSG_PROCESS_CONTINUE_READING
M
Matt Caswell 已提交
65
} MSG_PROCESS_RETURN;
M
Matt Caswell 已提交
66 67 68 69

/* Flush the write BIO */
int statem_flush(SSL *s);

70 71
typedef int (*confunc_f) (SSL *s, WPACKET *pkt);

72 73 74
int check_in_list(SSL *s, unsigned int group_id, const unsigned char *groups,
                  size_t num_groups, int checkallow);

M
Matt Caswell 已提交
75 76 77
/*
 * TLS/DTLS client state machine functions
 */
78 79 80 81
int ossl_statem_client_read_transition(SSL *s, int mt);
WRITE_TRAN ossl_statem_client_write_transition(SSL *s);
WORK_STATE ossl_statem_client_pre_work(SSL *s, WORK_STATE wst);
WORK_STATE ossl_statem_client_post_work(SSL *s, WORK_STATE wst);
82
int ossl_statem_client_construct_message(SSL *s, WPACKET *pkt,
83
                                         confunc_f *confunc, int *mt);
84
size_t ossl_statem_client_max_message_size(SSL *s);
85 86
MSG_PROCESS_RETURN ossl_statem_client_process_message(SSL *s, PACKET *pkt);
WORK_STATE ossl_statem_client_post_process_message(SSL *s, WORK_STATE wst);
M
Matt Caswell 已提交
87 88 89 90

/*
 * TLS/DTLS server state machine functions
 */
91 92 93 94
int ossl_statem_server_read_transition(SSL *s, int mt);
WRITE_TRAN ossl_statem_server_write_transition(SSL *s);
WORK_STATE ossl_statem_server_pre_work(SSL *s, WORK_STATE wst);
WORK_STATE ossl_statem_server_post_work(SSL *s, WORK_STATE wst);
95
int ossl_statem_server_construct_message(SSL *s, WPACKET *pkt,
96
                                         confunc_f *confunc,int *mt);
97
size_t ossl_statem_server_max_message_size(SSL *s);
98 99
MSG_PROCESS_RETURN ossl_statem_server_process_message(SSL *s, PACKET *pkt);
WORK_STATE ossl_statem_server_post_process_message(SSL *s, WORK_STATE wst);
M
Matt Caswell 已提交
100 101 102

/* Functions for getting new message data */
__owur int tls_get_message_header(SSL *s, int *mt);
103 104
__owur int tls_get_message_body(SSL *s, size_t *len);
__owur int dtls_get_message(SSL *s, int *mt, size_t *len);
M
Matt Caswell 已提交
105 106

/* Message construction and processing functions */
107
__owur int tls_process_initial_server_flight(SSL *s, int *al);
M
Matt Caswell 已提交
108 109
__owur MSG_PROCESS_RETURN tls_process_change_cipher_spec(SSL *s, PACKET *pkt);
__owur MSG_PROCESS_RETURN tls_process_finished(SSL *s, PACKET *pkt);
110 111
__owur int tls_construct_change_cipher_spec(SSL *s, WPACKET *pkt);
__owur int dtls_construct_change_cipher_spec(SSL *s, WPACKET *pkt);
M
Matt Caswell 已提交
112

113
__owur int tls_construct_finished(SSL *s, WPACKET *pkt);
114
__owur int tls_construct_key_update(SSL *s, WPACKET *pkt);
115
__owur WORK_STATE tls_finish_handshake(SSL *s, WORK_STATE wst, int clearbufs);
M
Matt Caswell 已提交
116
__owur WORK_STATE dtls_wait_for_dry(SSL *s);
M
Matt Caswell 已提交
117 118

/* some client-only functions */
119
__owur int tls_construct_client_hello(SSL *s, WPACKET *pkt);
M
Matt Caswell 已提交
120 121 122
__owur MSG_PROCESS_RETURN tls_process_server_hello(SSL *s, PACKET *pkt);
__owur MSG_PROCESS_RETURN tls_process_certificate_request(SSL *s, PACKET *pkt);
__owur MSG_PROCESS_RETURN tls_process_new_session_ticket(SSL *s, PACKET *pkt);
123
__owur int tls_process_cert_status_body(SSL *s, PACKET *pkt, int *al);
M
Matt Caswell 已提交
124 125
__owur MSG_PROCESS_RETURN tls_process_cert_status(SSL *s, PACKET *pkt);
__owur MSG_PROCESS_RETURN tls_process_server_done(SSL *s, PACKET *pkt);
126
__owur int tls_construct_cert_verify(SSL *s, WPACKET *pkt);
M
Matt Caswell 已提交
127
__owur WORK_STATE tls_prepare_client_certificate(SSL *s, WORK_STATE wst);
128
__owur int tls_construct_client_certificate(SSL *s, WPACKET *pkt);
M
Matt Caswell 已提交
129
__owur int ssl_do_client_cert_cb(SSL *s, X509 **px509, EVP_PKEY **ppkey);
130
__owur int tls_construct_client_key_exchange(SSL *s, WPACKET *pkt);
M
Matt Caswell 已提交
131
__owur int tls_client_key_exchange_post_work(SSL *s);
132
__owur int tls_construct_cert_status_body(SSL *s, WPACKET *pkt);
133
__owur int tls_construct_cert_status(SSL *s, WPACKET *pkt);
E
Emilia Kasper 已提交
134
__owur MSG_PROCESS_RETURN tls_process_key_exchange(SSL *s, PACKET *pkt);
M
Matt Caswell 已提交
135
__owur MSG_PROCESS_RETURN tls_process_server_certificate(SSL *s, PACKET *pkt);
M
Matt Caswell 已提交
136
__owur int ssl3_check_cert_and_algorithm(SSL *s);
E
Emilia Kasper 已提交
137
#ifndef OPENSSL_NO_NEXTPROTONEG
138
__owur int tls_construct_next_proto(SSL *s, WPACKET *pkt);
E
Emilia Kasper 已提交
139
#endif
140
__owur MSG_PROCESS_RETURN tls_process_hello_req(SSL *s, PACKET *pkt);
M
Matt Caswell 已提交
141
__owur MSG_PROCESS_RETURN dtls_process_hello_verify(SSL *s, PACKET *pkt);
M
Matt Caswell 已提交
142 143

/* some server-only functions */
M
Matt Caswell 已提交
144 145
__owur MSG_PROCESS_RETURN tls_process_client_hello(SSL *s, PACKET *pkt);
__owur WORK_STATE tls_post_process_client_hello(SSL *s, WORK_STATE wst);
146 147 148 149 150 151
__owur int tls_construct_server_hello(SSL *s, WPACKET *pkt);
__owur int dtls_construct_hello_verify_request(SSL *s, WPACKET *pkt);
__owur int tls_construct_server_certificate(SSL *s, WPACKET *pkt);
__owur int tls_construct_server_key_exchange(SSL *s, WPACKET *pkt);
__owur int tls_construct_certificate_request(SSL *s, WPACKET *pkt);
__owur int tls_construct_server_done(SSL *s, WPACKET *pkt);
M
Matt Caswell 已提交
152 153 154 155
__owur MSG_PROCESS_RETURN tls_process_client_certificate(SSL *s, PACKET *pkt);
__owur MSG_PROCESS_RETURN tls_process_client_key_exchange(SSL *s, PACKET *pkt);
__owur WORK_STATE tls_post_process_client_key_exchange(SSL *s, WORK_STATE wst);
__owur MSG_PROCESS_RETURN tls_process_cert_verify(SSL *s, PACKET *pkt);
E
Emilia Kasper 已提交
156
#ifndef OPENSSL_NO_NEXTPROTONEG
M
Matt Caswell 已提交
157
__owur MSG_PROCESS_RETURN tls_process_next_proto(SSL *s, PACKET *pkt);
E
Emilia Kasper 已提交
158
#endif
159
__owur int tls_construct_new_session_ticket(SSL *s, WPACKET *pkt);
160

161 162 163 164 165

/* Extension processing */

__owur int tls_collect_extensions(SSL *s, PACKET *packet, unsigned int context,
                                  RAW_EXTENSION **res, int *al);
166
__owur int tls_parse_extension(SSL *s, TLSEXT_INDEX idx, int context,
167
                               RAW_EXTENSION *exts,  X509 *x, size_t chainidx,
168
                               int *al);
M
Matt Caswell 已提交
169
__owur int tls_parse_all_extensions(SSL *s, int context, RAW_EXTENSION *exts,
170
                                    X509 *x, size_t chainidx, int *al);
M
Matt Caswell 已提交
171
__owur int tls_construct_extensions(SSL *s, WPACKET *pkt, unsigned int context,
172
                                    X509 *x, size_t chainidx, int *al);
173

174 175 176 177 178 179
__owur int tls_psk_do_binder(SSL *s, const EVP_MD *md,
                             const unsigned char *msgstart,
                             size_t binderoffset, const unsigned char *binderin,
                             unsigned char *binderout,
                             SSL_SESSION *sess, int sign);

180
/* Server Extension processing */
181 182 183 184
int tls_parse_ctos_renegotiate(SSL *s, PACKET *pkt, unsigned int context,
                               X509 *x, size_t chainidx, int *al);
int tls_parse_ctos_server_name(SSL *s, PACKET *pkt, unsigned int context,
                               X509 *x, size_t chainidx, int *al);
185
#ifndef OPENSSL_NO_SRP
186 187
int tls_parse_ctos_srp(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
188 189
#endif
#ifndef OPENSSL_NO_EC
190 191 192 193
int tls_parse_ctos_ec_pt_formats(SSL *s, PACKET *pkt, unsigned int context,
                                 X509 *x, size_t chainidx, int *al);
int tls_parse_ctos_supported_groups(SSL *s, PACKET *pkt, unsigned int context,
                                    X509 *x, size_t chainidx, int *al);
194
#endif
195 196 197 198
int tls_parse_ctos_session_ticket(SSL *s, PACKET *pkt, unsigned int context,
                                  X509 *x, size_t chainidx, int *al);
int tls_parse_ctos_sig_algs(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                            size_t chainidx, int *al);
199
#ifndef OPENSSL_NO_OCSP
200 201
int tls_parse_ctos_status_request(SSL *s, PACKET *pkt, unsigned int context,
                                  X509 *x, size_t chainidx, int *al);
202
#endif
203
#ifndef OPENSSL_NO_NEXTPROTONEG
204 205
int tls_parse_ctos_npn(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
206
#endif
207 208
int tls_parse_ctos_alpn(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                        size_t chainidx, int *al);
209
#ifndef OPENSSL_NO_SRTP
210 211
int tls_parse_ctos_use_srtp(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                            size_t chainidx, int *al);
212
#endif
213 214 215 216 217 218 219 220 221 222
int tls_parse_ctos_etm(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
int tls_parse_ctos_key_share(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                             size_t chainidx, int *al);
int tls_parse_ctos_ems(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
int tls_parse_ctos_psk_kex_modes(SSL *s, PACKET *pkt, unsigned int context,
                                 X509 *x, size_t chainidx, int *al);
int tls_parse_ctos_psk(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
223

224 225 226 227
int tls_construct_stoc_renegotiate(SSL *s, WPACKET *pkt, unsigned int context,
                                   X509 *x, size_t chainidx, int *al);
int tls_construct_stoc_server_name(SSL *s, WPACKET *pkt, unsigned int context,
                                   X509 *x, size_t chainidx, int *al);
228
#ifndef OPENSSL_NO_EC
229 230
int tls_construct_stoc_ec_pt_formats(SSL *s, WPACKET *pkt, unsigned int context,
                                     X509 *x, size_t chainidx, int *al);
231
#endif
232 233
int tls_construct_stoc_session_ticket(SSL *s, WPACKET *pkt,
                                      unsigned int context, X509 *x,
234
                                      size_t chainidx, int *al);
235
#ifndef OPENSSL_NO_OCSP
236 237
int tls_construct_stoc_status_request(SSL *s, WPACKET *pkt,
                                      unsigned int context, X509 *x,
238
                                      size_t chainidx, int *al);
239 240
#endif
#ifndef OPENSSL_NO_NEXTPROTONEG
241 242
int tls_construct_stoc_next_proto_neg(SSL *s, WPACKET *pkt,
                                      unsigned int context, X509 *x,
243
                                      size_t chainidx, int *al);
244
#endif
245 246
int tls_construct_stoc_alpn(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                            size_t chainidx, int *al);
247
#ifndef OPENSSL_NO_SRTP
248 249
int tls_construct_stoc_use_srtp(SSL *s, WPACKET *pkt, unsigned int context,
                                X509 *x, size_t chainidx, int *al);
250
#endif
251 252 253 254 255 256
int tls_construct_stoc_etm(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
int tls_construct_stoc_ems(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
int tls_construct_stoc_key_share(SSL *s, WPACKET *pkt, unsigned int context,
                                 X509 *x, size_t chainidx, int *al);
257 258 259 260 261
/*
 * Not in public headers as this is not an official extension. Only used when
 * SSL_OP_CRYPTOPRO_TLSEXT_BUG is set.
 */
#define TLSEXT_TYPE_cryptopro_bug      0xfde8
262 263 264 265
int tls_construct_stoc_cryptopro_bug(SSL *s, WPACKET *pkt, unsigned int context,
                                     X509 *x, size_t chainidx, int *al);
int tls_construct_stoc_psk(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
266 267

/* Client Extension processing */
268 269 270 271
int tls_construct_ctos_renegotiate(SSL *s, WPACKET *pkt, unsigned int context,
                                   X509 *x, size_t chainidx, int *al);
int tls_construct_ctos_server_name(SSL *s, WPACKET *pkt, unsigned int context,
                                   X509 *x, size_t chainidx, int *al);
272
#ifndef OPENSSL_NO_SRP
273 274
int tls_construct_ctos_srp(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
275 276
#endif
#ifndef OPENSSL_NO_EC
277 278 279 280
int tls_construct_ctos_ec_pt_formats(SSL *s, WPACKET *pkt, unsigned int context,
                                     X509 *x, size_t chainidx, int *al);
int tls_construct_ctos_supported_groups(SSL *s, WPACKET *pkt,
                                        unsigned int context, X509 *x,
281
                                        size_t chainidx, int *al);
282
#endif
283 284
int tls_construct_ctos_session_ticket(SSL *s, WPACKET *pkt,
                                      unsigned int context, X509 *x,
285
                                      size_t chainidx, int *al);
286 287
int tls_construct_ctos_sig_algs(SSL *s, WPACKET *pkt, unsigned int context,
                                X509 *x, size_t chainidx, int *al);
288
#ifndef OPENSSL_NO_OCSP
289 290
int tls_construct_ctos_status_request(SSL *s, WPACKET *pkt,
                                      unsigned int context, X509 *x,
291
                                      size_t chainidx, int *al);
292 293
#endif
#ifndef OPENSSL_NO_NEXTPROTONEG
294 295
int tls_construct_ctos_npn(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
296
#endif
297 298
int tls_construct_ctos_alpn(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                            size_t chainidx, int *al);
299
#ifndef OPENSSL_NO_SRTP
300 301
int tls_construct_ctos_use_srtp(SSL *s, WPACKET *pkt, unsigned int context,
                                X509 *x, size_t chainidx, int *al);
302
#endif
303 304
int tls_construct_ctos_etm(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
305
#ifndef OPENSSL_NO_CT
306 307
int tls_construct_ctos_sct(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
308
#endif
309 310 311 312
int tls_construct_ctos_ems(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
int tls_construct_ctos_supported_versions(SSL *s, WPACKET *pkt,
                                          unsigned int context, X509 *x,
313
                                          size_t chainidx, int *al);
314 315 316 317 318 319 320 321 322 323 324 325
int tls_construct_ctos_key_share(SSL *s, WPACKET *pkt, unsigned int context,
                                 X509 *x, size_t chainidx, int *al);
int tls_construct_ctos_psk_kex_modes(SSL *s, WPACKET *pkt, unsigned int context,
                                     X509 *x, size_t chainidx, int *al);
int tls_construct_ctos_padding(SSL *s, WPACKET *pkt, unsigned int context,
                               X509 *x, size_t chainidx, int *al);
int tls_construct_ctos_psk(SSL *s, WPACKET *pkt, unsigned int context, X509 *x,
                           size_t chainidx, int *al);
int tls_parse_stoc_renegotiate(SSL *s, PACKET *pkt, unsigned int context,
                               X509 *x, size_t chainidx, int *al);
int tls_parse_stoc_server_name(SSL *s, PACKET *pkt, unsigned int context,
                               X509 *x, size_t chainidx, int *al);
326
#ifndef OPENSSL_NO_EC
327 328
int tls_parse_stoc_ec_pt_formats(SSL *s, PACKET *pkt, unsigned int context,
                                 X509 *x, size_t chainidx, int *al);
329
#endif
330 331
int tls_parse_stoc_session_ticket(SSL *s, PACKET *pkt, unsigned int context,
                                  X509 *x, size_t chainidx, int *al);
332
#ifndef OPENSSL_NO_OCSP
333 334
int tls_parse_stoc_status_request(SSL *s, PACKET *pkt, unsigned int context,
                                  X509 *x, size_t chainidx, int *al);
335
#endif
336
#ifndef OPENSSL_NO_CT
337 338
int tls_parse_stoc_sct(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
339 340
#endif
#ifndef OPENSSL_NO_NEXTPROTONEG
341 342
int tls_parse_stoc_npn(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
343
#endif
344 345
int tls_parse_stoc_alpn(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                        size_t chainidx, int *al);
346
#ifndef OPENSSL_NO_SRTP
347 348
int tls_parse_stoc_use_srtp(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                            size_t chainidx, int *al);
349
#endif
350 351 352 353 354 355 356 357
int tls_parse_stoc_etm(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
int tls_parse_stoc_ems(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);
int tls_parse_stoc_key_share(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                             size_t chainidx, int *al);
int tls_parse_stoc_psk(SSL *s, PACKET *pkt, unsigned int context, X509 *x,
                       size_t chainidx, int *al);