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 | 6fa32fd | 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 | } |