OpenCoverage

s3_enc.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/openssl/src/ssl/s3_enc.c
Source codeSwitch to Preprocessed file
LineSourceCount
1/*-
2 * Copyright 1995-2018 The OpenSSL Project Authors. All Rights Reserved.-
3 * Copyright 2005 Nokia. All rights reserved.-
4 *-
5 * Licensed under the OpenSSL license (the "License"). You may not use-
6 * this file except in compliance with the License. You can obtain a copy-
7 * in the file LICENSE in the source distribution or at-
8 * https://www.openssl.org/source/license.html-
9 */-
10-
11#include <stdio.h>-
12#include "ssl_locl.h"-
13#include <openssl/evp.h>-
14#include <openssl/md5.h>-
15#include "internal/cryptlib.h"-
16-
17static int ssl3_generate_key_block(SSL *s, unsigned char *km, int num)-
18{-
19 EVP_MD_CTX *m5;-
20 EVP_MD_CTX *s1;-
21 unsigned char buf[16], smd[SHA_DIGEST_LENGTH];-
22 unsigned char c = 'A';-
23 unsigned int i, j, k;-
24 int ret = 0;-
25-
26#ifdef CHARSET_EBCDIC-
27 c = os_toascii[c]; /* 'A' in ASCII */-
28#endif-
29 k = 0;-
30 m5 = EVP_MD_CTX_new();-
31 s1 = EVP_MD_CTX_new();-
32 if (m5 == NULL || s1 == NULL) {
m5 == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
s1 == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
33 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_GENERATE_KEY_BLOCK,-
34 ERR_R_MALLOC_FAILURE);-
35 goto err;
never executed: goto err;
0
36 }-
37 EVP_MD_CTX_set_flags(m5, EVP_MD_CTX_FLAG_NON_FIPS_ALLOW);-
38 for (i = 0; (int)i < num; i += MD5_DIGEST_LENGTH) {
(int)i < numDescription
TRUEnever evaluated
FALSEnever evaluated
0
39 k++;-
40 if (k > sizeof(buf)) {
k > sizeof(buf)Description
TRUEnever evaluated
FALSEnever evaluated
0
41 /* bug: 'buf' is too small for this ciphersuite */-
42 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_GENERATE_KEY_BLOCK,-
43 ERR_R_INTERNAL_ERROR);-
44 goto err;
never executed: goto err;
0
45 }-
46-
47 for (j = 0; j < k; j++)
j < kDescription
TRUEnever evaluated
FALSEnever evaluated
0
48 buf[j] = c;
never executed: buf[j] = c;
0
49 c++;-
50 if (!EVP_DigestInit_ex(s1, EVP_sha1(), NULL)
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
51 || !EVP_DigestUpdate(s1, buf, k)
!EVP_DigestUpdate(s1, buf, k)Description
TRUEnever evaluated
FALSEnever evaluated
0
52 || !EVP_DigestUpdate(s1, s->session->master_key,
!EVP_DigestUpd...er_key_length)Description
TRUEnever evaluated
FALSEnever evaluated
0
53 s->session->master_key_length)
!EVP_DigestUpd...er_key_length)Description
TRUEnever evaluated
FALSEnever evaluated
0
54 || !EVP_DigestUpdate(s1, s->s3->server_random, SSL3_RANDOM_SIZE)
!EVP_DigestUpd...er_random, 32)Description
TRUEnever evaluated
FALSEnever evaluated
0
55 || !EVP_DigestUpdate(s1, s->s3->client_random, SSL3_RANDOM_SIZE)
!EVP_DigestUpd...nt_random, 32)Description
TRUEnever evaluated
FALSEnever evaluated
0
56 || !EVP_DigestFinal_ex(s1, smd, NULL)
!EVP_DigestFin... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
57 || !EVP_DigestInit_ex(m5, EVP_md5(), NULL)
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
58 || !EVP_DigestUpdate(m5, s->session->master_key,
!EVP_DigestUpd...er_key_length)Description
TRUEnever evaluated
FALSEnever evaluated
0
59 s->session->master_key_length)
!EVP_DigestUpd...er_key_length)Description
TRUEnever evaluated
FALSEnever evaluated
0
60 || !EVP_DigestUpdate(m5, smd, SHA_DIGEST_LENGTH)) {
!EVP_DigestUpdate(m5, smd, 20)Description
TRUEnever evaluated
FALSEnever evaluated
0
61 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_GENERATE_KEY_BLOCK,-
62 ERR_R_INTERNAL_ERROR);-
63 goto err;
never executed: goto err;
0
64 }-
65 if ((int)(i + MD5_DIGEST_LENGTH) > num) {
(int)(i + 16) > numDescription
TRUEnever evaluated
FALSEnever evaluated
0
66 if (!EVP_DigestFinal_ex(m5, smd, NULL)) {
!EVP_DigestFin... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
67 SSLfatal(s, SSL_AD_INTERNAL_ERROR,-
68 SSL_F_SSL3_GENERATE_KEY_BLOCK, ERR_R_INTERNAL_ERROR);-
69 goto err;
never executed: goto err;
0
70 }-
71 memcpy(km, smd, (num - i));-
72 } else {
never executed: end of block
0
73 if (!EVP_DigestFinal_ex(m5, km, NULL)) {
!EVP_DigestFin... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
74 SSLfatal(s, SSL_AD_INTERNAL_ERROR,-
75 SSL_F_SSL3_GENERATE_KEY_BLOCK, ERR_R_INTERNAL_ERROR);-
76 goto err;
never executed: goto err;
0
77 }-
78 }
never executed: end of block
0
79-
80 km += MD5_DIGEST_LENGTH;-
81 }
never executed: end of block
0
82 OPENSSL_cleanse(smd, sizeof(smd));-
83 ret = 1;-
84 err:
code before this statement never executed: err:
0
85 EVP_MD_CTX_free(m5);-
86 EVP_MD_CTX_free(s1);-
87 return ret;
never executed: return ret;
0
88}-
89-
90int ssl3_change_cipher_state(SSL *s, int which)-
91{-
92 unsigned char *p, *mac_secret;-
93 unsigned char exp_key[EVP_MAX_KEY_LENGTH];-
94 unsigned char exp_iv[EVP_MAX_IV_LENGTH];-
95 unsigned char *ms, *key, *iv;-
96 EVP_CIPHER_CTX *dd;-
97 const EVP_CIPHER *c;-
98#ifndef OPENSSL_NO_COMP-
99 COMP_METHOD *comp;-
100#endif-
101 const EVP_MD *m;-
102 int mdi;-
103 size_t n, i, j, k, cl;-
104 int reuse_dd = 0;-
105-
106 c = s->s3->tmp.new_sym_enc;-
107 m = s->s3->tmp.new_hash;-
108 /* m == NULL will lead to a crash later */-
109 if (!ossl_assert(m != NULL)) {
!((m != ((void *)0) ) != 0)Description
TRUEnever evaluated
FALSEnever evaluated
0
110 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHANGE_CIPHER_STATE,-
111 ERR_R_INTERNAL_ERROR);-
112 goto err;
never executed: goto err;
0
113 }-
114#ifndef OPENSSL_NO_COMP-
115 if (s->s3->tmp.new_compression == NULL)
s->s3->tmp.new...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
116 comp = NULL;
never executed: comp = ((void *)0) ;
0
117 else-
118 comp = s->s3->tmp.new_compression->method;
never executed: comp = s->s3->tmp.new_compression->method;
0
119#endif-
120-
121 if (which & SSL3_CC_READ) {
which & 0x001Description
TRUEnever evaluated
FALSEnever evaluated
0
122 if (s->enc_read_ctx != NULL) {
s->enc_read_ctx != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
123 reuse_dd = 1;-
124 } else if ((s->enc_read_ctx = EVP_CIPHER_CTX_new()) == NULL) {
never executed: end of block
(s->enc_read_c...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
125 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHANGE_CIPHER_STATE,-
126 ERR_R_MALLOC_FAILURE);-
127 goto err;
never executed: goto err;
0
128 } else {-
129 /*-
130 * make sure it's initialised in case we exit later with an error-
131 */-
132 EVP_CIPHER_CTX_reset(s->enc_read_ctx);-
133 }
never executed: end of block
0
134 dd = s->enc_read_ctx;-
135-
136 if (ssl_replace_hash(&s->read_hash, m) == NULL) {
ssl_replace_ha...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
137 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHANGE_CIPHER_STATE,-
138 ERR_R_INTERNAL_ERROR);-
139 goto err;
never executed: goto err;
0
140 }-
141#ifndef OPENSSL_NO_COMP-
142 /* COMPRESS */-
143 COMP_CTX_free(s->expand);-
144 s->expand = NULL;-
145 if (comp != NULL) {
comp != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
146 s->expand = COMP_CTX_new(comp);-
147 if (s->expand == NULL) {
s->expand == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
148 SSLfatal(s, SSL_AD_INTERNAL_ERROR,-
149 SSL_F_SSL3_CHANGE_CIPHER_STATE,-
150 SSL_R_COMPRESSION_LIBRARY_ERROR);-
151 goto err;
never executed: goto err;
0
152 }-
153 }
never executed: end of block
0
154#endif-
155 RECORD_LAYER_reset_read_sequence(&s->rlayer);-
156 mac_secret = &(s->s3->read_mac_secret[0]);-
157 } else {
never executed: end of block
0
158 s->statem.enc_write_state = ENC_WRITE_STATE_INVALID;-
159 if (s->enc_write_ctx != NULL) {
s->enc_write_c...!= ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
160 reuse_dd = 1;-
161 } else if ((s->enc_write_ctx = EVP_CIPHER_CTX_new()) == NULL) {
never executed: end of block
(s->enc_write_...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
162 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHANGE_CIPHER_STATE,-
163 ERR_R_MALLOC_FAILURE);-
164 goto err;
never executed: goto err;
0
165 } else {-
166 /*-
167 * make sure it's initialised in case we exit later with an error-
168 */-
169 EVP_CIPHER_CTX_reset(s->enc_write_ctx);-
170 }
never executed: end of block
0
171 dd = s->enc_write_ctx;-
172 if (ssl_replace_hash(&s->write_hash, m) == NULL) {
ssl_replace_ha...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
173 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHANGE_CIPHER_STATE,-
174 ERR_R_MALLOC_FAILURE);-
175 goto err;
never executed: goto err;
0
176 }-
177#ifndef OPENSSL_NO_COMP-
178 /* COMPRESS */-
179 COMP_CTX_free(s->compress);-
180 s->compress = NULL;-
181 if (comp != NULL) {
comp != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
182 s->compress = COMP_CTX_new(comp);-
183 if (s->compress == NULL) {
s->compress == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
184 SSLfatal(s, SSL_AD_INTERNAL_ERROR,-
185 SSL_F_SSL3_CHANGE_CIPHER_STATE,-
186 SSL_R_COMPRESSION_LIBRARY_ERROR);-
187 goto err;
never executed: goto err;
0
188 }-
189 }
never executed: end of block
0
190#endif-
191 RECORD_LAYER_reset_write_sequence(&s->rlayer);-
192 mac_secret = &(s->s3->write_mac_secret[0]);-
193 }
never executed: end of block
0
194-
195 if (reuse_dd)
reuse_ddDescription
TRUEnever evaluated
FALSEnever evaluated
0
196 EVP_CIPHER_CTX_reset(dd);
never executed: EVP_CIPHER_CTX_reset(dd);
0
197-
198 p = s->s3->tmp.key_block;-
199 mdi = EVP_MD_size(m);-
200 if (mdi < 0) {
mdi < 0Description
TRUEnever evaluated
FALSEnever evaluated
0
201 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHANGE_CIPHER_STATE,-
202 ERR_R_INTERNAL_ERROR);-
203 goto err;
never executed: goto err;
0
204 }-
205 i = mdi;-
206 cl = EVP_CIPHER_key_length(c);-
207 j = cl;-
208 k = EVP_CIPHER_iv_length(c);-
209 if ((which == SSL3_CHANGE_CIPHER_CLIENT_WRITE) ||
(which == (0x010|0x002))Description
TRUEnever evaluated
FALSEnever evaluated
0
210 (which == SSL3_CHANGE_CIPHER_SERVER_READ)) {
(which == (0x020|0x001))Description
TRUEnever evaluated
FALSEnever evaluated
0
211 ms = &(p[0]);-
212 n = i + i;-
213 key = &(p[n]);-
214 n += j + j;-
215 iv = &(p[n]);-
216 n += k + k;-
217 } else {
never executed: end of block
0
218 n = i;-
219 ms = &(p[n]);-
220 n += i + j;-
221 key = &(p[n]);-
222 n += j + k;-
223 iv = &(p[n]);-
224 n += k;-
225 }
never executed: end of block
0
226-
227 if (n > s->s3->tmp.key_block_length) {
n > s->s3->tmp...y_block_lengthDescription
TRUEnever evaluated
FALSEnever evaluated
0
228 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHANGE_CIPHER_STATE,-
229 ERR_R_INTERNAL_ERROR);-
230 goto err;
never executed: goto err;
0
231 }-
232-
233 memcpy(mac_secret, ms, i);-
234-
235 if (!EVP_CipherInit_ex(dd, c, NULL, key, iv, (which & SSL3_CC_WRITE))) {
!EVP_CipherIni...hich & 0x002))Description
TRUEnever evaluated
FALSEnever evaluated
0
236 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHANGE_CIPHER_STATE,-
237 ERR_R_INTERNAL_ERROR);-
238 goto err;
never executed: goto err;
0
239 }-
240-
241 s->statem.enc_write_state = ENC_WRITE_STATE_VALID;-
242 OPENSSL_cleanse(exp_key, sizeof(exp_key));-
243 OPENSSL_cleanse(exp_iv, sizeof(exp_iv));-
244 return 1;
never executed: return 1;
0
245 err:-
246 OPENSSL_cleanse(exp_key, sizeof(exp_key));-
247 OPENSSL_cleanse(exp_iv, sizeof(exp_iv));-
248 return 0;
never executed: return 0;
0
249}-
250-
251int ssl3_setup_key_block(SSL *s)-
252{-
253 unsigned char *p;-
254 const EVP_CIPHER *c;-
255 const EVP_MD *hash;-
256 int num;-
257 int ret = 0;-
258 SSL_COMP *comp;-
259-
260 if (s->s3->tmp.key_block_length != 0)
s->s3->tmp.key...ck_length != 0Description
TRUEnever evaluated
FALSEnever evaluated
0
261 return 1;
never executed: return 1;
0
262-
263 if (!ssl_cipher_get_evp(s->session, &c, &hash, NULL, NULL, &comp, 0)) {
!ssl_cipher_ge...0) , &comp, 0)Description
TRUEnever evaluated
FALSEnever evaluated
0
264 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_SETUP_KEY_BLOCK,-
265 SSL_R_CIPHER_OR_HASH_UNAVAILABLE);-
266 return 0;
never executed: return 0;
0
267 }-
268-
269 s->s3->tmp.new_sym_enc = c;-
270 s->s3->tmp.new_hash = hash;-
271#ifdef OPENSSL_NO_COMP-
272 s->s3->tmp.new_compression = NULL;-
273#else-
274 s->s3->tmp.new_compression = comp;-
275#endif-
276-
277 num = EVP_MD_size(hash);-
278 if (num < 0)
num < 0Description
TRUEnever evaluated
FALSEnever evaluated
0
279 return 0;
never executed: return 0;
0
280-
281 num = EVP_CIPHER_key_length(c) + num + EVP_CIPHER_iv_length(c);-
282 num *= 2;-
283-
284 ssl3_cleanup_key_block(s);-
285-
286 if ((p = OPENSSL_malloc(num)) == NULL) {
(p = CRYPTO_ma...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
287 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_SETUP_KEY_BLOCK,-
288 ERR_R_MALLOC_FAILURE);-
289 return 0;
never executed: return 0;
0
290 }-
291-
292 s->s3->tmp.key_block_length = num;-
293 s->s3->tmp.key_block = p;-
294-
295 /* Calls SSLfatal() as required */-
296 ret = ssl3_generate_key_block(s, p, num);-
297-
298 if (!(s->options & SSL_OP_DONT_INSERT_EMPTY_FRAGMENTS)) {
!(s->options & 0x00000800U)Description
TRUEnever evaluated
FALSEnever evaluated
0
299 /*-
300 * enable vulnerability countermeasure for CBC ciphers with known-IV-
301 * problem (http://www.openssl.org/~bodo/tls-cbc.txt)-
302 */-
303 s->s3->need_empty_fragments = 1;-
304-
305 if (s->session->cipher != NULL) {
s->session->ci...!= ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
306 if (s->session->cipher->algorithm_enc == SSL_eNULL)
s->session->ci...== 0x00000020UDescription
TRUEnever evaluated
FALSEnever evaluated
0
307 s->s3->need_empty_fragments = 0;
never executed: s->s3->need_empty_fragments = 0;
0
308-
309#ifndef OPENSSL_NO_RC4-
310 if (s->session->cipher->algorithm_enc == SSL_RC4)
s->session->ci...== 0x00000004UDescription
TRUEnever evaluated
FALSEnever evaluated
0
311 s->s3->need_empty_fragments = 0;
never executed: s->s3->need_empty_fragments = 0;
0
312#endif-
313 }
never executed: end of block
0
314 }
never executed: end of block
0
315-
316 return ret;
never executed: return ret;
0
317}-
318-
319void ssl3_cleanup_key_block(SSL *s)-
320{-
321 OPENSSL_clear_free(s->s3->tmp.key_block, s->s3->tmp.key_block_length);-
322 s->s3->tmp.key_block = NULL;-
323 s->s3->tmp.key_block_length = 0;-
324}
executed 47115 times by 2 tests: end of block
Executed by:
  • libssl.so.1.1
  • tls13encryptiontest
47115
325-
326int ssl3_init_finished_mac(SSL *s)-
327{-
328 BIO *buf = BIO_new(BIO_s_mem());-
329-
330 if (buf == NULL) {
buf == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 9057 times by 1 test
Evaluated by:
  • libssl.so.1.1
0-9057
331 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_INIT_FINISHED_MAC,-
332 ERR_R_MALLOC_FAILURE);-
333 return 0;
never executed: return 0;
0
334 }-
335 ssl3_free_digest_list(s);-
336 s->s3->handshake_buffer = buf;-
337 (void)BIO_set_close(s->s3->handshake_buffer, BIO_CLOSE);-
338 return 1;
executed 9057 times by 1 test: return 1;
Executed by:
  • libssl.so.1.1
9057
339}-
340-
341/*-
342 * Free digest list. Also frees handshake buffer since they are always freed-
343 * together.-
344 */-
345-
346void ssl3_free_digest_list(SSL *s)-
347{-
348 BIO_free(s->s3->handshake_buffer);-
349 s->s3->handshake_buffer = NULL;-
350 EVP_MD_CTX_free(s->s3->handshake_dgst);-
351 s->s3->handshake_dgst = NULL;-
352}
executed 50257 times by 2 tests: end of block
Executed by:
  • libssl.so.1.1
  • tls13encryptiontest
50257
353-
354int ssl3_finish_mac(SSL *s, const unsigned char *buf, size_t len)-
355{-
356 int ret;-
357-
358 if (s->s3->handshake_dgst == NULL) {
s->s3->handsha...== ((void *)0)Description
TRUEevaluated 22173 times by 1 test
Evaluated by:
  • libssl.so.1.1
FALSEevaluated 21465 times by 1 test
Evaluated by:
  • libssl.so.1.1
21465-22173
359 /* Note: this writes to a memory BIO so a failure is a fatal error */-
360 if (len > INT_MAX) {
len > 0x7fffffffDescription
TRUEnever evaluated
FALSEevaluated 22173 times by 1 test
Evaluated by:
  • libssl.so.1.1
0-22173
361 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_FINISH_MAC,-
362 SSL_R_OVERFLOW_ERROR);-
363 return 0;
never executed: return 0;
0
364 }-
365 ret = BIO_write(s->s3->handshake_buffer, (void *)buf, (int)len);-
366 if (ret <= 0 || ret != (int)len) {
ret <= 0Description
TRUEnever evaluated
FALSEevaluated 22173 times by 1 test
Evaluated by:
  • libssl.so.1.1
ret != (int)lenDescription
TRUEnever evaluated
FALSEevaluated 22173 times by 1 test
Evaluated by:
  • libssl.so.1.1
0-22173
367 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_FINISH_MAC,-
368 ERR_R_INTERNAL_ERROR);-
369 return 0;
never executed: return 0;
0
370 }-
371 } else {
executed 22173 times by 1 test: end of block
Executed by:
  • libssl.so.1.1
22173
372 ret = EVP_DigestUpdate(s->s3->handshake_dgst, buf, len);-
373 if (!ret) {
!retDescription
TRUEnever evaluated
FALSEevaluated 21465 times by 1 test
Evaluated by:
  • libssl.so.1.1
0-21465
374 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_FINISH_MAC,-
375 ERR_R_INTERNAL_ERROR);-
376 return 0;
never executed: return 0;
0
377 }-
378 }
executed 21465 times by 1 test: end of block
Executed by:
  • libssl.so.1.1
21465
379 return 1;
executed 43638 times by 1 test: return 1;
Executed by:
  • libssl.so.1.1
43638
380}-
381-
382int ssl3_digest_cached_records(SSL *s, int keep)-
383{-
384 const EVP_MD *md;-
385 long hdatalen;-
386 void *hdata;-
387-
388 if (s->s3->handshake_dgst == NULL) {
s->s3->handsha...== ((void *)0)Description
TRUEevaluated 5223 times by 1 test
Evaluated by:
  • libssl.so.1.1
FALSEevaluated 14725 times by 1 test
Evaluated by:
  • libssl.so.1.1
5223-14725
389 hdatalen = BIO_get_mem_data(s->s3->handshake_buffer, &hdata);-
390 if (hdatalen <= 0) {
hdatalen <= 0Description
TRUEnever evaluated
FALSEevaluated 5223 times by 1 test
Evaluated by:
  • libssl.so.1.1
0-5223
391 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_DIGEST_CACHED_RECORDS,-
392 SSL_R_BAD_HANDSHAKE_LENGTH);-
393 return 0;
never executed: return 0;
0
394 }-
395-
396 s->s3->handshake_dgst = EVP_MD_CTX_new();-
397 if (s->s3->handshake_dgst == NULL) {
s->s3->handsha...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 5223 times by 1 test
Evaluated by:
  • libssl.so.1.1
0-5223
398 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_DIGEST_CACHED_RECORDS,-
399 ERR_R_MALLOC_FAILURE);-
400 return 0;
never executed: return 0;
0
401 }-
402-
403 md = ssl_handshake_md(s);-
404 if (md == NULL || !EVP_DigestInit_ex(s->s3->handshake_dgst, md, NULL)
md == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 5223 times by 1 test
Evaluated by:
  • libssl.so.1.1
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 5223 times by 1 test
Evaluated by:
  • libssl.so.1.1
0-5223
405 || !EVP_DigestUpdate(s->s3->handshake_dgst, hdata, hdatalen)) {
!EVP_DigestUpd...ata, hdatalen)Description
TRUEnever evaluated
FALSEevaluated 5223 times by 1 test
Evaluated by:
  • libssl.so.1.1
0-5223
406 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_DIGEST_CACHED_RECORDS,-
407 ERR_R_INTERNAL_ERROR);-
408 return 0;
never executed: return 0;
0
409 }-
410 }
executed 5223 times by 1 test: end of block
Executed by:
  • libssl.so.1.1
5223
411 if (keep == 0) {
keep == 0Description
TRUEevaluated 11101 times by 1 test
Evaluated by:
  • libssl.so.1.1
FALSEevaluated 8847 times by 1 test
Evaluated by:
  • libssl.so.1.1
8847-11101
412 BIO_free(s->s3->handshake_buffer);-
413 s->s3->handshake_buffer = NULL;-
414 }
executed 11101 times by 1 test: end of block
Executed by:
  • libssl.so.1.1
11101
415-
416 return 1;
executed 19948 times by 1 test: return 1;
Executed by:
  • libssl.so.1.1
19948
417}-
418-
419size_t ssl3_final_finish_mac(SSL *s, const char *sender, size_t len,-
420 unsigned char *p)-
421{-
422 int ret;-
423 EVP_MD_CTX *ctx = NULL;-
424-
425 if (!ssl3_digest_cached_records(s, 0)) {
!ssl3_digest_c..._records(s, 0)Description
TRUEnever evaluated
FALSEnever evaluated
0
426 /* SSLfatal() already called */-
427 return 0;
never executed: return 0;
0
428 }-
429-
430 if (EVP_MD_CTX_type(s->s3->handshake_dgst) != NID_md5_sha1) {
EVP_MD_type(EV..._dgst)) != 114Description
TRUEnever evaluated
FALSEnever evaluated
0
431 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_FINAL_FINISH_MAC,-
432 SSL_R_NO_REQUIRED_DIGEST);-
433 return 0;
never executed: return 0;
0
434 }-
435-
436 ctx = EVP_MD_CTX_new();-
437 if (ctx == NULL) {
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
438 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_FINAL_FINISH_MAC,-
439 ERR_R_MALLOC_FAILURE);-
440 return 0;
never executed: return 0;
0
441 }-
442 if (!EVP_MD_CTX_copy_ex(ctx, s->s3->handshake_dgst)) {
!EVP_MD_CTX_co...andshake_dgst)Description
TRUEnever evaluated
FALSEnever evaluated
0
443 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_FINAL_FINISH_MAC,-
444 ERR_R_INTERNAL_ERROR);-
445 return 0;
never executed: return 0;
0
446 }-
447-
448 ret = EVP_MD_CTX_size(ctx);-
449 if (ret < 0) {
ret < 0Description
TRUEnever evaluated
FALSEnever evaluated
0
450 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_FINAL_FINISH_MAC,-
451 ERR_R_INTERNAL_ERROR);-
452 EVP_MD_CTX_reset(ctx);-
453 return 0;
never executed: return 0;
0
454 }-
455-
456 if ((sender != NULL && EVP_DigestUpdate(ctx, sender, len) <= 0)
sender != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
EVP_DigestUpda...der, len) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
457 || EVP_MD_CTX_ctrl(ctx, EVP_CTRL_SSL3_MASTER_SECRET,
EVP_MD_CTX_ctr...ster_key) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
458 (int)s->session->master_key_length,
EVP_MD_CTX_ctr...ster_key) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
459 s->session->master_key) <= 0
EVP_MD_CTX_ctr...ster_key) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
460 || EVP_DigestFinal_ex(ctx, p, NULL) <= 0) {
EVP_DigestFina...id *)0) ) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
461 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_FINAL_FINISH_MAC,-
462 ERR_R_INTERNAL_ERROR);-
463 ret = 0;-
464 }
never executed: end of block
0
465-
466 EVP_MD_CTX_free(ctx);-
467-
468 return ret;
never executed: return ret;
0
469}-
470-
471int ssl3_generate_master_secret(SSL *s, unsigned char *out, unsigned char *p,-
472 size_t len, size_t *secret_size)-
473{-
474 static const unsigned char *salt[3] = {-
475#ifndef CHARSET_EBCDIC-
476 (const unsigned char *)"A",-
477 (const unsigned char *)"BB",-
478 (const unsigned char *)"CCC",-
479#else-
480 (const unsigned char *)"\x41",-
481 (const unsigned char *)"\x42\x42",-
482 (const unsigned char *)"\x43\x43\x43",-
483#endif-
484 };-
485 unsigned char buf[EVP_MAX_MD_SIZE];-
486 EVP_MD_CTX *ctx = EVP_MD_CTX_new();-
487 int i, ret = 1;-
488 unsigned int n;-
489 size_t ret_secret_size = 0;-
490-
491 if (ctx == NULL) {
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
492 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_GENERATE_MASTER_SECRET,-
493 ERR_R_MALLOC_FAILURE);-
494 return 0;
never executed: return 0;
0
495 }-
496 for (i = 0; i < 3; i++) {
i < 3Description
TRUEnever evaluated
FALSEnever evaluated
0
497 if (EVP_DigestInit_ex(ctx, s->ctx->sha1, NULL) <= 0
EVP_DigestInit...id *)0) ) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
498 || EVP_DigestUpdate(ctx, salt[i],
EVP_DigestUpda...salt[i])) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
499 strlen((const char *)salt[i])) <= 0
EVP_DigestUpda...salt[i])) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
500 || EVP_DigestUpdate(ctx, p, len) <= 0
EVP_DigestUpda..., p, len) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
501 || EVP_DigestUpdate(ctx, &(s->s3->client_random[0]),
EVP_DigestUpda...[0]), 32) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
502 SSL3_RANDOM_SIZE) <= 0
EVP_DigestUpda...[0]), 32) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
503 || EVP_DigestUpdate(ctx, &(s->s3->server_random[0]),
EVP_DigestUpda...[0]), 32) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
504 SSL3_RANDOM_SIZE) <= 0
EVP_DigestUpda...[0]), 32) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
505 /* TODO(size_t) : convert me */-
506 || EVP_DigestFinal_ex(ctx, buf, &n) <= 0
EVP_DigestFina... buf, &n) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
507 || EVP_DigestInit_ex(ctx, s->ctx->md5, NULL) <= 0
EVP_DigestInit...id *)0) ) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
508 || EVP_DigestUpdate(ctx, p, len) <= 0
EVP_DigestUpda..., p, len) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
509 || EVP_DigestUpdate(ctx, buf, n) <= 0
EVP_DigestUpda..., buf, n) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
510 || EVP_DigestFinal_ex(ctx, out, &n) <= 0) {
EVP_DigestFina... out, &n) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
511 SSLfatal(s, SSL_AD_INTERNAL_ERROR,-
512 SSL_F_SSL3_GENERATE_MASTER_SECRET, ERR_R_INTERNAL_ERROR);-
513 ret = 0;-
514 break;
never executed: break;
0
515 }-
516 out += n;-
517 ret_secret_size += n;-
518 }
never executed: end of block
0
519 EVP_MD_CTX_free(ctx);-
520-
521 OPENSSL_cleanse(buf, sizeof(buf));-
522 if (ret)
retDescription
TRUEnever evaluated
FALSEnever evaluated
0
523 *secret_size = ret_secret_size;
never executed: *secret_size = ret_secret_size;
0
524 return ret;
never executed: return ret;
0
525}-
526-
527int ssl3_alert_code(int code)-
528{-
529 switch (code) {-
530 case SSL_AD_CLOSE_NOTIFY:
never executed: case 0:
0
531 return SSL3_AD_CLOSE_NOTIFY;
never executed: return 0;
0
532 case SSL_AD_UNEXPECTED_MESSAGE:
never executed: case 10:
0
533 return SSL3_AD_UNEXPECTED_MESSAGE;
never executed: return 10;
0
534 case SSL_AD_BAD_RECORD_MAC:
never executed: case 20:
0
535 return SSL3_AD_BAD_RECORD_MAC;
never executed: return 20;
0
536 case SSL_AD_DECRYPTION_FAILED:
never executed: case 21:
0
537 return SSL3_AD_BAD_RECORD_MAC;
never executed: return 20;
0
538 case SSL_AD_RECORD_OVERFLOW:
never executed: case 22:
0
539 return SSL3_AD_BAD_RECORD_MAC;
never executed: return 20;
0
540 case SSL_AD_DECOMPRESSION_FAILURE:
never executed: case 30:
0
541 return SSL3_AD_DECOMPRESSION_FAILURE;
never executed: return 30;
0
542 case SSL_AD_HANDSHAKE_FAILURE:
never executed: case 40:
0
543 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
544 case SSL_AD_NO_CERTIFICATE:
never executed: case 41:
0
545 return SSL3_AD_NO_CERTIFICATE;
never executed: return 41;
0
546 case SSL_AD_BAD_CERTIFICATE:
never executed: case 42:
0
547 return SSL3_AD_BAD_CERTIFICATE;
never executed: return 42;
0
548 case SSL_AD_UNSUPPORTED_CERTIFICATE:
never executed: case 43:
0
549 return SSL3_AD_UNSUPPORTED_CERTIFICATE;
never executed: return 43;
0
550 case SSL_AD_CERTIFICATE_REVOKED:
never executed: case 44:
0
551 return SSL3_AD_CERTIFICATE_REVOKED;
never executed: return 44;
0
552 case SSL_AD_CERTIFICATE_EXPIRED:
never executed: case 45:
0
553 return SSL3_AD_CERTIFICATE_EXPIRED;
never executed: return 45;
0
554 case SSL_AD_CERTIFICATE_UNKNOWN:
never executed: case 46:
0
555 return SSL3_AD_CERTIFICATE_UNKNOWN;
never executed: return 46;
0
556 case SSL_AD_ILLEGAL_PARAMETER:
never executed: case 47:
0
557 return SSL3_AD_ILLEGAL_PARAMETER;
never executed: return 47;
0
558 case SSL_AD_UNKNOWN_CA:
never executed: case 48:
0
559 return SSL3_AD_BAD_CERTIFICATE;
never executed: return 42;
0
560 case SSL_AD_ACCESS_DENIED:
never executed: case 49:
0
561 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
562 case SSL_AD_DECODE_ERROR:
never executed: case 50:
0
563 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
564 case SSL_AD_DECRYPT_ERROR:
never executed: case 51:
0
565 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
566 case SSL_AD_EXPORT_RESTRICTION:
never executed: case 60:
0
567 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
568 case SSL_AD_PROTOCOL_VERSION:
never executed: case 70:
0
569 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
570 case SSL_AD_INSUFFICIENT_SECURITY:
never executed: case 71:
0
571 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
572 case SSL_AD_INTERNAL_ERROR:
never executed: case 80:
0
573 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
574 case SSL_AD_USER_CANCELLED:
never executed: case 90:
0
575 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
576 case SSL_AD_NO_RENEGOTIATION:
never executed: case 100:
0
577 return -1; /* Don't send it :-) */
never executed: return -1;
0
578 case SSL_AD_UNSUPPORTED_EXTENSION:
never executed: case 110:
0
579 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
580 case SSL_AD_CERTIFICATE_UNOBTAINABLE:
never executed: case 111:
0
581 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
582 case SSL_AD_UNRECOGNIZED_NAME:
never executed: case 112:
0
583 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
584 case SSL_AD_BAD_CERTIFICATE_STATUS_RESPONSE:
never executed: case 113:
0
585 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
586 case SSL_AD_BAD_CERTIFICATE_HASH_VALUE:
never executed: case 114:
0
587 return SSL3_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
588 case SSL_AD_UNKNOWN_PSK_IDENTITY:
never executed: case 115:
0
589 return TLS1_AD_UNKNOWN_PSK_IDENTITY;
never executed: return 115;
0
590 case SSL_AD_INAPPROPRIATE_FALLBACK:
never executed: case 86:
0
591 return TLS1_AD_INAPPROPRIATE_FALLBACK;
never executed: return 86;
0
592 case SSL_AD_NO_APPLICATION_PROTOCOL:
never executed: case 120:
0
593 return TLS1_AD_NO_APPLICATION_PROTOCOL;
never executed: return 120;
0
594 case SSL_AD_CERTIFICATE_REQUIRED:
never executed: case 116:
0
595 return SSL_AD_HANDSHAKE_FAILURE;
never executed: return 40;
0
596 default:
never executed: default:
0
597 return -1;
never executed: return -1;
0
598 }-
599}-
Source codeSwitch to Preprocessed file
Generated by Squish Coco 4.2.2