Markus Pfeiffer | a26a005 | 2014-04-22 20:16:15 +0000 | [diff] [blame] | 1 | #!/usr/bin/env perl |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 2 | # |
Gilles Peskine | f1cc6a4 | 2017-09-29 15:45:12 +0200 | [diff] [blame] | 3 | # A test data file consists of a sequence of paragraphs separated by |
| 4 | # a single empty line. Line breaks may be in Unix (LF) or Windows (CRLF) |
| 5 | # format. Lines starting with the character '#' are ignored |
| 6 | # (the parser behaves as if they were not present). |
| 7 | # |
| 8 | # Each paragraph describes one test case and must consist of: (1) one |
| 9 | # line which is the test case name; (2) an optional line starting with |
| 10 | # the 11-character prefix "depends_on:"; (3) a line containing the test |
| 11 | # function to execute and its parameters. |
| 12 | # |
| 13 | # A depends_on: line consists of a list of compile-time options |
| 14 | # separated by the character ':', with no whitespace. The test case |
| 15 | # is executed only if this compilation option is enabled in config.h. |
| 16 | # |
| 17 | # The last line of each paragraph contains a test function name and |
| 18 | # a list of parameters separated by the character ':'. Running the |
| 19 | # test case calls this function with the specified parameters. Each |
| 20 | # parameter may either be an integer written in decimal or hexadecimal, |
| 21 | # or a string surrounded by double quotes which may not contain the |
| 22 | # ':' character. |
| 23 | # |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 24 | |
| 25 | use strict; |
| 26 | |
| 27 | my $suite_dir = shift or die "Missing suite directory"; |
| 28 | my $suite_name = shift or die "Missing suite name"; |
Paul Bakker | 46c1794 | 2011-07-13 14:54:54 +0000 | [diff] [blame] | 29 | my $data_name = shift or die "Missing data name"; |
Rich Evans | f4253c7 | 2015-01-14 19:23:00 +0000 | [diff] [blame] | 30 | my $test_main_file = do { my $arg = shift; defined($arg) ? $arg : $suite_dir."/main_test.function" }; |
Paul Bakker | 46c1794 | 2011-07-13 14:54:54 +0000 | [diff] [blame] | 31 | my $test_file = $data_name.".c"; |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 32 | my $test_helper_file = $suite_dir."/helpers.function"; |
| 33 | my $test_case_file = $suite_dir."/".$suite_name.".function"; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 34 | my $test_case_data = $suite_dir."/".$data_name.".data"; |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 35 | |
| 36 | my $line_separator = $/; |
| 37 | undef $/; |
| 38 | |
| 39 | open(TEST_HELPERS, "$test_helper_file") or die "Opening test helpers '$test_helper_file': $!"; |
| 40 | my $test_helpers = <TEST_HELPERS>; |
| 41 | close(TEST_HELPERS); |
| 42 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 43 | open(TEST_MAIN, "$test_main_file") or die "Opening test main '$test_main_file': $!"; |
| 44 | my $test_main = <TEST_MAIN>; |
| 45 | close(TEST_MAIN); |
| 46 | |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 47 | open(TEST_CASES, "$test_case_file") or die "Opening test cases '$test_case_file': $!"; |
| 48 | my $test_cases = <TEST_CASES>; |
| 49 | close(TEST_CASES); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 50 | |
| 51 | open(TEST_DATA, "$test_case_data") or die "Opening test data '$test_case_data': $!"; |
| 52 | my $test_data = <TEST_DATA>; |
| 53 | close(TEST_DATA); |
| 54 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 55 | my ( $suite_header ) = $test_cases =~ /\/\* BEGIN_HEADER \*\/\n(.*?)\n\/\* END_HEADER \*\//s; |
| 56 | my ( $suite_defines ) = $test_cases =~ /\/\* BEGIN_DEPENDENCIES\n \* (.*?)\n \* END_DEPENDENCIES/s; |
Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 57 | |
| 58 | my $requirements; |
| 59 | if ($suite_defines =~ /^depends_on:/) |
| 60 | { |
| 61 | ( $requirements ) = $suite_defines =~ /^depends_on:(.*)$/; |
| 62 | } |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 63 | |
Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 64 | my @var_req_arr = split(/:/, $requirements); |
| 65 | my $suite_pre_code; |
| 66 | my $suite_post_code; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 67 | my $dispatch_code; |
| 68 | my $mapping_code; |
| 69 | my %mapping_values; |
Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 70 | |
| 71 | while (@var_req_arr) |
| 72 | { |
| 73 | my $req = shift @var_req_arr; |
Manuel Pégourié-Gonnard | e46c6c3 | 2015-03-23 13:59:10 +0100 | [diff] [blame] | 74 | $req =~ s/(!?)(.*)/$1defined($2)/; |
Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 75 | |
Manuel Pégourié-Gonnard | e46c6c3 | 2015-03-23 13:59:10 +0100 | [diff] [blame] | 76 | $suite_pre_code .= "#if $req\n"; |
Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 77 | $suite_post_code .= "#endif /* $req */\n"; |
| 78 | } |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 79 | |
| 80 | $/ = $line_separator; |
| 81 | |
| 82 | open(TEST_FILE, ">$test_file") or die "Opening destination file '$test_file': $!"; |
| 83 | print TEST_FILE << "END"; |
Manuel Pégourié-Gonnard | cef4ad2 | 2014-04-29 12:39:06 +0200 | [diff] [blame] | 84 | #if !defined(POLARSSL_CONFIG_FILE) |
Paul Bakker | 28837ff | 2013-06-24 19:17:50 +0200 | [diff] [blame] | 85 | #include <polarssl/config.h> |
Manuel Pégourié-Gonnard | cef4ad2 | 2014-04-29 12:39:06 +0200 | [diff] [blame] | 86 | #else |
| 87 | #include POLARSSL_CONFIG_FILE |
| 88 | #endif |
Paul Bakker | 5690efc | 2011-05-26 13:16:06 +0000 | [diff] [blame] | 89 | |
Rich Evans | 00ab470 | 2015-02-06 13:43:58 +0000 | [diff] [blame] | 90 | $test_helpers |
| 91 | |
Paul Bakker | de56ca1 | 2013-09-15 17:05:21 +0200 | [diff] [blame] | 92 | $suite_pre_code |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 93 | $suite_header |
Paul Bakker | de56ca1 | 2013-09-15 17:05:21 +0200 | [diff] [blame] | 94 | $suite_post_code |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 95 | |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 96 | END |
| 97 | |
Paul Bakker | b34fef2 | 2013-08-20 12:06:33 +0200 | [diff] [blame] | 98 | $test_main =~ s/SUITE_PRE_DEP/$suite_pre_code/; |
| 99 | $test_main =~ s/SUITE_POST_DEP/$suite_post_code/; |
| 100 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 101 | while($test_cases =~ /\/\* BEGIN_CASE *([\w:]*) \*\/\n(.*?)\n\/\* END_CASE \*\//msg) |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 102 | { |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 103 | my $function_deps = $1; |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 104 | my $function_decl = $2; |
| 105 | |
| 106 | # Sanity checks of function |
| 107 | if ($function_decl !~ /^void /) |
| 108 | { |
| 109 | die "Test function does not have 'void' as return type\n"; |
| 110 | } |
Paul Bakker | 318d0fe | 2014-07-10 14:59:25 +0200 | [diff] [blame] | 111 | if ($function_decl !~ /^void (\w+)\(\s*(.*?)\s*\)\s*{(.*)}/ms) |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 112 | { |
| 113 | die "Function declaration not in expected format\n"; |
| 114 | } |
| 115 | my $function_name = $1; |
| 116 | my $function_params = $2; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 117 | my $function_pre_code; |
| 118 | my $function_post_code; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 119 | my $param_defs; |
| 120 | my $param_checks; |
| 121 | my @dispatch_params; |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 122 | my @var_def_arr = split(/,\s*/, $function_params); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 123 | my $i = 1; |
| 124 | my $mapping_regex = "".$function_name; |
| 125 | my $mapping_count = 0; |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 126 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 127 | $function_decl =~ s/^void /void test_suite_/; |
| 128 | |
Paul Bakker | 318d0fe | 2014-07-10 14:59:25 +0200 | [diff] [blame] | 129 | # Add exit label if not present |
| 130 | if ($function_decl !~ /^exit:$/m) |
| 131 | { |
| 132 | $function_decl =~ s/}\s*$/\nexit:\n return;\n}/; |
| 133 | } |
| 134 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 135 | if ($function_deps =~ /^depends_on:/) |
Paul Bakker | ccff167 | 2009-10-03 19:57:10 +0000 | [diff] [blame] | 136 | { |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 137 | ( $function_deps ) = $function_deps =~ /^depends_on:(.*)$/; |
Paul Bakker | ccff167 | 2009-10-03 19:57:10 +0000 | [diff] [blame] | 138 | } |
| 139 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 140 | foreach my $req (split(/:/, $function_deps)) |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 141 | { |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 142 | $function_pre_code .= "#ifdef $req\n"; |
| 143 | $function_post_code .= "#endif /* $req */\n"; |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 144 | } |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 145 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 146 | foreach my $def (@var_def_arr) |
| 147 | { |
| 148 | # Handle the different parameter types |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 149 | if( substr($def, 0, 4) eq "int " ) |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 150 | { |
| 151 | $param_defs .= " int param$i;\n"; |
| 152 | $param_checks .= " if( verify_int( params[$i], ¶m$i ) != 0 ) return( 2 );\n"; |
| 153 | push @dispatch_params, "param$i"; |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 154 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 155 | $mapping_regex .= ":([\\d\\w |\\+\\-\\(\\)]+)"; |
| 156 | $mapping_count++; |
| 157 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 158 | elsif( substr($def, 0, 6) eq "char *" ) |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 159 | { |
| 160 | $param_defs .= " char *param$i = params[$i];\n"; |
| 161 | $param_checks .= " if( verify_string( ¶m$i ) != 0 ) return( 2 );\n"; |
| 162 | push @dispatch_params, "param$i"; |
Andres AG | 22d77a2 | 2017-02-02 14:36:49 +0000 | [diff] [blame] | 163 | $mapping_regex .= ":(?:\\\\.|[^:\n])+"; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 164 | } |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 165 | else |
| 166 | { |
| 167 | die "Parameter declaration not of supported type (int, char *)\n"; |
| 168 | } |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 169 | $i++; |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 170 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 171 | } |
| 172 | |
| 173 | # Find non-integer values we should map for this function |
| 174 | if( $mapping_count) |
| 175 | { |
| 176 | my @res = $test_data =~ /^$mapping_regex/msg; |
| 177 | foreach my $value (@res) |
| 178 | { |
Manuel Pégourié-Gonnard | 18c443d | 2013-10-17 14:58:24 +0200 | [diff] [blame] | 179 | next unless ($value !~ /^\d+$/); |
| 180 | if ( $mapping_values{$value} ) { |
| 181 | ${ $mapping_values{$value} }{$function_pre_code} = 1; |
| 182 | } else { |
| 183 | $mapping_values{$value} = { $function_pre_code => 1 }; |
| 184 | } |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 185 | } |
| 186 | } |
| 187 | |
| 188 | my $call_params = join ", ", @dispatch_params; |
| 189 | my $param_count = @var_def_arr + 1; |
| 190 | $dispatch_code .= << "END"; |
| 191 | if( strcmp( params[0], "$function_name" ) == 0 ) |
| 192 | { |
| 193 | $function_pre_code |
| 194 | $param_defs |
| 195 | if( cnt != $param_count ) |
| 196 | { |
Rich Evans | 920aa9c | 2015-01-15 10:31:23 +0000 | [diff] [blame] | 197 | polarssl_fprintf( stderr, "\\nIncorrect argument count (%d != %d)\\n", cnt, $param_count ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 198 | return( 2 ); |
| 199 | } |
| 200 | |
| 201 | $param_checks |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 202 | test_suite_$function_name( $call_params ); |
| 203 | return ( 0 ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 204 | $function_post_code |
| 205 | return ( 3 ); |
| 206 | } |
| 207 | else |
| 208 | END |
| 209 | |
Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 210 | my $function_code = $function_pre_code . $function_decl . "\n" . $function_post_code; |
| 211 | $test_main =~ s/FUNCTION_CODE/$function_code\nFUNCTION_CODE/; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 212 | } |
| 213 | |
| 214 | # Find specific case dependencies that we should be able to check |
| 215 | # and make check code |
| 216 | my $dep_check_code; |
| 217 | |
Hanno Becker | cffe2da | 2017-09-08 10:39:07 +0100 | [diff] [blame] | 218 | my @res = $test_data =~ /^depends_on:([!:\w]+)/msg; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 219 | my %case_deps; |
| 220 | foreach my $deps (@res) |
| 221 | { |
| 222 | foreach my $dep (split(/:/, $deps)) |
| 223 | { |
| 224 | $case_deps{$dep} = 1; |
| 225 | } |
| 226 | } |
| 227 | while( my ($key, $value) = each(%case_deps) ) |
| 228 | { |
Hanno Becker | cffe2da | 2017-09-08 10:39:07 +0100 | [diff] [blame] | 229 | if( substr($key, 0, 1) eq "!" ) |
| 230 | { |
| 231 | my $key = substr($key, 1); |
| 232 | $dep_check_code .= << "END"; |
| 233 | if( strcmp( str, "!$key" ) == 0 ) |
| 234 | { |
| 235 | #if !defined($key) |
| 236 | return( 0 ); |
| 237 | #else |
| 238 | return( 1 ); |
| 239 | #endif |
| 240 | } |
| 241 | END |
| 242 | } |
| 243 | else |
| 244 | { |
| 245 | $dep_check_code .= << "END"; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 246 | if( strcmp( str, "$key" ) == 0 ) |
| 247 | { |
| 248 | #if defined($key) |
| 249 | return( 0 ); |
| 250 | #else |
| 251 | return( 1 ); |
| 252 | #endif |
| 253 | } |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 254 | END |
Hanno Becker | cffe2da | 2017-09-08 10:39:07 +0100 | [diff] [blame] | 255 | } |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 256 | } |
| 257 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 258 | # Make mapping code |
| 259 | while( my ($key, $value) = each(%mapping_values) ) |
| 260 | { |
Manuel Pégourié-Gonnard | 18c443d | 2013-10-17 14:58:24 +0200 | [diff] [blame] | 261 | my $key_mapping_code = << "END"; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 262 | if( strcmp( str, "$key" ) == 0 ) |
| 263 | { |
| 264 | *value = ( $key ); |
| 265 | return( 0 ); |
| 266 | } |
| 267 | END |
Manuel Pégourié-Gonnard | 18c443d | 2013-10-17 14:58:24 +0200 | [diff] [blame] | 268 | |
| 269 | # handle depenencies, unless used at least one without depends |
| 270 | if ($value->{""}) { |
| 271 | $mapping_code .= $key_mapping_code; |
| 272 | next; |
| 273 | } |
| 274 | for my $ifdef ( keys %$value ) { |
| 275 | (my $endif = $ifdef) =~ s!ifdef!endif //!g; |
| 276 | $mapping_code .= $ifdef . $key_mapping_code . $endif; |
| 277 | } |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 278 | } |
| 279 | |
| 280 | $dispatch_code =~ s/^(.+)/ $1/mg; |
| 281 | |
| 282 | $test_main =~ s/TEST_FILENAME/$test_case_data/; |
| 283 | $test_main =~ s/FUNCTION_CODE//; |
| 284 | $test_main =~ s/DEP_CHECK_CODE/$dep_check_code/; |
| 285 | $test_main =~ s/DISPATCH_FUNCTION/$dispatch_code/; |
| 286 | $test_main =~ s/MAPPING_CODE/$mapping_code/; |
| 287 | |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 288 | print TEST_FILE << "END"; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 289 | $test_main |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 290 | END |
| 291 | |
Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 292 | close(TEST_FILE); |