Gilles Peskine | e137ebc | 2021-01-29 21:12:52 +0100 | [diff] [blame] | 1 | #line 2 "main_test.function" |
Paul Bakker | de56ca1 | 2013-09-15 17:05:21 +0200 | [diff] [blame] | 2 | SUITE_PRE_DEP |
| 3 | #define TEST_SUITE_ACTIVE |
| 4 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 5 | int verify_string( char **str ) |
| 6 | { |
| 7 | if( (*str)[0] != '"' || |
| 8 | (*str)[strlen( *str ) - 1] != '"' ) |
| 9 | { |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 10 | mbedtls_fprintf( stderr, |
| 11 | "Expected string (with \"\") for parameter and got: %s\n", *str ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 12 | return( -1 ); |
| 13 | } |
| 14 | |
| 15 | (*str)++; |
| 16 | (*str)[strlen( *str ) - 1] = '\0'; |
| 17 | |
| 18 | return( 0 ); |
| 19 | } |
| 20 | |
| 21 | int verify_int( char *str, int *value ) |
| 22 | { |
| 23 | size_t i; |
| 24 | int minus = 0; |
| 25 | int digits = 1; |
| 26 | int hex = 0; |
| 27 | |
| 28 | for( i = 0; i < strlen( str ); i++ ) |
| 29 | { |
| 30 | if( i == 0 && str[i] == '-' ) |
| 31 | { |
| 32 | minus = 1; |
| 33 | continue; |
| 34 | } |
| 35 | |
| 36 | if( ( ( minus && i == 2 ) || ( !minus && i == 1 ) ) && |
| 37 | str[i - 1] == '0' && str[i] == 'x' ) |
| 38 | { |
| 39 | hex = 1; |
| 40 | continue; |
| 41 | } |
| 42 | |
Manuel Pégourié-Gonnard | 725afd8 | 2014-02-01 11:54:28 +0100 | [diff] [blame] | 43 | if( ! ( ( str[i] >= '0' && str[i] <= '9' ) || |
| 44 | ( hex && ( ( str[i] >= 'a' && str[i] <= 'f' ) || |
| 45 | ( str[i] >= 'A' && str[i] <= 'F' ) ) ) ) ) |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 46 | { |
| 47 | digits = 0; |
| 48 | break; |
| 49 | } |
| 50 | } |
| 51 | |
| 52 | if( digits ) |
| 53 | { |
| 54 | if( hex ) |
| 55 | *value = strtol( str, NULL, 16 ); |
| 56 | else |
| 57 | *value = strtol( str, NULL, 10 ); |
| 58 | |
| 59 | return( 0 ); |
| 60 | } |
| 61 | |
| 62 | MAPPING_CODE |
| 63 | |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 64 | mbedtls_fprintf( stderr, |
| 65 | "Expected integer for parameter and got: %s\n", str ); |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 66 | return( KEY_VALUE_MAPPING_NOT_FOUND ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 67 | } |
| 68 | |
SimonB | 152ea18 | 2016-02-15 23:27:28 +0000 | [diff] [blame] | 69 | |
| 70 | /*----------------------------------------------------------------------------*/ |
| 71 | /* Test Case code */ |
| 72 | |
Paul Bakker | de56ca1 | 2013-09-15 17:05:21 +0200 | [diff] [blame] | 73 | FUNCTION_CODE |
| 74 | SUITE_POST_DEP |
| 75 | |
SimonB | 1594210 | 2016-04-25 21:34:49 +0100 | [diff] [blame] | 76 | #line !LINE_NO! "main_test.function" |
| 77 | |
SimonB | 152ea18 | 2016-02-15 23:27:28 +0000 | [diff] [blame] | 78 | |
| 79 | /*----------------------------------------------------------------------------*/ |
| 80 | /* Test dispatch code */ |
| 81 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 82 | int dep_check( char *str ) |
| 83 | { |
| 84 | if( str == NULL ) |
| 85 | return( 1 ); |
| 86 | |
| 87 | DEP_CHECK_CODE |
Simon Butcher | 65b1fa6 | 2016-05-23 23:18:26 +0100 | [diff] [blame] | 88 | #line !LINE_NO! "main_test.function" |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 89 | |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 90 | return( DEPENDENCY_NOT_SUPPORTED ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 91 | } |
| 92 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 93 | int dispatch_test(int cnt, char *params[50]) |
| 94 | { |
| 95 | int ret; |
Paul Bakker | b34fef2 | 2013-08-20 12:06:33 +0200 | [diff] [blame] | 96 | ((void) cnt); |
| 97 | ((void) params); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 98 | |
Paul Bakker | b34fef2 | 2013-08-20 12:06:33 +0200 | [diff] [blame] | 99 | #if defined(TEST_SUITE_ACTIVE) |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 100 | ret = DISPATCH_TEST_SUCCESS; |
| 101 | |
Simon Butcher | 65b1fa6 | 2016-05-23 23:18:26 +0100 | [diff] [blame] | 102 | // Cast to void to avoid compiler warnings |
| 103 | (void)ret; |
| 104 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 105 | DISPATCH_FUNCTION |
| 106 | { |
Simon Butcher | 65b1fa6 | 2016-05-23 23:18:26 +0100 | [diff] [blame] | 107 | #line !LINE_NO! "main_test.function" |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 108 | mbedtls_fprintf( stdout, |
| 109 | "FAILED\nSkipping unknown test function '%s'\n", |
| 110 | params[0] ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 111 | fflush( stdout ); |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 112 | ret = DISPATCH_TEST_FN_NOT_FOUND; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 113 | } |
Gilles Peskine | 0abb8e4 | 2021-01-29 21:18:09 +0100 | [diff] [blame^] | 114 | |
Paul Bakker | b34fef2 | 2013-08-20 12:06:33 +0200 | [diff] [blame] | 115 | #else |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 116 | ret = DISPATCH_UNSUPPORTED_SUITE; |
Paul Bakker | b34fef2 | 2013-08-20 12:06:33 +0200 | [diff] [blame] | 117 | #endif |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 118 | return( ret ); |
| 119 | } |
| 120 | |
SimonB | 152ea18 | 2016-02-15 23:27:28 +0000 | [diff] [blame] | 121 | |
| 122 | /*----------------------------------------------------------------------------*/ |
| 123 | /* Main Test code */ |
| 124 | |
SimonB | 1594210 | 2016-04-25 21:34:49 +0100 | [diff] [blame] | 125 | #line !LINE_NO! "main_test.function" |
| 126 | |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 127 | #define USAGE \ |
| 128 | "Usage: %s [OPTIONS] files...\n\n" \ |
| 129 | " Command line arguments:\n" \ |
| 130 | " files... One or more test data file. If no file is specified\n" \ |
| 131 | " the followimg default test case is used:\n" \ |
| 132 | " %s\n\n" \ |
| 133 | " Options:\n" \ |
| 134 | " -v | --verbose Display full information about each test\n" \ |
| 135 | " -h | --help Display this information\n\n", \ |
| 136 | argv[0], \ |
SimonB | 1594210 | 2016-04-25 21:34:49 +0100 | [diff] [blame] | 137 | "TESTCASE_FILENAME" |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 138 | |
| 139 | |
Gilles Peskine | 964faeb | 2017-09-29 18:00:25 +0200 | [diff] [blame] | 140 | /** Retrieve one input line into buf, which must have room for len |
| 141 | * bytes. The trailing line break (if any) is stripped from the result. |
| 142 | * Lines beginning with the character '#' are skipped. Lines that are |
| 143 | * more than len-1 bytes long including the trailing line break are |
| 144 | * truncated; note that the following bytes remain in the input stream. |
| 145 | * |
| 146 | * \return 0 on success, -1 on error or end of file |
| 147 | */ |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 148 | int get_line( FILE *f, char *buf, size_t len ) |
| 149 | { |
| 150 | char *ret; |
| 151 | |
Gilles Peskine | 964faeb | 2017-09-29 18:00:25 +0200 | [diff] [blame] | 152 | do |
Gilles Peskine | b04e2c3 | 2017-09-29 15:45:12 +0200 | [diff] [blame] | 153 | { |
| 154 | ret = fgets( buf, len, f ); |
| 155 | if( ret == NULL ) |
| 156 | return( -1 ); |
Gilles Peskine | b04e2c3 | 2017-09-29 15:45:12 +0200 | [diff] [blame] | 157 | } |
Gilles Peskine | 964faeb | 2017-09-29 18:00:25 +0200 | [diff] [blame] | 158 | while( buf[0] == '#' ); |
| 159 | |
| 160 | ret = buf + strlen( buf ); |
| 161 | if( ret-- > buf && *ret == '\n' ) |
| 162 | *ret = '\0'; |
| 163 | if( ret-- > buf && *ret == '\r' ) |
| 164 | *ret = '\0'; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 165 | |
| 166 | return( 0 ); |
| 167 | } |
| 168 | |
| 169 | int parse_arguments( char *buf, size_t len, char *params[50] ) |
| 170 | { |
| 171 | int cnt = 0, i; |
| 172 | char *cur = buf; |
| 173 | char *p = buf, *q; |
| 174 | |
| 175 | params[cnt++] = cur; |
| 176 | |
| 177 | while( *p != '\0' && p < buf + len ) |
| 178 | { |
| 179 | if( *p == '\\' ) |
| 180 | { |
Manuel Pégourié-Gonnard | 2d5f142 | 2014-01-22 16:01:17 +0100 | [diff] [blame] | 181 | p++; |
| 182 | p++; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 183 | continue; |
| 184 | } |
| 185 | if( *p == ':' ) |
| 186 | { |
| 187 | if( p + 1 < buf + len ) |
| 188 | { |
| 189 | cur = p + 1; |
| 190 | params[cnt++] = cur; |
| 191 | } |
| 192 | *p = '\0'; |
| 193 | } |
| 194 | |
Manuel Pégourié-Gonnard | 2d5f142 | 2014-01-22 16:01:17 +0100 | [diff] [blame] | 195 | p++; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 196 | } |
| 197 | |
SimonB | 0269dad | 2016-02-17 23:34:30 +0000 | [diff] [blame] | 198 | /* Replace newlines, question marks and colons in strings */ |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 199 | for( i = 0; i < cnt; i++ ) |
| 200 | { |
| 201 | p = params[i]; |
| 202 | q = params[i]; |
| 203 | |
| 204 | while( *p != '\0' ) |
| 205 | { |
| 206 | if( *p == '\\' && *(p + 1) == 'n' ) |
| 207 | { |
| 208 | p += 2; |
| 209 | *(q++) = '\n'; |
| 210 | } |
| 211 | else if( *p == '\\' && *(p + 1) == ':' ) |
| 212 | { |
| 213 | p += 2; |
| 214 | *(q++) = ':'; |
| 215 | } |
| 216 | else if( *p == '\\' && *(p + 1) == '?' ) |
| 217 | { |
| 218 | p += 2; |
| 219 | *(q++) = '?'; |
| 220 | } |
| 221 | else |
| 222 | *(q++) = *(p++); |
| 223 | } |
| 224 | *q = '\0'; |
| 225 | } |
| 226 | |
| 227 | return( cnt ); |
| 228 | } |
| 229 | |
Rodrigo Dias Correa | 5fb1bd4 | 2020-11-10 02:28:50 -0300 | [diff] [blame] | 230 | static int test_snprintf( size_t n, const char *ref_buf, int ref_ret ) |
Manuel Pégourié-Gonnard | 7b6dcbe | 2015-06-22 10:48:01 +0200 | [diff] [blame] | 231 | { |
| 232 | int ret; |
| 233 | char buf[10] = "xxxxxxxxx"; |
Manuel Pégourié-Gonnard | 4b00f08 | 2015-06-26 11:24:32 +0200 | [diff] [blame] | 234 | const char ref[10] = "xxxxxxxxx"; |
Manuel Pégourié-Gonnard | 7b6dcbe | 2015-06-22 10:48:01 +0200 | [diff] [blame] | 235 | |
| 236 | ret = mbedtls_snprintf( buf, n, "%s", "123" ); |
| 237 | if( ret < 0 || (size_t) ret >= n ) |
| 238 | ret = -1; |
| 239 | |
Manuel Pégourié-Gonnard | 4b00f08 | 2015-06-26 11:24:32 +0200 | [diff] [blame] | 240 | if( strncmp( ref_buf, buf, sizeof( buf ) ) != 0 || |
| 241 | ref_ret != ret || |
| 242 | memcmp( buf + n, ref + n, sizeof( buf ) - n ) != 0 ) |
Manuel Pégourié-Gonnard | 7b6dcbe | 2015-06-22 10:48:01 +0200 | [diff] [blame] | 243 | { |
| 244 | return( 1 ); |
| 245 | } |
| 246 | |
| 247 | return( 0 ); |
| 248 | } |
| 249 | |
| 250 | static int run_test_snprintf( void ) |
| 251 | { |
| 252 | return( test_snprintf( 0, "xxxxxxxxx", -1 ) != 0 || |
Manuel Pégourié-Gonnard | 4b00f08 | 2015-06-26 11:24:32 +0200 | [diff] [blame] | 253 | test_snprintf( 1, "", -1 ) != 0 || |
| 254 | test_snprintf( 2, "1", -1 ) != 0 || |
| 255 | test_snprintf( 3, "12", -1 ) != 0 || |
| 256 | test_snprintf( 4, "123", 3 ) != 0 || |
| 257 | test_snprintf( 5, "123", 3 ) != 0 ); |
Manuel Pégourié-Gonnard | 7b6dcbe | 2015-06-22 10:48:01 +0200 | [diff] [blame] | 258 | } |
| 259 | |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 260 | int main(int argc, const char *argv[]) |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 261 | { |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 262 | /* Local Configurations and options */ |
SimonB | 1594210 | 2016-04-25 21:34:49 +0100 | [diff] [blame] | 263 | const char *default_filename = "TESTCASE_FILENAME"; |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 264 | const char *test_filename = NULL; |
| 265 | const char **test_files = NULL; |
Ronald Cron | 59f2139 | 2020-04-06 14:16:25 +0200 | [diff] [blame] | 266 | size_t testfile_count = 0; |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 267 | int option_verbose = 0; |
| 268 | |
| 269 | /* Other Local variables */ |
| 270 | int arg_index = 1; |
| 271 | const char *next_arg; |
Ronald Cron | 59f2139 | 2020-04-06 14:16:25 +0200 | [diff] [blame] | 272 | size_t testfile_index, i, cnt; |
| 273 | int ret; |
| 274 | unsigned total_errors = 0, total_tests = 0, total_skipped = 0; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 275 | FILE *file; |
| 276 | char buf[5000]; |
| 277 | char *params[50]; |
Manuel Pégourié-Gonnard | d14acbc | 2015-05-29 11:26:37 +0200 | [diff] [blame] | 278 | void *pointer; |
Andres AG | ea67eeb | 2016-11-02 10:17:00 +0000 | [diff] [blame] | 279 | #if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__)) |
Simon Butcher | e019296 | 2016-10-12 23:07:30 +0100 | [diff] [blame] | 280 | int stdout_fd = -1; |
Andres AG | ea67eeb | 2016-11-02 10:17:00 +0000 | [diff] [blame] | 281 | #endif /* __unix__ || __APPLE__ __MACH__ */ |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 282 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 283 | #if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && \ |
Manuel Pégourié-Gonnard | 765bb31 | 2014-11-27 11:55:27 +0100 | [diff] [blame] | 284 | !defined(TEST_SUITE_MEMORY_BUFFER_ALLOC) |
Paul Bakker | 1337aff | 2013-09-29 14:45:34 +0200 | [diff] [blame] | 285 | unsigned char alloc_buf[1000000]; |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 286 | mbedtls_memory_buffer_alloc_init( alloc_buf, sizeof(alloc_buf) ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 287 | #endif |
| 288 | |
Gilles Peskine | 44498ff | 2021-01-29 21:17:11 +0100 | [diff] [blame] | 289 | #if defined(MBEDTLS_TEST_MUTEX_USAGE) |
| 290 | mbedtls_test_mutex_usage_init( ); |
| 291 | #endif |
| 292 | |
Manuel Pégourié-Gonnard | d14acbc | 2015-05-29 11:26:37 +0200 | [diff] [blame] | 293 | /* |
| 294 | * The C standard doesn't guarantee that all-bits-0 is the representation |
| 295 | * of a NULL pointer. We do however use that in our code for initializing |
| 296 | * structures, which should work on every modern platform. Let's be sure. |
| 297 | */ |
| 298 | memset( &pointer, 0, sizeof( void * ) ); |
| 299 | if( pointer != NULL ) |
| 300 | { |
| 301 | mbedtls_fprintf( stderr, "all-bits-zero is not a NULL pointer\n" ); |
| 302 | return( 1 ); |
| 303 | } |
| 304 | |
Manuel Pégourié-Gonnard | 7b6dcbe | 2015-06-22 10:48:01 +0200 | [diff] [blame] | 305 | /* |
| 306 | * Make sure we have a snprintf that correctly zero-terminates |
| 307 | */ |
| 308 | if( run_test_snprintf() != 0 ) |
| 309 | { |
| 310 | mbedtls_fprintf( stderr, "the snprintf implementation is broken\n" ); |
| 311 | return( 0 ); |
| 312 | } |
| 313 | |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 314 | while( arg_index < argc) |
| 315 | { |
| 316 | next_arg = argv[ arg_index ]; |
| 317 | |
| 318 | if( strcmp(next_arg, "--verbose" ) == 0 || |
| 319 | strcmp(next_arg, "-v" ) == 0 ) |
| 320 | { |
| 321 | option_verbose = 1; |
| 322 | } |
| 323 | else if( strcmp(next_arg, "--help" ) == 0 || |
| 324 | strcmp(next_arg, "-h" ) == 0 ) |
| 325 | { |
| 326 | mbedtls_fprintf( stdout, USAGE ); |
| 327 | mbedtls_exit( EXIT_SUCCESS ); |
| 328 | } |
| 329 | else |
| 330 | { |
| 331 | /* Not an option, therefore treat all further arguments as the file |
| 332 | * list. |
| 333 | */ |
| 334 | test_files = &argv[ arg_index ]; |
| 335 | testfile_count = argc - arg_index; |
| 336 | } |
| 337 | |
| 338 | arg_index++; |
| 339 | } |
| 340 | |
| 341 | /* If no files were specified, assume a default */ |
| 342 | if ( test_files == NULL || testfile_count == 0 ) |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 343 | { |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 344 | test_files = &default_filename; |
| 345 | testfile_count = 1; |
| 346 | } |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 347 | |
Andres Amaya Garcia | 3f50f51 | 2017-10-01 16:42:29 +0100 | [diff] [blame] | 348 | /* Initialize the struct that holds information about the last test */ |
| 349 | memset( &test_info, 0, sizeof( test_info ) ); |
| 350 | |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 351 | /* Now begin to execute the tests in the testfiles */ |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 352 | for ( testfile_index = 0; |
| 353 | testfile_index < testfile_count; |
| 354 | testfile_index++ ) |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 355 | { |
Ronald Cron | 59f2139 | 2020-04-06 14:16:25 +0200 | [diff] [blame] | 356 | size_t unmet_dep_count = 0; |
Gilles Peskine | 6766550 | 2020-03-31 10:57:53 +0200 | [diff] [blame] | 357 | char *unmet_dependencies[20]; /* only filled when verbose != 0 */ |
Ronald Cron | 75d26b5 | 2020-04-03 15:46:53 +0200 | [diff] [blame] | 358 | int missing_unmet_dependencies = 0; |
Paul Bakker | 774180e | 2016-05-12 15:59:48 +0100 | [diff] [blame] | 359 | |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 360 | test_filename = test_files[ testfile_index ]; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 361 | |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 362 | file = fopen( test_filename, "r" ); |
| 363 | if( file == NULL ) |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 364 | { |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 365 | mbedtls_fprintf( stderr, "Failed to open test file: %s\n", |
| 366 | test_filename ); |
| 367 | return( 1 ); |
| 368 | } |
| 369 | |
| 370 | while( !feof( file ) ) |
| 371 | { |
Paul Bakker | 774180e | 2016-05-12 15:59:48 +0100 | [diff] [blame] | 372 | if( unmet_dep_count > 0 ) |
| 373 | { |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 374 | mbedtls_fprintf( stderr, |
Janos Follath | 8ca53b5 | 2016-10-05 10:57:49 +0100 | [diff] [blame] | 375 | "FATAL: Dep count larger than zero at start of loop\n" ); |
Paul Bakker | 774180e | 2016-05-12 15:59:48 +0100 | [diff] [blame] | 376 | mbedtls_exit( MBEDTLS_EXIT_FAILURE ); |
| 377 | } |
| 378 | unmet_dep_count = 0; |
Gilles Peskine | 6766550 | 2020-03-31 10:57:53 +0200 | [diff] [blame] | 379 | memset( unmet_dependencies, 0, sizeof( unmet_dependencies ) ); |
Ronald Cron | 75d26b5 | 2020-04-03 15:46:53 +0200 | [diff] [blame] | 380 | missing_unmet_dependencies = 0; |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 381 | |
| 382 | if( ( ret = get_line( file, buf, sizeof(buf) ) ) != 0 ) |
| 383 | break; |
Andres Amaya Garcia | 3f50f51 | 2017-10-01 16:42:29 +0100 | [diff] [blame] | 384 | mbedtls_fprintf( stdout, "%s%.66s", test_info.failed ? "\n" : "", buf ); |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 385 | mbedtls_fprintf( stdout, " " ); |
| 386 | for( i = strlen( buf ) + 1; i < 67; i++ ) |
| 387 | mbedtls_fprintf( stdout, "." ); |
| 388 | mbedtls_fprintf( stdout, " " ); |
| 389 | fflush( stdout ); |
| 390 | |
| 391 | total_tests++; |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 392 | |
| 393 | if( ( ret = get_line( file, buf, sizeof(buf) ) ) != 0 ) |
| 394 | break; |
| 395 | cnt = parse_arguments( buf, strlen(buf), params ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 396 | |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 397 | if( strcmp( params[0], "depends_on" ) == 0 ) |
| 398 | { |
| 399 | for( i = 1; i < cnt; i++ ) |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 400 | { |
| 401 | if( dep_check( params[i] ) != DEPENDENCY_SUPPORTED ) |
| 402 | { |
Ronald Cron | 1d3eab6 | 2020-04-03 15:36:16 +0200 | [diff] [blame] | 403 | if( unmet_dep_count < |
| 404 | ARRAY_LENGTH( unmet_dependencies ) ) |
Paul Bakker | 26b60bf | 2016-05-12 15:55:37 +0100 | [diff] [blame] | 405 | { |
Ronald Cron | 1d3eab6 | 2020-04-03 15:36:16 +0200 | [diff] [blame] | 406 | if( 0 != option_verbose ) |
Gilles Peskine | 6766550 | 2020-03-31 10:57:53 +0200 | [diff] [blame] | 407 | { |
Ronald Cron | 1d3eab6 | 2020-04-03 15:36:16 +0200 | [diff] [blame] | 408 | unmet_dependencies[unmet_dep_count] = |
| 409 | strdup( params[i] ); |
| 410 | if( unmet_dependencies[unmet_dep_count] == NULL ) |
| 411 | { |
| 412 | mbedtls_fprintf( stderr, |
| 413 | "FATAL: Out of memory\n" ); |
| 414 | mbedtls_exit( MBEDTLS_EXIT_FAILURE ); |
| 415 | } |
Gilles Peskine | 6766550 | 2020-03-31 10:57:53 +0200 | [diff] [blame] | 416 | } |
Ronald Cron | 1d3eab6 | 2020-04-03 15:36:16 +0200 | [diff] [blame] | 417 | unmet_dep_count++; |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 418 | } |
Ronald Cron | 75d26b5 | 2020-04-03 15:46:53 +0200 | [diff] [blame] | 419 | else |
| 420 | { |
| 421 | missing_unmet_dependencies = 1; |
| 422 | } |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 423 | } |
| 424 | } |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 425 | |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 426 | if( ( ret = get_line( file, buf, sizeof(buf) ) ) != 0 ) |
| 427 | break; |
| 428 | cnt = parse_arguments( buf, strlen(buf), params ); |
| 429 | } |
Andres Amaya Garcia | 3f50f51 | 2017-10-01 16:42:29 +0100 | [diff] [blame] | 430 | |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 431 | // If there are no unmet dependencies execute the test |
| 432 | if( unmet_dep_count == 0 ) |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 433 | { |
Andres Amaya Garcia | 3f50f51 | 2017-10-01 16:42:29 +0100 | [diff] [blame] | 434 | test_info.failed = 0; |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 435 | |
| 436 | #if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__)) |
| 437 | /* Suppress all output from the library unless we're verbose |
| 438 | * mode |
| 439 | */ |
| 440 | if( !option_verbose ) |
| 441 | { |
gufe44 | b0ab8c2 | 2020-07-30 09:02:27 +0200 | [diff] [blame] | 442 | stdout_fd = redirect_output( stdout, "/dev/null" ); |
Janos Follath | 8ca53b5 | 2016-10-05 10:57:49 +0100 | [diff] [blame] | 443 | if( stdout_fd == -1 ) |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 444 | { |
| 445 | /* Redirection has failed with no stdout so exit */ |
Janos Follath | 8ca53b5 | 2016-10-05 10:57:49 +0100 | [diff] [blame] | 446 | exit( 1 ); |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 447 | } |
| 448 | } |
| 449 | #endif /* __unix__ || __APPLE__ __MACH__ */ |
| 450 | |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 451 | ret = dispatch_test( cnt, params ); |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 452 | |
| 453 | #if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__)) |
gufe44 | b0ab8c2 | 2020-07-30 09:02:27 +0200 | [diff] [blame] | 454 | if( !option_verbose && restore_output( stdout, stdout_fd ) ) |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 455 | { |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 456 | /* Redirection has failed with no stdout so exit */ |
Janos Follath | 8ca53b5 | 2016-10-05 10:57:49 +0100 | [diff] [blame] | 457 | exit( 1 ); |
Simon Butcher | 2573136 | 2016-09-30 13:11:29 +0100 | [diff] [blame] | 458 | } |
| 459 | #endif /* __unix__ || __APPLE__ __MACH__ */ |
| 460 | |
Gilles Peskine | 0abb8e4 | 2021-01-29 21:18:09 +0100 | [diff] [blame^] | 461 | #if defined(MBEDTLS_TEST_MUTEX_USAGE) |
| 462 | if( ret == DISPATCH_TEST_SUCCESS ) |
| 463 | mbedtls_test_mutex_usage_check( ); |
| 464 | #endif /* MBEDTLS_TEST_MUTEX_USAGE */ |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 465 | } |
| 466 | |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 467 | if( unmet_dep_count > 0 || ret == DISPATCH_UNSUPPORTED_SUITE ) |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 468 | { |
| 469 | total_skipped++; |
Hanno Becker | 910f662 | 2017-07-23 10:23:24 +0100 | [diff] [blame] | 470 | mbedtls_fprintf( stdout, "----" ); |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 471 | |
| 472 | if( 1 == option_verbose && ret == DISPATCH_UNSUPPORTED_SUITE ) |
| 473 | { |
Hanno Becker | 910f662 | 2017-07-23 10:23:24 +0100 | [diff] [blame] | 474 | mbedtls_fprintf( stdout, "\n Test Suite not enabled" ); |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 475 | } |
| 476 | |
| 477 | if( 1 == option_verbose && unmet_dep_count > 0 ) |
| 478 | { |
Hanno Becker | 910f662 | 2017-07-23 10:23:24 +0100 | [diff] [blame] | 479 | mbedtls_fprintf( stdout, "\n Unmet dependencies: " ); |
Paul Bakker | 774180e | 2016-05-12 15:59:48 +0100 | [diff] [blame] | 480 | for( i = 0; i < unmet_dep_count; i++ ) |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 481 | { |
| 482 | mbedtls_fprintf(stdout, "%s ", |
Paul Bakker | 774180e | 2016-05-12 15:59:48 +0100 | [diff] [blame] | 483 | unmet_dependencies[i]); |
| 484 | free(unmet_dependencies[i]); |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 485 | } |
Ronald Cron | 75d26b5 | 2020-04-03 15:46:53 +0200 | [diff] [blame] | 486 | if( missing_unmet_dependencies ) |
| 487 | mbedtls_fprintf( stdout, "..." ); |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 488 | } |
Hanno Becker | 910f662 | 2017-07-23 10:23:24 +0100 | [diff] [blame] | 489 | mbedtls_fprintf( stdout, "\n" ); |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 490 | fflush( stdout ); |
Paul Bakker | 774180e | 2016-05-12 15:59:48 +0100 | [diff] [blame] | 491 | |
| 492 | unmet_dep_count = 0; |
Ronald Cron | 75d26b5 | 2020-04-03 15:46:53 +0200 | [diff] [blame] | 493 | missing_unmet_dependencies = 0; |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 494 | } |
Andres Amaya Garcia | 3f50f51 | 2017-10-01 16:42:29 +0100 | [diff] [blame] | 495 | else if( ret == DISPATCH_TEST_SUCCESS ) |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 496 | { |
Andres Amaya Garcia | 3f50f51 | 2017-10-01 16:42:29 +0100 | [diff] [blame] | 497 | if( test_info.failed == 0 ) |
| 498 | { |
| 499 | mbedtls_fprintf( stdout, "PASS\n" ); |
| 500 | } |
| 501 | else |
| 502 | { |
| 503 | total_errors++; |
| 504 | mbedtls_fprintf( stdout, "FAILED\n" ); |
| 505 | mbedtls_fprintf( stdout, " %s\n at line %d, %s\n", |
| 506 | test_info.test, test_info.line_no, |
| 507 | test_info.filename ); |
| 508 | } |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 509 | fflush( stdout ); |
| 510 | } |
SimonB | 8ca7bc4 | 2016-04-17 23:24:50 +0100 | [diff] [blame] | 511 | else if( ret == DISPATCH_INVALID_TEST_DATA ) |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 512 | { |
| 513 | mbedtls_fprintf( stderr, "FAILED: FATAL PARSE ERROR\n" ); |
Hanno Becker | 75efa79 | 2017-07-23 10:23:43 +0100 | [diff] [blame] | 514 | fclose( file ); |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 515 | mbedtls_exit( 2 ); |
| 516 | } |
| 517 | else |
| 518 | total_errors++; |
| 519 | |
Hanno Becker | 75efa79 | 2017-07-23 10:23:43 +0100 | [diff] [blame] | 520 | if( ( ret = get_line( file, buf, sizeof( buf ) ) ) != 0 ) |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 521 | break; |
Hanno Becker | 75efa79 | 2017-07-23 10:23:43 +0100 | [diff] [blame] | 522 | if( strlen( buf ) != 0 ) |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 523 | { |
| 524 | mbedtls_fprintf( stderr, "Should be empty %d\n", |
Hanno Becker | 75efa79 | 2017-07-23 10:23:43 +0100 | [diff] [blame] | 525 | (int) strlen( buf ) ); |
Simon Butcher | aad787f | 2016-01-26 22:13:58 +0000 | [diff] [blame] | 526 | return( 1 ); |
| 527 | } |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 528 | } |
Hanno Becker | 75efa79 | 2017-07-23 10:23:43 +0100 | [diff] [blame] | 529 | fclose( file ); |
Paul Bakker | 774180e | 2016-05-12 15:59:48 +0100 | [diff] [blame] | 530 | |
| 531 | /* In case we encounter early end of file */ |
| 532 | for( i = 0; i < unmet_dep_count; i++ ) |
| 533 | free( unmet_dependencies[i] ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 534 | } |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 535 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 536 | mbedtls_fprintf( stdout, "\n----------------------------------------------------------------------------\n\n"); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 537 | if( total_errors == 0 ) |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 538 | mbedtls_fprintf( stdout, "PASSED" ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 539 | else |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 540 | mbedtls_fprintf( stdout, "FAILED" ); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 541 | |
Ronald Cron | 59f2139 | 2020-04-06 14:16:25 +0200 | [diff] [blame] | 542 | mbedtls_fprintf( stdout, " (%u / %u tests (%u skipped))\n", |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 543 | total_tests - total_errors, total_tests, total_skipped ); |
| 544 | |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 545 | #if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C) && \ |
Manuel Pégourié-Gonnard | 765bb31 | 2014-11-27 11:55:27 +0100 | [diff] [blame] | 546 | !defined(TEST_SUITE_MEMORY_BUFFER_ALLOC) |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 547 | #if defined(MBEDTLS_MEMORY_DEBUG) |
| 548 | mbedtls_memory_buffer_alloc_status(); |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 549 | #endif |
Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 550 | mbedtls_memory_buffer_alloc_free(); |
Paul Bakker | 1337aff | 2013-09-29 14:45:34 +0200 | [diff] [blame] | 551 | #endif |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 552 | |
Paul Bakker | 1934318 | 2013-08-16 13:31:10 +0200 | [diff] [blame] | 553 | return( total_errors != 0 ); |
| 554 | } |