blob: c670a6b58feedd6bce47af6a3726b7d8fd8bd058 [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
k-stachowiak776521a2019-05-23 09:46:47 +020045#define mbedtls_exit exit
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010046#define MBEDTLS_EXIT_SUCCESS EXIT_SUCCESS
47#define MBEDTLS_EXIT_FAILURE EXIT_FAILURE
48#endif
49
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -050050#include "mbedtls/platform_util.h"
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010051
52#define BUFFER_LEN 1024
53
54void usage( void )
55{
56 mbedtls_printf( "Zeroize is a simple program to assist with testing\n" );
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -050057 mbedtls_printf( "the mbedtls_platform_zeroize() function by using the\n" );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010058 mbedtls_printf( "debugger. This program takes a file as input and\n" );
59 mbedtls_printf( "prints the first %d characters. Usage:\n\n", BUFFER_LEN );
60 mbedtls_printf( " zeroize <FILE>\n" );
61}
62
63int main( int argc, char** argv )
64{
65 int exit_code = MBEDTLS_EXIT_FAILURE;
Andres Amaya Garcia6e34e632017-11-01 10:03:09 +000066 FILE *fp;
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010067 char buf[BUFFER_LEN];
68 char *p = buf;
69 char *end = p + BUFFER_LEN;
Azim Khan1a8ef072018-06-06 03:44:03 +010070 int c;
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010071
72 if( argc != 2 )
73 {
74 mbedtls_printf( "This program takes exactly 1 agument\n" );
75 usage();
k-stachowiak776521a2019-05-23 09:46:47 +020076 mbedtls_exit( exit_code );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010077 }
78
79 fp = fopen( argv[1], "r" );
80 if( fp == NULL )
81 {
82 mbedtls_printf( "Could not open file '%s'\n", argv[1] );
k-stachowiak776521a2019-05-23 09:46:47 +020083 mbedtls_exit( exit_code );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010084 }
85
86 while( ( c = fgetc( fp ) ) != EOF && p < end - 1 )
Azim Khan1a8ef072018-06-06 03:44:03 +010087 *p++ = (char)c;
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010088 *p = '\0';
89
90 if( p - buf != 0 )
91 {
92 mbedtls_printf( "%s\n", buf );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +010093 exit_code = MBEDTLS_EXIT_SUCCESS;
94 }
95 else
96 mbedtls_printf( "The file is empty!\n" );
97
98 fclose( fp );
Andres Amaya Garciaeecea0e2018-04-17 10:14:53 -050099 mbedtls_platform_zeroize( buf, sizeof( buf ) );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +0100100
k-stachowiak776521a2019-05-23 09:46:47 +0200101 mbedtls_exit( exit_code );
Andres Amaya Garcia5ab74a12017-10-24 21:10:45 +0100102}