| fbrosson | 533407a | 2018-04-04 21:44:29 +0000 | [diff] [blame] | 1 | #!/usr/bin/env perl | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 2 |  | 
| Simon Butcher | f95c176 | 2016-11-10 17:25:58 +0000 | [diff] [blame] | 3 | # test-ref-configs.pl | 
|  | 4 | # | 
| Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 5 | # Copyright The Mbed TLS Contributors | 
| Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 6 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later | 
| Bence Szépkúti | c7da1fe | 2020-05-26 01:54:15 +0200 | [diff] [blame] | 7 | # | 
| Simon Butcher | f95c176 | 2016-11-10 17:25:58 +0000 | [diff] [blame] | 8 | # Purpose | 
|  | 9 | # | 
|  | 10 | # For each reference configuration file in the configs directory, build the | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 11 | # configuration, run the test suites and compat.sh | 
| Manuel Pégourié-Gonnard | 827b6ce | 2014-04-30 12:05:29 +0200 | [diff] [blame] | 12 | # | 
|  | 13 | # Usage: tests/scripts/test-ref-configs.pl [config-name [...]] | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 14 |  | 
|  | 15 | use warnings; | 
|  | 16 | use strict; | 
|  | 17 |  | 
|  | 18 | my %configs = ( | 
| Gilles Peskine | 7a78a1f | 2020-11-09 14:44:04 +0100 | [diff] [blame] | 19 | 'config-ccm-psk-tls1_2.h' => { | 
| Ronald Cron | 6402762 | 2024-05-14 10:51:27 +0200 | [diff] [blame] | 20 | 'compat' => '-m tls12 -f \'^TLS_PSK_WITH_AES_..._CCM_8\'', | 
| Gilles Peskine | 7a78a1f | 2020-11-09 14:44:04 +0100 | [diff] [blame] | 21 | }, | 
| Gilles Peskine | 168f17c | 2022-02-25 19:28:00 +0100 | [diff] [blame] | 22 | 'config-ccm-psk-dtls1_2.h' => { | 
| Ronald Cron | 6402762 | 2024-05-14 10:51:27 +0200 | [diff] [blame] | 23 | 'compat' => '-m dtls12 -f \'^TLS_PSK_WITH_AES_..._CCM_8\'', | 
| Gilles Peskine | c6d197b | 2022-02-25 21:00:16 +0100 | [diff] [blame] | 24 | 'opt' => ' ', | 
|  | 25 | 'opt_needs_debug' => 1, | 
| Gilles Peskine | 168f17c | 2022-02-25 19:28:00 +0100 | [diff] [blame] | 26 | }, | 
| Manuel Pégourié-Gonnard | eb47b87 | 2015-10-20 14:07:03 +0200 | [diff] [blame] | 27 | 'config-suite-b.h' => { | 
| Ronald Cron | 6402762 | 2024-05-14 10:51:27 +0200 | [diff] [blame] | 28 | 'compat' => "-m tls12 -f 'ECDHE_ECDSA.*AES.*GCM' -p mbedTLS", | 
| Gilles Peskine | c6d197b | 2022-02-25 21:00:16 +0100 | [diff] [blame] | 29 | 'opt' => ' ', | 
|  | 30 | 'opt_needs_debug' => 1, | 
| Manuel Pégourié-Gonnard | eb47b87 | 2015-10-20 14:07:03 +0200 | [diff] [blame] | 31 | }, | 
| Gilles Peskine | 12230eb | 2020-02-26 19:02:33 +0100 | [diff] [blame] | 32 | 'config-symmetric-only.h' => { | 
|  | 33 | }, | 
| Gilles Peskine | 5baf667 | 2023-09-06 17:17:10 +0200 | [diff] [blame] | 34 | 'config-tfm.h' => { | 
| Gilles Peskine | 5baf667 | 2023-09-06 17:17:10 +0200 | [diff] [blame] | 35 | }, | 
| Gilles Peskine | 12230eb | 2020-02-26 19:02:33 +0100 | [diff] [blame] | 36 | 'config-thread.h' => { | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 37 | 'opt' => '-f ECJPAKE.*nolog', | 
| Gilles Peskine | 12230eb | 2020-02-26 19:02:33 +0100 | [diff] [blame] | 38 | }, | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 39 | ); | 
|  | 40 |  | 
| Manuel Pégourié-Gonnard | 827b6ce | 2014-04-30 12:05:29 +0200 | [diff] [blame] | 41 | # If no config-name is provided, use all known configs. | 
|  | 42 | # Otherwise, use the provided names only. | 
| Gilles Peskine | d7df877 | 2022-02-26 18:16:07 +0100 | [diff] [blame] | 43 | my @configs_to_test = sort keys %configs; | 
| Paul Bakker | 30a3062 | 2013-12-19 17:09:49 +0100 | [diff] [blame] | 44 | if ($#ARGV >= 0) { | 
| Gilles Peskine | d7df877 | 2022-02-26 18:16:07 +0100 | [diff] [blame] | 45 | foreach my $conf_name ( @ARGV ) { | 
|  | 46 | if( ! exists $configs{$conf_name} ) { | 
| Manuel Pégourié-Gonnard | 827b6ce | 2014-04-30 12:05:29 +0200 | [diff] [blame] | 47 | die "Unknown configuration: $conf_name\n"; | 
| Manuel Pégourié-Gonnard | 827b6ce | 2014-04-30 12:05:29 +0200 | [diff] [blame] | 48 | } | 
| Paul Bakker | 30a3062 | 2013-12-19 17:09:49 +0100 | [diff] [blame] | 49 | } | 
| Gilles Peskine | d7df877 | 2022-02-26 18:16:07 +0100 | [diff] [blame] | 50 | @configs_to_test = @ARGV; | 
| Paul Bakker | 30a3062 | 2013-12-19 17:09:49 +0100 | [diff] [blame] | 51 | } | 
|  | 52 |  | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 53 | -d 'library' && -d 'include' && -d 'tests' or die "Must be run from root\n"; | 
|  | 54 |  | 
| Bence Szépkúti | bb0cfeb | 2021-05-28 09:42:25 +0200 | [diff] [blame] | 55 | my $config_h = 'include/mbedtls/mbedtls_config.h'; | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 56 |  | 
|  | 57 | system( "cp $config_h $config_h.bak" ) and die; | 
|  | 58 | sub abort { | 
|  | 59 | system( "mv $config_h.bak $config_h" ) and warn "$config_h not restored\n"; | 
| Manuel Pégourié-Gonnard | 254eec8 | 2017-10-26 09:47:36 +0200 | [diff] [blame] | 60 | # use an exit code between 1 and 124 for git bisect (die returns 255) | 
| Manuel Pégourié-Gonnard | a7c4c8a | 2017-07-12 12:15:24 +0200 | [diff] [blame] | 61 | warn $_[0]; | 
|  | 62 | exit 1; | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 63 | } | 
|  | 64 |  | 
| Gilles Peskine | 581bfcf | 2019-10-11 17:19:45 +0200 | [diff] [blame] | 65 | # Create a seedfile for configurations that enable MBEDTLS_ENTROPY_NV_SEED. | 
|  | 66 | # For test purposes, this doesn't have to be cryptographically random. | 
|  | 67 | if (!-e "tests/seedfile" || -s "tests/seedfile" < 64) { | 
|  | 68 | local *SEEDFILE; | 
|  | 69 | open SEEDFILE, ">tests/seedfile" or die; | 
|  | 70 | print SEEDFILE "*" x 64 or die; | 
|  | 71 | close SEEDFILE or die; | 
|  | 72 | } | 
|  | 73 |  | 
| Andrzej Kurek | 01005b9 | 2022-01-17 15:32:02 +0100 | [diff] [blame] | 74 | sub perform_test { | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 75 | my $conf_file = $_[0]; | 
| Andrzej Kurek | 01005b9 | 2022-01-17 15:32:02 +0100 | [diff] [blame] | 76 | my $data = $_[1]; | 
|  | 77 | my $test_with_psa = $_[2]; | 
|  | 78 |  | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 79 | my $conf_name = $conf_file; | 
|  | 80 | if ( $test_with_psa ) | 
|  | 81 | { | 
|  | 82 | $conf_name .= "+PSA"; | 
|  | 83 | } | 
|  | 84 |  | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 85 | system( "cp $config_h.bak $config_h" ) and die; | 
|  | 86 | system( "make clean" ) and die; | 
|  | 87 |  | 
|  | 88 | print "\n******************************************\n"; | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 89 | print "* Testing configuration: $conf_name\n"; | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 90 | print "******************************************\n"; | 
| Andrzej Kurek | 01005b9 | 2022-01-17 15:32:02 +0100 | [diff] [blame] | 91 |  | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 92 | $ENV{MBEDTLS_TEST_CONFIGURATION} = $conf_name; | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 93 |  | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 94 | system( "cp configs/$conf_file $config_h" ) | 
|  | 95 | and abort "Failed to activate $conf_file\n"; | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 96 |  | 
| Andrzej Kurek | 01005b9 | 2022-01-17 15:32:02 +0100 | [diff] [blame] | 97 | if ( $test_with_psa ) | 
|  | 98 | { | 
|  | 99 | system( "scripts/config.py set MBEDTLS_PSA_CRYPTO_C" ); | 
|  | 100 | system( "scripts/config.py set MBEDTLS_USE_PSA_CRYPTO" ); | 
|  | 101 | } | 
|  | 102 |  | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 103 | system( "CFLAGS='-Os -Werror -Wall -Wextra' make" ) and abort "Failed to build: $conf_name\n"; | 
|  | 104 | system( "make test" ) and abort "Failed test suite: $conf_name\n"; | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 105 |  | 
|  | 106 | my $compat = $data->{'compat'}; | 
|  | 107 | if( $compat ) | 
|  | 108 | { | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 109 | print "\nrunning compat.sh $compat ($conf_name)\n"; | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 110 | system( "tests/compat.sh $compat" ) | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 111 | and abort "Failed compat.sh: $conf_name\n"; | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 112 | } | 
|  | 113 | else | 
|  | 114 | { | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 115 | print "\nskipping compat.sh ($conf_name)\n"; | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 116 | } | 
|  | 117 |  | 
|  | 118 | my $opt = $data->{'opt'}; | 
|  | 119 | if( $opt ) | 
|  | 120 | { | 
| Gilles Peskine | c6d197b | 2022-02-25 21:00:16 +0100 | [diff] [blame] | 121 | if( $data->{'opt_needs_debug'} ) | 
|  | 122 | { | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 123 | print "\nrebuilding with debug traces for ssl-opt ($conf_name)\n"; | 
|  | 124 | $conf_name .= '+DEBUG'; | 
|  | 125 | $ENV{MBEDTLS_TEST_CONFIGURATION} = $conf_name; | 
| Gilles Peskine | c6d197b | 2022-02-25 21:00:16 +0100 | [diff] [blame] | 126 | system( "make clean" ); | 
|  | 127 | system( "scripts/config.py set MBEDTLS_DEBUG_C" ); | 
|  | 128 | system( "scripts/config.py set MBEDTLS_ERROR_C" ); | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 129 | system( "CFLAGS='-Os -Werror -Wall -Wextra' make" ) and abort "Failed to build: $conf_name\n"; | 
| Gilles Peskine | c6d197b | 2022-02-25 21:00:16 +0100 | [diff] [blame] | 130 | } | 
|  | 131 |  | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 132 | print "\nrunning ssl-opt.sh $opt ($conf_name)\n"; | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 133 | system( "tests/ssl-opt.sh $opt" ) | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 134 | and abort "Failed ssl-opt.sh: $conf_name\n"; | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 135 | } | 
|  | 136 | else | 
|  | 137 | { | 
| Gilles Peskine | a266541 | 2022-03-14 19:05:48 +0100 | [diff] [blame] | 138 | print "\nskipping ssl-opt.sh ($conf_name)\n"; | 
| Gilles Peskine | 7dc9704 | 2020-02-26 19:48:43 +0100 | [diff] [blame] | 139 | } | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 140 | } | 
|  | 141 |  | 
| Gilles Peskine | d7df877 | 2022-02-26 18:16:07 +0100 | [diff] [blame] | 142 | foreach my $conf ( @configs_to_test ) { | 
| Ronald Cron | b30cd3b | 2024-05-17 14:11:31 +0200 | [diff] [blame] | 143 | system("grep '//#define MBEDTLS_USE_PSA_CRYPTO' configs/$conf > /dev/null"); | 
|  | 144 | die "grep ... configs/$conf: $!" if $? != 0 && $? != 0x100; | 
|  | 145 | my $test_with_psa = $? == 0; | 
| Ronald Cron | 4dd6631 | 2024-05-15 11:22:04 +0200 | [diff] [blame] | 146 |  | 
| Andrzej Kurek | 01005b9 | 2022-01-17 15:32:02 +0100 | [diff] [blame] | 147 | if ( $test_with_psa ) | 
|  | 148 | { | 
| Gilles Peskine | d7df877 | 2022-02-26 18:16:07 +0100 | [diff] [blame] | 149 | perform_test( $conf, $configs{$conf}, $test_with_psa ); | 
| Andrzej Kurek | 01005b9 | 2022-01-17 15:32:02 +0100 | [diff] [blame] | 150 | } | 
| Gilles Peskine | d7df877 | 2022-02-26 18:16:07 +0100 | [diff] [blame] | 151 | perform_test( $conf, $configs{$conf}, 0 ); | 
| Andrzej Kurek | 01005b9 | 2022-01-17 15:32:02 +0100 | [diff] [blame] | 152 | } | 
|  | 153 |  | 
| Manuel Pégourié-Gonnard | 6498540 | 2013-09-20 16:22:42 +0200 | [diff] [blame] | 154 | system( "mv $config_h.bak $config_h" ) and warn "$config_h not restored\n"; | 
|  | 155 | system( "make clean" ); | 
|  | 156 | exit 0; |