OpenCoverage

evp_aead.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/evp/evp_aead.c
Source codeSwitch to Preprocessed file
LineSourceCount
1/* $OpenBSD: evp_aead.c,v 1.6 2017/01/29 17:49:23 beck Exp $ */-
2/*-
3 * Copyright (c) 2014, Google Inc.-
4 *-
5 * Permission to use, copy, modify, and/or distribute this software for any-
6 * purpose with or without fee is hereby granted, provided that the above-
7 * copyright notice and this permission notice appear in all copies.-
8 *-
9 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES-
10 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF-
11 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY-
12 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES-
13 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION-
14 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN-
15 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.-
16 */-
17-
18#include <limits.h>-
19#include <string.h>-
20-
21#include <openssl/evp.h>-
22#include <openssl/err.h>-
23-
24#include "evp_locl.h"-
25-
26size_t-
27EVP_AEAD_key_length(const EVP_AEAD *aead)-
28{-
29 return aead->key_len;
executed 138 times by 2 tests: return aead->key_len;
Executed by:
  • ssltest
  • tlstest
138
30}-
31-
32size_t-
33EVP_AEAD_nonce_length(const EVP_AEAD *aead)-
34{-
35 return aead->nonce_len;
executed 160 times by 2 tests: return aead->nonce_len;
Executed by:
  • ssltest
  • tlstest
160
36}-
37-
38size_t-
39EVP_AEAD_max_overhead(const EVP_AEAD *aead)-
40{-
41 return aead->overhead;
executed 92 times by 2 tests: return aead->overhead;
Executed by:
  • ssltest
  • tlstest
92
42}-
43-
44size_t-
45EVP_AEAD_max_tag_len(const EVP_AEAD *aead)-
46{-
47 return aead->max_tag_len;
never executed: return aead->max_tag_len;
0
48}-
49-
50int-
51EVP_AEAD_CTX_init(EVP_AEAD_CTX *ctx, const EVP_AEAD *aead,-
52 const unsigned char *key, size_t key_len, size_t tag_len, ENGINE *impl)-
53{-
54 ctx->aead = aead;-
55 if (key_len != aead->key_len) {
key_len != aead->key_lenDescription
TRUEnever evaluated
FALSEevaluated 100 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
0-100
56 EVPerror(EVP_R_UNSUPPORTED_KEY_SIZE);-
57 return 0;
never executed: return 0;
0
58 }-
59 return aead->init(ctx, key, key_len, tag_len);
executed 100 times by 3 tests: return aead->init(ctx, key, key_len, tag_len);
Executed by:
  • aeadtest
  • ssltest
  • tlstest
100
60}-
61-
62void-
63EVP_AEAD_CTX_cleanup(EVP_AEAD_CTX *ctx)-
64{-
65 if (ctx->aead == NULL)
ctx->aead == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 100 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
0-100
66 return;
never executed: return;
0
67 ctx->aead->cleanup(ctx);-
68 ctx->aead = NULL;-
69}
executed 100 times by 3 tests: end of block
Executed by:
  • aeadtest
  • ssltest
  • tlstest
100
70-
71/* check_alias returns 0 if out points within the buffer determined by in-
72 * and in_len and 1 otherwise.-
73 *-
74 * When processing, there's only an issue if out points within in[:in_len]-
75 * and isn't equal to in. If that's the case then writing the output will-
76 * stomp input that hasn't been read yet.-
77 *-
78 * This function checks for that case. */-
79static int-
80check_alias(const unsigned char *in, size_t in_len, const unsigned char *out)-
81{-
82 if (out <= in)
out <= inDescription
TRUEevaluated 230 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
FALSEevaluated 8 times by 1 test
Evaluated by:
  • aeadtest
8-230
83 return 1;
executed 230 times by 3 tests: return 1;
Executed by:
  • aeadtest
  • ssltest
  • tlstest
230
84 if (in + in_len <= out)
in + in_len <= outDescription
TRUEevaluated 8 times by 1 test
Evaluated by:
  • aeadtest
FALSEnever evaluated
0-8
85 return 1;
executed 8 times by 1 test: return 1;
Executed by:
  • aeadtest
8
86 return 0;
never executed: return 0;
0
87}-
88-
89int-
90EVP_AEAD_CTX_seal(const EVP_AEAD_CTX *ctx, unsigned char *out, size_t *out_len,-
91 size_t max_out_len, const unsigned char *nonce, size_t nonce_len,-
92 const unsigned char *in, size_t in_len, const unsigned char *ad,-
93 size_t ad_len)-
94{-
95 size_t possible_out_len = in_len + ctx->aead->overhead;-
96-
97 /* Overflow. */-
98 if (possible_out_len < in_len) {
possible_out_len < in_lenDescription
TRUEnever evaluated
FALSEevaluated 138 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
0-138
99 EVPerror(EVP_R_TOO_LARGE);-
100 goto error;
never executed: goto error;
0
101 }-
102-
103 if (!check_alias(in, in_len, out)) {
!check_alias(in, in_len, out)Description
TRUEnever evaluated
FALSEevaluated 138 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
0-138
104 EVPerror(EVP_R_OUTPUT_ALIASES_INPUT);-
105 goto error;
never executed: goto error;
0
106 }-
107-
108 if (ctx->aead->seal(ctx, out, out_len, max_out_len, nonce, nonce_len,
ctx->aead->sea...n, ad, ad_len)Description
TRUEevaluated 138 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
FALSEnever evaluated
0-138
109 in, in_len, ad, ad_len)) {
ctx->aead->sea...n, ad, ad_len)Description
TRUEevaluated 138 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
FALSEnever evaluated
0-138
110 return 1;
executed 138 times by 3 tests: return 1;
Executed by:
  • aeadtest
  • ssltest
  • tlstest
138
111 }-
112-
113error:
code before this statement never executed: error:
0
114 /* In the event of an error, clear the output buffer so that a caller-
115 * that doesn't check the return value doesn't send raw data. */-
116 memset(out, 0, max_out_len);-
117 *out_len = 0;-
118 return 0;
never executed: return 0;
0
119}-
120-
121int-
122EVP_AEAD_CTX_open(const EVP_AEAD_CTX *ctx, unsigned char *out, size_t *out_len,-
123 size_t max_out_len, const unsigned char *nonce, size_t nonce_len,-
124 const unsigned char *in, size_t in_len, const unsigned char *ad,-
125 size_t ad_len)-
126{-
127 if (!check_alias(in, in_len, out)) {
!check_alias(in, in_len, out)Description
TRUEnever evaluated
FALSEevaluated 100 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
0-100
128 EVPerror(EVP_R_OUTPUT_ALIASES_INPUT);-
129 goto error;
never executed: goto error;
0
130 }-
131-
132 if (ctx->aead->open(ctx, out, out_len, max_out_len, nonce, nonce_len,
ctx->aead->ope...n, ad, ad_len)Description
TRUEevaluated 92 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
FALSEevaluated 8 times by 1 test
Evaluated by:
  • aeadtest
8-92
133 in, in_len, ad, ad_len)) {
ctx->aead->ope...n, ad, ad_len)Description
TRUEevaluated 92 times by 3 tests
Evaluated by:
  • aeadtest
  • ssltest
  • tlstest
FALSEevaluated 8 times by 1 test
Evaluated by:
  • aeadtest
8-92
134 return 1;
executed 92 times by 3 tests: return 1;
Executed by:
  • aeadtest
  • ssltest
  • tlstest
92
135 }-
136-
137error:
code before this statement executed 8 times by 1 test: error:
Executed by:
  • aeadtest
8
138 /* In the event of an error, clear the output buffer so that a caller-
139 * that doesn't check the return value doesn't try and process bad-
140 * data. */-
141 memset(out, 0, max_out_len);-
142 *out_len = 0;-
143 return 0;
executed 8 times by 1 test: return 0;
Executed by:
  • aeadtest
8
144}-
Source codeSwitch to Preprocessed file
Generated by Squish Coco 4.2.2