blob: 6e7db4e54bb64d5ade94796cecc0c040f84ca843 [file] [log] [blame]
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +01001/*
Andres Amaya Garcia42defd12018-03-08 21:21:40 +00002 * Zeroize application for debugger-driven testing
3 *
Andres Amaya Garciaae8e3062018-03-13 19:19:16 +00004 * This is a simple test application used for debugger-driven testing to check
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -05005 * whether calls to mbedtls_platform_zeroize() are being eliminated by compiler
Andres Amaya Garcia42defd12018-03-08 21:21:40 +00006 * optimizations. This application is used by the GDB script at
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -05007 * tests/scripts/test_zeroize.gdb under the assumption that the code does not
Andres Amaya Garcia42defd12018-03-08 21:21:40 +00008 * change often (as opposed to the library code) because the script sets a
9 * breakpoint at the last return statement in the main() function of this
10 * program. The debugger facilities are then used to manually inspect the
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -050011 * memory and verify that the call to mbedtls_platform_zeroize() was not
12 * eliminated.
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010013 *
Andres Amaya Garcia757cd722018-03-08 21:25:25 +000014 * Copyright (C) 2018, Arm Limited, All Rights Reserved
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010015 * SPDX-License-Identifier: Apache-2.0
16 *
17 * Licensed under the Apache License, Version 2.0 (the "License"); you may
18 * not use this file except in compliance with the License.
19 * You may obtain a copy of the License at
20 *
21 * http://www.apache.org/licenses/LICENSE-2.0
22 *
23 * Unless required by applicable law or agreed to in writing, software
24 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
25 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
26 * See the License for the specific language governing permissions and
27 * limitations under the License.
28 *
29 * This file is part of mbed TLS (https://tls.mbed.org)
30 */
31
32#if !defined(MBEDTLS_CONFIG_FILE)
33#include "mbedtls/config.h"
34#else
35#include MBEDTLS_CONFIG_FILE
36#endif
37
38#include <stdio.h>
39
40#if defined(MBEDTLS_PLATFORM_C)
41#include "mbedtls/platform.h"
42#else
43#include <stdlib.h>
44#define mbedtls_printf printf
45#define MBEDTLS_EXIT_SUCCESS EXIT_SUCCESS
46#define MBEDTLS_EXIT_FAILURE EXIT_FAILURE
47#endif
48
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -050049#include "mbedtls/platform_util.h"
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010050
51#define BUFFER_LEN 1024
52
53void usage( void )
54{
55 mbedtls_printf( "Zeroize is a simple program to assist with testing\n" );
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -050056 mbedtls_printf( "the mbedtls_platform_zeroize() function by using the\n" );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010057 mbedtls_printf( "debugger. This program takes a file as input and\n" );
58 mbedtls_printf( "prints the first %d characters. Usage:\n\n", BUFFER_LEN );
59 mbedtls_printf( " zeroize <FILE>\n" );
60}
61
Jarno Lamsa642596e2019-10-04 12:52:42 +030062#if defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
63int mbedtls_hardware_poll( void *data, unsigned char *output,
64 size_t len, size_t *olen )
65{
66 size_t i;
67 (void) data;
68 for( i = 0; i < len; ++i )
69 output[i] = rand();
70 *olen = len;
71 return( 0 );
72}
73#endif
74
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010075int main( int argc, char** argv )
76{
77 int exit_code = MBEDTLS_EXIT_FAILURE;
Andres Amaya Garcia6e34e632017-11-01 10:03:09 +000078 FILE *fp;
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010079 char buf[BUFFER_LEN];
80 char *p = buf;
81 char *end = p + BUFFER_LEN;
Azim Khan1a8ef072018-06-06 03:44:03 +010082 int c;
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010083
84 if( argc != 2 )
85 {
86 mbedtls_printf( "This program takes exactly 1 agument\n" );
87 usage();
88 return( exit_code );
89 }
90
91 fp = fopen( argv[1], "r" );
92 if( fp == NULL )
93 {
94 mbedtls_printf( "Could not open file '%s'\n", argv[1] );
95 return( exit_code );
96 }
97
98 while( ( c = fgetc( fp ) ) != EOF && p < end - 1 )
Azim Khan1a8ef072018-06-06 03:44:03 +010099 *p++ = (char)c;
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +0100100 *p = '\0';
101
102 if( p - buf != 0 )
103 {
104 mbedtls_printf( "%s\n", buf );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +0100105 exit_code = MBEDTLS_EXIT_SUCCESS;
106 }
107 else
108 mbedtls_printf( "The file is empty!\n" );
109
110 fclose( fp );
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -0500111 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +0100112
113 return( exit_code );
114}