Absolute File Name: | /home/opencoverage/opencoverage/guest-scripts/openssl/src/crypto/modes/wrap128.c |
Source code | Switch to Preprocessed file |
Line | Source | Count | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | /* | - | ||||||||||||||||||
2 | * Copyright 2013-2018 The OpenSSL Project Authors. All Rights Reserved. | - | ||||||||||||||||||
3 | * | - | ||||||||||||||||||
4 | * Licensed under the OpenSSL license (the "License"). You may not use | - | ||||||||||||||||||
5 | * this file except in compliance with the License. You can obtain a copy | - | ||||||||||||||||||
6 | * in the file LICENSE in the source distribution or at | - | ||||||||||||||||||
7 | * https://www.openssl.org/source/license.html | - | ||||||||||||||||||
8 | */ | - | ||||||||||||||||||
9 | - | |||||||||||||||||||
10 | /** Beware! | - | ||||||||||||||||||
11 | * | - | ||||||||||||||||||
12 | * Following wrapping modes were designed for AES but this implementation | - | ||||||||||||||||||
13 | * allows you to use them for any 128 bit block cipher. | - | ||||||||||||||||||
14 | */ | - | ||||||||||||||||||
15 | - | |||||||||||||||||||
16 | #include "internal/cryptlib.h" | - | ||||||||||||||||||
17 | #include <openssl/modes.h> | - | ||||||||||||||||||
18 | - | |||||||||||||||||||
19 | /** RFC 3394 section 2.2.3.1 Default Initial Value */ | - | ||||||||||||||||||
20 | static const unsigned char default_iv[] = { | - | ||||||||||||||||||
21 | 0xA6, 0xA6, 0xA6, 0xA6, 0xA6, 0xA6, 0xA6, 0xA6, | - | ||||||||||||||||||
22 | }; | - | ||||||||||||||||||
23 | - | |||||||||||||||||||
24 | /** RFC 5649 section 3 Alternative Initial Value 32-bit constant */ | - | ||||||||||||||||||
25 | static const unsigned char default_aiv[] = { | - | ||||||||||||||||||
26 | 0xA6, 0x59, 0x59, 0xA6 | - | ||||||||||||||||||
27 | }; | - | ||||||||||||||||||
28 | - | |||||||||||||||||||
29 | /** Input size limit: lower than maximum of standards but far larger than | - | ||||||||||||||||||
30 | * anything that will be used in practice. | - | ||||||||||||||||||
31 | */ | - | ||||||||||||||||||
32 | #define CRYPTO128_WRAP_MAX (1UL << 31) | - | ||||||||||||||||||
33 | - | |||||||||||||||||||
34 | /** Wrapping according to RFC 3394 section 2.2.1. | - | ||||||||||||||||||
35 | * | - | ||||||||||||||||||
36 | * @param[in] key Key value. | - | ||||||||||||||||||
37 | * @param[in] iv IV value. Length = 8 bytes. NULL = use default_iv. | - | ||||||||||||||||||
38 | * @param[in] in Plaintext as n 64-bit blocks, n >= 2. | - | ||||||||||||||||||
39 | * @param[in] inlen Length of in. | - | ||||||||||||||||||
40 | * @param[out] out Ciphertext. Minimal buffer length = (inlen + 8) bytes. | - | ||||||||||||||||||
41 | * Input and output buffers can overlap if block function | - | ||||||||||||||||||
42 | * supports that. | - | ||||||||||||||||||
43 | * @param[in] block Block processing function. | - | ||||||||||||||||||
44 | * @return 0 if inlen does not consist of n 64-bit blocks, n >= 2. | - | ||||||||||||||||||
45 | * or if inlen > CRYPTO128_WRAP_MAX. | - | ||||||||||||||||||
46 | * Output length if wrapping succeeded. | - | ||||||||||||||||||
47 | */ | - | ||||||||||||||||||
48 | size_t CRYPTO_128_wrap(void *key, const unsigned char *iv, | - | ||||||||||||||||||
49 | unsigned char *out, | - | ||||||||||||||||||
50 | const unsigned char *in, size_t inlen, | - | ||||||||||||||||||
51 | block128_f block) | - | ||||||||||||||||||
52 | { | - | ||||||||||||||||||
53 | unsigned char *A, B[16], *R; | - | ||||||||||||||||||
54 | size_t i, j, t; | - | ||||||||||||||||||
55 | if ((inlen & 0x7) || (inlen < 16) || (inlen > CRYPTO128_WRAP_MAX))
| 0-47 | ||||||||||||||||||
56 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
57 | A = B; | - | ||||||||||||||||||
58 | t = 1; | - | ||||||||||||||||||
59 | memmove(out + 8, in, inlen); | - | ||||||||||||||||||
60 | if (!iv)
| 6-41 | ||||||||||||||||||
61 | iv = default_iv; executed 41 times by 1 test: iv = default_iv; Executed by:
| 41 | ||||||||||||||||||
62 | - | |||||||||||||||||||
63 | memcpy(A, iv, 8); | - | ||||||||||||||||||
64 | - | |||||||||||||||||||
65 | for (j = 0; j < 6; j++) {
| 47-282 | ||||||||||||||||||
66 | R = out + 8; | - | ||||||||||||||||||
67 | for (i = 0; i < inlen; i += 8, t++, R += 8) {
| 282-744 | ||||||||||||||||||
68 | memcpy(B + 8, R, 8); | - | ||||||||||||||||||
69 | block(B, B, key); | - | ||||||||||||||||||
70 | A[7] ^= (unsigned char)(t & 0xff); | - | ||||||||||||||||||
71 | if (t > 0xff) {
| 0-744 | ||||||||||||||||||
72 | A[6] ^= (unsigned char)((t >> 8) & 0xff); | - | ||||||||||||||||||
73 | A[5] ^= (unsigned char)((t >> 16) & 0xff); | - | ||||||||||||||||||
74 | A[4] ^= (unsigned char)((t >> 24) & 0xff); | - | ||||||||||||||||||
75 | } never executed: end of block | 0 | ||||||||||||||||||
76 | memcpy(R, B + 8, 8); | - | ||||||||||||||||||
77 | } executed 744 times by 1 test: end of block Executed by:
| 744 | ||||||||||||||||||
78 | } executed 282 times by 1 test: end of block Executed by:
| 282 | ||||||||||||||||||
79 | memcpy(out, A, 8); | - | ||||||||||||||||||
80 | return inlen + 8; executed 47 times by 1 test: return inlen + 8; Executed by:
| 47 | ||||||||||||||||||
81 | } | - | ||||||||||||||||||
82 | - | |||||||||||||||||||
83 | /** Unwrapping according to RFC 3394 section 2.2.2 steps 1-2. | - | ||||||||||||||||||
84 | * The IV check (step 3) is responsibility of the caller. | - | ||||||||||||||||||
85 | * | - | ||||||||||||||||||
86 | * @param[in] key Key value. | - | ||||||||||||||||||
87 | * @param[out] iv Unchecked IV value. Minimal buffer length = 8 bytes. | - | ||||||||||||||||||
88 | * @param[out] out Plaintext without IV. | - | ||||||||||||||||||
89 | * Minimal buffer length = (inlen - 8) bytes. | - | ||||||||||||||||||
90 | * Input and output buffers can overlap if block function | - | ||||||||||||||||||
91 | * supports that. | - | ||||||||||||||||||
92 | * @param[in] in Ciphertext as n 64-bit blocks. | - | ||||||||||||||||||
93 | * @param[in] inlen Length of in. | - | ||||||||||||||||||
94 | * @param[in] block Block processing function. | - | ||||||||||||||||||
95 | * @return 0 if inlen is out of range [24, CRYPTO128_WRAP_MAX] | - | ||||||||||||||||||
96 | * or if inlen is not a multiple of 8. | - | ||||||||||||||||||
97 | * Output length otherwise. | - | ||||||||||||||||||
98 | */ | - | ||||||||||||||||||
99 | static size_t crypto_128_unwrap_raw(void *key, unsigned char *iv, | - | ||||||||||||||||||
100 | unsigned char *out, | - | ||||||||||||||||||
101 | const unsigned char *in, size_t inlen, | - | ||||||||||||||||||
102 | block128_f block) | - | ||||||||||||||||||
103 | { | - | ||||||||||||||||||
104 | unsigned char *A, B[16], *R; | - | ||||||||||||||||||
105 | size_t i, j, t; | - | ||||||||||||||||||
106 | inlen -= 8; | - | ||||||||||||||||||
107 | if ((inlen & 0x7) || (inlen < 16) || (inlen > CRYPTO128_WRAP_MAX))
| 0-48 | ||||||||||||||||||
108 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
109 | A = B; | - | ||||||||||||||||||
110 | t = 6 * (inlen >> 3); | - | ||||||||||||||||||
111 | memcpy(A, in, 8); | - | ||||||||||||||||||
112 | memmove(out, in + 8, inlen); | - | ||||||||||||||||||
113 | for (j = 0; j < 6; j++) {
| 48-288 | ||||||||||||||||||
114 | R = out + inlen - 8; | - | ||||||||||||||||||
115 | for (i = 0; i < inlen; i += 8, t--, R -= 8) {
| 288-768 | ||||||||||||||||||
116 | A[7] ^= (unsigned char)(t & 0xff); | - | ||||||||||||||||||
117 | if (t > 0xff) {
| 0-768 | ||||||||||||||||||
118 | A[6] ^= (unsigned char)((t >> 8) & 0xff); | - | ||||||||||||||||||
119 | A[5] ^= (unsigned char)((t >> 16) & 0xff); | - | ||||||||||||||||||
120 | A[4] ^= (unsigned char)((t >> 24) & 0xff); | - | ||||||||||||||||||
121 | } never executed: end of block | 0 | ||||||||||||||||||
122 | memcpy(B + 8, R, 8); | - | ||||||||||||||||||
123 | block(B, B, key); | - | ||||||||||||||||||
124 | memcpy(R, B + 8, 8); | - | ||||||||||||||||||
125 | } executed 768 times by 1 test: end of block Executed by:
| 768 | ||||||||||||||||||
126 | } executed 288 times by 1 test: end of block Executed by:
| 288 | ||||||||||||||||||
127 | memcpy(iv, A, 8); | - | ||||||||||||||||||
128 | return inlen; executed 48 times by 1 test: return inlen; Executed by:
| 48 | ||||||||||||||||||
129 | } | - | ||||||||||||||||||
130 | - | |||||||||||||||||||
131 | /** Unwrapping according to RFC 3394 section 2.2.2, including the IV check. | - | ||||||||||||||||||
132 | * The first block of plaintext has to match the supplied IV, otherwise an | - | ||||||||||||||||||
133 | * error is returned. | - | ||||||||||||||||||
134 | * | - | ||||||||||||||||||
135 | * @param[in] key Key value. | - | ||||||||||||||||||
136 | * @param[out] iv IV value to match against. Length = 8 bytes. | - | ||||||||||||||||||
137 | * NULL = use default_iv. | - | ||||||||||||||||||
138 | * @param[out] out Plaintext without IV. | - | ||||||||||||||||||
139 | * Minimal buffer length = (inlen - 8) bytes. | - | ||||||||||||||||||
140 | * Input and output buffers can overlap if block function | - | ||||||||||||||||||
141 | * supports that. | - | ||||||||||||||||||
142 | * @param[in] in Ciphertext as n 64-bit blocks. | - | ||||||||||||||||||
143 | * @param[in] inlen Length of in. | - | ||||||||||||||||||
144 | * @param[in] block Block processing function. | - | ||||||||||||||||||
145 | * @return 0 if inlen is out of range [24, CRYPTO128_WRAP_MAX] | - | ||||||||||||||||||
146 | * or if inlen is not a multiple of 8 | - | ||||||||||||||||||
147 | * or if IV doesn't match expected value. | - | ||||||||||||||||||
148 | * Output length otherwise. | - | ||||||||||||||||||
149 | */ | - | ||||||||||||||||||
150 | size_t CRYPTO_128_unwrap(void *key, const unsigned char *iv, | - | ||||||||||||||||||
151 | unsigned char *out, const unsigned char *in, | - | ||||||||||||||||||
152 | size_t inlen, block128_f block) | - | ||||||||||||||||||
153 | { | - | ||||||||||||||||||
154 | size_t ret; | - | ||||||||||||||||||
155 | unsigned char got_iv[8]; | - | ||||||||||||||||||
156 | - | |||||||||||||||||||
157 | ret = crypto_128_unwrap_raw(key, got_iv, out, in, inlen, block); | - | ||||||||||||||||||
158 | if (ret == 0)
| 0-42 | ||||||||||||||||||
159 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
160 | - | |||||||||||||||||||
161 | if (!iv)
| 0-42 | ||||||||||||||||||
162 | iv = default_iv; executed 42 times by 1 test: iv = default_iv; Executed by:
| 42 | ||||||||||||||||||
163 | if (CRYPTO_memcmp(got_iv, iv, 8)) {
| 1-41 | ||||||||||||||||||
164 | OPENSSL_cleanse(out, ret); | - | ||||||||||||||||||
165 | return 0; executed 1 time by 1 test: return 0; Executed by:
| 1 | ||||||||||||||||||
166 | } | - | ||||||||||||||||||
167 | return ret; executed 41 times by 1 test: return ret; Executed by:
| 41 | ||||||||||||||||||
168 | } | - | ||||||||||||||||||
169 | - | |||||||||||||||||||
170 | /** Wrapping according to RFC 5649 section 4.1. | - | ||||||||||||||||||
171 | * | - | ||||||||||||||||||
172 | * @param[in] key Key value. | - | ||||||||||||||||||
173 | * @param[in] icv (Non-standard) IV, 4 bytes. NULL = use default_aiv. | - | ||||||||||||||||||
174 | * @param[out] out Ciphertext. Minimal buffer length = (inlen + 15) bytes. | - | ||||||||||||||||||
175 | * Input and output buffers can overlap if block function | - | ||||||||||||||||||
176 | * supports that. | - | ||||||||||||||||||
177 | * @param[in] in Plaintext as n 64-bit blocks, n >= 2. | - | ||||||||||||||||||
178 | * @param[in] inlen Length of in. | - | ||||||||||||||||||
179 | * @param[in] block Block processing function. | - | ||||||||||||||||||
180 | * @return 0 if inlen is out of range [1, CRYPTO128_WRAP_MAX]. | - | ||||||||||||||||||
181 | * Output length if wrapping succeeded. | - | ||||||||||||||||||
182 | */ | - | ||||||||||||||||||
183 | size_t CRYPTO_128_wrap_pad(void *key, const unsigned char *icv, | - | ||||||||||||||||||
184 | unsigned char *out, | - | ||||||||||||||||||
185 | const unsigned char *in, size_t inlen, | - | ||||||||||||||||||
186 | block128_f block) | - | ||||||||||||||||||
187 | { | - | ||||||||||||||||||
188 | /* n: number of 64-bit blocks in the padded key data | - | ||||||||||||||||||
189 | * | - | ||||||||||||||||||
190 | * If length of plain text is not a multiple of 8, pad the plain text octet | - | ||||||||||||||||||
191 | * string on the right with octets of zeros, where final length is the | - | ||||||||||||||||||
192 | * smallest multiple of 8 that is greater than length of plain text. | - | ||||||||||||||||||
193 | * If length of plain text is a multiple of 8, then there is no padding. */ | - | ||||||||||||||||||
194 | const size_t blocks_padded = (inlen + 7) / 8; /* CEILING(m/8) */ | - | ||||||||||||||||||
195 | const size_t padded_len = blocks_padded * 8; | - | ||||||||||||||||||
196 | const size_t padding_len = padded_len - inlen; | - | ||||||||||||||||||
197 | /* RFC 5649 section 3: Alternative Initial Value */ | - | ||||||||||||||||||
198 | unsigned char aiv[8]; | - | ||||||||||||||||||
199 | int ret; | - | ||||||||||||||||||
200 | - | |||||||||||||||||||
201 | /* Section 1: use 32-bit fixed field for plaintext octet length */ | - | ||||||||||||||||||
202 | if (inlen == 0 || inlen >= CRYPTO128_WRAP_MAX)
| 0-12 | ||||||||||||||||||
203 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
204 | - | |||||||||||||||||||
205 | /* Section 3: Alternative Initial Value */ | - | ||||||||||||||||||
206 | if (!icv)
| 0-12 | ||||||||||||||||||
207 | memcpy(aiv, default_aiv, 4); executed 12 times by 1 test: memcpy(aiv, default_aiv, 4); Executed by:
| 12 | ||||||||||||||||||
208 | else | - | ||||||||||||||||||
209 | memcpy(aiv, icv, 4); /* Standard doesn't mention this. */ never executed: memcpy(aiv, icv, 4); | 0 | ||||||||||||||||||
210 | - | |||||||||||||||||||
211 | aiv[4] = (inlen >> 24) & 0xFF; | - | ||||||||||||||||||
212 | aiv[5] = (inlen >> 16) & 0xFF; | - | ||||||||||||||||||
213 | aiv[6] = (inlen >> 8) & 0xFF; | - | ||||||||||||||||||
214 | aiv[7] = inlen & 0xFF; | - | ||||||||||||||||||
215 | - | |||||||||||||||||||
216 | if (padded_len == 8) {
| 6 | ||||||||||||||||||
217 | /* | - | ||||||||||||||||||
218 | * Section 4.1 - special case in step 2: If the padded plaintext | - | ||||||||||||||||||
219 | * contains exactly eight octets, then prepend the AIV and encrypt | - | ||||||||||||||||||
220 | * the resulting 128-bit block using AES in ECB mode. | - | ||||||||||||||||||
221 | */ | - | ||||||||||||||||||
222 | memmove(out + 8, in, inlen); | - | ||||||||||||||||||
223 | memcpy(out, aiv, 8); | - | ||||||||||||||||||
224 | memset(out + 8 + inlen, 0, padding_len); | - | ||||||||||||||||||
225 | block(out, out, key); | - | ||||||||||||||||||
226 | ret = 16; /* AIV + padded input */ | - | ||||||||||||||||||
227 | } else { executed 6 times by 1 test: end of block Executed by:
| 6 | ||||||||||||||||||
228 | memmove(out, in, inlen); | - | ||||||||||||||||||
229 | memset(out + inlen, 0, padding_len); /* Section 4.1 step 1 */ | - | ||||||||||||||||||
230 | ret = CRYPTO_128_wrap(key, aiv, out, out, padded_len, block); | - | ||||||||||||||||||
231 | } executed 6 times by 1 test: end of block Executed by:
| 6 | ||||||||||||||||||
232 | - | |||||||||||||||||||
233 | return ret; executed 12 times by 1 test: return ret; Executed by:
| 12 | ||||||||||||||||||
234 | } | - | ||||||||||||||||||
235 | - | |||||||||||||||||||
236 | /** Unwrapping according to RFC 5649 section 4.2. | - | ||||||||||||||||||
237 | * | - | ||||||||||||||||||
238 | * @param[in] key Key value. | - | ||||||||||||||||||
239 | * @param[in] icv (Non-standard) IV, 4 bytes. NULL = use default_aiv. | - | ||||||||||||||||||
240 | * @param[out] out Plaintext. Minimal buffer length = (inlen - 8) bytes. | - | ||||||||||||||||||
241 | * Input and output buffers can overlap if block function | - | ||||||||||||||||||
242 | * supports that. | - | ||||||||||||||||||
243 | * @param[in] in Ciphertext as n 64-bit blocks. | - | ||||||||||||||||||
244 | * @param[in] inlen Length of in. | - | ||||||||||||||||||
245 | * @param[in] block Block processing function. | - | ||||||||||||||||||
246 | * @return 0 if inlen is out of range [16, CRYPTO128_WRAP_MAX], | - | ||||||||||||||||||
247 | * or if inlen is not a multiple of 8 | - | ||||||||||||||||||
248 | * or if IV and message length indicator doesn't match. | - | ||||||||||||||||||
249 | * Output length if unwrapping succeeded and IV matches. | - | ||||||||||||||||||
250 | */ | - | ||||||||||||||||||
251 | size_t CRYPTO_128_unwrap_pad(void *key, const unsigned char *icv, | - | ||||||||||||||||||
252 | unsigned char *out, | - | ||||||||||||||||||
253 | const unsigned char *in, size_t inlen, | - | ||||||||||||||||||
254 | block128_f block) | - | ||||||||||||||||||
255 | { | - | ||||||||||||||||||
256 | /* n: number of 64-bit blocks in the padded key data */ | - | ||||||||||||||||||
257 | size_t n = inlen / 8 - 1; | - | ||||||||||||||||||
258 | size_t padded_len; | - | ||||||||||||||||||
259 | size_t padding_len; | - | ||||||||||||||||||
260 | size_t ptext_len; | - | ||||||||||||||||||
261 | /* RFC 5649 section 3: Alternative Initial Value */ | - | ||||||||||||||||||
262 | unsigned char aiv[8]; | - | ||||||||||||||||||
263 | static unsigned char zeros[8] = { 0x0 }; | - | ||||||||||||||||||
264 | size_t ret; | - | ||||||||||||||||||
265 | - | |||||||||||||||||||
266 | /* Section 4.2: Ciphertext length has to be (n+1) 64-bit blocks. */ | - | ||||||||||||||||||
267 | if ((inlen & 0x7) != 0 || inlen < 16 || inlen >= CRYPTO128_WRAP_MAX)
| 0-12 | ||||||||||||||||||
268 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
269 | - | |||||||||||||||||||
270 | if (inlen == 16) {
| 6 | ||||||||||||||||||
271 | /* | - | ||||||||||||||||||
272 | * Section 4.2 - special case in step 1: When n=1, the ciphertext | - | ||||||||||||||||||
273 | * contains exactly two 64-bit blocks and they are decrypted as a | - | ||||||||||||||||||
274 | * single AES block using AES in ECB mode: AIV | P[1] = DEC(K, C[0] | | - | ||||||||||||||||||
275 | * C[1]) | - | ||||||||||||||||||
276 | */ | - | ||||||||||||||||||
277 | unsigned char buff[16]; | - | ||||||||||||||||||
278 | - | |||||||||||||||||||
279 | block(in, buff, key); | - | ||||||||||||||||||
280 | memcpy(aiv, buff, 8); | - | ||||||||||||||||||
281 | /* Remove AIV */ | - | ||||||||||||||||||
282 | memcpy(out, buff + 8, 8); | - | ||||||||||||||||||
283 | padded_len = 8; | - | ||||||||||||||||||
284 | OPENSSL_cleanse(buff, inlen); | - | ||||||||||||||||||
285 | } else { executed 6 times by 1 test: end of block Executed by:
| 6 | ||||||||||||||||||
286 | padded_len = inlen - 8; | - | ||||||||||||||||||
287 | ret = crypto_128_unwrap_raw(key, aiv, out, in, inlen, block); | - | ||||||||||||||||||
288 | if (padded_len != ret) {
| 0-6 | ||||||||||||||||||
289 | OPENSSL_cleanse(out, inlen); | - | ||||||||||||||||||
290 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
291 | } | - | ||||||||||||||||||
292 | } executed 6 times by 1 test: end of block Executed by:
| 6 | ||||||||||||||||||
293 | - | |||||||||||||||||||
294 | /* | - | ||||||||||||||||||
295 | * Section 3: AIV checks: Check that MSB(32,A) = A65959A6. Optionally a | - | ||||||||||||||||||
296 | * user-supplied value can be used (even if standard doesn't mention | - | ||||||||||||||||||
297 | * this). | - | ||||||||||||||||||
298 | */ | - | ||||||||||||||||||
299 | if ((!icv && CRYPTO_memcmp(aiv, default_aiv, 4))
| 0-12 | ||||||||||||||||||
300 | || (icv && CRYPTO_memcmp(aiv, icv, 4))) {
| 0-12 | ||||||||||||||||||
301 | OPENSSL_cleanse(out, inlen); | - | ||||||||||||||||||
302 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
303 | } | - | ||||||||||||||||||
304 | - | |||||||||||||||||||
305 | /* | - | ||||||||||||||||||
306 | * Check that 8*(n-1) < LSB(32,AIV) <= 8*n. If so, let ptext_len = | - | ||||||||||||||||||
307 | * LSB(32,AIV). | - | ||||||||||||||||||
308 | */ | - | ||||||||||||||||||
309 | - | |||||||||||||||||||
310 | ptext_len = ((unsigned int)aiv[4] << 24) | - | ||||||||||||||||||
311 | | ((unsigned int)aiv[5] << 16) | - | ||||||||||||||||||
312 | | ((unsigned int)aiv[6] << 8) | - | ||||||||||||||||||
313 | | (unsigned int)aiv[7]; | - | ||||||||||||||||||
314 | if (8 * (n - 1) >= ptext_len || ptext_len > 8 * n) {
| 0-12 | ||||||||||||||||||
315 | OPENSSL_cleanse(out, inlen); | - | ||||||||||||||||||
316 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
317 | } | - | ||||||||||||||||||
318 | - | |||||||||||||||||||
319 | /* | - | ||||||||||||||||||
320 | * Check that the rightmost padding_len octets of the output data are | - | ||||||||||||||||||
321 | * zero. | - | ||||||||||||||||||
322 | */ | - | ||||||||||||||||||
323 | padding_len = padded_len - ptext_len; | - | ||||||||||||||||||
324 | if (CRYPTO_memcmp(out + ptext_len, zeros, padding_len) != 0) {
| 0-12 | ||||||||||||||||||
325 | OPENSSL_cleanse(out, inlen); | - | ||||||||||||||||||
326 | return 0; never executed: return 0; | 0 | ||||||||||||||||||
327 | } | - | ||||||||||||||||||
328 | - | |||||||||||||||||||
329 | /* Section 4.2 step 3: Remove padding */ | - | ||||||||||||||||||
330 | return ptext_len; executed 12 times by 1 test: return ptext_len; Executed by:
| 12 | ||||||||||||||||||
331 | } | - | ||||||||||||||||||
Source code | Switch to Preprocessed file |