| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 1 | /* | 
| Andres Amaya Garcia | 42defd1 | 2018-03-08 21:21:40 +0000 | [diff] [blame] | 2 | * Zeroize application for debugger-driven testing | 
|  | 3 | * | 
| Andres Amaya Garcia | ae8e306 | 2018-03-13 19:19:16 +0000 | [diff] [blame] | 4 | * This is a simple test application used for debugger-driven testing to check | 
| Andres Amaya Garcia | eecea0e | 2018-04-17 10:14:53 -0500 | [diff] [blame] | 5 | * whether calls to mbedtls_platform_zeroize() are being eliminated by compiler | 
| Andres Amaya Garcia | 42defd1 | 2018-03-08 21:21:40 +0000 | [diff] [blame] | 6 | * optimizations. This application is used by the GDB script at | 
| Bence Szépkúti | 5620d71 | 2020-06-09 12:52:04 +0200 | [diff] [blame] | 7 | * tests/scripts/test_zeroize.gdb: the script sets a breakpoint at the last | 
|  | 8 | * return statement in the main() function of this program. The debugger | 
|  | 9 | * facilities are then used to manually inspect the memory and verify that the | 
|  | 10 | * call to mbedtls_platform_zeroize() was not eliminated. | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 11 | * | 
| Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 12 | *  Copyright The Mbed TLS Contributors | 
| Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 13 | *  SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 14 | */ | 
|  | 15 |  | 
| Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 16 | #include "mbedtls/build_info.h" | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 17 |  | 
|  | 18 | #include <stdio.h> | 
|  | 19 |  | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 20 | #include "mbedtls/platform.h" | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 21 |  | 
| Andres Amaya Garcia | eecea0e | 2018-04-17 10:14:53 -0500 | [diff] [blame] | 22 | #include "mbedtls/platform_util.h" | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 23 |  | 
|  | 24 | #define BUFFER_LEN 1024 | 
|  | 25 |  | 
| Michael Schuster | 8db8d61 | 2024-06-01 21:15:02 +0200 | [diff] [blame] | 26 | static void usage(void) | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 27 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 28 | mbedtls_printf("Zeroize is a simple program to assist with testing\n"); | 
|  | 29 | mbedtls_printf("the mbedtls_platform_zeroize() function by using the\n"); | 
|  | 30 | mbedtls_printf("debugger. This program takes a file as input and\n"); | 
|  | 31 | mbedtls_printf("prints the first %d characters. Usage:\n\n", BUFFER_LEN); | 
|  | 32 | mbedtls_printf("       zeroize <FILE>\n"); | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 33 | } | 
|  | 34 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 35 | int main(int argc, char **argv) | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 36 | { | 
|  | 37 | int exit_code = MBEDTLS_EXIT_FAILURE; | 
| Andres Amaya Garcia | 6e34e63 | 2017-11-01 10:03:09 +0000 | [diff] [blame] | 38 | FILE *fp; | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 39 | char buf[BUFFER_LEN]; | 
|  | 40 | char *p = buf; | 
|  | 41 | char *end = p + BUFFER_LEN; | 
| Azim Khan | 1a8ef07 | 2018-06-06 03:44:03 +0100 | [diff] [blame] | 42 | int c; | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 43 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 44 | if (argc != 2) { | 
|  | 45 | mbedtls_printf("This program takes exactly 1 argument\n"); | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 46 | usage(); | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 47 | mbedtls_exit(exit_code); | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 48 | } | 
|  | 49 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 50 | fp = fopen(argv[1], "r"); | 
|  | 51 | if (fp == NULL) { | 
|  | 52 | mbedtls_printf("Could not open file '%s'\n", argv[1]); | 
|  | 53 | mbedtls_exit(exit_code); | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 54 | } | 
|  | 55 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 56 | while ((c = fgetc(fp)) != EOF && p < end - 1) { | 
|  | 57 | *p++ = (char) c; | 
|  | 58 | } | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 59 | *p = '\0'; | 
|  | 60 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 61 | if (p - buf != 0) { | 
|  | 62 | mbedtls_printf("%s\n", buf); | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 63 | exit_code = MBEDTLS_EXIT_SUCCESS; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 64 | } else { | 
|  | 65 | mbedtls_printf("The file is empty!\n"); | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 66 | } | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 67 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 68 | fclose(fp); | 
|  | 69 | mbedtls_platform_zeroize(buf, sizeof(buf)); | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 70 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 71 | mbedtls_exit(exit_code);   // GDB_BREAK_HERE -- don't remove this comment! | 
| Andres Amaya Garcia | 5ab74a1 | 2017-10-24 21:10:45 +0100 | [diff] [blame] | 72 | } |