2016-05-17 18:18:30 +00:00
|
|
|
/*
|
2018-02-13 12:51:29 +00:00
|
|
|
* Copyright 2015-2018 The OpenSSL Project Authors. All Rights Reserved.
|
2015-09-11 09:48:59 +00:00
|
|
|
*
|
2016-05-17 18:18:30 +00:00
|
|
|
* 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
|
2015-09-11 09:48:59 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
/*****************************************************************************
|
|
|
|
* *
|
2016-03-10 20:34:48 +00:00
|
|
|
* These enums should be considered PRIVATE to the state machine. No *
|
2015-09-11 09:48:59 +00:00
|
|
|
* non-state machine code should need to use these *
|
|
|
|
* *
|
|
|
|
*****************************************************************************/
|
|
|
|
/*
|
|
|
|
* Valid return codes used for functions performing work prior to or after
|
|
|
|
* sending or receiving a message
|
|
|
|
*/
|
2015-10-26 11:46:33 +00:00
|
|
|
typedef enum {
|
2015-09-11 09:48:59 +00:00
|
|
|
/* Something went wrong */
|
|
|
|
WORK_ERROR,
|
|
|
|
/* We're done working and there shouldn't be anything else to do after */
|
|
|
|
WORK_FINISHED_STOP,
|
|
|
|
/* We're done working move onto the next thing */
|
|
|
|
WORK_FINISHED_CONTINUE,
|
|
|
|
/* We're working on phase A */
|
|
|
|
WORK_MORE_A,
|
|
|
|
/* We're working on phase B */
|
2017-02-06 21:33:28 +00:00
|
|
|
WORK_MORE_B,
|
|
|
|
/* We're working on phase C */
|
|
|
|
WORK_MORE_C
|
2015-10-26 11:46:33 +00:00
|
|
|
} WORK_STATE;
|
2015-09-11 09:48:59 +00:00
|
|
|
|
|
|
|
/* Write transition return codes */
|
2015-10-26 11:46:33 +00:00
|
|
|
typedef enum {
|
2015-09-11 09:48:59 +00:00
|
|
|
/* Something went wrong */
|
|
|
|
WRITE_TRAN_ERROR,
|
|
|
|
/* A transition was successfully completed and we should continue */
|
|
|
|
WRITE_TRAN_CONTINUE,
|
|
|
|
/* There is no more write work to be done */
|
|
|
|
WRITE_TRAN_FINISHED
|
2015-10-26 11:46:33 +00:00
|
|
|
} WRITE_TRAN;
|
2015-09-11 09:48:59 +00:00
|
|
|
|
|
|
|
/* Message flow states */
|
2015-10-26 11:46:33 +00:00
|
|
|
typedef enum {
|
2015-09-11 09:48:59 +00:00
|
|
|
/* No handshake in progress */
|
|
|
|
MSG_FLOW_UNINITED,
|
|
|
|
/* A permanent error with this connection */
|
|
|
|
MSG_FLOW_ERROR,
|
|
|
|
/* We are reading messages */
|
|
|
|
MSG_FLOW_READING,
|
|
|
|
/* We are writing messages */
|
|
|
|
MSG_FLOW_WRITING,
|
|
|
|
/* Handshake has finished */
|
|
|
|
MSG_FLOW_FINISHED
|
2015-10-26 11:46:33 +00:00
|
|
|
} MSG_FLOW_STATE;
|
2015-09-11 09:48:59 +00:00
|
|
|
|
|
|
|
/* Read states */
|
2015-10-26 11:46:33 +00:00
|
|
|
typedef enum {
|
2015-09-11 09:48:59 +00:00
|
|
|
READ_STATE_HEADER,
|
|
|
|
READ_STATE_BODY,
|
|
|
|
READ_STATE_POST_PROCESS
|
2015-10-26 11:46:33 +00:00
|
|
|
} READ_STATE;
|
2015-09-11 09:48:59 +00:00
|
|
|
|
|
|
|
/* Write states */
|
2015-10-26 11:46:33 +00:00
|
|
|
typedef enum {
|
2015-09-11 09:48:59 +00:00
|
|
|
WRITE_STATE_TRANSITION,
|
|
|
|
WRITE_STATE_PRE_WORK,
|
|
|
|
WRITE_STATE_SEND,
|
|
|
|
WRITE_STATE_POST_WORK
|
2015-10-26 11:46:33 +00:00
|
|
|
} WRITE_STATE;
|
2015-09-11 09:48:59 +00:00
|
|
|
|
|
|
|
/*****************************************************************************
|
|
|
|
* *
|
|
|
|
* This structure should be considered "opaque" to anything outside of the *
|
|
|
|
* state machine. No non-state machine code should be accessing the members *
|
|
|
|
* of this structure. *
|
|
|
|
* *
|
|
|
|
*****************************************************************************/
|
|
|
|
|
2015-10-05 09:58:52 +00:00
|
|
|
struct ossl_statem_st {
|
2015-10-26 11:46:33 +00:00
|
|
|
MSG_FLOW_STATE state;
|
|
|
|
WRITE_STATE write_state;
|
|
|
|
WORK_STATE write_state_work;
|
|
|
|
READ_STATE read_state;
|
|
|
|
WORK_STATE read_state_work;
|
2015-10-05 09:18:06 +00:00
|
|
|
OSSL_HANDSHAKE_STATE hand_state;
|
2017-01-10 14:58:17 +00:00
|
|
|
/* The handshake state requested by an API call (e.g. HelloRequest) */
|
|
|
|
OSSL_HANDSHAKE_STATE request_state;
|
2015-09-11 09:48:59 +00:00
|
|
|
int in_init;
|
|
|
|
int read_state_first_init;
|
2015-10-22 12:57:18 +00:00
|
|
|
/* true when we are actually in SSL_accept() or SSL_connect() */
|
|
|
|
int in_handshake;
|
2017-01-10 23:02:28 +00:00
|
|
|
/*
|
|
|
|
* True when are processing a "real" handshake that needs cleaning up (not
|
|
|
|
* just a HelloRequest or similar).
|
|
|
|
*/
|
|
|
|
int cleanuphand;
|
2015-10-05 09:44:41 +00:00
|
|
|
/* Should we skip the CertificateVerify message? */
|
|
|
|
unsigned int no_cert_verify;
|
2015-09-11 09:48:59 +00:00
|
|
|
int use_timer;
|
2018-03-16 12:29:51 +00:00
|
|
|
int invalid_enc_write_ctx;
|
2015-09-11 09:48:59 +00:00
|
|
|
};
|
2015-10-05 09:58:52 +00:00
|
|
|
typedef struct ossl_statem_st OSSL_STATEM;
|
2015-09-11 09:48:59 +00:00
|
|
|
|
|
|
|
/*****************************************************************************
|
|
|
|
* *
|
|
|
|
* The following macros/functions represent the libssl internal API to the *
|
|
|
|
* state machine. Any libssl code may call these functions/macros *
|
|
|
|
* *
|
|
|
|
*****************************************************************************/
|
|
|
|
|
2015-10-05 09:39:54 +00:00
|
|
|
__owur int ossl_statem_accept(SSL *s);
|
|
|
|
__owur int ossl_statem_connect(SSL *s);
|
|
|
|
void ossl_statem_clear(SSL *s);
|
|
|
|
void ossl_statem_set_renegotiate(SSL *s);
|
2017-11-23 16:21:46 +00:00
|
|
|
void ossl_statem_fatal(SSL *s, int al, int func, int reason, const char *file,
|
|
|
|
int line);
|
|
|
|
# define SSL_AD_NO_ALERT -1
|
|
|
|
# ifndef OPENSSL_NO_ERR
|
|
|
|
# define SSLfatal(s, al, f, r) ossl_statem_fatal((s), (al), (f), (r), \
|
|
|
|
OPENSSL_FILE, OPENSSL_LINE)
|
|
|
|
# else
|
|
|
|
# define SSLfatal(s, al, f, r) ossl_statem_fatal((s), (al), (f), (r), NULL, 0)
|
|
|
|
# endif
|
|
|
|
|
2015-10-05 09:39:54 +00:00
|
|
|
int ossl_statem_in_error(const SSL *s);
|
|
|
|
void ossl_statem_set_in_init(SSL *s, int init);
|
2015-10-22 12:57:18 +00:00
|
|
|
int ossl_statem_get_in_handshake(SSL *s);
|
|
|
|
void ossl_statem_set_in_handshake(SSL *s, int inhand);
|
2017-02-20 16:35:03 +00:00
|
|
|
__owur int ossl_statem_skip_early_data(SSL *s);
|
2017-02-25 15:34:07 +00:00
|
|
|
void ossl_statem_check_finish_init(SSL *s, int send);
|
2015-10-22 11:18:45 +00:00
|
|
|
void ossl_statem_set_hello_verify_done(SSL *s);
|
2015-10-05 09:39:54 +00:00
|
|
|
__owur int ossl_statem_app_data_allowed(SSL *s);
|
2018-01-21 02:30:36 +00:00
|
|
|
__owur int ossl_statem_export_allowed(SSL *s);
|
2018-02-04 03:20:37 +00:00
|
|
|
__owur int ossl_statem_export_early_allowed(SSL *s);
|
2017-11-27 15:20:06 +00:00
|
|
|
|
|
|
|
/* Flush the write BIO */
|
|
|
|
int statem_flush(SSL *s);
|