blob: ccd4d425529ab73afe80a06c646f6647505b9c3c [file] [log] [blame]
Azim Khanec024482017-05-09 17:20:21 +01001#line 2 "suites/helpers.function"
SimonB0269dad2016-02-17 23:34:30 +00002/*----------------------------------------------------------------------------*/
3/* Headers */
4
Simon Butcheredb7fd92016-05-17 13:35:51 +01005#include <stdlib.h>
6
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02007#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00008#include "mbedtls/platform.h"
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +02009#else
Rich Evans00ab4702015-02-06 13:43:58 +000010#include <stdio.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020011#define mbedtls_fprintf fprintf
Simon Butcher25731362016-09-30 13:11:29 +010012#define mbedtls_snprintf snprintf
13#define mbedtls_calloc calloc
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020014#define mbedtls_free free
15#define mbedtls_exit exit
Simon Butcherb2d5dd12016-04-27 13:35:37 +010016#define mbedtls_time time
17#define mbedtls_time_t time_t
Janos Follath55abc212016-04-18 18:18:48 +010018#define MBEDTLS_EXIT_SUCCESS EXIT_SUCCESS
19#define MBEDTLS_EXIT_FAILURE EXIT_FAILURE
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +020020#endif
21
SimonB0269dad2016-02-17 23:34:30 +000022#if defined(MBEDTLS_MEMORY_BUFFER_ALLOC_C)
23#include "mbedtls/memory_buffer_alloc.h"
24#endif
25
Simon Butchera6463452018-12-06 17:41:56 +000026#if defined(MBEDTLS_CHECK_PARAMS)
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +010027#include "mbedtls/platform_util.h"
Simon Butchera6463452018-12-06 17:41:56 +000028#include <setjmp.h>
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +010029#endif
Simon Butcher747f5fe2018-12-07 16:53:57 +000030
Paul Bakkerb3dcbc12011-03-13 16:57:25 +000031#ifdef _MSC_VER
32#include <basetsd.h>
Azim Khan0fa35042018-06-22 11:34:33 +010033typedef UINT8 uint8_t;
34typedef INT32 int32_t;
Paul Bakkerb3dcbc12011-03-13 16:57:25 +000035typedef UINT32 uint32_t;
Nicholas Wilson733676b2015-11-14 13:09:01 +000036#define strncasecmp _strnicmp
37#define strcasecmp _stricmp
Paul Bakkerb3dcbc12011-03-13 16:57:25 +000038#else
Manuel Pégourié-Gonnard93866642015-06-22 19:21:23 +020039#include <stdint.h>
Paul Bakkerb3dcbc12011-03-13 16:57:25 +000040#endif
41
Paul Bakker19343182013-08-16 13:31:10 +020042#include <string.h>
43
Janos Follath8ca53b52016-10-05 10:57:49 +010044#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
45#include <unistd.h>
Nicholas Wilson2682edf2017-12-05 12:08:15 +000046#include <strings.h>
Janos Follath8ca53b52016-10-05 10:57:49 +010047#endif
SimonB0269dad2016-02-17 23:34:30 +000048
Azim Khand30ca132017-06-09 04:32:58 +010049/* Type for Hex parameters */
Azim Khan5fcca462018-06-29 11:05:32 +010050typedef struct data_tag
Azim Khand30ca132017-06-09 04:32:58 +010051{
52 uint8_t * x;
53 uint32_t len;
Azim Khan5fcca462018-06-29 11:05:32 +010054} data_t;
Azim Khand30ca132017-06-09 04:32:58 +010055
SimonB0269dad2016-02-17 23:34:30 +000056/*----------------------------------------------------------------------------*/
Azim Khan62a5d7d2018-06-29 10:02:54 +010057/* Status and error constants */
SimonB0269dad2016-02-17 23:34:30 +000058
Azim Khan62a5d7d2018-06-29 10:02:54 +010059#define DEPENDENCY_SUPPORTED 0 /* Dependency supported by build */
60#define KEY_VALUE_MAPPING_FOUND 0 /* Integer expression found */
61#define DISPATCH_TEST_SUCCESS 0 /* Test dispatch successful */
SimonB8ca7bc42016-04-17 23:24:50 +010062
Azim Khan62a5d7d2018-06-29 10:02:54 +010063#define KEY_VALUE_MAPPING_NOT_FOUND -1 /* Integer expression not found */
64#define DEPENDENCY_NOT_SUPPORTED -2 /* Dependency not supported */
65#define DISPATCH_TEST_FN_NOT_FOUND -3 /* Test function not found */
66#define DISPATCH_INVALID_TEST_DATA -4 /* Invalid test parameter type.
67 Only int, string, binary data
68 and integer expressions are
69 allowed */
70#define DISPATCH_UNSUPPORTED_SUITE -5 /* Test suite not supported by the
71 build */
SimonB0269dad2016-02-17 23:34:30 +000072
Simon Butcher6542f6c2018-12-09 22:09:59 +000073typedef enum
74{
75 PARAMFAIL_TESTSTATE_IDLE = 0, /* No parameter failure call test */
76 PARAMFAIL_TESTSTATE_PENDING, /* Test call to the parameter failure
77 * is pending */
78 PARAMFAIL_TESTSTATE_CALLED /* The test call to the parameter
79 * failure function has been made */
80} paramfail_test_state_t;
81
SimonB0269dad2016-02-17 23:34:30 +000082
83/*----------------------------------------------------------------------------*/
84/* Macros */
85
Simon Butchera6463452018-12-06 17:41:56 +000086/**
87 * \brief This macro tests the expression passed to it as a test step or
88 * individual test in a test case.
89 *
90 * It allows a library function to return a value and return an error
91 * code that can be tested.
92 *
93 * When MBEDTLS_CHECK_PARAMS is enabled, calls to the parameter failure
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +010094 * callback, MBEDTLS_PARAM_FAILED(), will be assumed to be a test
95 * failure.
Simon Butchera6463452018-12-06 17:41:56 +000096 *
97 * This macro is not suitable for negative parameter validation tests,
98 * as it assumes the test step will not create an error.
99 *
100 * \param TEST The test expression to be tested.
101 */
Simon Butcher6542f6c2018-12-09 22:09:59 +0000102#define TEST_ASSERT( TEST ) \
103 do { \
104 if( ! (TEST) ) \
105 { \
106 test_fail( #TEST, __LINE__, __FILE__ ); \
107 goto exit; \
108 } \
SimonB0269dad2016-02-17 23:34:30 +0000109 } while( 0 )
110
Hanno Beckerd3369f62019-07-05 13:31:30 +0100111/**
112 * \brief This macro tests the expression passed to it and skips the
113 * running test if it doesn't evaluate to 'true'.
114 *
115 * \param TEST The test expression to be tested.
116 */
117#define TEST_ASSUME( TEST ) \
118 do { \
119 if( ! (TEST) ) \
120 { \
121 test_skip( #TEST, __LINE__, __FILE__ ); \
122 goto exit; \
123 } \
124 } while( 0 )
125
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100126#if defined(MBEDTLS_CHECK_PARAMS) && !defined(MBEDTLS_PARAM_FAILED_ALT)
Simon Butchera6463452018-12-06 17:41:56 +0000127/**
128 * \brief This macro tests the statement passed to it as a test step or
129 * individual test in a test case. The macro assumes the test will fail
130 * and will generate an error.
131 *
132 * It allows a library function to return a value and tests the return
133 * code on return to confirm the given error code was returned.
134 *
135 * When MBEDTLS_CHECK_PARAMS is enabled, calls to the parameter failure
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100136 * callback, MBEDTLS_PARAM_FAILED(), are assumed to indicate the
Simon Butchera6463452018-12-06 17:41:56 +0000137 * expected failure, and the test will pass.
138 *
139 * This macro is intended for negative parameter validation tests,
140 * where the failing function may return an error value or call
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100141 * MBEDTLS_PARAM_FAILED() to indicate the error.
Simon Butchera6463452018-12-06 17:41:56 +0000142 *
143 * \param PARAM_ERROR_VALUE The expected error code.
144 *
145 * \param TEST The test expression to be tested.
146 */
Simon Butcher6542f6c2018-12-09 22:09:59 +0000147#define TEST_INVALID_PARAM_RET( PARAM_ERR_VALUE, TEST ) \
148 do { \
149 test_info.paramfail_test_state = PARAMFAIL_TESTSTATE_PENDING; \
Manuel Pégourié-Gonnardacfdc622018-12-11 10:36:21 +0100150 if( (TEST) != (PARAM_ERR_VALUE) || \
Simon Butcher6542f6c2018-12-09 22:09:59 +0000151 test_info.paramfail_test_state != PARAMFAIL_TESTSTATE_CALLED ) \
152 { \
153 test_fail( #TEST, __LINE__, __FILE__ ); \
154 goto exit; \
155 } \
156 } while( 0 )
Simon Butchera6463452018-12-06 17:41:56 +0000157
158/**
159 * \brief This macro tests the statement passed to it as a test step or
160 * individual test in a test case. The macro assumes the test will fail
161 * and will generate an error.
162 *
163 * It assumes the library function under test cannot return a value and
164 * assumes errors can only be indicated byt calls to
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100165 * MBEDTLS_PARAM_FAILED().
Simon Butchera6463452018-12-06 17:41:56 +0000166 *
167 * When MBEDTLS_CHECK_PARAMS is enabled, calls to the parameter failure
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100168 * callback, MBEDTLS_PARAM_FAILED(), are assumed to indicate the
Simon Butchera6463452018-12-06 17:41:56 +0000169 * expected failure. If MBEDTLS_CHECK_PARAMS is not enabled, no test
170 * can be made.
171 *
172 * This macro is intended for negative parameter validation tests,
173 * where the failing function can only return an error by calling
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100174 * MBEDTLS_PARAM_FAILED() to indicate the error.
Simon Butchera6463452018-12-06 17:41:56 +0000175 *
176 * \param TEST The test expression to be tested.
177 */
Simon Butcher6542f6c2018-12-09 22:09:59 +0000178#define TEST_INVALID_PARAM( TEST ) \
179 do { \
180 memcpy(jmp_tmp, param_fail_jmp, sizeof(jmp_buf)); \
Manuel Pégourié-Gonnardaae10fa2018-12-12 10:24:19 +0100181 if( setjmp( param_fail_jmp ) == 0 ) \
Simon Butcher6542f6c2018-12-09 22:09:59 +0000182 { \
183 TEST; \
184 test_fail( #TEST, __LINE__, __FILE__ ); \
185 goto exit; \
186 } \
187 memcpy(param_fail_jmp, jmp_tmp, sizeof(jmp_buf)); \
Simon Butchera6463452018-12-06 17:41:56 +0000188 } while( 0 )
Manuel Pégourié-Gonnard54e7f312018-12-12 11:56:09 +0100189#endif /* MBEDTLS_CHECK_PARAMS && !MBEDTLS_PARAM_FAILED_ALT */
Simon Butchera6463452018-12-06 17:41:56 +0000190
Manuel Pégourié-Gonnard44c5d582018-12-10 16:56:14 +0100191/**
192 * \brief This macro tests the statement passed to it as a test step or
193 * individual test in a test case. The macro assumes the test will not fail.
194 *
195 * It assumes the library function under test cannot return a value and
196 * assumes errors can only be indicated by calls to
197 * MBEDTLS_PARAM_FAILED().
198 *
199 * When MBEDTLS_CHECK_PARAMS is enabled, calls to the parameter failure
200 * callback, MBEDTLS_PARAM_FAILED(), are assumed to indicate the
201 * expected failure. If MBEDTLS_CHECK_PARAMS is not enabled, no test
202 * can be made.
203 *
Manuel Pégourié-Gonnardcd2b29c2018-12-12 10:23:57 +0100204 * This macro is intended to test that functions returning void
Manuel Pégourié-Gonnard44c5d582018-12-10 16:56:14 +0100205 * accept all of the parameter values they're supposed to accept - eg
206 * that they don't call MBEDTLS_PARAM_FAILED() when a parameter
Manuel Pégourié-Gonnardcd2b29c2018-12-12 10:23:57 +0100207 * that's allowed to be NULL happens to be NULL.
Manuel Pégourié-Gonnard44c5d582018-12-10 16:56:14 +0100208 *
209 * Note: for functions that return something other that void,
210 * checking that they accept all the parameters they're supposed to
211 * accept is best done by using TEST_ASSERT() and checking the return
212 * value as well.
213 *
Manuel Pégourié-Gonnard54e7f312018-12-12 11:56:09 +0100214 * Note: this macro is available even when #MBEDTLS_CHECK_PARAMS is
215 * disabled, as it makes sense to check that the functions accept all
216 * legal values even if this option is disabled - only in that case,
Manuel Pégourié-Gonnarde7306d32018-12-13 09:45:49 +0100217 * the test is more about whether the function segfaults than about
Manuel Pégourié-Gonnard54e7f312018-12-12 11:56:09 +0100218 * whether it invokes MBEDTLS_PARAM_FAILED().
219 *
Manuel Pégourié-Gonnard44c5d582018-12-10 16:56:14 +0100220 * \param TEST The test expression to be tested.
221 */
222#define TEST_VALID_PARAM( TEST ) \
223 TEST_ASSERT( ( TEST, 1 ) );
Simon Butchera6463452018-12-06 17:41:56 +0000224
Gilles Peskine137d31b2019-06-07 14:52:07 +0200225#define TEST_HELPER_ASSERT(a) if( !( a ) ) \
Rich Evans4c091142015-02-02 12:04:10 +0000226{ \
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200227 mbedtls_fprintf( stderr, "Assertion Failed at %s:%d - %s\n", \
Rich Evans4c091142015-02-02 12:04:10 +0000228 __FILE__, __LINE__, #a ); \
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200229 mbedtls_exit( 1 ); \
Rich Evans4c091142015-02-02 12:04:10 +0000230}
231
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000232/*
233 * 32-bit integer manipulation macros (big endian)
234 */
Paul Bakker5c2364c2012-10-01 14:41:15 +0000235#ifndef GET_UINT32_BE
236#define GET_UINT32_BE(n,b,i) \
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000237{ \
Paul Bakker5c2364c2012-10-01 14:41:15 +0000238 (n) = ( (uint32_t) (b)[(i) ] << 24 ) \
239 | ( (uint32_t) (b)[(i) + 1] << 16 ) \
240 | ( (uint32_t) (b)[(i) + 2] << 8 ) \
241 | ( (uint32_t) (b)[(i) + 3] ); \
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000242}
243#endif
244
Paul Bakker5c2364c2012-10-01 14:41:15 +0000245#ifndef PUT_UINT32_BE
246#define PUT_UINT32_BE(n,b,i) \
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000247{ \
248 (b)[(i) ] = (unsigned char) ( (n) >> 24 ); \
249 (b)[(i) + 1] = (unsigned char) ( (n) >> 16 ); \
250 (b)[(i) + 2] = (unsigned char) ( (n) >> 8 ); \
251 (b)[(i) + 3] = (unsigned char) ( (n) ); \
252}
253#endif
254
SimonB0269dad2016-02-17 23:34:30 +0000255
256/*----------------------------------------------------------------------------*/
SimonB8ca7bc42016-04-17 23:24:50 +0100257/* Global variables */
258
Hanno Beckerd3369f62019-07-05 13:31:30 +0100259typedef enum
260{
261 TEST_RESULT_SUCCESS = 0,
262 TEST_RESULT_FAILED,
263 TEST_RESULT_SKIPPED
264} test_result_t;
265
Andres Amaya Garcia3f50f512017-10-01 16:42:29 +0100266static struct
267{
Simon Butcher6542f6c2018-12-09 22:09:59 +0000268 paramfail_test_state_t paramfail_test_state;
Hanno Beckerd3369f62019-07-05 13:31:30 +0100269 test_result_t result;
Andres Amaya Garcia3f50f512017-10-01 16:42:29 +0100270 const char *test;
271 const char *filename;
272 int line_no;
273}
274test_info;
SimonB8ca7bc42016-04-17 23:24:50 +0100275
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400276#if defined(MBEDTLS_PLATFORM_C)
Andrzej Kurek1152fa82018-04-13 05:15:17 -0400277mbedtls_platform_context platform_ctx;
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400278#endif
SimonB8ca7bc42016-04-17 23:24:50 +0100279
Simon Butchera6463452018-12-06 17:41:56 +0000280#if defined(MBEDTLS_CHECK_PARAMS)
281jmp_buf param_fail_jmp;
Simon Butcher6542f6c2018-12-09 22:09:59 +0000282jmp_buf jmp_tmp;
Simon Butchera6463452018-12-06 17:41:56 +0000283#endif
284
SimonB8ca7bc42016-04-17 23:24:50 +0100285/*----------------------------------------------------------------------------*/
Hanno Becker47deec42017-07-24 12:27:09 +0100286/* Helper flags for complex dependencies */
287
288/* Indicates whether we expect mbedtls_entropy_init
289 * to initialize some strong entropy source. */
290#if defined(MBEDTLS_TEST_NULL_ENTROPY) || \
291 ( !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES) && \
292 ( !defined(MBEDTLS_NO_PLATFORM_ENTROPY) || \
293 defined(MBEDTLS_HAVEGE_C) || \
294 defined(MBEDTLS_ENTROPY_HARDWARE_ALT) || \
295 defined(ENTROPY_NV_SEED) ) )
Hanno Beckerd4a872e2017-09-07 08:09:33 +0100296#define ENTROPY_HAVE_STRONG
Hanno Becker47deec42017-07-24 12:27:09 +0100297#endif
298
299
300/*----------------------------------------------------------------------------*/
SimonB0269dad2016-02-17 23:34:30 +0000301/* Helper Functions */
Simon Butcher6542f6c2018-12-09 22:09:59 +0000302
Simon Butcherecff2192018-10-03 16:17:41 +0100303void test_fail( const char *test, int line_no, const char* filename )
Simon Butcher6542f6c2018-12-09 22:09:59 +0000304{
Hanno Beckerd3369f62019-07-05 13:31:30 +0100305 test_info.result = TEST_RESULT_FAILED;
306 test_info.test = test;
307 test_info.line_no = line_no;
308 test_info.filename = filename;
309}
310
311void test_skip( const char *test, int line_no, const char* filename )
312{
313 test_info.result = TEST_RESULT_SKIPPED;
Simon Butcher6542f6c2018-12-09 22:09:59 +0000314 test_info.test = test;
315 test_info.line_no = line_no;
316 test_info.filename = filename;
317}
318
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400319static int platform_setup()
320{
Andrzej Kurekf13ca952018-04-18 04:14:31 -0400321 int ret = 0;
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400322#if defined(MBEDTLS_PLATFORM_C)
Andrzej Kurekf13ca952018-04-18 04:14:31 -0400323 ret = mbedtls_platform_setup( &platform_ctx );
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400324#endif /* MBEDTLS_PLATFORM_C */
Andrzej Kurekf13ca952018-04-18 04:14:31 -0400325 return( ret );
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400326}
327
328static void platform_teardown()
329{
330#if defined(MBEDTLS_PLATFORM_C)
331 mbedtls_platform_teardown( &platform_ctx );
332#endif /* MBEDTLS_PLATFORM_C */
333}
SimonB0269dad2016-02-17 23:34:30 +0000334
Simon Butchera6463452018-12-06 17:41:56 +0000335#if defined(MBEDTLS_CHECK_PARAMS)
Manuel Pégourié-Gonnard3ef6a6d2018-12-10 14:31:45 +0100336void mbedtls_param_failed( const char *failure_condition,
337 const char *file,
338 int line )
Simon Butchera6463452018-12-06 17:41:56 +0000339{
Simon Butcher6542f6c2018-12-09 22:09:59 +0000340 /* If we are testing the callback function... */
Manuel Pégourié-Gonnardaae10fa2018-12-12 10:24:19 +0100341 if( test_info.paramfail_test_state == PARAMFAIL_TESTSTATE_PENDING )
Simon Butcher6542f6c2018-12-09 22:09:59 +0000342 {
343 test_info.paramfail_test_state = PARAMFAIL_TESTSTATE_CALLED;
344 }
345 else
346 {
347 /* ...else we treat this as an error */
Simon Butchera6463452018-12-06 17:41:56 +0000348
Simon Butcher6542f6c2018-12-09 22:09:59 +0000349 /* Record the location of the failure, but not as a failure yet, in case
350 * it was part of the test */
351 test_fail( failure_condition, line, file );
Hanno Beckerd3369f62019-07-05 13:31:30 +0100352 test_info.result = TEST_RESULT_SUCCESS;
Simon Butcher6542f6c2018-12-09 22:09:59 +0000353
354 longjmp( param_fail_jmp, 1 );
355 }
Simon Butchera6463452018-12-06 17:41:56 +0000356}
357#endif
358
Janos Follath8ca53b52016-10-05 10:57:49 +0100359#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
360static int redirect_output( FILE** out_stream, const char* path )
361{
362 int stdout_fd = dup( fileno( *out_stream ) );
363
364 if( stdout_fd == -1 )
365 {
366 return -1;
367 }
368
369 fflush( *out_stream );
370 fclose( *out_stream );
371 *out_stream = fopen( path, "w" );
372
373 if( *out_stream == NULL )
374 {
Andres Amaya Garcia687d6732018-11-26 21:23:28 +0000375 close( stdout_fd );
Janos Follath8ca53b52016-10-05 10:57:49 +0100376 return -1;
377 }
378
379 return stdout_fd;
380}
381
382static int restore_output( FILE** out_stream, int old_fd )
383{
384 fflush( *out_stream );
385 fclose( *out_stream );
386
387 *out_stream = fdopen( old_fd, "w" );
388 if( *out_stream == NULL )
389 {
390 return -1;
391 }
392
393 return 0;
394}
Simon Butchere0192962016-10-12 23:07:30 +0100395
Janos Follathe709f7c2016-10-13 11:26:29 +0100396static void close_output( FILE* out_stream )
Simon Butchere0192962016-10-12 23:07:30 +0100397{
Janos Follathe709f7c2016-10-13 11:26:29 +0100398 fclose( out_stream );
Simon Butchere0192962016-10-12 23:07:30 +0100399}
Janos Follath8ca53b52016-10-05 10:57:49 +0100400#endif /* __unix__ || __APPLE__ __MACH__ */
401
Simon Butcherecff2192018-10-03 16:17:41 +0100402int unhexify( unsigned char *obuf, const char *ibuf )
Paul Bakker367dae42009-06-28 21:50:27 +0000403{
404 unsigned char c, c2;
Rich Evans4c091142015-02-02 12:04:10 +0000405 int len = strlen( ibuf ) / 2;
Gilles Peskine137d31b2019-06-07 14:52:07 +0200406 TEST_HELPER_ASSERT( strlen( ibuf ) % 2 == 0 ); /* must be even number of bytes */
Paul Bakker367dae42009-06-28 21:50:27 +0000407
Rich Evans4c091142015-02-02 12:04:10 +0000408 while( *ibuf != 0 )
Paul Bakker367dae42009-06-28 21:50:27 +0000409 {
410 c = *ibuf++;
411 if( c >= '0' && c <= '9' )
412 c -= '0';
413 else if( c >= 'a' && c <= 'f' )
414 c -= 'a' - 10;
415 else if( c >= 'A' && c <= 'F' )
416 c -= 'A' - 10;
417 else
Gilles Peskine137d31b2019-06-07 14:52:07 +0200418 TEST_HELPER_ASSERT( 0 );
Paul Bakker367dae42009-06-28 21:50:27 +0000419
420 c2 = *ibuf++;
421 if( c2 >= '0' && c2 <= '9' )
422 c2 -= '0';
423 else if( c2 >= 'a' && c2 <= 'f' )
424 c2 -= 'a' - 10;
425 else if( c2 >= 'A' && c2 <= 'F' )
426 c2 -= 'A' - 10;
427 else
Gilles Peskine137d31b2019-06-07 14:52:07 +0200428 TEST_HELPER_ASSERT( 0 );
Paul Bakker367dae42009-06-28 21:50:27 +0000429
430 *obuf++ = ( c << 4 ) | c2;
431 }
432
433 return len;
434}
435
Simon Butcherecff2192018-10-03 16:17:41 +0100436void hexify( unsigned char *obuf, const unsigned char *ibuf, int len )
Paul Bakker367dae42009-06-28 21:50:27 +0000437{
438 unsigned char l, h;
439
Rich Evans42914452015-02-02 12:09:25 +0000440 while( len != 0 )
Paul Bakker367dae42009-06-28 21:50:27 +0000441 {
Rich Evans42914452015-02-02 12:09:25 +0000442 h = *ibuf / 16;
443 l = *ibuf % 16;
Paul Bakker367dae42009-06-28 21:50:27 +0000444
445 if( h < 10 )
446 *obuf++ = '0' + h;
447 else
448 *obuf++ = 'a' + h - 10;
449
450 if( l < 10 )
451 *obuf++ = '0' + l;
452 else
453 *obuf++ = 'a' + l - 10;
454
455 ++ibuf;
456 len--;
457 }
458}
Paul Bakker9dcc3222011-03-08 14:16:06 +0000459
460/**
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200461 * Allocate and zeroize a buffer.
462 *
463 * If the size if zero, a pointer to a zeroized 1-byte buffer is returned.
464 *
465 * For convenience, dies if allocation fails.
466 */
467static unsigned char *zero_alloc( size_t len )
468{
469 void *p;
Rich Evans42914452015-02-02 12:09:25 +0000470 size_t actual_len = ( len != 0 ) ? len : 1;
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200471
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200472 p = mbedtls_calloc( 1, actual_len );
Gilles Peskine137d31b2019-06-07 14:52:07 +0200473 TEST_HELPER_ASSERT( p != NULL );
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200474
475 memset( p, 0x00, actual_len );
476
477 return( p );
478}
479
480/**
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200481 * Allocate and fill a buffer from hex data.
482 *
483 * The buffer is sized exactly as needed. This allows to detect buffer
484 * overruns (including overreads) when running the test suite under valgrind.
485 *
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200486 * If the size if zero, a pointer to a zeroized 1-byte buffer is returned.
487 *
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200488 * For convenience, dies if allocation fails.
489 */
Simon Butcherecff2192018-10-03 16:17:41 +0100490unsigned char *unhexify_alloc( const char *ibuf, size_t *olen )
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200491{
492 unsigned char *obuf;
493
Rich Evans42914452015-02-02 12:09:25 +0000494 *olen = strlen( ibuf ) / 2;
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200495
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200496 if( *olen == 0 )
497 return( zero_alloc( *olen ) );
498
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200499 obuf = mbedtls_calloc( 1, *olen );
Gilles Peskine137d31b2019-06-07 14:52:07 +0200500 TEST_HELPER_ASSERT( obuf != NULL );
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200501
502 (void) unhexify( obuf, ibuf );
503
504 return( obuf );
505}
506
507/**
Paul Bakker9dcc3222011-03-08 14:16:06 +0000508 * This function just returns data from rand().
Paul Bakker997bbd12011-03-13 15:45:42 +0000509 * Although predictable and often similar on multiple
510 * runs, this does not result in identical random on
511 * each run. So do not use this if the results of a
512 * test depend on the random data that is generated.
Paul Bakker9dcc3222011-03-08 14:16:06 +0000513 *
514 * rng_state shall be NULL.
515 */
Paul Bakkera3d195c2011-11-27 21:07:34 +0000516static int rnd_std_rand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000517{
Paul Bakkerf96f7b62014-04-30 16:02:38 +0200518#if !defined(__OpenBSD__)
Paul Bakkera3d195c2011-11-27 21:07:34 +0000519 size_t i;
520
Paul Bakker9dcc3222011-03-08 14:16:06 +0000521 if( rng_state != NULL )
522 rng_state = NULL;
523
Paul Bakkera3d195c2011-11-27 21:07:34 +0000524 for( i = 0; i < len; ++i )
525 output[i] = rand();
Paul Bakkerf96f7b62014-04-30 16:02:38 +0200526#else
527 if( rng_state != NULL )
528 rng_state = NULL;
529
530 arc4random_buf( output, len );
531#endif /* !OpenBSD */
Paul Bakkera3d195c2011-11-27 21:07:34 +0000532
533 return( 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000534}
535
536/**
537 * This function only returns zeros
538 *
539 * rng_state shall be NULL.
540 */
Simon Butcherecff2192018-10-03 16:17:41 +0100541int rnd_zero_rand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000542{
543 if( rng_state != NULL )
544 rng_state = NULL;
545
Paul Bakkera3d195c2011-11-27 21:07:34 +0000546 memset( output, 0, len );
547
Paul Bakker9dcc3222011-03-08 14:16:06 +0000548 return( 0 );
549}
550
551typedef struct
552{
553 unsigned char *buf;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000554 size_t length;
Paul Bakker997bbd12011-03-13 15:45:42 +0000555} rnd_buf_info;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000556
557/**
558 * This function returns random based on a buffer it receives.
559 *
Paul Bakker997bbd12011-03-13 15:45:42 +0000560 * rng_state shall be a pointer to a rnd_buf_info structure.
Manuel Pégourié-Gonnarde670f902015-10-30 09:23:19 +0100561 *
Paul Bakker997bbd12011-03-13 15:45:42 +0000562 * The number of bytes released from the buffer on each call to
563 * the random function is specified by per_call. (Can be between
564 * 1 and 4)
Paul Bakker9dcc3222011-03-08 14:16:06 +0000565 *
566 * After the buffer is empty it will return rand();
567 */
Simon Butcherecff2192018-10-03 16:17:41 +0100568int rnd_buffer_rand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000569{
Paul Bakker997bbd12011-03-13 15:45:42 +0000570 rnd_buf_info *info = (rnd_buf_info *) rng_state;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000571 size_t use_len;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000572
573 if( rng_state == NULL )
Paul Bakkera3d195c2011-11-27 21:07:34 +0000574 return( rnd_std_rand( NULL, output, len ) );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000575
Paul Bakkera3d195c2011-11-27 21:07:34 +0000576 use_len = len;
577 if( len > info->length )
578 use_len = info->length;
Paul Bakker997bbd12011-03-13 15:45:42 +0000579
Paul Bakkera3d195c2011-11-27 21:07:34 +0000580 if( use_len )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000581 {
Paul Bakkera3d195c2011-11-27 21:07:34 +0000582 memcpy( output, info->buf, use_len );
583 info->buf += use_len;
584 info->length -= use_len;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000585 }
586
Paul Bakkera3d195c2011-11-27 21:07:34 +0000587 if( len - use_len > 0 )
588 return( rnd_std_rand( NULL, output + use_len, len - use_len ) );
589
590 return( 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000591}
Paul Bakker997bbd12011-03-13 15:45:42 +0000592
593/**
594 * Info structure for the pseudo random function
595 *
596 * Key should be set at the start to a test-unique value.
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000597 * Do not forget endianness!
Paul Bakker997bbd12011-03-13 15:45:42 +0000598 * State( v0, v1 ) should be set to zero.
599 */
600typedef struct
601{
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000602 uint32_t key[16];
Paul Bakker997bbd12011-03-13 15:45:42 +0000603 uint32_t v0, v1;
604} rnd_pseudo_info;
605
606/**
607 * This function returns random based on a pseudo random function.
608 * This means the results should be identical on all systems.
609 * Pseudo random is based on the XTEA encryption algorithm to
610 * generate pseudorandom.
611 *
612 * rng_state shall be a pointer to a rnd_pseudo_info structure.
613 */
Simon Butcherecff2192018-10-03 16:17:41 +0100614int rnd_pseudo_rand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker997bbd12011-03-13 15:45:42 +0000615{
616 rnd_pseudo_info *info = (rnd_pseudo_info *) rng_state;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000617 uint32_t i, *k, sum, delta=0x9E3779B9;
Manuel Pégourié-Gonnard217a29c2014-01-03 11:59:09 +0100618 unsigned char result[4], *out = output;
Paul Bakker997bbd12011-03-13 15:45:42 +0000619
620 if( rng_state == NULL )
Paul Bakkera3d195c2011-11-27 21:07:34 +0000621 return( rnd_std_rand( NULL, output, len ) );
Paul Bakker997bbd12011-03-13 15:45:42 +0000622
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000623 k = info->key;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000624
625 while( len > 0 )
Paul Bakker997bbd12011-03-13 15:45:42 +0000626 {
Paul Bakker40dd5302012-05-15 15:02:38 +0000627 size_t use_len = ( len > 4 ) ? 4 : len;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000628 sum = 0;
629
Paul Bakkera3d195c2011-11-27 21:07:34 +0000630 for( i = 0; i < 32; i++ )
631 {
Rich Evans42914452015-02-02 12:09:25 +0000632 info->v0 += ( ( ( info->v1 << 4 ) ^ ( info->v1 >> 5 ) )
633 + info->v1 ) ^ ( sum + k[sum & 3] );
Paul Bakkera3d195c2011-11-27 21:07:34 +0000634 sum += delta;
Rich Evans42914452015-02-02 12:09:25 +0000635 info->v1 += ( ( ( info->v0 << 4 ) ^ ( info->v0 >> 5 ) )
636 + info->v0 ) ^ ( sum + k[( sum>>11 ) & 3] );
Paul Bakkera3d195c2011-11-27 21:07:34 +0000637 }
638
Paul Bakker5c2364c2012-10-01 14:41:15 +0000639 PUT_UINT32_BE( info->v0, result, 0 );
Manuel Pégourié-Gonnard217a29c2014-01-03 11:59:09 +0100640 memcpy( out, result, use_len );
Paul Bakkera3d195c2011-11-27 21:07:34 +0000641 len -= use_len;
Manuel Pégourié-Gonnard217a29c2014-01-03 11:59:09 +0100642 out += 4;
Paul Bakker997bbd12011-03-13 15:45:42 +0000643 }
644
Paul Bakkera3d195c2011-11-27 21:07:34 +0000645 return( 0 );
Paul Bakker997bbd12011-03-13 15:45:42 +0000646}
SimonB0269dad2016-02-17 23:34:30 +0000647
Mohammad Azim Khand2d01122018-07-18 17:48:37 +0100648int hexcmp( uint8_t * a, uint8_t * b, uint32_t a_len, uint32_t b_len )
Azim Khan3499a9e2017-05-30 00:06:49 +0100649{
650 int ret = 0;
651 uint32_t i = 0;
652
Manuel Pégourié-Gonnardaae10fa2018-12-12 10:24:19 +0100653 if( a_len != b_len )
Mohammad Azim Khand2d01122018-07-18 17:48:37 +0100654 return( -1 );
Azim Khan3499a9e2017-05-30 00:06:49 +0100655
656 for( i = 0; i < a_len; i++ )
657 {
Manuel Pégourié-Gonnardaae10fa2018-12-12 10:24:19 +0100658 if( a[i] != b[i] )
Azim Khan3499a9e2017-05-30 00:06:49 +0100659 {
660 ret = -1;
661 break;
662 }
663 }
664 return ret;
665}