1*e71b7053SJung-uk Kim /* 2*e71b7053SJung-uk Kim * Copyright 2015-2018 The OpenSSL Project Authors. All Rights Reserved. 3*e71b7053SJung-uk Kim * 4*e71b7053SJung-uk Kim * Licensed under the OpenSSL license (the "License"). You may not use 5*e71b7053SJung-uk Kim * this file except in compliance with the License. You can obtain a copy 6*e71b7053SJung-uk Kim * in the file LICENSE in the source distribution or at 7*e71b7053SJung-uk Kim * https://www.openssl.org/source/license.html 8*e71b7053SJung-uk Kim */ 9*e71b7053SJung-uk Kim 10*e71b7053SJung-uk Kim /***************************************************************************** 11*e71b7053SJung-uk Kim * * 12*e71b7053SJung-uk Kim * These enums should be considered PRIVATE to the state machine. No * 13*e71b7053SJung-uk Kim * non-state machine code should need to use these * 14*e71b7053SJung-uk Kim * * 15*e71b7053SJung-uk Kim *****************************************************************************/ 16*e71b7053SJung-uk Kim /* 17*e71b7053SJung-uk Kim * Valid return codes used for functions performing work prior to or after 18*e71b7053SJung-uk Kim * sending or receiving a message 19*e71b7053SJung-uk Kim */ 20*e71b7053SJung-uk Kim typedef enum { 21*e71b7053SJung-uk Kim /* Something went wrong */ 22*e71b7053SJung-uk Kim WORK_ERROR, 23*e71b7053SJung-uk Kim /* We're done working and there shouldn't be anything else to do after */ 24*e71b7053SJung-uk Kim WORK_FINISHED_STOP, 25*e71b7053SJung-uk Kim /* We're done working move onto the next thing */ 26*e71b7053SJung-uk Kim WORK_FINISHED_CONTINUE, 27*e71b7053SJung-uk Kim /* We're working on phase A */ 28*e71b7053SJung-uk Kim WORK_MORE_A, 29*e71b7053SJung-uk Kim /* We're working on phase B */ 30*e71b7053SJung-uk Kim WORK_MORE_B, 31*e71b7053SJung-uk Kim /* We're working on phase C */ 32*e71b7053SJung-uk Kim WORK_MORE_C 33*e71b7053SJung-uk Kim } WORK_STATE; 34*e71b7053SJung-uk Kim 35*e71b7053SJung-uk Kim /* Write transition return codes */ 36*e71b7053SJung-uk Kim typedef enum { 37*e71b7053SJung-uk Kim /* Something went wrong */ 38*e71b7053SJung-uk Kim WRITE_TRAN_ERROR, 39*e71b7053SJung-uk Kim /* A transition was successfully completed and we should continue */ 40*e71b7053SJung-uk Kim WRITE_TRAN_CONTINUE, 41*e71b7053SJung-uk Kim /* There is no more write work to be done */ 42*e71b7053SJung-uk Kim WRITE_TRAN_FINISHED 43*e71b7053SJung-uk Kim } WRITE_TRAN; 44*e71b7053SJung-uk Kim 45*e71b7053SJung-uk Kim /* Message flow states */ 46*e71b7053SJung-uk Kim typedef enum { 47*e71b7053SJung-uk Kim /* No handshake in progress */ 48*e71b7053SJung-uk Kim MSG_FLOW_UNINITED, 49*e71b7053SJung-uk Kim /* A permanent error with this connection */ 50*e71b7053SJung-uk Kim MSG_FLOW_ERROR, 51*e71b7053SJung-uk Kim /* We are reading messages */ 52*e71b7053SJung-uk Kim MSG_FLOW_READING, 53*e71b7053SJung-uk Kim /* We are writing messages */ 54*e71b7053SJung-uk Kim MSG_FLOW_WRITING, 55*e71b7053SJung-uk Kim /* Handshake has finished */ 56*e71b7053SJung-uk Kim MSG_FLOW_FINISHED 57*e71b7053SJung-uk Kim } MSG_FLOW_STATE; 58*e71b7053SJung-uk Kim 59*e71b7053SJung-uk Kim /* Read states */ 60*e71b7053SJung-uk Kim typedef enum { 61*e71b7053SJung-uk Kim READ_STATE_HEADER, 62*e71b7053SJung-uk Kim READ_STATE_BODY, 63*e71b7053SJung-uk Kim READ_STATE_POST_PROCESS 64*e71b7053SJung-uk Kim } READ_STATE; 65*e71b7053SJung-uk Kim 66*e71b7053SJung-uk Kim /* Write states */ 67*e71b7053SJung-uk Kim typedef enum { 68*e71b7053SJung-uk Kim WRITE_STATE_TRANSITION, 69*e71b7053SJung-uk Kim WRITE_STATE_PRE_WORK, 70*e71b7053SJung-uk Kim WRITE_STATE_SEND, 71*e71b7053SJung-uk Kim WRITE_STATE_POST_WORK 72*e71b7053SJung-uk Kim } WRITE_STATE; 73*e71b7053SJung-uk Kim 74*e71b7053SJung-uk Kim typedef enum { 75*e71b7053SJung-uk Kim /* The enc_write_ctx can be used normally */ 76*e71b7053SJung-uk Kim ENC_WRITE_STATE_VALID, 77*e71b7053SJung-uk Kim /* The enc_write_ctx cannot be used */ 78*e71b7053SJung-uk Kim ENC_WRITE_STATE_INVALID, 79*e71b7053SJung-uk Kim /* Write alerts in plaintext, but otherwise use the enc_write_ctx */ 80*e71b7053SJung-uk Kim ENC_WRITE_STATE_WRITE_PLAIN_ALERTS 81*e71b7053SJung-uk Kim } ENC_WRITE_STATES; 82*e71b7053SJung-uk Kim 83*e71b7053SJung-uk Kim typedef enum { 84*e71b7053SJung-uk Kim /* The enc_read_ctx can be used normally */ 85*e71b7053SJung-uk Kim ENC_READ_STATE_VALID, 86*e71b7053SJung-uk Kim /* We may receive encrypted or plaintext alerts */ 87*e71b7053SJung-uk Kim ENC_READ_STATE_ALLOW_PLAIN_ALERTS 88*e71b7053SJung-uk Kim } ENC_READ_STATES; 89*e71b7053SJung-uk Kim 90*e71b7053SJung-uk Kim /***************************************************************************** 91*e71b7053SJung-uk Kim * * 92*e71b7053SJung-uk Kim * This structure should be considered "opaque" to anything outside of the * 93*e71b7053SJung-uk Kim * state machine. No non-state machine code should be accessing the members * 94*e71b7053SJung-uk Kim * of this structure. * 95*e71b7053SJung-uk Kim * * 96*e71b7053SJung-uk Kim *****************************************************************************/ 97*e71b7053SJung-uk Kim 98*e71b7053SJung-uk Kim struct ossl_statem_st { 99*e71b7053SJung-uk Kim MSG_FLOW_STATE state; 100*e71b7053SJung-uk Kim WRITE_STATE write_state; 101*e71b7053SJung-uk Kim WORK_STATE write_state_work; 102*e71b7053SJung-uk Kim READ_STATE read_state; 103*e71b7053SJung-uk Kim WORK_STATE read_state_work; 104*e71b7053SJung-uk Kim OSSL_HANDSHAKE_STATE hand_state; 105*e71b7053SJung-uk Kim /* The handshake state requested by an API call (e.g. HelloRequest) */ 106*e71b7053SJung-uk Kim OSSL_HANDSHAKE_STATE request_state; 107*e71b7053SJung-uk Kim int in_init; 108*e71b7053SJung-uk Kim int read_state_first_init; 109*e71b7053SJung-uk Kim /* true when we are actually in SSL_accept() or SSL_connect() */ 110*e71b7053SJung-uk Kim int in_handshake; 111*e71b7053SJung-uk Kim /* 112*e71b7053SJung-uk Kim * True when are processing a "real" handshake that needs cleaning up (not 113*e71b7053SJung-uk Kim * just a HelloRequest or similar). 114*e71b7053SJung-uk Kim */ 115*e71b7053SJung-uk Kim int cleanuphand; 116*e71b7053SJung-uk Kim /* Should we skip the CertificateVerify message? */ 117*e71b7053SJung-uk Kim unsigned int no_cert_verify; 118*e71b7053SJung-uk Kim int use_timer; 119*e71b7053SJung-uk Kim ENC_WRITE_STATES enc_write_state; 120*e71b7053SJung-uk Kim ENC_READ_STATES enc_read_state; 121*e71b7053SJung-uk Kim }; 122*e71b7053SJung-uk Kim typedef struct ossl_statem_st OSSL_STATEM; 123*e71b7053SJung-uk Kim 124*e71b7053SJung-uk Kim /***************************************************************************** 125*e71b7053SJung-uk Kim * * 126*e71b7053SJung-uk Kim * The following macros/functions represent the libssl internal API to the * 127*e71b7053SJung-uk Kim * state machine. Any libssl code may call these functions/macros * 128*e71b7053SJung-uk Kim * * 129*e71b7053SJung-uk Kim *****************************************************************************/ 130*e71b7053SJung-uk Kim 131*e71b7053SJung-uk Kim __owur int ossl_statem_accept(SSL *s); 132*e71b7053SJung-uk Kim __owur int ossl_statem_connect(SSL *s); 133*e71b7053SJung-uk Kim void ossl_statem_clear(SSL *s); 134*e71b7053SJung-uk Kim void ossl_statem_set_renegotiate(SSL *s); 135*e71b7053SJung-uk Kim void ossl_statem_fatal(SSL *s, int al, int func, int reason, const char *file, 136*e71b7053SJung-uk Kim int line); 137*e71b7053SJung-uk Kim # define SSL_AD_NO_ALERT -1 138*e71b7053SJung-uk Kim # ifndef OPENSSL_NO_ERR 139*e71b7053SJung-uk Kim # define SSLfatal(s, al, f, r) ossl_statem_fatal((s), (al), (f), (r), \ 140*e71b7053SJung-uk Kim OPENSSL_FILE, OPENSSL_LINE) 141*e71b7053SJung-uk Kim # else 142*e71b7053SJung-uk Kim # define SSLfatal(s, al, f, r) ossl_statem_fatal((s), (al), (f), (r), NULL, 0) 143*e71b7053SJung-uk Kim # endif 144*e71b7053SJung-uk Kim 145*e71b7053SJung-uk Kim int ossl_statem_in_error(const SSL *s); 146*e71b7053SJung-uk Kim void ossl_statem_set_in_init(SSL *s, int init); 147*e71b7053SJung-uk Kim int ossl_statem_get_in_handshake(SSL *s); 148*e71b7053SJung-uk Kim void ossl_statem_set_in_handshake(SSL *s, int inhand); 149*e71b7053SJung-uk Kim __owur int ossl_statem_skip_early_data(SSL *s); 150*e71b7053SJung-uk Kim void ossl_statem_check_finish_init(SSL *s, int send); 151*e71b7053SJung-uk Kim void ossl_statem_set_hello_verify_done(SSL *s); 152*e71b7053SJung-uk Kim __owur int ossl_statem_app_data_allowed(SSL *s); 153*e71b7053SJung-uk Kim __owur int ossl_statem_export_allowed(SSL *s); 154*e71b7053SJung-uk Kim __owur int ossl_statem_export_early_allowed(SSL *s); 155*e71b7053SJung-uk Kim 156*e71b7053SJung-uk Kim /* Flush the write BIO */ 157*e71b7053SJung-uk Kim int statem_flush(SSL *s); 158