]> git.ipfire.org Git - thirdparty/openssl.git/blob - crypto/evp/evp_enc.c
EVP_EncryptUpdate, EVP_EncryptFinal_ex: don't branch on uninitialized memory
[thirdparty/openssl.git] / crypto / evp / evp_enc.c
1 /*
2 * Copyright 1995-2018 The OpenSSL Project Authors. All Rights Reserved.
3 *
4 * Licensed under the Apache License 2.0 (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 #include <stdio.h>
11 #include <assert.h>
12 #include "internal/cryptlib.h"
13 #include <openssl/evp.h>
14 #include <openssl/err.h>
15 #include <openssl/rand.h>
16 #include <openssl/rand_drbg.h>
17 #include <openssl/engine.h>
18 #include <openssl/params.h>
19 #include <openssl/core_names.h>
20 #include "internal/evp_int.h"
21 #include "internal/provider.h"
22 #include "evp_locl.h"
23
24 int EVP_CIPHER_CTX_reset(EVP_CIPHER_CTX *ctx)
25 {
26 if (ctx == NULL)
27 return 1;
28
29 if (ctx->cipher == NULL || ctx->cipher->prov == NULL)
30 goto legacy;
31
32 if (ctx->provctx != NULL) {
33 if (ctx->cipher->freectx != NULL)
34 ctx->cipher->freectx(ctx->provctx);
35 ctx->provctx = NULL;
36 }
37 if (ctx->fetched_cipher != NULL)
38 EVP_CIPHER_meth_free(ctx->fetched_cipher);
39 memset(ctx, 0, sizeof(*ctx));
40
41 return 1;
42
43 /* TODO(3.0): Remove legacy code below */
44 legacy:
45
46 if (ctx->cipher != NULL) {
47 if (ctx->cipher->cleanup && !ctx->cipher->cleanup(ctx))
48 return 0;
49 /* Cleanse cipher context data */
50 if (ctx->cipher_data && ctx->cipher->ctx_size)
51 OPENSSL_cleanse(ctx->cipher_data, ctx->cipher->ctx_size);
52 }
53 OPENSSL_free(ctx->cipher_data);
54 #ifndef OPENSSL_NO_ENGINE
55 ENGINE_finish(ctx->engine);
56 #endif
57 memset(ctx, 0, sizeof(*ctx));
58 return 1;
59 }
60
61 EVP_CIPHER_CTX *EVP_CIPHER_CTX_new(void)
62 {
63 return OPENSSL_zalloc(sizeof(EVP_CIPHER_CTX));
64 }
65
66 void EVP_CIPHER_CTX_free(EVP_CIPHER_CTX *ctx)
67 {
68 EVP_CIPHER_CTX_reset(ctx);
69 OPENSSL_free(ctx);
70 }
71
72 int EVP_CipherInit(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
73 const unsigned char *key, const unsigned char *iv, int enc)
74 {
75 if (cipher != NULL)
76 EVP_CIPHER_CTX_reset(ctx);
77 return EVP_CipherInit_ex(ctx, cipher, NULL, key, iv, enc);
78 }
79
80 int EVP_CipherInit_ex(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
81 ENGINE *impl, const unsigned char *key,
82 const unsigned char *iv, int enc)
83 {
84 EVP_CIPHER *provciph = NULL;
85 ENGINE *tmpimpl = NULL;
86 const EVP_CIPHER *tmpcipher;
87
88 /*
89 * enc == 1 means we are encrypting.
90 * enc == 0 means we are decrypting.
91 * enc == -1 means, use the previously initialised value for encrypt/decrypt
92 */
93 if (enc == -1) {
94 enc = ctx->encrypt;
95 } else {
96 if (enc)
97 enc = 1;
98 ctx->encrypt = enc;
99 }
100
101 if (cipher == NULL && ctx->cipher == NULL) {
102 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_NO_CIPHER_SET);
103 return 0;
104 }
105
106 /* TODO(3.0): Legacy work around code below. Remove this */
107
108 #ifndef OPENSSL_NO_ENGINE
109 /*
110 * Whether it's nice or not, "Inits" can be used on "Final"'d contexts so
111 * this context may already have an ENGINE! Try to avoid releasing the
112 * previous handle, re-querying for an ENGINE, and having a
113 * reinitialisation, when it may all be unnecessary.
114 */
115 if (ctx->engine && ctx->cipher
116 && (cipher == NULL || cipher->nid == ctx->cipher->nid))
117 goto skip_to_init;
118
119 if (cipher != NULL && impl == NULL) {
120 /* Ask if an ENGINE is reserved for this job */
121 tmpimpl = ENGINE_get_cipher_engine(cipher->nid);
122 }
123 #endif
124
125 /*
126 * If there are engines involved then we should use legacy handling for now.
127 */
128 if (ctx->engine != NULL
129 || impl != NULL
130 || tmpimpl != NULL) {
131 if (ctx->cipher == ctx->fetched_cipher)
132 ctx->cipher = NULL;
133 EVP_CIPHER_meth_free(ctx->fetched_cipher);
134 ctx->fetched_cipher = NULL;
135 goto legacy;
136 }
137
138 tmpcipher = (cipher == NULL) ? ctx->cipher : cipher;
139
140 if (tmpcipher->prov == NULL) {
141 switch(tmpcipher->nid) {
142 case NID_aes_256_ecb:
143 case NID_aes_192_ecb:
144 case NID_aes_128_ecb:
145 case NID_aes_256_cbc:
146 case NID_aes_192_cbc:
147 case NID_aes_128_cbc:
148 case NID_aes_256_ofb128:
149 case NID_aes_192_ofb128:
150 case NID_aes_128_ofb128:
151 case NID_aes_256_cfb128:
152 case NID_aes_192_cfb128:
153 case NID_aes_128_cfb128:
154 case NID_aes_256_cfb1:
155 case NID_aes_192_cfb1:
156 case NID_aes_128_cfb1:
157 case NID_aes_256_cfb8:
158 case NID_aes_192_cfb8:
159 case NID_aes_128_cfb8:
160 case NID_aes_256_ctr:
161 case NID_aes_192_ctr:
162 case NID_aes_128_ctr:
163 break;
164 default:
165 goto legacy;
166 }
167 }
168
169 /*
170 * Ensure a context left lying around from last time is cleared
171 * (legacy code)
172 */
173 if (cipher != NULL && ctx->cipher != NULL) {
174 OPENSSL_clear_free(ctx->cipher_data, ctx->cipher->ctx_size);
175 ctx->cipher_data = NULL;
176 }
177
178
179 /* TODO(3.0): Start of non-legacy code below */
180
181 /* Ensure a context left lying around from last time is cleared */
182 if (cipher != NULL && ctx->cipher != NULL) {
183 unsigned long flags = ctx->flags;
184
185 EVP_CIPHER_CTX_reset(ctx);
186 /* Restore encrypt and flags */
187 ctx->encrypt = enc;
188 ctx->flags = flags;
189 }
190
191 if (cipher != NULL)
192 ctx->cipher = cipher;
193 else
194 cipher = ctx->cipher;
195
196 if (cipher->prov == NULL) {
197 provciph = EVP_CIPHER_fetch(NULL, OBJ_nid2sn(cipher->nid), "");
198 if (provciph == NULL) {
199 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_INITIALIZATION_ERROR);
200 return 0;
201 }
202 cipher = provciph;
203 EVP_CIPHER_meth_free(ctx->fetched_cipher);
204 ctx->fetched_cipher = provciph;
205 }
206
207 ctx->cipher = cipher;
208 if (ctx->provctx == NULL) {
209 ctx->provctx = ctx->cipher->newctx(ossl_provider_ctx(cipher->prov));
210 if (ctx->provctx == NULL) {
211 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_INITIALIZATION_ERROR);
212 return 0;
213 }
214 }
215
216 if ((ctx->flags & EVP_CIPH_NO_PADDING) != 0) {
217 /*
218 * If this ctx was already set up for no padding then we need to tell
219 * the new cipher about it.
220 */
221 if (!EVP_CIPHER_CTX_set_padding(ctx, 0))
222 return 0;
223 }
224
225 switch (EVP_CIPHER_mode(ctx->cipher)) {
226 case EVP_CIPH_CFB_MODE:
227 case EVP_CIPH_OFB_MODE:
228 case EVP_CIPH_CBC_MODE:
229 /* For these modes we remember the original IV for later use */
230 if (!ossl_assert(EVP_CIPHER_CTX_iv_length(ctx) <= (int)sizeof(ctx->oiv))) {
231 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_INITIALIZATION_ERROR);
232 return 0;
233 }
234 if (iv != NULL)
235 memcpy(ctx->oiv, iv, EVP_CIPHER_CTX_iv_length(ctx));
236 }
237
238 if (enc) {
239 if (ctx->cipher->einit == NULL) {
240 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_INITIALIZATION_ERROR);
241 return 0;
242 }
243
244 return ctx->cipher->einit(ctx->provctx,
245 key,
246 key == NULL ? 0
247 : EVP_CIPHER_CTX_key_length(ctx),
248 iv,
249 iv == NULL ? 0
250 : EVP_CIPHER_CTX_iv_length(ctx));
251 }
252
253 if (ctx->cipher->dinit == NULL) {
254 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_INITIALIZATION_ERROR);
255 return 0;
256 }
257
258 return ctx->cipher->dinit(ctx->provctx,
259 key,
260 key == NULL ? 0
261 : EVP_CIPHER_CTX_key_length(ctx),
262 iv,
263 iv == NULL ? 0
264 : EVP_CIPHER_CTX_iv_length(ctx));
265
266 /* TODO(3.0): Remove legacy code below */
267 legacy:
268
269 if (cipher != NULL) {
270 /*
271 * Ensure a context left lying around from last time is cleared (we
272 * previously attempted to avoid this if the same ENGINE and
273 * EVP_CIPHER could be used).
274 */
275 if (ctx->cipher) {
276 unsigned long flags = ctx->flags;
277 EVP_CIPHER_CTX_reset(ctx);
278 /* Restore encrypt and flags */
279 ctx->encrypt = enc;
280 ctx->flags = flags;
281 }
282 #ifndef OPENSSL_NO_ENGINE
283 if (impl != NULL) {
284 if (!ENGINE_init(impl)) {
285 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_INITIALIZATION_ERROR);
286 return 0;
287 }
288 } else {
289 impl = tmpimpl;
290 }
291 if (impl != NULL) {
292 /* There's an ENGINE for this job ... (apparently) */
293 const EVP_CIPHER *c = ENGINE_get_cipher(impl, cipher->nid);
294
295 if (c == NULL) {
296 /*
297 * One positive side-effect of US's export control history,
298 * is that we should at least be able to avoid using US
299 * misspellings of "initialisation"?
300 */
301 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_INITIALIZATION_ERROR);
302 return 0;
303 }
304 /* We'll use the ENGINE's private cipher definition */
305 cipher = c;
306 /*
307 * Store the ENGINE functional reference so we know 'cipher' came
308 * from an ENGINE and we need to release it when done.
309 */
310 ctx->engine = impl;
311 } else {
312 ctx->engine = NULL;
313 }
314 #endif
315
316 ctx->cipher = cipher;
317 if (ctx->cipher->ctx_size) {
318 ctx->cipher_data = OPENSSL_zalloc(ctx->cipher->ctx_size);
319 if (ctx->cipher_data == NULL) {
320 ctx->cipher = NULL;
321 EVPerr(EVP_F_EVP_CIPHERINIT_EX, ERR_R_MALLOC_FAILURE);
322 return 0;
323 }
324 } else {
325 ctx->cipher_data = NULL;
326 }
327 ctx->key_len = cipher->key_len;
328 /* Preserve wrap enable flag, zero everything else */
329 ctx->flags &= EVP_CIPHER_CTX_FLAG_WRAP_ALLOW;
330 if (ctx->cipher->flags & EVP_CIPH_CTRL_INIT) {
331 if (!EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_INIT, 0, NULL)) {
332 ctx->cipher = NULL;
333 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_INITIALIZATION_ERROR);
334 return 0;
335 }
336 }
337 }
338 #ifndef OPENSSL_NO_ENGINE
339 skip_to_init:
340 #endif
341 if (ctx->cipher == NULL)
342 return 0;
343
344 /* we assume block size is a power of 2 in *cryptUpdate */
345 OPENSSL_assert(ctx->cipher->block_size == 1
346 || ctx->cipher->block_size == 8
347 || ctx->cipher->block_size == 16);
348
349 if (!(ctx->flags & EVP_CIPHER_CTX_FLAG_WRAP_ALLOW)
350 && EVP_CIPHER_CTX_mode(ctx) == EVP_CIPH_WRAP_MODE) {
351 EVPerr(EVP_F_EVP_CIPHERINIT_EX, EVP_R_WRAP_MODE_NOT_ALLOWED);
352 return 0;
353 }
354
355 if (!(EVP_CIPHER_flags(EVP_CIPHER_CTX_cipher(ctx)) & EVP_CIPH_CUSTOM_IV)) {
356 switch (EVP_CIPHER_CTX_mode(ctx)) {
357
358 case EVP_CIPH_STREAM_CIPHER:
359 case EVP_CIPH_ECB_MODE:
360 break;
361
362 case EVP_CIPH_CFB_MODE:
363 case EVP_CIPH_OFB_MODE:
364
365 ctx->num = 0;
366 /* fall-through */
367
368 case EVP_CIPH_CBC_MODE:
369
370 OPENSSL_assert(EVP_CIPHER_CTX_iv_length(ctx) <=
371 (int)sizeof(ctx->iv));
372 if (iv)
373 memcpy(ctx->oiv, iv, EVP_CIPHER_CTX_iv_length(ctx));
374 memcpy(ctx->iv, ctx->oiv, EVP_CIPHER_CTX_iv_length(ctx));
375 break;
376
377 case EVP_CIPH_CTR_MODE:
378 ctx->num = 0;
379 /* Don't reuse IV for CTR mode */
380 if (iv)
381 memcpy(ctx->iv, iv, EVP_CIPHER_CTX_iv_length(ctx));
382 break;
383
384 default:
385 return 0;
386 }
387 }
388
389 if (key || (ctx->cipher->flags & EVP_CIPH_ALWAYS_CALL_INIT)) {
390 if (!ctx->cipher->init(ctx, key, iv, enc))
391 return 0;
392 }
393 ctx->buf_len = 0;
394 ctx->final_used = 0;
395 ctx->block_mask = ctx->cipher->block_size - 1;
396 return 1;
397 }
398
399 int EVP_CipherUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
400 const unsigned char *in, int inl)
401 {
402 if (ctx->encrypt)
403 return EVP_EncryptUpdate(ctx, out, outl, in, inl);
404 else
405 return EVP_DecryptUpdate(ctx, out, outl, in, inl);
406 }
407
408 int EVP_CipherFinal_ex(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl)
409 {
410 if (ctx->encrypt)
411 return EVP_EncryptFinal_ex(ctx, out, outl);
412 else
413 return EVP_DecryptFinal_ex(ctx, out, outl);
414 }
415
416 int EVP_CipherFinal(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl)
417 {
418 if (ctx->encrypt)
419 return EVP_EncryptFinal(ctx, out, outl);
420 else
421 return EVP_DecryptFinal(ctx, out, outl);
422 }
423
424 int EVP_EncryptInit(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
425 const unsigned char *key, const unsigned char *iv)
426 {
427 return EVP_CipherInit(ctx, cipher, key, iv, 1);
428 }
429
430 int EVP_EncryptInit_ex(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
431 ENGINE *impl, const unsigned char *key,
432 const unsigned char *iv)
433 {
434 return EVP_CipherInit_ex(ctx, cipher, impl, key, iv, 1);
435 }
436
437 int EVP_DecryptInit(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
438 const unsigned char *key, const unsigned char *iv)
439 {
440 return EVP_CipherInit(ctx, cipher, key, iv, 0);
441 }
442
443 int EVP_DecryptInit_ex(EVP_CIPHER_CTX *ctx, const EVP_CIPHER *cipher,
444 ENGINE *impl, const unsigned char *key,
445 const unsigned char *iv)
446 {
447 return EVP_CipherInit_ex(ctx, cipher, impl, key, iv, 0);
448 }
449
450 /*
451 * According to the letter of standard difference between pointers
452 * is specified to be valid only within same object. This makes
453 * it formally challenging to determine if input and output buffers
454 * are not partially overlapping with standard pointer arithmetic.
455 */
456 #ifdef PTRDIFF_T
457 # undef PTRDIFF_T
458 #endif
459 #if defined(OPENSSL_SYS_VMS) && __INITIAL_POINTER_SIZE==64
460 /*
461 * Then we have VMS that distinguishes itself by adhering to
462 * sizeof(size_t)==4 even in 64-bit builds, which means that
463 * difference between two pointers might be truncated to 32 bits.
464 * In the context one can even wonder how comparison for
465 * equality is implemented. To be on the safe side we adhere to
466 * PTRDIFF_T even for comparison for equality.
467 */
468 # define PTRDIFF_T uint64_t
469 #else
470 # define PTRDIFF_T size_t
471 #endif
472
473 int is_partially_overlapping(const void *ptr1, const void *ptr2, int len)
474 {
475 PTRDIFF_T diff = (PTRDIFF_T)ptr1-(PTRDIFF_T)ptr2;
476 /*
477 * Check for partially overlapping buffers. [Binary logical
478 * operations are used instead of boolean to minimize number
479 * of conditional branches.]
480 */
481 int overlapped = (len > 0) & (diff != 0) & ((diff < (PTRDIFF_T)len) |
482 (diff > (0 - (PTRDIFF_T)len)));
483
484 return overlapped;
485 }
486
487 static int evp_EncryptDecryptUpdate(EVP_CIPHER_CTX *ctx,
488 unsigned char *out, int *outl,
489 const unsigned char *in, int inl)
490 {
491 int i, j, bl, cmpl = inl;
492
493 if (EVP_CIPHER_CTX_test_flags(ctx, EVP_CIPH_FLAG_LENGTH_BITS))
494 cmpl = (cmpl + 7) / 8;
495
496 bl = ctx->cipher->block_size;
497
498 if (inl <= 0) {
499 *outl = 0;
500 return inl == 0;
501 }
502
503 if (ctx->cipher->flags & EVP_CIPH_FLAG_CUSTOM_CIPHER) {
504 /* If block size > 1 then the cipher will have to do this check */
505 if (bl == 1 && is_partially_overlapping(out, in, cmpl)) {
506 EVPerr(EVP_F_EVP_ENCRYPTDECRYPTUPDATE, EVP_R_PARTIALLY_OVERLAPPING);
507 return 0;
508 }
509
510 i = ctx->cipher->do_cipher(ctx, out, in, inl);
511 if (i < 0)
512 return 0;
513 else
514 *outl = i;
515 return 1;
516 }
517
518 if (is_partially_overlapping(out + ctx->buf_len, in, cmpl)) {
519 EVPerr(EVP_F_EVP_ENCRYPTDECRYPTUPDATE, EVP_R_PARTIALLY_OVERLAPPING);
520 return 0;
521 }
522
523 if (ctx->buf_len == 0 && (inl & (ctx->block_mask)) == 0) {
524 if (ctx->cipher->do_cipher(ctx, out, in, inl)) {
525 *outl = inl;
526 return 1;
527 } else {
528 *outl = 0;
529 return 0;
530 }
531 }
532 i = ctx->buf_len;
533 OPENSSL_assert(bl <= (int)sizeof(ctx->buf));
534 if (i != 0) {
535 if (bl - i > inl) {
536 memcpy(&(ctx->buf[i]), in, inl);
537 ctx->buf_len += inl;
538 *outl = 0;
539 return 1;
540 } else {
541 j = bl - i;
542 memcpy(&(ctx->buf[i]), in, j);
543 inl -= j;
544 in += j;
545 if (!ctx->cipher->do_cipher(ctx, out, ctx->buf, bl))
546 return 0;
547 out += bl;
548 *outl = bl;
549 }
550 } else
551 *outl = 0;
552 i = inl & (bl - 1);
553 inl -= i;
554 if (inl > 0) {
555 if (!ctx->cipher->do_cipher(ctx, out, in, inl))
556 return 0;
557 *outl += inl;
558 }
559
560 if (i != 0)
561 memcpy(ctx->buf, &(in[inl]), i);
562 ctx->buf_len = i;
563 return 1;
564 }
565
566
567 int EVP_EncryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
568 const unsigned char *in, int inl)
569 {
570 int ret;
571 size_t soutl;
572 int blocksize;
573
574 /* Prevent accidental use of decryption context when encrypting */
575 if (!ctx->encrypt) {
576 EVPerr(EVP_F_EVP_ENCRYPTUPDATE, EVP_R_INVALID_OPERATION);
577 return 0;
578 }
579
580 if (ctx->cipher == NULL || ctx->cipher->prov == NULL)
581 goto legacy;
582
583 blocksize = EVP_CIPHER_CTX_block_size(ctx);
584
585 if (ctx->cipher->cupdate == NULL || blocksize < 1) {
586 EVPerr(EVP_F_EVP_ENCRYPTUPDATE, EVP_R_UPDATE_ERROR);
587 return 0;
588 }
589 ret = ctx->cipher->cupdate(ctx->provctx, out, &soutl,
590 inl + (blocksize == 1 ? 0 : blocksize), in,
591 (size_t)inl);
592
593 if (ret) {
594 if (soutl > INT_MAX) {
595 EVPerr(EVP_F_EVP_ENCRYPTUPDATE, EVP_R_UPDATE_ERROR);
596 return 0;
597 }
598 *outl = soutl;
599 }
600
601 return ret;
602
603 /* TODO(3.0): Remove legacy code below */
604 legacy:
605
606 return evp_EncryptDecryptUpdate(ctx, out, outl, in, inl);
607 }
608
609 int EVP_EncryptFinal(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl)
610 {
611 int ret;
612 ret = EVP_EncryptFinal_ex(ctx, out, outl);
613 return ret;
614 }
615
616 int EVP_EncryptFinal_ex(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl)
617 {
618 int n, ret;
619 unsigned int i, b, bl;
620 size_t soutl;
621 int blocksize;
622
623 /* Prevent accidental use of decryption context when encrypting */
624 if (!ctx->encrypt) {
625 EVPerr(EVP_F_EVP_ENCRYPTFINAL_EX, EVP_R_INVALID_OPERATION);
626 return 0;
627 }
628
629 if (ctx->cipher == NULL) {
630 EVPerr(EVP_F_EVP_ENCRYPTFINAL_EX, EVP_R_NO_CIPHER_SET);
631 return 0;
632 }
633 if (ctx->cipher->prov == NULL)
634 goto legacy;
635
636 blocksize = EVP_CIPHER_CTX_block_size(ctx);
637
638 if (blocksize < 1 || ctx->cipher->cfinal == NULL) {
639 EVPerr(EVP_F_EVP_ENCRYPTFINAL_EX, EVP_R_FINAL_ERROR);
640 return 0;
641 }
642
643 ret = ctx->cipher->cfinal(ctx->provctx, out, &soutl,
644 blocksize == 1 ? 0 : blocksize);
645
646 if (ret) {
647 if (soutl > INT_MAX) {
648 EVPerr(EVP_F_EVP_ENCRYPTFINAL_EX, EVP_R_FINAL_ERROR);
649 return 0;
650 }
651 *outl = soutl;
652 }
653
654 return ret;
655
656 /* TODO(3.0): Remove legacy code below */
657 legacy:
658
659 if (ctx->cipher->flags & EVP_CIPH_FLAG_CUSTOM_CIPHER) {
660 ret = ctx->cipher->do_cipher(ctx, out, NULL, 0);
661 if (ret < 0)
662 return 0;
663 else
664 *outl = ret;
665 return 1;
666 }
667
668 b = ctx->cipher->block_size;
669 OPENSSL_assert(b <= sizeof(ctx->buf));
670 if (b == 1) {
671 *outl = 0;
672 return 1;
673 }
674 bl = ctx->buf_len;
675 if (ctx->flags & EVP_CIPH_NO_PADDING) {
676 if (bl) {
677 EVPerr(EVP_F_EVP_ENCRYPTFINAL_EX,
678 EVP_R_DATA_NOT_MULTIPLE_OF_BLOCK_LENGTH);
679 return 0;
680 }
681 *outl = 0;
682 return 1;
683 }
684
685 n = b - bl;
686 for (i = bl; i < b; i++)
687 ctx->buf[i] = n;
688 ret = ctx->cipher->do_cipher(ctx, out, ctx->buf, b);
689
690 if (ret)
691 *outl = b;
692
693 return ret;
694 }
695
696 int EVP_DecryptUpdate(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl,
697 const unsigned char *in, int inl)
698 {
699 int fix_len, cmpl = inl, ret;
700 unsigned int b;
701 size_t soutl;
702 int blocksize;
703
704 /* Prevent accidental use of encryption context when decrypting */
705 if (ctx->encrypt) {
706 EVPerr(EVP_F_EVP_DECRYPTUPDATE, EVP_R_INVALID_OPERATION);
707 return 0;
708 }
709
710 if (ctx->cipher == NULL) {
711 EVPerr(EVP_F_EVP_DECRYPTUPDATE, EVP_R_NO_CIPHER_SET);
712 return 0;
713 }
714 if (ctx->cipher->prov == NULL)
715 goto legacy;
716
717 blocksize = EVP_CIPHER_CTX_block_size(ctx);
718
719 if (ctx->cipher->cupdate == NULL || blocksize < 1) {
720 EVPerr(EVP_F_EVP_DECRYPTUPDATE, EVP_R_UPDATE_ERROR);
721 return 0;
722 }
723 ret = ctx->cipher->cupdate(ctx->provctx, out, &soutl,
724 inl + (blocksize == 1 ? 0 : blocksize), in,
725 (size_t)inl);
726
727 if (ret) {
728 if (soutl > INT_MAX) {
729 EVPerr(EVP_F_EVP_DECRYPTUPDATE, EVP_R_UPDATE_ERROR);
730 return 0;
731 }
732 *outl = soutl;
733 }
734
735 return ret;
736
737 /* TODO(3.0): Remove legacy code below */
738 legacy:
739
740 b = ctx->cipher->block_size;
741
742 if (EVP_CIPHER_CTX_test_flags(ctx, EVP_CIPH_FLAG_LENGTH_BITS))
743 cmpl = (cmpl + 7) / 8;
744
745 if (inl <= 0) {
746 *outl = 0;
747 return inl == 0;
748 }
749
750 if (ctx->cipher->flags & EVP_CIPH_FLAG_CUSTOM_CIPHER) {
751 if (b == 1 && is_partially_overlapping(out, in, cmpl)) {
752 EVPerr(EVP_F_EVP_DECRYPTUPDATE, EVP_R_PARTIALLY_OVERLAPPING);
753 return 0;
754 }
755
756 fix_len = ctx->cipher->do_cipher(ctx, out, in, inl);
757 if (fix_len < 0) {
758 *outl = 0;
759 return 0;
760 } else
761 *outl = fix_len;
762 return 1;
763 }
764
765 if (ctx->flags & EVP_CIPH_NO_PADDING)
766 return evp_EncryptDecryptUpdate(ctx, out, outl, in, inl);
767
768 OPENSSL_assert(b <= sizeof(ctx->final));
769
770 if (ctx->final_used) {
771 /* see comment about PTRDIFF_T comparison above */
772 if (((PTRDIFF_T)out == (PTRDIFF_T)in)
773 || is_partially_overlapping(out, in, b)) {
774 EVPerr(EVP_F_EVP_DECRYPTUPDATE, EVP_R_PARTIALLY_OVERLAPPING);
775 return 0;
776 }
777 memcpy(out, ctx->final, b);
778 out += b;
779 fix_len = 1;
780 } else
781 fix_len = 0;
782
783 if (!evp_EncryptDecryptUpdate(ctx, out, outl, in, inl))
784 return 0;
785
786 /*
787 * if we have 'decrypted' a multiple of block size, make sure we have a
788 * copy of this last block
789 */
790 if (b > 1 && !ctx->buf_len) {
791 *outl -= b;
792 ctx->final_used = 1;
793 memcpy(ctx->final, &out[*outl], b);
794 } else
795 ctx->final_used = 0;
796
797 if (fix_len)
798 *outl += b;
799
800 return 1;
801 }
802
803 int EVP_DecryptFinal(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl)
804 {
805 int ret;
806 ret = EVP_DecryptFinal_ex(ctx, out, outl);
807 return ret;
808 }
809
810 int EVP_DecryptFinal_ex(EVP_CIPHER_CTX *ctx, unsigned char *out, int *outl)
811 {
812 int i, n;
813 unsigned int b;
814 size_t soutl;
815 int ret;
816 int blocksize;
817
818 /* Prevent accidental use of encryption context when decrypting */
819 if (ctx->encrypt) {
820 EVPerr(EVP_F_EVP_DECRYPTFINAL_EX, EVP_R_INVALID_OPERATION);
821 return 0;
822 }
823
824 if (ctx->cipher == NULL || ctx->cipher->prov == NULL)
825 goto legacy;
826
827 blocksize = EVP_CIPHER_CTX_block_size(ctx);
828
829 if (blocksize < 1 || ctx->cipher->cfinal == NULL) {
830 EVPerr(EVP_F_EVP_DECRYPTFINAL_EX, EVP_R_FINAL_ERROR);
831 return 0;
832 }
833
834 ret = ctx->cipher->cfinal(ctx->provctx, out, &soutl,
835 blocksize == 1 ? 0 : blocksize);
836
837 if (ret) {
838 if (soutl > INT_MAX) {
839 EVPerr(EVP_F_EVP_DECRYPTFINAL_EX, EVP_R_FINAL_ERROR);
840 return 0;
841 }
842 *outl = soutl;
843 }
844
845 return ret;
846
847 /* TODO(3.0): Remove legacy code below */
848 legacy:
849
850 *outl = 0;
851 if (ctx->cipher == NULL) {
852 EVPerr(EVP_F_EVP_DECRYPTFINAL_EX, EVP_R_NO_CIPHER_SET);
853 return 0;
854 }
855
856 if (ctx->cipher->flags & EVP_CIPH_FLAG_CUSTOM_CIPHER) {
857 i = ctx->cipher->do_cipher(ctx, out, NULL, 0);
858 if (i < 0)
859 return 0;
860 else
861 *outl = i;
862 return 1;
863 }
864
865 b = ctx->cipher->block_size;
866 if (ctx->flags & EVP_CIPH_NO_PADDING) {
867 if (ctx->buf_len) {
868 EVPerr(EVP_F_EVP_DECRYPTFINAL_EX,
869 EVP_R_DATA_NOT_MULTIPLE_OF_BLOCK_LENGTH);
870 return 0;
871 }
872 *outl = 0;
873 return 1;
874 }
875 if (b > 1) {
876 if (ctx->buf_len || !ctx->final_used) {
877 EVPerr(EVP_F_EVP_DECRYPTFINAL_EX, EVP_R_WRONG_FINAL_BLOCK_LENGTH);
878 return 0;
879 }
880 OPENSSL_assert(b <= sizeof(ctx->final));
881
882 /*
883 * The following assumes that the ciphertext has been authenticated.
884 * Otherwise it provides a padding oracle.
885 */
886 n = ctx->final[b - 1];
887 if (n == 0 || n > (int)b) {
888 EVPerr(EVP_F_EVP_DECRYPTFINAL_EX, EVP_R_BAD_DECRYPT);
889 return 0;
890 }
891 for (i = 0; i < n; i++) {
892 if (ctx->final[--b] != n) {
893 EVPerr(EVP_F_EVP_DECRYPTFINAL_EX, EVP_R_BAD_DECRYPT);
894 return 0;
895 }
896 }
897 n = ctx->cipher->block_size - n;
898 for (i = 0; i < n; i++)
899 out[i] = ctx->final[i];
900 *outl = n;
901 } else
902 *outl = 0;
903 return 1;
904 }
905
906 int EVP_CIPHER_CTX_set_key_length(EVP_CIPHER_CTX *c, int keylen)
907 {
908 if (c->cipher->flags & EVP_CIPH_CUSTOM_KEY_LENGTH)
909 return EVP_CIPHER_CTX_ctrl(c, EVP_CTRL_SET_KEY_LENGTH, keylen, NULL);
910 if (EVP_CIPHER_CTX_key_length(c) == keylen)
911 return 1;
912 if ((keylen > 0) && (c->cipher->flags & EVP_CIPH_VARIABLE_LENGTH)) {
913 c->key_len = keylen;
914 return 1;
915 }
916 EVPerr(EVP_F_EVP_CIPHER_CTX_SET_KEY_LENGTH, EVP_R_INVALID_KEY_LENGTH);
917 return 0;
918 }
919
920 int EVP_CIPHER_CTX_set_padding(EVP_CIPHER_CTX *ctx, int pad)
921 {
922 if (pad)
923 ctx->flags &= ~EVP_CIPH_NO_PADDING;
924 else
925 ctx->flags |= EVP_CIPH_NO_PADDING;
926
927 if (ctx->cipher != NULL && ctx->cipher->prov != NULL) {
928 OSSL_PARAM params[] = {
929 OSSL_PARAM_int(OSSL_CIPHER_PARAM_PADDING, NULL),
930 OSSL_PARAM_END
931 };
932
933 params[0].data = &pad;
934
935 if (ctx->cipher->ctx_set_params == NULL) {
936 EVPerr(EVP_F_EVP_CIPHER_CTX_SET_PADDING, EVP_R_CTRL_NOT_IMPLEMENTED);
937 return 0;
938 }
939
940 if (!ctx->cipher->ctx_set_params(ctx->provctx, params))
941 return 0;
942 }
943
944 return 1;
945 }
946
947 int EVP_CIPHER_CTX_ctrl(EVP_CIPHER_CTX *ctx, int type, int arg, void *ptr)
948 {
949 int ret;
950
951 if (!ctx->cipher) {
952 EVPerr(EVP_F_EVP_CIPHER_CTX_CTRL, EVP_R_NO_CIPHER_SET);
953 return 0;
954 }
955
956 if (!ctx->cipher->ctrl) {
957 EVPerr(EVP_F_EVP_CIPHER_CTX_CTRL, EVP_R_CTRL_NOT_IMPLEMENTED);
958 return 0;
959 }
960
961 ret = ctx->cipher->ctrl(ctx, type, arg, ptr);
962 if (ret == -1) {
963 EVPerr(EVP_F_EVP_CIPHER_CTX_CTRL,
964 EVP_R_CTRL_OPERATION_NOT_IMPLEMENTED);
965 return 0;
966 }
967 return ret;
968 }
969
970 int EVP_CIPHER_CTX_rand_key(EVP_CIPHER_CTX *ctx, unsigned char *key)
971 {
972 int kl;
973 if (ctx->cipher->flags & EVP_CIPH_RAND_KEY)
974 return EVP_CIPHER_CTX_ctrl(ctx, EVP_CTRL_RAND_KEY, 0, key);
975 kl = EVP_CIPHER_CTX_key_length(ctx);
976 if (kl <= 0 || RAND_priv_bytes(key, kl) <= 0)
977 return 0;
978 return 1;
979 }
980
981 int EVP_CIPHER_CTX_copy(EVP_CIPHER_CTX *out, const EVP_CIPHER_CTX *in)
982 {
983 if ((in == NULL) || (in->cipher == NULL)) {
984 EVPerr(EVP_F_EVP_CIPHER_CTX_COPY, EVP_R_INPUT_NOT_INITIALIZED);
985 return 0;
986 }
987
988 if (in->cipher->prov == NULL)
989 goto legacy;
990
991 if (in->cipher->dupctx == NULL) {
992 EVPerr(EVP_F_EVP_CIPHER_CTX_COPY, EVP_R_NOT_ABLE_TO_COPY_CTX);
993 return 0;
994 }
995
996 EVP_CIPHER_CTX_reset(out);
997
998 *out = *in;
999 out->provctx = NULL;
1000
1001 if (in->fetched_cipher != NULL && !EVP_CIPHER_upref(in->fetched_cipher)) {
1002 out->fetched_cipher = NULL;
1003 return 0;
1004 }
1005
1006 out->provctx = in->cipher->dupctx(in->provctx);
1007 if (out->provctx == NULL) {
1008 EVPerr(EVP_F_EVP_CIPHER_CTX_COPY, EVP_R_NOT_ABLE_TO_COPY_CTX);
1009 return 0;
1010 }
1011
1012 return 1;
1013
1014 /* TODO(3.0): Remove legacy code below */
1015 legacy:
1016
1017 #ifndef OPENSSL_NO_ENGINE
1018 /* Make sure it's safe to copy a cipher context using an ENGINE */
1019 if (in->engine && !ENGINE_init(in->engine)) {
1020 EVPerr(EVP_F_EVP_CIPHER_CTX_COPY, ERR_R_ENGINE_LIB);
1021 return 0;
1022 }
1023 #endif
1024
1025 EVP_CIPHER_CTX_reset(out);
1026 memcpy(out, in, sizeof(*out));
1027
1028 if (in->cipher_data && in->cipher->ctx_size) {
1029 out->cipher_data = OPENSSL_malloc(in->cipher->ctx_size);
1030 if (out->cipher_data == NULL) {
1031 out->cipher = NULL;
1032 EVPerr(EVP_F_EVP_CIPHER_CTX_COPY, ERR_R_MALLOC_FAILURE);
1033 return 0;
1034 }
1035 memcpy(out->cipher_data, in->cipher_data, in->cipher->ctx_size);
1036 }
1037
1038 if (in->cipher->flags & EVP_CIPH_CUSTOM_COPY)
1039 if (!in->cipher->ctrl((EVP_CIPHER_CTX *)in, EVP_CTRL_COPY, 0, out)) {
1040 out->cipher = NULL;
1041 EVPerr(EVP_F_EVP_CIPHER_CTX_COPY, EVP_R_INITIALIZATION_ERROR);
1042 return 0;
1043 }
1044 return 1;
1045 }
1046
1047 static void *evp_cipher_from_dispatch(int nid, const OSSL_DISPATCH *fns,
1048 OSSL_PROVIDER *prov)
1049 {
1050 EVP_CIPHER *cipher = NULL;
1051 int fnciphcnt = 0, fnctxcnt = 0;
1052
1053 if ((cipher = EVP_CIPHER_meth_new(nid, 0, 0)) == NULL)
1054 return NULL;
1055
1056 for (; fns->function_id != 0; fns++) {
1057 switch (fns->function_id) {
1058 case OSSL_FUNC_CIPHER_NEWCTX:
1059 if (cipher->newctx != NULL)
1060 break;
1061 cipher->newctx = OSSL_get_OP_cipher_newctx(fns);
1062 fnctxcnt++;
1063 break;
1064 case OSSL_FUNC_CIPHER_ENCRYPT_INIT:
1065 if (cipher->einit != NULL)
1066 break;
1067 cipher->einit = OSSL_get_OP_cipher_encrypt_init(fns);
1068 fnciphcnt++;
1069 break;
1070 case OSSL_FUNC_CIPHER_DECRYPT_INIT:
1071 if (cipher->dinit != NULL)
1072 break;
1073 cipher->dinit = OSSL_get_OP_cipher_decrypt_init(fns);
1074 fnciphcnt++;
1075 break;
1076 case OSSL_FUNC_CIPHER_UPDATE:
1077 if (cipher->cupdate != NULL)
1078 break;
1079 cipher->cupdate = OSSL_get_OP_cipher_update(fns);
1080 fnciphcnt++;
1081 break;
1082 case OSSL_FUNC_CIPHER_FINAL:
1083 if (cipher->cfinal != NULL)
1084 break;
1085 cipher->cfinal = OSSL_get_OP_cipher_final(fns);
1086 fnciphcnt++;
1087 break;
1088 case OSSL_FUNC_CIPHER_CIPHER:
1089 if (cipher->ccipher != NULL)
1090 break;
1091 cipher->ccipher = OSSL_get_OP_cipher_cipher(fns);
1092 break;
1093 case OSSL_FUNC_CIPHER_FREECTX:
1094 if (cipher->freectx != NULL)
1095 break;
1096 cipher->freectx = OSSL_get_OP_cipher_freectx(fns);
1097 fnctxcnt++;
1098 break;
1099 case OSSL_FUNC_CIPHER_DUPCTX:
1100 if (cipher->dupctx != NULL)
1101 break;
1102 cipher->dupctx = OSSL_get_OP_cipher_dupctx(fns);
1103 break;
1104 case OSSL_FUNC_CIPHER_KEY_LENGTH:
1105 if (cipher->key_length != NULL)
1106 break;
1107 cipher->key_length = OSSL_get_OP_cipher_key_length(fns);
1108 break;
1109 case OSSL_FUNC_CIPHER_IV_LENGTH:
1110 if (cipher->iv_length != NULL)
1111 break;
1112 cipher->iv_length = OSSL_get_OP_cipher_iv_length(fns);
1113 break;
1114 case OSSL_FUNC_CIPHER_BLOCK_SIZE:
1115 if (cipher->blocksize != NULL)
1116 break;
1117 cipher->blocksize = OSSL_get_OP_cipher_block_size(fns);
1118 break;
1119 case OSSL_FUNC_CIPHER_GET_PARAMS:
1120 if (cipher->get_params != NULL)
1121 break;
1122 cipher->get_params = OSSL_get_OP_cipher_get_params(fns);
1123 break;
1124 case OSSL_FUNC_CIPHER_CTX_GET_PARAMS:
1125 if (cipher->ctx_get_params != NULL)
1126 break;
1127 cipher->ctx_get_params = OSSL_get_OP_cipher_ctx_get_params(fns);
1128 break;
1129 case OSSL_FUNC_CIPHER_CTX_SET_PARAMS:
1130 if (cipher->ctx_set_params != NULL)
1131 break;
1132 cipher->ctx_set_params = OSSL_get_OP_cipher_ctx_set_params(fns);
1133 break;
1134 }
1135 }
1136 if ((fnciphcnt != 0 && fnciphcnt != 3 && fnciphcnt != 4)
1137 || (fnciphcnt == 0 && cipher->ccipher == NULL)
1138 || fnctxcnt != 2
1139 || cipher->blocksize == NULL
1140 || cipher->iv_length == NULL
1141 || cipher->key_length == NULL) {
1142 /*
1143 * In order to be a consistent set of functions we must have at least
1144 * a complete set of "encrypt" functions, or a complete set of "decrypt"
1145 * functions, or a single "cipher" function. In all cases we need a
1146 * complete set of context management functions, as well as the
1147 * blocksize, iv_length and key_length functions.
1148 */
1149 EVP_CIPHER_meth_free(cipher);
1150 EVPerr(EVP_F_EVP_CIPHER_FROM_DISPATCH, EVP_R_INVALID_PROVIDER_FUNCTIONS);
1151 return NULL;
1152 }
1153 cipher->prov = prov;
1154 if (prov != NULL)
1155 ossl_provider_upref(prov);
1156
1157 return cipher;
1158 }
1159
1160 static int evp_cipher_upref(void *cipher)
1161 {
1162 return EVP_CIPHER_upref(cipher);
1163 }
1164
1165 static void evp_cipher_free(void *cipher)
1166 {
1167 EVP_CIPHER_meth_free(cipher);
1168 }
1169
1170 static int evp_cipher_nid(void *vcipher)
1171 {
1172 EVP_CIPHER *cipher = vcipher;
1173
1174 return cipher->nid;
1175 }
1176
1177 EVP_CIPHER *EVP_CIPHER_fetch(OPENSSL_CTX *ctx, const char *algorithm,
1178 const char *properties)
1179 {
1180 return evp_generic_fetch(ctx, OSSL_OP_CIPHER, algorithm, properties,
1181 evp_cipher_from_dispatch, evp_cipher_upref,
1182 evp_cipher_free, evp_cipher_nid);
1183 }