blob: b2cd70471056dbb6bf31980cdf9bb7a24f373abd [file] [log] [blame]
Paul Bakker20a78082011-01-21 09:32:12 +00001/*
2 * \brief Generic file encryption program using generic wrappers for configured
3 * security.
4 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02005 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +00006 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakker20a78082011-01-21 09:32:12 +00007 */
8
Nicholas Wilson2682edf2017-12-05 12:08:15 +00009/* Enable definition of fileno() even when compiling with -std=c99. Must be
Bence Szépkútibb0cfeb2021-05-28 09:42:25 +020010 * set before mbedtls_config.h, which pulls in glibc's features.h indirectly.
Nicholas Wilson2682edf2017-12-05 12:08:15 +000011 * Harmless on other platforms. */
nia1c0c8372020-06-11 12:03:45 +010012#define _POSIX_C_SOURCE 200112L
Nicholas Wilson2682edf2017-12-05 12:08:15 +000013
Bence Szépkútic662b362021-05-27 11:25:03 +020014#include "mbedtls/build_info.h"
Paul Bakker20a78082011-01-21 09:32:12 +000015
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000016#include "mbedtls/platform.h"
Rich Evans18b78c72015-02-11 14:06:19 +000017
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020018#if defined(MBEDTLS_CIPHER_C) && defined(MBEDTLS_MD_C) && \
Gilles Peskine449bd832023-01-11 14:50:10 +010019 defined(MBEDTLS_FS_IO)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000020#include "mbedtls/cipher.h"
21#include "mbedtls/md.h"
Hanno Becker0b44d5c2018-10-12 16:46:37 +010022#include "mbedtls/platform_util.h"
Rich Evans18b78c72015-02-11 14:06:19 +000023
24#include <stdio.h>
25#include <stdlib.h>
26#include <string.h>
Rich Evansf90016a2015-01-19 14:26:37 +000027#endif
28
Paul Bakker494c0b82011-04-24 15:30:07 +000029#if defined(_WIN32)
Paul Bakker20a78082011-01-21 09:32:12 +000030#include <windows.h>
Paul Bakkercce9d772011-11-18 14:26:47 +000031#if !defined(_WIN32_WCE)
Paul Bakker20a78082011-01-21 09:32:12 +000032#include <io.h>
Paul Bakkercce9d772011-11-18 14:26:47 +000033#endif
Paul Bakker20a78082011-01-21 09:32:12 +000034#else
35#include <sys/types.h>
36#include <unistd.h>
37#endif
38
Paul Bakker20a78082011-01-21 09:32:12 +000039#define MODE_ENCRYPT 0
40#define MODE_DECRYPT 1
41
42#define USAGE \
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020043 "\n crypt_and_hash <mode> <input filename> <output filename> <cipher> <mbedtls_md> <key>\n" \
Paul Bakker20a78082011-01-21 09:32:12 +000044 "\n <mode>: 0 = encrypt, 1 = decrypt\n" \
45 "\n example: crypt_and_hash 0 file file.aes AES-128-CBC SHA1 hex:E76B2413958B00E193\n" \
46 "\n"
47
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020048#if !defined(MBEDTLS_CIPHER_C) || !defined(MBEDTLS_MD_C) || \
49 !defined(MBEDTLS_FS_IO)
Gilles Peskine449bd832023-01-11 14:50:10 +010050int main(void)
Paul Bakker5690efc2011-05-26 13:16:06 +000051{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020052 mbedtls_printf("MBEDTLS_CIPHER_C and/or MBEDTLS_MD_C and/or MBEDTLS_FS_IO not defined.\n");
Gilles Peskine449bd832023-01-11 14:50:10 +010053 mbedtls_exit(0);
Paul Bakker5690efc2011-05-26 13:16:06 +000054}
55#else
Simon Butcher63cb97e2018-12-06 17:43:31 +000056
Simon Butcher63cb97e2018-12-06 17:43:31 +000057
Gilles Peskine449bd832023-01-11 14:50:10 +010058int main(int argc, char *argv[])
Paul Bakker20a78082011-01-21 09:32:12 +000059{
Gilles Peskinea5fc9392020-04-14 19:34:19 +020060 int ret = 1, i;
61 unsigned n;
Andres Amaya Garcia4c47df62018-04-29 19:11:26 +010062 int exit_code = MBEDTLS_EXIT_FAILURE;
Paul Bakker243f48e2016-09-02 22:44:09 +020063 int mode;
Paul Bakker25b5fe52011-05-26 14:02:58 +000064 size_t keylen, ilen, olen;
Paul Bakker20a78082011-01-21 09:32:12 +000065 FILE *fkey, *fin = NULL, *fout = NULL;
66
67 char *p;
68 unsigned char IV[16];
69 unsigned char key[512];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020070 unsigned char digest[MBEDTLS_MD_MAX_SIZE];
Paul Bakker20a78082011-01-21 09:32:12 +000071 unsigned char buffer[1024];
72 unsigned char output[1024];
Paul Bakker424cd692013-10-31 14:22:08 +010073 unsigned char diff;
Paul Bakker20a78082011-01-21 09:32:12 +000074
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020075 const mbedtls_cipher_info_t *cipher_info;
76 const mbedtls_md_info_t *md_info;
77 mbedtls_cipher_context_t cipher_ctx;
78 mbedtls_md_context_t md_ctx;
Waleed Elmelegy46549cb2023-06-12 14:53:02 +010079 mbedtls_cipher_mode_t cipher_mode;
80 unsigned int cipher_block_size;
81 unsigned char md_size;
Paul Bakkercce9d772011-11-18 14:26:47 +000082#if defined(_WIN32_WCE)
83 long filesize, offset;
84#elif defined(_WIN32)
Gilles Peskine449bd832023-01-11 14:50:10 +010085 LARGE_INTEGER li_size;
Paul Bakker20a78082011-01-21 09:32:12 +000086 __int64 filesize, offset;
87#else
Gilles Peskine449bd832023-01-11 14:50:10 +010088 off_t filesize, offset;
Paul Bakker20a78082011-01-21 09:32:12 +000089#endif
90
Gilles Peskine449bd832023-01-11 14:50:10 +010091 mbedtls_cipher_init(&cipher_ctx);
92 mbedtls_md_init(&md_ctx);
Paul Bakker20a78082011-01-21 09:32:12 +000093
94 /*
95 * Parse the command-line arguments.
96 */
Gilles Peskine449bd832023-01-11 14:50:10 +010097 if (argc != 7) {
Paul Bakker20a78082011-01-21 09:32:12 +000098 const int *list;
99
Gilles Peskine449bd832023-01-11 14:50:10 +0100100 mbedtls_printf(USAGE);
Paul Bakker20a78082011-01-21 09:32:12 +0000101
Gilles Peskine449bd832023-01-11 14:50:10 +0100102 mbedtls_printf("Available ciphers:\n");
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103 list = mbedtls_cipher_list();
Gilles Peskine449bd832023-01-11 14:50:10 +0100104 while (*list) {
105 cipher_info = mbedtls_cipher_info_from_type(*list);
Paul Elliotte4b3f752023-12-11 17:57:16 +0000106 const char *name = mbedtls_cipher_info_get_name(cipher_info);
Paul Elliott80fa88e2023-11-24 17:12:24 +0000107
Paul Elliotte4b3f752023-12-11 17:57:16 +0000108 if (name) {
109 mbedtls_printf(" %s\n", mbedtls_cipher_info_get_name(cipher_info));
Paul Elliott80fa88e2023-11-24 17:12:24 +0000110 }
Paul Bakker20a78082011-01-21 09:32:12 +0000111 list++;
112 }
113
Gilles Peskine449bd832023-01-11 14:50:10 +0100114 mbedtls_printf("\nAvailable message digests:\n");
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115 list = mbedtls_md_list();
Gilles Peskine449bd832023-01-11 14:50:10 +0100116 while (*list) {
117 md_info = mbedtls_md_info_from_type(*list);
118 mbedtls_printf(" %s\n", mbedtls_md_get_name(md_info));
Paul Bakker20a78082011-01-21 09:32:12 +0000119 list++;
120 }
121
Paul Bakker20a78082011-01-21 09:32:12 +0000122 goto exit;
123 }
124
Gilles Peskine449bd832023-01-11 14:50:10 +0100125 mode = atoi(argv[1]);
Paul Bakker20a78082011-01-21 09:32:12 +0000126
Gilles Peskine449bd832023-01-11 14:50:10 +0100127 if (mode != MODE_ENCRYPT && mode != MODE_DECRYPT) {
128 mbedtls_fprintf(stderr, "invalid operation mode\n");
Paul Bakker20a78082011-01-21 09:32:12 +0000129 goto exit;
130 }
131
Gilles Peskine449bd832023-01-11 14:50:10 +0100132 if (strcmp(argv[2], argv[3]) == 0) {
133 mbedtls_fprintf(stderr, "input and output filenames must differ\n");
Paul Bakker20a78082011-01-21 09:32:12 +0000134 goto exit;
135 }
136
Gilles Peskine449bd832023-01-11 14:50:10 +0100137 if ((fin = fopen(argv[2], "rb")) == NULL) {
138 mbedtls_fprintf(stderr, "fopen(%s,rb) failed\n", argv[2]);
Paul Bakker20a78082011-01-21 09:32:12 +0000139 goto exit;
140 }
141
Gilles Peskine449bd832023-01-11 14:50:10 +0100142 if ((fout = fopen(argv[3], "wb+")) == NULL) {
143 mbedtls_fprintf(stderr, "fopen(%s,wb+) failed\n", argv[3]);
Paul Bakker20a78082011-01-21 09:32:12 +0000144 goto exit;
145 }
146
Gilles Peskine6d576c92022-06-30 17:06:11 +0200147 /* Ensure no stdio buffering of secrets, as such buffers cannot be wiped. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100148 mbedtls_setbuf(fin, NULL);
149 mbedtls_setbuf(fout, NULL);
Gilles Peskine6d576c92022-06-30 17:06:11 +0200150
Paul Bakker20a78082011-01-21 09:32:12 +0000151 /*
152 * Read the Cipher and MD from the command line
153 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100154 cipher_info = mbedtls_cipher_info_from_string(argv[4]);
155 if (cipher_info == NULL) {
156 mbedtls_fprintf(stderr, "Cipher '%s' not found\n", argv[4]);
Paul Bakker20a78082011-01-21 09:32:12 +0000157 goto exit;
158 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100159 if ((ret = mbedtls_cipher_setup(&cipher_ctx, cipher_info)) != 0) {
160 mbedtls_fprintf(stderr, "mbedtls_cipher_setup failed\n");
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200161 goto exit;
162 }
Paul Bakker20a78082011-01-21 09:32:12 +0000163
Gilles Peskine449bd832023-01-11 14:50:10 +0100164 md_info = mbedtls_md_info_from_string(argv[5]);
165 if (md_info == NULL) {
166 mbedtls_fprintf(stderr, "Message Digest '%s' not found\n", argv[5]);
Paul Bakker20a78082011-01-21 09:32:12 +0000167 goto exit;
168 }
Janos Follath8eb64132016-06-03 15:40:57 +0100169
Gilles Peskine449bd832023-01-11 14:50:10 +0100170 if (mbedtls_md_setup(&md_ctx, md_info, 1) != 0) {
171 mbedtls_fprintf(stderr, "mbedtls_md_setup failed\n");
Janos Follath8eb64132016-06-03 15:40:57 +0100172 goto exit;
173 }
Paul Bakker20a78082011-01-21 09:32:12 +0000174
175 /*
Hanno Becker840bace2017-06-27 11:36:21 +0100176 * Read the secret key from file or command line
Paul Bakker20a78082011-01-21 09:32:12 +0000177 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100178 if ((fkey = fopen(argv[6], "rb")) != NULL) {
179 keylen = fread(key, 1, sizeof(key), fkey);
180 fclose(fkey);
181 } else {
182 if (memcmp(argv[6], "hex:", 4) == 0) {
Paul Bakker20a78082011-01-21 09:32:12 +0000183 p = &argv[6][4];
184 keylen = 0;
185
Gilles Peskine449bd832023-01-11 14:50:10 +0100186 while (sscanf(p, "%02X", (unsigned int *) &n) > 0 &&
187 keylen < (int) sizeof(key)) {
Paul Bakker20a78082011-01-21 09:32:12 +0000188 key[keylen++] = (unsigned char) n;
189 p += 2;
190 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100191 } else {
192 keylen = strlen(argv[6]);
Paul Bakker20a78082011-01-21 09:32:12 +0000193
Gilles Peskine449bd832023-01-11 14:50:10 +0100194 if (keylen > (int) sizeof(key)) {
195 keylen = (int) sizeof(key);
196 }
Paul Bakker20a78082011-01-21 09:32:12 +0000197
Gilles Peskine449bd832023-01-11 14:50:10 +0100198 memcpy(key, argv[6], keylen);
Paul Bakker20a78082011-01-21 09:32:12 +0000199 }
200 }
201
Paul Bakkercce9d772011-11-18 14:26:47 +0000202#if defined(_WIN32_WCE)
Gilles Peskine449bd832023-01-11 14:50:10 +0100203 filesize = fseek(fin, 0L, SEEK_END);
Paul Bakkercce9d772011-11-18 14:26:47 +0000204#else
205#if defined(_WIN32)
Paul Bakker20a78082011-01-21 09:32:12 +0000206 /*
207 * Support large files (> 2Gb) on Win32
208 */
209 li_size.QuadPart = 0;
210 li_size.LowPart =
Gilles Peskine449bd832023-01-11 14:50:10 +0100211 SetFilePointer((HANDLE) _get_osfhandle(_fileno(fin)),
212 li_size.LowPart, &li_size.HighPart, FILE_END);
Paul Bakker20a78082011-01-21 09:32:12 +0000213
Gilles Peskine449bd832023-01-11 14:50:10 +0100214 if (li_size.LowPart == 0xFFFFFFFF && GetLastError() != NO_ERROR) {
215 mbedtls_fprintf(stderr, "SetFilePointer(0,FILE_END) failed\n");
Paul Bakker20a78082011-01-21 09:32:12 +0000216 goto exit;
217 }
218
219 filesize = li_size.QuadPart;
220#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100221 if ((filesize = lseek(fileno(fin), 0, SEEK_END)) < 0) {
222 perror("lseek");
Paul Bakker20a78082011-01-21 09:32:12 +0000223 goto exit;
224 }
225#endif
Paul Bakkercce9d772011-11-18 14:26:47 +0000226#endif
Paul Bakker20a78082011-01-21 09:32:12 +0000227
Gilles Peskine449bd832023-01-11 14:50:10 +0100228 if (fseek(fin, 0, SEEK_SET) < 0) {
229 mbedtls_fprintf(stderr, "fseek(0,SEEK_SET) failed\n");
Paul Bakker20a78082011-01-21 09:32:12 +0000230 goto exit;
231 }
232
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100233 md_size = mbedtls_md_get_size(md_info);
234 cipher_block_size = mbedtls_cipher_get_block_size(&cipher_ctx);
235
Gilles Peskine449bd832023-01-11 14:50:10 +0100236 if (mode == MODE_ENCRYPT) {
Paul Bakker20a78082011-01-21 09:32:12 +0000237 /*
238 * Generate the initialization vector as:
Paul Bakker243f48e2016-09-02 22:44:09 +0200239 * IV = MD( filesize || filename )[0..15]
Paul Bakker20a78082011-01-21 09:32:12 +0000240 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100241 for (i = 0; i < 8; i++) {
242 buffer[i] = (unsigned char) (filesize >> (i << 3));
243 }
Paul Bakker20a78082011-01-21 09:32:12 +0000244
245 p = argv[2];
246
Gilles Peskine449bd832023-01-11 14:50:10 +0100247 if (mbedtls_md_starts(&md_ctx) != 0) {
248 mbedtls_fprintf(stderr, "mbedtls_md_starts() returned error\n");
Paul Elliottd79d3eb2021-12-09 17:18:10 +0000249 goto exit;
250 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100251 if (mbedtls_md_update(&md_ctx, buffer, 8) != 0) {
252 mbedtls_fprintf(stderr, "mbedtls_md_update() returned error\n");
Paul Elliottd79d3eb2021-12-09 17:18:10 +0000253 goto exit;
254 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100255 if (mbedtls_md_update(&md_ctx, (unsigned char *) p, strlen(p))
256 != 0) {
257 mbedtls_fprintf(stderr, "mbedtls_md_update() returned error\n");
Paul Elliottd79d3eb2021-12-09 17:18:10 +0000258 goto exit;
259 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100260 if (mbedtls_md_finish(&md_ctx, digest) != 0) {
261 mbedtls_fprintf(stderr, "mbedtls_md_finish() returned error\n");
Paul Elliottd79d3eb2021-12-09 17:18:10 +0000262 goto exit;
263 }
Paul Bakker20a78082011-01-21 09:32:12 +0000264
Gilles Peskine449bd832023-01-11 14:50:10 +0100265 memcpy(IV, digest, 16);
Paul Bakker20a78082011-01-21 09:32:12 +0000266
267 /*
Paul Bakker20a78082011-01-21 09:32:12 +0000268 * Append the IV at the beginning of the output.
269 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100270 if (fwrite(IV, 1, 16, fout) != 16) {
271 mbedtls_fprintf(stderr, "fwrite(%d bytes) failed\n", 16);
Paul Bakker20a78082011-01-21 09:32:12 +0000272 goto exit;
273 }
274
275 /*
276 * Hash the IV and the secret key together 8192 times
277 * using the result to setup the AES context and HMAC.
278 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100279 memset(digest, 0, 32);
280 memcpy(digest, IV, 16);
Paul Bakker20a78082011-01-21 09:32:12 +0000281
Gilles Peskine449bd832023-01-11 14:50:10 +0100282 for (i = 0; i < 8192; i++) {
283 if (mbedtls_md_starts(&md_ctx) != 0) {
284 mbedtls_fprintf(stderr,
285 "mbedtls_md_starts() returned error\n");
Paul Elliottd79d3eb2021-12-09 17:18:10 +0000286 goto exit;
287 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100288 if (mbedtls_md_update(&md_ctx, digest, 32) != 0) {
289 mbedtls_fprintf(stderr,
290 "mbedtls_md_update() returned error\n");
Paul Elliottd79d3eb2021-12-09 17:18:10 +0000291 goto exit;
292 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100293 if (mbedtls_md_update(&md_ctx, key, keylen) != 0) {
294 mbedtls_fprintf(stderr,
295 "mbedtls_md_update() returned error\n");
Paul Elliottd79d3eb2021-12-09 17:18:10 +0000296 goto exit;
297 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100298 if (mbedtls_md_finish(&md_ctx, digest) != 0) {
299 mbedtls_fprintf(stderr,
300 "mbedtls_md_finish() returned error\n");
Paul Elliottd79d3eb2021-12-09 17:18:10 +0000301 goto exit;
302 }
Paul Bakker20a78082011-01-21 09:32:12 +0000303
304 }
305
Gilles Peskine449bd832023-01-11 14:50:10 +0100306 if (mbedtls_cipher_setkey(&cipher_ctx,
307 digest,
308 (int) mbedtls_cipher_info_get_key_bitlen(cipher_info),
309 MBEDTLS_ENCRYPT) != 0) {
310 mbedtls_fprintf(stderr, "mbedtls_cipher_setkey() returned error\n");
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000311 goto exit;
312 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100313 if (mbedtls_cipher_set_iv(&cipher_ctx, IV, 16) != 0) {
314 mbedtls_fprintf(stderr, "mbedtls_cipher_set_iv() returned error\n");
Manuel Pégourié-Gonnard9c853b92013-09-03 13:04:44 +0200315 goto exit;
316 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100317 if (mbedtls_cipher_reset(&cipher_ctx) != 0) {
318 mbedtls_fprintf(stderr, "mbedtls_cipher_reset() returned error\n");
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000319 goto exit;
320 }
Paul Bakker20a78082011-01-21 09:32:12 +0000321
Gilles Peskine449bd832023-01-11 14:50:10 +0100322 if (mbedtls_md_hmac_starts(&md_ctx, digest, 32) != 0) {
323 mbedtls_fprintf(stderr, "mbedtls_md_hmac_starts() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100324 goto exit;
325 }
Paul Bakker20a78082011-01-21 09:32:12 +0000326
327 /*
328 * Encrypt and write the ciphertext.
329 */
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100330 for (offset = 0; offset < filesize; offset += cipher_block_size) {
331 ilen = ((unsigned int) filesize - offset > cipher_block_size) ?
332 cipher_block_size : (unsigned int) (filesize - offset);
Paul Bakker20a78082011-01-21 09:32:12 +0000333
Gilles Peskine449bd832023-01-11 14:50:10 +0100334 if (fread(buffer, 1, ilen, fin) != ilen) {
335 mbedtls_fprintf(stderr, "fread(%ld bytes) failed\n", (long) ilen);
Paul Bakker20a78082011-01-21 09:32:12 +0000336 goto exit;
337 }
338
Gilles Peskine449bd832023-01-11 14:50:10 +0100339 if (mbedtls_cipher_update(&cipher_ctx, buffer, ilen, output, &olen) != 0) {
340 mbedtls_fprintf(stderr, "mbedtls_cipher_update() returned error\n");
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200341 goto exit;
342 }
343
Gilles Peskine449bd832023-01-11 14:50:10 +0100344 if (mbedtls_md_hmac_update(&md_ctx, output, olen) != 0) {
345 mbedtls_fprintf(stderr, "mbedtls_md_hmac_update() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100346 goto exit;
347 }
Paul Bakker20a78082011-01-21 09:32:12 +0000348
Gilles Peskine449bd832023-01-11 14:50:10 +0100349 if (fwrite(output, 1, olen, fout) != olen) {
350 mbedtls_fprintf(stderr, "fwrite(%ld bytes) failed\n", (long) olen);
Paul Bakker20a78082011-01-21 09:32:12 +0000351 goto exit;
352 }
353 }
354
Gilles Peskine449bd832023-01-11 14:50:10 +0100355 if (mbedtls_cipher_finish(&cipher_ctx, output, &olen) != 0) {
356 mbedtls_fprintf(stderr, "mbedtls_cipher_finish() returned error\n");
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000357 goto exit;
358 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100359 if (mbedtls_md_hmac_update(&md_ctx, output, olen) != 0) {
360 mbedtls_fprintf(stderr, "mbedtls_md_hmac_update() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100361 goto exit;
362 }
Paul Bakker20a78082011-01-21 09:32:12 +0000363
Gilles Peskine449bd832023-01-11 14:50:10 +0100364 if (fwrite(output, 1, olen, fout) != olen) {
365 mbedtls_fprintf(stderr, "fwrite(%ld bytes) failed\n", (long) olen);
Paul Bakker20a78082011-01-21 09:32:12 +0000366 goto exit;
367 }
Paul Bakker26c4e3c2012-07-04 17:08:33 +0000368
Paul Bakker20a78082011-01-21 09:32:12 +0000369 /*
370 * Finally write the HMAC.
371 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100372 if (mbedtls_md_hmac_finish(&md_ctx, digest) != 0) {
373 mbedtls_fprintf(stderr, "mbedtls_md_hmac_finish() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100374 goto exit;
375 }
Paul Bakker20a78082011-01-21 09:32:12 +0000376
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100377 if (fwrite(digest, 1, md_size, fout) != md_size) {
378 mbedtls_fprintf(stderr, "fwrite(%d bytes) failed\n", md_size);
Paul Bakker20a78082011-01-21 09:32:12 +0000379 goto exit;
380 }
381 }
382
Gilles Peskine449bd832023-01-11 14:50:10 +0100383 if (mode == MODE_DECRYPT) {
Paul Bakker20a78082011-01-21 09:32:12 +0000384 /*
385 * The encrypted file must be structured as follows:
386 *
387 * 00 .. 15 Initialization Vector
Paul Bakker243f48e2016-09-02 22:44:09 +0200388 * 16 .. 31 Encrypted Block #1
Paul Bakker20a78082011-01-21 09:32:12 +0000389 * ..
Paul Bakker243f48e2016-09-02 22:44:09 +0200390 * N*16 .. (N+1)*16 - 1 Encrypted Block #N
391 * (N+1)*16 .. (N+1)*16 + n Hash(ciphertext)
Paul Bakker20a78082011-01-21 09:32:12 +0000392 */
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100393 if (filesize < 16 + md_size) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100394 mbedtls_fprintf(stderr, "File too short to be encrypted.\n");
Paul Bakker20a78082011-01-21 09:32:12 +0000395 goto exit;
396 }
397
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100398 if (cipher_block_size == 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100399 mbedtls_fprintf(stderr, "Invalid cipher block size: 0. \n");
Janos Follath8eb64132016-06-03 15:40:57 +0100400 goto exit;
401 }
402
403 /*
404 * Check the file size.
405 */
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100406 cipher_mode = mbedtls_cipher_info_get_mode(cipher_info);
407 if (cipher_mode != MBEDTLS_MODE_GCM &&
408 cipher_mode != MBEDTLS_MODE_CTR &&
409 cipher_mode != MBEDTLS_MODE_CFB &&
410 cipher_mode != MBEDTLS_MODE_OFB &&
411 ((filesize - md_size) % cipher_block_size) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100412 mbedtls_fprintf(stderr, "File content not a multiple of the block size (%u).\n",
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100413 cipher_block_size);
Paul Bakker20a78082011-01-21 09:32:12 +0000414 goto exit;
415 }
416
417 /*
Paul Bakker60b1d102013-10-29 10:02:51 +0100418 * Subtract the IV + HMAC length.
Paul Bakker20a78082011-01-21 09:32:12 +0000419 */
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100420 filesize -= (16 + md_size);
Paul Bakker20a78082011-01-21 09:32:12 +0000421
422 /*
423 * Read the IV and original filesize modulo 16.
424 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100425 if (fread(buffer, 1, 16, fin) != 16) {
426 mbedtls_fprintf(stderr, "fread(%d bytes) failed\n", 16);
Paul Bakker20a78082011-01-21 09:32:12 +0000427 goto exit;
428 }
429
Gilles Peskine449bd832023-01-11 14:50:10 +0100430 memcpy(IV, buffer, 16);
Paul Bakker20a78082011-01-21 09:32:12 +0000431
432 /*
433 * Hash the IV and the secret key together 8192 times
434 * using the result to setup the AES context and HMAC.
435 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100436 memset(digest, 0, 32);
437 memcpy(digest, IV, 16);
Paul Bakker20a78082011-01-21 09:32:12 +0000438
Gilles Peskine449bd832023-01-11 14:50:10 +0100439 for (i = 0; i < 8192; i++) {
440 if (mbedtls_md_starts(&md_ctx) != 0) {
441 mbedtls_fprintf(stderr, "mbedtls_md_starts() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100442 goto exit;
443 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100444 if (mbedtls_md_update(&md_ctx, digest, 32) != 0) {
445 mbedtls_fprintf(stderr, "mbedtls_md_update() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100446 goto exit;
447 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100448 if (mbedtls_md_update(&md_ctx, key, keylen) != 0) {
449 mbedtls_fprintf(stderr, "mbedtls_md_update() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100450 goto exit;
451 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100452 if (mbedtls_md_finish(&md_ctx, digest) != 0) {
453 mbedtls_fprintf(stderr, "mbedtls_md_finish() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100454 goto exit;
455 }
Paul Bakker20a78082011-01-21 09:32:12 +0000456 }
457
Gilles Peskine449bd832023-01-11 14:50:10 +0100458 if (mbedtls_cipher_setkey(&cipher_ctx,
459 digest,
460 (int) mbedtls_cipher_info_get_key_bitlen(cipher_info),
461 MBEDTLS_DECRYPT) != 0) {
462 mbedtls_fprintf(stderr, "mbedtls_cipher_setkey() returned error\n");
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200463 goto exit;
464 }
465
Gilles Peskine449bd832023-01-11 14:50:10 +0100466 if (mbedtls_cipher_set_iv(&cipher_ctx, IV, 16) != 0) {
467 mbedtls_fprintf(stderr, "mbedtls_cipher_set_iv() returned error\n");
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200468 goto exit;
469 }
470
Gilles Peskine449bd832023-01-11 14:50:10 +0100471 if (mbedtls_cipher_reset(&cipher_ctx) != 0) {
472 mbedtls_fprintf(stderr, "mbedtls_cipher_reset() returned error\n");
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200473 goto exit;
474 }
Paul Bakker20a78082011-01-21 09:32:12 +0000475
Gilles Peskine449bd832023-01-11 14:50:10 +0100476 if (mbedtls_md_hmac_starts(&md_ctx, digest, 32) != 0) {
477 mbedtls_fprintf(stderr, "mbedtls_md_hmac_starts() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100478 goto exit;
479 }
Paul Bakker20a78082011-01-21 09:32:12 +0000480
481 /*
482 * Decrypt and write the plaintext.
483 */
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100484 for (offset = 0; offset < filesize; offset += cipher_block_size) {
485 ilen = ((unsigned int) filesize - offset > cipher_block_size) ?
486 cipher_block_size : (unsigned int) (filesize - offset);
Paul Bakker243f48e2016-09-02 22:44:09 +0200487
Gilles Peskine449bd832023-01-11 14:50:10 +0100488 if (fread(buffer, 1, ilen, fin) != ilen) {
489 mbedtls_fprintf(stderr, "fread(%u bytes) failed\n",
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100490 cipher_block_size);
Paul Bakker20a78082011-01-21 09:32:12 +0000491 goto exit;
492 }
493
Gilles Peskine449bd832023-01-11 14:50:10 +0100494 if (mbedtls_md_hmac_update(&md_ctx, buffer, ilen) != 0) {
495 mbedtls_fprintf(stderr, "mbedtls_md_hmac_update() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100496 goto exit;
497 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100498 if (mbedtls_cipher_update(&cipher_ctx, buffer, ilen, output,
499 &olen) != 0) {
500 mbedtls_fprintf(stderr, "mbedtls_cipher_update() returned error\n");
Paul Bakkercbe3d0d2014-04-17 16:00:59 +0200501 goto exit;
502 }
Paul Bakker20a78082011-01-21 09:32:12 +0000503
Gilles Peskine449bd832023-01-11 14:50:10 +0100504 if (fwrite(output, 1, olen, fout) != olen) {
505 mbedtls_fprintf(stderr, "fwrite(%ld bytes) failed\n", (long) olen);
Paul Bakker20a78082011-01-21 09:32:12 +0000506 goto exit;
507 }
508 }
509
510 /*
Paul Bakker20a78082011-01-21 09:32:12 +0000511 * Verify the message authentication code.
512 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100513 if (mbedtls_md_hmac_finish(&md_ctx, digest) != 0) {
514 mbedtls_fprintf(stderr, "mbedtls_md_hmac_finish() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100515 goto exit;
516 }
Paul Bakker20a78082011-01-21 09:32:12 +0000517
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100518 if (fread(buffer, 1, md_size, fin) != md_size) {
519 mbedtls_fprintf(stderr, "fread(%d bytes) failed\n", md_size);
Paul Bakker20a78082011-01-21 09:32:12 +0000520 goto exit;
521 }
522
Paul Bakker424cd692013-10-31 14:22:08 +0100523 /* Use constant-time buffer comparison */
524 diff = 0;
Waleed Elmelegy46549cb2023-06-12 14:53:02 +0100525 for (i = 0; i < md_size; i++) {
Paul Bakker424cd692013-10-31 14:22:08 +0100526 diff |= digest[i] ^ buffer[i];
Gilles Peskine449bd832023-01-11 14:50:10 +0100527 }
Paul Bakker424cd692013-10-31 14:22:08 +0100528
Gilles Peskine449bd832023-01-11 14:50:10 +0100529 if (diff != 0) {
530 mbedtls_fprintf(stderr, "HMAC check failed: wrong key, "
531 "or file corrupted.\n");
Paul Bakker20a78082011-01-21 09:32:12 +0000532 goto exit;
533 }
Manuel Pégourié-Gonnard0f2eacb2013-11-25 17:55:17 +0100534
535 /*
536 * Write the final block of data
537 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100538 if (mbedtls_cipher_finish(&cipher_ctx, output, &olen) != 0) {
539 mbedtls_fprintf(stderr, "mbedtls_cipher_finish() returned error\n");
Gilles Peskinef1c30b22021-12-10 14:25:45 +0100540 goto exit;
541 }
Manuel Pégourié-Gonnard0f2eacb2013-11-25 17:55:17 +0100542
Gilles Peskine449bd832023-01-11 14:50:10 +0100543 if (fwrite(output, 1, olen, fout) != olen) {
544 mbedtls_fprintf(stderr, "fwrite(%ld bytes) failed\n", (long) olen);
Manuel Pégourié-Gonnard0f2eacb2013-11-25 17:55:17 +0100545 goto exit;
546 }
Paul Bakker20a78082011-01-21 09:32:12 +0000547 }
548
Andres Amaya Garcia4c47df62018-04-29 19:11:26 +0100549 exit_code = MBEDTLS_EXIT_SUCCESS;
Paul Bakker20a78082011-01-21 09:32:12 +0000550
551exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100552 if (fin) {
553 fclose(fin);
554 }
555 if (fout) {
556 fclose(fout);
557 }
Paul Bakker20a78082011-01-21 09:32:12 +0000558
Hanno Beckerf601ec52017-06-27 08:22:17 +0100559 /* Zeroize all command line arguments to also cover
560 the case when the user has missed or reordered some,
561 in which case the key might not be in argv[6]. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100562 for (i = 0; i < argc; i++) {
563 mbedtls_platform_zeroize(argv[i], strlen(argv[i]));
564 }
Hanno Beckerf601ec52017-06-27 08:22:17 +0100565
Gilles Peskine449bd832023-01-11 14:50:10 +0100566 mbedtls_platform_zeroize(IV, sizeof(IV));
567 mbedtls_platform_zeroize(key, sizeof(key));
568 mbedtls_platform_zeroize(buffer, sizeof(buffer));
569 mbedtls_platform_zeroize(output, sizeof(output));
570 mbedtls_platform_zeroize(digest, sizeof(digest));
Paul Bakker20a78082011-01-21 09:32:12 +0000571
Gilles Peskine449bd832023-01-11 14:50:10 +0100572 mbedtls_cipher_free(&cipher_ctx);
573 mbedtls_md_free(&md_ctx);
Paul Bakker20a78082011-01-21 09:32:12 +0000574
Gilles Peskine449bd832023-01-11 14:50:10 +0100575 mbedtls_exit(exit_code);
Paul Bakker20a78082011-01-21 09:32:12 +0000576}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200577#endif /* MBEDTLS_CIPHER_C && MBEDTLS_MD_C && MBEDTLS_FS_IO */