blob: bdeac3afc8ab493c62df54f325203fd9e3cc98dc [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * AES-256 file encryption program
3 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02004 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02005 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
Paul Bakkerb96f1542010-07-18 20:36:00 +000018 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000019 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker5121ce52009-01-03 21:22:43 +000020 */
21
Nicholas Wilson2682edf2017-12-05 12:08:15 +000022/* Enable definition of fileno() even when compiling with -std=c99. Must be
23 * set before config.h, which pulls in glibc's features.h indirectly.
24 * Harmless on other platforms. */
25#define _POSIX_C_SOURCE 1
26
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020027#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000028#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020029#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020030#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020031#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000032
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020033#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000034#include "mbedtls/platform.h"
Rich Evansf90016a2015-01-19 14:26:37 +000035#else
Rich Evans18b78c72015-02-11 14:06:19 +000036#include <stdio.h>
Andres Amaya Garcia388c1b12018-04-29 19:01:34 +010037#include <stdlib.h>
38#define mbedtls_fprintf fprintf
39#define mbedtls_printf printf
Manuel Pégourié-Gonnard3ef6a6d2018-12-10 14:31:45 +010040#define mbedtls_exit exit
Andres Amaya Garcia7d429652018-04-30 22:42:33 +010041#define MBEDTLS_EXIT_SUCCESS EXIT_SUCCESS
Andres Amaya Garcia388c1b12018-04-29 19:01:34 +010042#define MBEDTLS_EXIT_FAILURE EXIT_FAILURE
43#endif /* MBEDTLS_PLATFORM_C */
Rich Evans18b78c72015-02-11 14:06:19 +000044
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000045#include "mbedtls/aes.h"
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +010046#include "mbedtls/md.h"
Hanno Becker0b44d5c2018-10-12 16:46:37 +010047#include "mbedtls/platform_util.h"
Rich Evans18b78c72015-02-11 14:06:19 +000048
49#include <stdio.h>
50#include <stdlib.h>
51#include <string.h>
Rich Evansf90016a2015-01-19 14:26:37 +000052
Paul Bakker494c0b82011-04-24 15:30:07 +000053#if defined(_WIN32)
Paul Bakker5121ce52009-01-03 21:22:43 +000054#include <windows.h>
Paul Bakkercce9d772011-11-18 14:26:47 +000055#if !defined(_WIN32_WCE)
Paul Bakker5121ce52009-01-03 21:22:43 +000056#include <io.h>
Paul Bakkercce9d772011-11-18 14:26:47 +000057#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000058#else
59#include <sys/types.h>
60#include <unistd.h>
61#endif
62
Paul Bakker5121ce52009-01-03 21:22:43 +000063#define MODE_ENCRYPT 0
64#define MODE_DECRYPT 1
65
66#define USAGE \
67 "\n aescrypt2 <mode> <input filename> <output filename> <key>\n" \
68 "\n <mode>: 0 = encrypt, 1 = decrypt\n" \
69 "\n example: aescrypt2 0 file file.aes hex:E76B2413958B00E193\n" \
70 "\n"
71
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020072#if !defined(MBEDTLS_AES_C) || !defined(MBEDTLS_SHA256_C) || \
73 !defined(MBEDTLS_FS_IO) || !defined(MBEDTLS_MD_C)
Rich Evans85b05ec2015-02-12 11:37:29 +000074int main( void )
Paul Bakker5690efc2011-05-26 13:16:06 +000075{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020076 mbedtls_printf("MBEDTLS_AES_C and/or MBEDTLS_SHA256_C "
77 "and/or MBEDTLS_FS_IO and/or MBEDTLS_MD_C "
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +010078 "not defined.\n");
Paul Bakker5690efc2011-05-26 13:16:06 +000079 return( 0 );
80}
81#else
Simon Butcher63cb97e2018-12-06 17:43:31 +000082
Manuel Pégourié-Gonnard3ef6a6d2018-12-10 14:31:45 +010083#if defined(MBEDTLS_CHECK_PARAMS)
84#include "mbedtls/platform_util.h"
85void mbedtls_param_failed( const char *failure_condition,
86 const char *file,
87 int line )
Simon Butcher63cb97e2018-12-06 17:43:31 +000088{
Manuel Pégourié-Gonnard3ef6a6d2018-12-10 14:31:45 +010089 mbedtls_printf( "%s:%i: Input param failed - %s\n",
90 file, line, failure_condition );
Simon Butcher63cb97e2018-12-06 17:43:31 +000091 mbedtls_exit( MBEDTLS_EXIT_FAILURE );
92}
93#endif
94
Paul Bakker5121ce52009-01-03 21:22:43 +000095int main( int argc, char *argv[] )
96{
Andres Amaya Garcia388c1b12018-04-29 19:01:34 +010097 int ret = 0;
98 int exit_code = MBEDTLS_EXIT_FAILURE;
Paul Bakker5690efc2011-05-26 13:16:06 +000099
Simon Butcher0e7d3872016-08-30 14:25:24 +0100100 unsigned int i, n;
Paul Bakker23986e52011-04-24 08:57:21 +0000101 int mode, lastn;
102 size_t keylen;
Paul Bakker20a78082011-01-21 09:32:12 +0000103 FILE *fkey, *fin = NULL, *fout = NULL;
Paul Bakker5121ce52009-01-03 21:22:43 +0000104
105 char *p;
Hanno Beckerce37e622017-06-27 08:24:34 +0100106
Paul Bakker5121ce52009-01-03 21:22:43 +0000107 unsigned char IV[16];
Hanno Beckerce37e622017-06-27 08:24:34 +0100108 unsigned char tmp[16];
Paul Bakker5121ce52009-01-03 21:22:43 +0000109 unsigned char key[512];
110 unsigned char digest[32];
111 unsigned char buffer[1024];
Manuel Pégourié-Gonnard291f9af2013-10-28 12:51:32 +0100112 unsigned char diff;
Paul Bakker5121ce52009-01-03 21:22:43 +0000113
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200114 mbedtls_aes_context aes_ctx;
115 mbedtls_md_context_t sha_ctx;
Paul Bakker5121ce52009-01-03 21:22:43 +0000116
Paul Bakkercce9d772011-11-18 14:26:47 +0000117#if defined(_WIN32_WCE)
118 long filesize, offset;
119#elif defined(_WIN32)
Paul Bakker5121ce52009-01-03 21:22:43 +0000120 LARGE_INTEGER li_size;
121 __int64 filesize, offset;
122#else
123 off_t filesize, offset;
124#endif
125
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200126 mbedtls_aes_init( &aes_ctx );
127 mbedtls_md_init( &sha_ctx );
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +0100128
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129 ret = mbedtls_md_setup( &sha_ctx, mbedtls_md_info_from_type( MBEDTLS_MD_SHA256 ), 1 );
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +0100130 if( ret != 0 )
131 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200132 mbedtls_printf( " ! mbedtls_md_setup() returned -0x%04x\n", -ret );
Manuel Pégourié-Gonnard003b3b12015-03-24 18:22:59 +0100133 goto exit;
134 }
Paul Bakker8cfd9d82014-06-18 11:16:11 +0200135
Paul Bakker5121ce52009-01-03 21:22:43 +0000136 /*
137 * Parse the command-line arguments.
138 */
139 if( argc != 5 )
140 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200141 mbedtls_printf( USAGE );
Paul Bakker5121ce52009-01-03 21:22:43 +0000142
Paul Bakkercce9d772011-11-18 14:26:47 +0000143#if defined(_WIN32)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200144 mbedtls_printf( "\n Press Enter to exit this program.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000145 fflush( stdout ); getchar();
146#endif
147
148 goto exit;
149 }
150
151 mode = atoi( argv[1] );
Hanno Beckerce37e622017-06-27 08:24:34 +0100152 memset( IV, 0, sizeof( IV ) );
153 memset( key, 0, sizeof( key ) );
154 memset( digest, 0, sizeof( digest ) );
155 memset( buffer, 0, sizeof( buffer ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000156
157 if( mode != MODE_ENCRYPT && mode != MODE_DECRYPT )
158 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200159 mbedtls_fprintf( stderr, "invalide operation mode\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000160 goto exit;
161 }
162
163 if( strcmp( argv[2], argv[3] ) == 0 )
164 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200165 mbedtls_fprintf( stderr, "input and output filenames must differ\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000166 goto exit;
167 }
168
169 if( ( fin = fopen( argv[2], "rb" ) ) == NULL )
170 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171 mbedtls_fprintf( stderr, "fopen(%s,rb) failed\n", argv[2] );
Paul Bakker5121ce52009-01-03 21:22:43 +0000172 goto exit;
173 }
174
175 if( ( fout = fopen( argv[3], "wb+" ) ) == NULL )
176 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200177 mbedtls_fprintf( stderr, "fopen(%s,wb+) failed\n", argv[3] );
Paul Bakker5121ce52009-01-03 21:22:43 +0000178 goto exit;
179 }
180
181 /*
Hanno Becker840bace2017-06-27 11:36:21 +0100182 * Read the secret key from file or command line
Paul Bakker5121ce52009-01-03 21:22:43 +0000183 */
184 if( ( fkey = fopen( argv[4], "rb" ) ) != NULL )
185 {
186 keylen = fread( key, 1, sizeof( key ), fkey );
187 fclose( fkey );
188 }
189 else
190 {
191 if( memcmp( argv[4], "hex:", 4 ) == 0 )
192 {
193 p = &argv[4][4];
194 keylen = 0;
195
196 while( sscanf( p, "%02X", &n ) > 0 &&
197 keylen < (int) sizeof( key ) )
198 {
199 key[keylen++] = (unsigned char) n;
200 p += 2;
201 }
202 }
203 else
204 {
205 keylen = strlen( argv[4] );
206
207 if( keylen > (int) sizeof( key ) )
208 keylen = (int) sizeof( key );
209
210 memcpy( key, argv[4], keylen );
211 }
212 }
213
Paul Bakkercce9d772011-11-18 14:26:47 +0000214#if defined(_WIN32_WCE)
215 filesize = fseek( fin, 0L, SEEK_END );
216#else
217#if defined(_WIN32)
Paul Bakker5121ce52009-01-03 21:22:43 +0000218 /*
219 * Support large files (> 2Gb) on Win32
220 */
221 li_size.QuadPart = 0;
222 li_size.LowPart =
223 SetFilePointer( (HANDLE) _get_osfhandle( _fileno( fin ) ),
224 li_size.LowPart, &li_size.HighPart, FILE_END );
225
226 if( li_size.LowPart == 0xFFFFFFFF && GetLastError() != NO_ERROR )
227 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200228 mbedtls_fprintf( stderr, "SetFilePointer(0,FILE_END) failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000229 goto exit;
230 }
231
232 filesize = li_size.QuadPart;
233#else
234 if( ( filesize = lseek( fileno( fin ), 0, SEEK_END ) ) < 0 )
235 {
236 perror( "lseek" );
237 goto exit;
238 }
239#endif
Paul Bakkercce9d772011-11-18 14:26:47 +0000240#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000241
242 if( fseek( fin, 0, SEEK_SET ) < 0 )
243 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200244 mbedtls_fprintf( stderr, "fseek(0,SEEK_SET) failed\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000245 goto exit;
246 }
247
248 if( mode == MODE_ENCRYPT )
249 {
250 /*
251 * Generate the initialization vector as:
252 * IV = SHA-256( filesize || filename )[0..15]
253 */
254 for( i = 0; i < 8; i++ )
255 buffer[i] = (unsigned char)( filesize >> ( i << 3 ) );
256
257 p = argv[2];
258
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200259 mbedtls_md_starts( &sha_ctx );
260 mbedtls_md_update( &sha_ctx, buffer, 8 );
261 mbedtls_md_update( &sha_ctx, (unsigned char *) p, strlen( p ) );
262 mbedtls_md_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000263
264 memcpy( IV, digest, 16 );
265
266 /*
267 * The last four bits in the IV are actually used
268 * to store the file size modulo the AES block size.
269 */
270 lastn = (int)( filesize & 0x0F );
271
272 IV[15] = (unsigned char)
273 ( ( IV[15] & 0xF0 ) | lastn );
274
275 /*
276 * Append the IV at the beginning of the output.
277 */
278 if( fwrite( IV, 1, 16, fout ) != 16 )
279 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200280 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000281 goto exit;
282 }
283
284 /*
285 * Hash the IV and the secret key together 8192 times
286 * using the result to setup the AES context and HMAC.
287 */
288 memset( digest, 0, 32 );
289 memcpy( digest, IV, 16 );
290
291 for( i = 0; i < 8192; i++ )
292 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200293 mbedtls_md_starts( &sha_ctx );
294 mbedtls_md_update( &sha_ctx, digest, 32 );
295 mbedtls_md_update( &sha_ctx, key, keylen );
296 mbedtls_md_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000297 }
298
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200299 mbedtls_aes_setkey_enc( &aes_ctx, digest, 256 );
300 mbedtls_md_hmac_starts( &sha_ctx, digest, 32 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000301
302 /*
303 * Encrypt and write the ciphertext.
304 */
305 for( offset = 0; offset < filesize; offset += 16 )
306 {
307 n = ( filesize - offset > 16 ) ? 16 : (int)
308 ( filesize - offset );
309
310 if( fread( buffer, 1, n, fin ) != (size_t) n )
311 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200312 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", n );
Paul Bakker5121ce52009-01-03 21:22:43 +0000313 goto exit;
314 }
315
316 for( i = 0; i < 16; i++ )
317 buffer[i] = (unsigned char)( buffer[i] ^ IV[i] );
318
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200319 mbedtls_aes_crypt_ecb( &aes_ctx, MBEDTLS_AES_ENCRYPT, buffer, buffer );
320 mbedtls_md_hmac_update( &sha_ctx, buffer, 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000321
322 if( fwrite( buffer, 1, 16, fout ) != 16 )
323 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200324 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000325 goto exit;
326 }
327
328 memcpy( IV, buffer, 16 );
329 }
330
331 /*
332 * Finally write the HMAC.
333 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200334 mbedtls_md_hmac_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000335
336 if( fwrite( digest, 1, 32, fout ) != 32 )
337 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200338 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000339 goto exit;
340 }
341 }
342
343 if( mode == MODE_DECRYPT )
344 {
Paul Bakker5121ce52009-01-03 21:22:43 +0000345 /*
346 * The encrypted file must be structured as follows:
347 *
348 * 00 .. 15 Initialization Vector
349 * 16 .. 31 AES Encrypted Block #1
350 * ..
351 * N*16 .. (N+1)*16 - 1 AES Encrypted Block #N
352 * (N+1)*16 .. (N+1)*16 + 32 HMAC-SHA-256(ciphertext)
353 */
354 if( filesize < 48 )
355 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200356 mbedtls_fprintf( stderr, "File too short to be encrypted.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000357 goto exit;
358 }
359
360 if( ( filesize & 0x0F ) != 0 )
361 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200362 mbedtls_fprintf( stderr, "File size not a multiple of 16.\n" );
Paul Bakker5121ce52009-01-03 21:22:43 +0000363 goto exit;
364 }
365
366 /*
Paul Bakker60b1d102013-10-29 10:02:51 +0100367 * Subtract the IV + HMAC length.
Paul Bakker5121ce52009-01-03 21:22:43 +0000368 */
369 filesize -= ( 16 + 32 );
370
371 /*
372 * Read the IV and original filesize modulo 16.
373 */
374 if( fread( buffer, 1, 16, fin ) != 16 )
375 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200376 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000377 goto exit;
378 }
379
380 memcpy( IV, buffer, 16 );
381 lastn = IV[15] & 0x0F;
382
383 /*
384 * Hash the IV and the secret key together 8192 times
385 * using the result to setup the AES context and HMAC.
386 */
387 memset( digest, 0, 32 );
388 memcpy( digest, IV, 16 );
389
390 for( i = 0; i < 8192; i++ )
391 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200392 mbedtls_md_starts( &sha_ctx );
393 mbedtls_md_update( &sha_ctx, digest, 32 );
394 mbedtls_md_update( &sha_ctx, key, keylen );
395 mbedtls_md_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000396 }
397
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200398 mbedtls_aes_setkey_dec( &aes_ctx, digest, 256 );
399 mbedtls_md_hmac_starts( &sha_ctx, digest, 32 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000400
401 /*
402 * Decrypt and write the plaintext.
403 */
404 for( offset = 0; offset < filesize; offset += 16 )
405 {
406 if( fread( buffer, 1, 16, fin ) != 16 )
407 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200408 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", 16 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000409 goto exit;
410 }
411
412 memcpy( tmp, buffer, 16 );
Paul Bakker9e36f042013-06-30 14:34:05 +0200413
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200414 mbedtls_md_hmac_update( &sha_ctx, buffer, 16 );
415 mbedtls_aes_crypt_ecb( &aes_ctx, MBEDTLS_AES_DECRYPT, buffer, buffer );
Paul Bakker9e36f042013-06-30 14:34:05 +0200416
Paul Bakker5121ce52009-01-03 21:22:43 +0000417 for( i = 0; i < 16; i++ )
418 buffer[i] = (unsigned char)( buffer[i] ^ IV[i] );
419
420 memcpy( IV, tmp, 16 );
421
422 n = ( lastn > 0 && offset == filesize - 16 )
423 ? lastn : 16;
424
425 if( fwrite( buffer, 1, n, fout ) != (size_t) n )
426 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200427 mbedtls_fprintf( stderr, "fwrite(%d bytes) failed\n", n );
Paul Bakker5121ce52009-01-03 21:22:43 +0000428 goto exit;
429 }
430 }
431
432 /*
433 * Verify the message authentication code.
434 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200435 mbedtls_md_hmac_finish( &sha_ctx, digest );
Paul Bakker5121ce52009-01-03 21:22:43 +0000436
437 if( fread( buffer, 1, 32, fin ) != 32 )
438 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200439 mbedtls_fprintf( stderr, "fread(%d bytes) failed\n", 32 );
Paul Bakker5121ce52009-01-03 21:22:43 +0000440 goto exit;
441 }
442
Manuel Pégourié-Gonnard291f9af2013-10-28 12:51:32 +0100443 /* Use constant-time buffer comparison */
444 diff = 0;
445 for( i = 0; i < 32; i++ )
446 diff |= digest[i] ^ buffer[i];
447
448 if( diff != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000449 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200450 mbedtls_fprintf( stderr, "HMAC check failed: wrong key, "
Paul Bakker5121ce52009-01-03 21:22:43 +0000451 "or file corrupted.\n" );
452 goto exit;
453 }
454 }
455
Andres Amaya Garcia388c1b12018-04-29 19:01:34 +0100456 exit_code = MBEDTLS_EXIT_SUCCESS;
Paul Bakker5121ce52009-01-03 21:22:43 +0000457
458exit:
Paul Bakker6d440322011-02-06 12:49:19 +0000459 if( fin )
460 fclose( fin );
461 if( fout )
462 fclose( fout );
Paul Bakker5121ce52009-01-03 21:22:43 +0000463
Hanno Beckerce37e622017-06-27 08:24:34 +0100464 /* Zeroize all command line arguments to also cover
465 the case when the user has missed or reordered some,
466 in which case the key might not be in argv[4]. */
467 for( i = 0; i < (unsigned int) argc; i++ )
Hanno Becker0b44d5c2018-10-12 16:46:37 +0100468 mbedtls_platform_zeroize( argv[i], strlen( argv[i] ) );
Hanno Beckerce37e622017-06-27 08:24:34 +0100469
Hanno Becker0b44d5c2018-10-12 16:46:37 +0100470 mbedtls_platform_zeroize( IV, sizeof( IV ) );
471 mbedtls_platform_zeroize( key, sizeof( key ) );
472 mbedtls_platform_zeroize( tmp, sizeof( tmp ) );
473 mbedtls_platform_zeroize( buffer, sizeof( buffer ) );
474 mbedtls_platform_zeroize( digest, sizeof( digest ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000475
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200476 mbedtls_aes_free( &aes_ctx );
477 mbedtls_md_free( &sha_ctx );
Paul Bakker5121ce52009-01-03 21:22:43 +0000478
Andres Amaya Garcia388c1b12018-04-29 19:01:34 +0100479 return( exit_code );
Paul Bakker5121ce52009-01-03 21:22:43 +0000480}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200481#endif /* MBEDTLS_AES_C && MBEDTLS_SHA256_C && MBEDTLS_FS_IO */