xref: /freebsd-src/crypto/openssl/ssl/statem/statem.h (revision e71b70530d95c4f34d8bdbd78d1242df1ba4a945)
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