blob: fa98d802bf8139b17c92502e548aaeae8a1d1d90 [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
Gilles Peskinec0713732021-01-29 21:17:11 +010049#if defined(MBEDTLS_THREADING_C) && defined(MBEDTLS_THREADING_PTHREAD) && \
50 defined(MBEDTLS_TEST_HOOKS)
51#include "mbedtls/threading.h"
52#define MBEDTLS_TEST_MUTEX_USAGE
53#endif
54
Manuel Pégourié-Gonnardf0828472020-08-25 11:26:37 +020055/*
56 * Define the two macros
57 *
58 * #define TEST_CF_SECRET(ptr, size)
59 * #define TEST_CF_PUBLIC(ptr, size)
60 *
61 * that can be used in tests to mark a memory area as secret (no branch or
62 * memory access should depend on it) or public (default, only needs to be
63 * marked explicitly when it was derived from secret data).
64 *
65 * Arguments:
66 * - ptr: a pointer to the memory area to be marked
67 * - size: the size in bytes of the memory area
68 *
69 * Implementation:
70 * The basic idea is that of ctgrind <https://github.com/agl/ctgrind>: we can
71 * re-use tools that were designed for checking use of uninitialized memory.
72 * This file contains two implementations: one based on MemorySanitizer, the
73 * other on valgrind's memcheck. If none of them is enabled, dummy macros that
74 * do nothing are defined for convenience.
75 */
Manuel Pégourié-Gonnarda2377222020-07-28 10:53:06 +020076#if defined(MBEDTLS_TEST_CONSTANT_FLOW_MEMSAN)
77#include <sanitizer/msan_interface.h>
78
79/* Use macros to avoid messing up with origin tracking */
80#define TEST_CF_SECRET __msan_allocated_memory
81// void __msan_allocated_memory(const volatile void* data, size_t size);
82#define TEST_CF_PUBLIC __msan_unpoison
83// void __msan_unpoison(const volatile void *a, size_t size);
84
Manuel Pégourié-Gonnardf0828472020-08-25 11:26:37 +020085#elif defined(MBEDTLS_TEST_CONSTANT_FLOW_VALGRIND)
86#include <valgrind/memcheck.h>
87
88#define TEST_CF_SECRET VALGRIND_MAKE_MEM_UNDEFINED
89// VALGRIND_MAKE_MEM_UNDEFINED(_qzz_addr, _qzz_len)
90#define TEST_CF_PUBLIC VALGRIND_MAKE_MEM_DEFINED
91// VALGRIND_MAKE_MEM_DEFINED(_qzz_addr, _qzz_len)
92
93#else /* MBEDTLS_TEST_CONSTANT_FLOW_MEMSAN ||
94 MBEDTLS_TEST_CONSTANT_FLOW_VALGRIND */
Manuel Pégourié-Gonnarda2377222020-07-28 10:53:06 +020095
96#define TEST_CF_SECRET(ptr, size)
97#define TEST_CF_PUBLIC(ptr, size)
98
99#endif /* MBEDTLS_TEST_CONSTANT_FLOW_MEMSAN */
100
Azim Khand30ca132017-06-09 04:32:58 +0100101/* Type for Hex parameters */
Azim Khan5fcca462018-06-29 11:05:32 +0100102typedef struct data_tag
Azim Khand30ca132017-06-09 04:32:58 +0100103{
104 uint8_t * x;
105 uint32_t len;
Azim Khan5fcca462018-06-29 11:05:32 +0100106} data_t;
Azim Khand30ca132017-06-09 04:32:58 +0100107
SimonB0269dad2016-02-17 23:34:30 +0000108/*----------------------------------------------------------------------------*/
Azim Khan62a5d7d2018-06-29 10:02:54 +0100109/* Status and error constants */
SimonB0269dad2016-02-17 23:34:30 +0000110
Azim Khan62a5d7d2018-06-29 10:02:54 +0100111#define DEPENDENCY_SUPPORTED 0 /* Dependency supported by build */
112#define KEY_VALUE_MAPPING_FOUND 0 /* Integer expression found */
113#define DISPATCH_TEST_SUCCESS 0 /* Test dispatch successful */
SimonB8ca7bc42016-04-17 23:24:50 +0100114
Azim Khan62a5d7d2018-06-29 10:02:54 +0100115#define KEY_VALUE_MAPPING_NOT_FOUND -1 /* Integer expression not found */
116#define DEPENDENCY_NOT_SUPPORTED -2 /* Dependency not supported */
117#define DISPATCH_TEST_FN_NOT_FOUND -3 /* Test function not found */
118#define DISPATCH_INVALID_TEST_DATA -4 /* Invalid test parameter type.
119 Only int, string, binary data
120 and integer expressions are
121 allowed */
122#define DISPATCH_UNSUPPORTED_SUITE -5 /* Test suite not supported by the
123 build */
SimonB0269dad2016-02-17 23:34:30 +0000124
Simon Butcher6542f6c2018-12-09 22:09:59 +0000125typedef enum
126{
127 PARAMFAIL_TESTSTATE_IDLE = 0, /* No parameter failure call test */
128 PARAMFAIL_TESTSTATE_PENDING, /* Test call to the parameter failure
129 * is pending */
130 PARAMFAIL_TESTSTATE_CALLED /* The test call to the parameter
131 * failure function has been made */
132} paramfail_test_state_t;
133
SimonB0269dad2016-02-17 23:34:30 +0000134
135/*----------------------------------------------------------------------------*/
136/* Macros */
137
Simon Butchera6463452018-12-06 17:41:56 +0000138/**
139 * \brief This macro tests the expression passed to it as a test step or
140 * individual test in a test case.
141 *
142 * It allows a library function to return a value and return an error
143 * code that can be tested.
144 *
145 * When MBEDTLS_CHECK_PARAMS is enabled, calls to the parameter failure
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100146 * callback, MBEDTLS_PARAM_FAILED(), will be assumed to be a test
147 * failure.
Simon Butchera6463452018-12-06 17:41:56 +0000148 *
149 * This macro is not suitable for negative parameter validation tests,
150 * as it assumes the test step will not create an error.
151 *
152 * \param TEST The test expression to be tested.
153 */
Simon Butcher6542f6c2018-12-09 22:09:59 +0000154#define TEST_ASSERT( TEST ) \
155 do { \
156 if( ! (TEST) ) \
157 { \
158 test_fail( #TEST, __LINE__, __FILE__ ); \
159 goto exit; \
160 } \
SimonB0269dad2016-02-17 23:34:30 +0000161 } while( 0 )
162
Ronald Cron8e8898d2020-07-30 14:18:02 +0200163/** Compare two buffers and fail the test case if they differ.
164 *
165 * This macro expands to an instruction, not an expression.
166 * It may jump to the \c exit label.
167 *
168 * \param p1 Pointer to the start of the first buffer.
169 * \param size1 Size of the first buffer in bytes.
170 * This expression may be evaluated multiple times.
171 * \param p2 Pointer to the start of the second buffer.
172 * \param size2 Size of the second buffer in bytes.
173 * This expression may be evaluated multiple times.
174 */
175#define ASSERT_COMPARE( p1, size1, p2, size2 ) \
176 do \
177 { \
178 TEST_ASSERT( ( size1 ) == ( size2 ) ); \
179 if( ( size1 ) != 0 ) \
180 TEST_ASSERT( memcmp( ( p1 ), ( p2 ), ( size1 ) ) == 0 ); \
181 } \
182 while( 0 )
183
Hanno Beckerd3369f62019-07-05 13:31:30 +0100184/**
185 * \brief This macro tests the expression passed to it and skips the
186 * running test if it doesn't evaluate to 'true'.
187 *
188 * \param TEST The test expression to be tested.
189 */
190#define TEST_ASSUME( TEST ) \
191 do { \
192 if( ! (TEST) ) \
193 { \
194 test_skip( #TEST, __LINE__, __FILE__ ); \
195 goto exit; \
196 } \
197 } while( 0 )
198
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100199#if defined(MBEDTLS_CHECK_PARAMS) && !defined(MBEDTLS_PARAM_FAILED_ALT)
Simon Butchera6463452018-12-06 17:41:56 +0000200/**
201 * \brief This macro tests the statement passed to it as a test step or
202 * individual test in a test case. The macro assumes the test will fail
203 * and will generate an error.
204 *
205 * It allows a library function to return a value and tests the return
206 * code on return to confirm the given error code was returned.
207 *
208 * When MBEDTLS_CHECK_PARAMS is enabled, calls to the parameter failure
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100209 * callback, MBEDTLS_PARAM_FAILED(), are assumed to indicate the
Simon Butchera6463452018-12-06 17:41:56 +0000210 * expected failure, and the test will pass.
211 *
212 * This macro is intended for negative parameter validation tests,
213 * where the failing function may return an error value or call
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100214 * MBEDTLS_PARAM_FAILED() to indicate the error.
Simon Butchera6463452018-12-06 17:41:56 +0000215 *
216 * \param PARAM_ERROR_VALUE The expected error code.
217 *
218 * \param TEST The test expression to be tested.
219 */
Simon Butcher6542f6c2018-12-09 22:09:59 +0000220#define TEST_INVALID_PARAM_RET( PARAM_ERR_VALUE, TEST ) \
221 do { \
222 test_info.paramfail_test_state = PARAMFAIL_TESTSTATE_PENDING; \
Manuel Pégourié-Gonnardacfdc622018-12-11 10:36:21 +0100223 if( (TEST) != (PARAM_ERR_VALUE) || \
Simon Butcher6542f6c2018-12-09 22:09:59 +0000224 test_info.paramfail_test_state != PARAMFAIL_TESTSTATE_CALLED ) \
225 { \
226 test_fail( #TEST, __LINE__, __FILE__ ); \
227 goto exit; \
228 } \
229 } while( 0 )
Simon Butchera6463452018-12-06 17:41:56 +0000230
231/**
232 * \brief This macro tests the statement passed to it as a test step or
233 * individual test in a test case. The macro assumes the test will fail
234 * and will generate an error.
235 *
236 * It assumes the library function under test cannot return a value and
237 * assumes errors can only be indicated byt calls to
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100238 * MBEDTLS_PARAM_FAILED().
Simon Butchera6463452018-12-06 17:41:56 +0000239 *
240 * When MBEDTLS_CHECK_PARAMS is enabled, calls to the parameter failure
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100241 * callback, MBEDTLS_PARAM_FAILED(), are assumed to indicate the
Simon Butchera6463452018-12-06 17:41:56 +0000242 * expected failure. If MBEDTLS_CHECK_PARAMS is not enabled, no test
243 * can be made.
244 *
245 * This macro is intended for negative parameter validation tests,
246 * where the failing function can only return an error by calling
Manuel Pégourié-Gonnarda2b0e272018-12-10 15:23:58 +0100247 * MBEDTLS_PARAM_FAILED() to indicate the error.
Simon Butchera6463452018-12-06 17:41:56 +0000248 *
249 * \param TEST The test expression to be tested.
250 */
Simon Butcher6542f6c2018-12-09 22:09:59 +0000251#define TEST_INVALID_PARAM( TEST ) \
252 do { \
253 memcpy(jmp_tmp, param_fail_jmp, sizeof(jmp_buf)); \
Manuel Pégourié-Gonnardaae10fa2018-12-12 10:24:19 +0100254 if( setjmp( param_fail_jmp ) == 0 ) \
Simon Butcher6542f6c2018-12-09 22:09:59 +0000255 { \
256 TEST; \
257 test_fail( #TEST, __LINE__, __FILE__ ); \
258 goto exit; \
259 } \
260 memcpy(param_fail_jmp, jmp_tmp, sizeof(jmp_buf)); \
Simon Butchera6463452018-12-06 17:41:56 +0000261 } while( 0 )
Manuel Pégourié-Gonnard54e7f312018-12-12 11:56:09 +0100262#endif /* MBEDTLS_CHECK_PARAMS && !MBEDTLS_PARAM_FAILED_ALT */
Simon Butchera6463452018-12-06 17:41:56 +0000263
Manuel Pégourié-Gonnard44c5d582018-12-10 16:56:14 +0100264/**
265 * \brief This macro tests the statement passed to it as a test step or
266 * individual test in a test case. The macro assumes the test will not fail.
267 *
268 * It assumes the library function under test cannot return a value and
269 * assumes errors can only be indicated by calls to
270 * MBEDTLS_PARAM_FAILED().
271 *
272 * When MBEDTLS_CHECK_PARAMS is enabled, calls to the parameter failure
273 * callback, MBEDTLS_PARAM_FAILED(), are assumed to indicate the
274 * expected failure. If MBEDTLS_CHECK_PARAMS is not enabled, no test
275 * can be made.
276 *
Manuel Pégourié-Gonnardcd2b29c2018-12-12 10:23:57 +0100277 * This macro is intended to test that functions returning void
Manuel Pégourié-Gonnard44c5d582018-12-10 16:56:14 +0100278 * accept all of the parameter values they're supposed to accept - eg
279 * that they don't call MBEDTLS_PARAM_FAILED() when a parameter
Manuel Pégourié-Gonnardcd2b29c2018-12-12 10:23:57 +0100280 * that's allowed to be NULL happens to be NULL.
Manuel Pégourié-Gonnard44c5d582018-12-10 16:56:14 +0100281 *
282 * Note: for functions that return something other that void,
283 * checking that they accept all the parameters they're supposed to
284 * accept is best done by using TEST_ASSERT() and checking the return
285 * value as well.
286 *
Manuel Pégourié-Gonnard54e7f312018-12-12 11:56:09 +0100287 * Note: this macro is available even when #MBEDTLS_CHECK_PARAMS is
288 * disabled, as it makes sense to check that the functions accept all
289 * legal values even if this option is disabled - only in that case,
Manuel Pégourié-Gonnarde7306d32018-12-13 09:45:49 +0100290 * the test is more about whether the function segfaults than about
Manuel Pégourié-Gonnard54e7f312018-12-12 11:56:09 +0100291 * whether it invokes MBEDTLS_PARAM_FAILED().
292 *
Manuel Pégourié-Gonnard44c5d582018-12-10 16:56:14 +0100293 * \param TEST The test expression to be tested.
294 */
295#define TEST_VALID_PARAM( TEST ) \
296 TEST_ASSERT( ( TEST, 1 ) );
Simon Butchera6463452018-12-06 17:41:56 +0000297
Gilles Peskine137d31b2019-06-07 14:52:07 +0200298#define TEST_HELPER_ASSERT(a) if( !( a ) ) \
Rich Evans4c091142015-02-02 12:04:10 +0000299{ \
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200300 mbedtls_fprintf( stderr, "Assertion Failed at %s:%d - %s\n", \
Rich Evans4c091142015-02-02 12:04:10 +0000301 __FILE__, __LINE__, #a ); \
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200302 mbedtls_exit( 1 ); \
Rich Evans4c091142015-02-02 12:04:10 +0000303}
304
Ronald Cron07c83f22020-04-06 09:50:58 +0200305#if defined(__GNUC__)
306/* Test if arg and &(arg)[0] have the same type. This is true if arg is
307 * an array but not if it's a pointer. */
308#define IS_ARRAY_NOT_POINTER( arg ) \
309 ( ! __builtin_types_compatible_p( __typeof__( arg ), \
310 __typeof__( &( arg )[0] ) ) )
311#else
312/* On platforms where we don't know how to implement this check,
313 * omit it. Oh well, a non-portable check is better than nothing. */
314#define IS_ARRAY_NOT_POINTER( arg ) 1
315#endif
316
317/* A compile-time constant with the value 0. If `const_expr` is not a
318 * compile-time constant with a nonzero value, cause a compile-time error. */
319#define STATIC_ASSERT_EXPR( const_expr ) \
makise-homura50f6a192020-08-23 00:39:15 +0300320 ( 0 && sizeof( struct { unsigned int STATIC_ASSERT : 1 - 2 * ! ( const_expr ); } ) )
Ronald Cron07c83f22020-04-06 09:50:58 +0200321/* Return the scalar value `value` (possibly promoted). This is a compile-time
322 * constant if `value` is. `condition` must be a compile-time constant.
323 * If `condition` is false, arrange to cause a compile-time error. */
324#define STATIC_ASSERT_THEN_RETURN( condition, value ) \
325 ( STATIC_ASSERT_EXPR( condition ) ? 0 : ( value ) )
326
327#define ARRAY_LENGTH_UNSAFE( array ) \
328 ( sizeof( array ) / sizeof( *( array ) ) )
329/** Return the number of elements of a static or stack array.
330 *
331 * \param array A value of array (not pointer) type.
332 *
333 * \return The number of elements of the array.
334 */
335#define ARRAY_LENGTH( array ) \
336 ( STATIC_ASSERT_THEN_RETURN( IS_ARRAY_NOT_POINTER( array ), \
337 ARRAY_LENGTH_UNSAFE( array ) ) )
338
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000339/*
340 * 32-bit integer manipulation macros (big endian)
341 */
Paul Bakker5c2364c2012-10-01 14:41:15 +0000342#ifndef GET_UINT32_BE
343#define GET_UINT32_BE(n,b,i) \
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000344{ \
Paul Bakker5c2364c2012-10-01 14:41:15 +0000345 (n) = ( (uint32_t) (b)[(i) ] << 24 ) \
346 | ( (uint32_t) (b)[(i) + 1] << 16 ) \
347 | ( (uint32_t) (b)[(i) + 2] << 8 ) \
348 | ( (uint32_t) (b)[(i) + 3] ); \
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000349}
350#endif
351
Paul Bakker5c2364c2012-10-01 14:41:15 +0000352#ifndef PUT_UINT32_BE
353#define PUT_UINT32_BE(n,b,i) \
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000354{ \
355 (b)[(i) ] = (unsigned char) ( (n) >> 24 ); \
356 (b)[(i) + 1] = (unsigned char) ( (n) >> 16 ); \
357 (b)[(i) + 2] = (unsigned char) ( (n) >> 8 ); \
358 (b)[(i) + 3] = (unsigned char) ( (n) ); \
359}
360#endif
361
SimonB0269dad2016-02-17 23:34:30 +0000362
363/*----------------------------------------------------------------------------*/
SimonB8ca7bc42016-04-17 23:24:50 +0100364/* Global variables */
365
Hanno Beckerd3369f62019-07-05 13:31:30 +0100366typedef enum
367{
368 TEST_RESULT_SUCCESS = 0,
369 TEST_RESULT_FAILED,
370 TEST_RESULT_SKIPPED
371} test_result_t;
372
Andres Amaya Garcia3f50f512017-10-01 16:42:29 +0100373static struct
374{
Simon Butcher6542f6c2018-12-09 22:09:59 +0000375 paramfail_test_state_t paramfail_test_state;
Hanno Beckerd3369f62019-07-05 13:31:30 +0100376 test_result_t result;
Andres Amaya Garcia3f50f512017-10-01 16:42:29 +0100377 const char *test;
378 const char *filename;
379 int line_no;
380}
381test_info;
SimonB8ca7bc42016-04-17 23:24:50 +0100382
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400383#if defined(MBEDTLS_PLATFORM_C)
Andrzej Kurek1152fa82018-04-13 05:15:17 -0400384mbedtls_platform_context platform_ctx;
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400385#endif
SimonB8ca7bc42016-04-17 23:24:50 +0100386
Simon Butchera6463452018-12-06 17:41:56 +0000387#if defined(MBEDTLS_CHECK_PARAMS)
388jmp_buf param_fail_jmp;
Simon Butcher6542f6c2018-12-09 22:09:59 +0000389jmp_buf jmp_tmp;
Simon Butchera6463452018-12-06 17:41:56 +0000390#endif
391
SimonB8ca7bc42016-04-17 23:24:50 +0100392/*----------------------------------------------------------------------------*/
Hanno Becker47deec42017-07-24 12:27:09 +0100393/* Helper flags for complex dependencies */
394
395/* Indicates whether we expect mbedtls_entropy_init
396 * to initialize some strong entropy source. */
397#if defined(MBEDTLS_TEST_NULL_ENTROPY) || \
398 ( !defined(MBEDTLS_NO_DEFAULT_ENTROPY_SOURCES) && \
399 ( !defined(MBEDTLS_NO_PLATFORM_ENTROPY) || \
400 defined(MBEDTLS_HAVEGE_C) || \
401 defined(MBEDTLS_ENTROPY_HARDWARE_ALT) || \
402 defined(ENTROPY_NV_SEED) ) )
Hanno Beckerd4a872e2017-09-07 08:09:33 +0100403#define ENTROPY_HAVE_STRONG
Hanno Becker47deec42017-07-24 12:27:09 +0100404#endif
405
406
407/*----------------------------------------------------------------------------*/
SimonB0269dad2016-02-17 23:34:30 +0000408/* Helper Functions */
Simon Butcher6542f6c2018-12-09 22:09:59 +0000409
Simon Butcherecff2192018-10-03 16:17:41 +0100410void test_fail( const char *test, int line_no, const char* filename )
Simon Butcher6542f6c2018-12-09 22:09:59 +0000411{
Gilles Peskinedfb5cff2020-08-29 15:18:23 +0200412 if( test_info.result == TEST_RESULT_FAILED )
413 {
414 /* We've already recorded the test as having failed. Don't
415 * overwrite any previous information about the failure. */
416 return;
417 }
Hanno Beckerd3369f62019-07-05 13:31:30 +0100418 test_info.result = TEST_RESULT_FAILED;
419 test_info.test = test;
420 test_info.line_no = line_no;
421 test_info.filename = filename;
422}
423
424void test_skip( const char *test, int line_no, const char* filename )
425{
426 test_info.result = TEST_RESULT_SKIPPED;
Simon Butcher6542f6c2018-12-09 22:09:59 +0000427 test_info.test = test;
428 test_info.line_no = line_no;
429 test_info.filename = filename;
430}
431
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400432static int platform_setup()
433{
Andrzej Kurekf13ca952018-04-18 04:14:31 -0400434 int ret = 0;
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400435#if defined(MBEDTLS_PLATFORM_C)
Andrzej Kurekf13ca952018-04-18 04:14:31 -0400436 ret = mbedtls_platform_setup( &platform_ctx );
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400437#endif /* MBEDTLS_PLATFORM_C */
Andrzej Kurekf13ca952018-04-18 04:14:31 -0400438 return( ret );
Andrzej Kurek32a675f2018-04-13 06:16:04 -0400439}
440
441static void platform_teardown()
442{
443#if defined(MBEDTLS_PLATFORM_C)
444 mbedtls_platform_teardown( &platform_ctx );
445#endif /* MBEDTLS_PLATFORM_C */
446}
SimonB0269dad2016-02-17 23:34:30 +0000447
Simon Butchera6463452018-12-06 17:41:56 +0000448#if defined(MBEDTLS_CHECK_PARAMS)
Manuel Pégourié-Gonnard3ef6a6d2018-12-10 14:31:45 +0100449void mbedtls_param_failed( const char *failure_condition,
450 const char *file,
451 int line )
Simon Butchera6463452018-12-06 17:41:56 +0000452{
Simon Butcher6542f6c2018-12-09 22:09:59 +0000453 /* If we are testing the callback function... */
Manuel Pégourié-Gonnardaae10fa2018-12-12 10:24:19 +0100454 if( test_info.paramfail_test_state == PARAMFAIL_TESTSTATE_PENDING )
Simon Butcher6542f6c2018-12-09 22:09:59 +0000455 {
456 test_info.paramfail_test_state = PARAMFAIL_TESTSTATE_CALLED;
457 }
458 else
459 {
460 /* ...else we treat this as an error */
Simon Butchera6463452018-12-06 17:41:56 +0000461
Simon Butcher6542f6c2018-12-09 22:09:59 +0000462 /* Record the location of the failure, but not as a failure yet, in case
463 * it was part of the test */
464 test_fail( failure_condition, line, file );
Hanno Beckerd3369f62019-07-05 13:31:30 +0100465 test_info.result = TEST_RESULT_SUCCESS;
Simon Butcher6542f6c2018-12-09 22:09:59 +0000466
467 longjmp( param_fail_jmp, 1 );
468 }
Simon Butchera6463452018-12-06 17:41:56 +0000469}
470#endif
471
Janos Follath8ca53b52016-10-05 10:57:49 +0100472#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
gufe44650ce762020-07-30 09:02:27 +0200473static int redirect_output( FILE* out_stream, const char* path )
Janos Follath8ca53b52016-10-05 10:57:49 +0100474{
gufe44650ce762020-07-30 09:02:27 +0200475 int out_fd, dup_fd;
476 FILE* path_stream;
Janos Follath8ca53b52016-10-05 10:57:49 +0100477
gufe44650ce762020-07-30 09:02:27 +0200478 out_fd = fileno( out_stream );
479 dup_fd = dup( out_fd );
480
481 if( dup_fd == -1 )
Janos Follath8ca53b52016-10-05 10:57:49 +0100482 {
gufe44650ce762020-07-30 09:02:27 +0200483 return( -1 );
Janos Follath8ca53b52016-10-05 10:57:49 +0100484 }
485
gufe44650ce762020-07-30 09:02:27 +0200486 path_stream = fopen( path, "w" );
487 if( path_stream == NULL )
Janos Follath8ca53b52016-10-05 10:57:49 +0100488 {
gufe44650ce762020-07-30 09:02:27 +0200489 close( dup_fd );
490 return( -1 );
Janos Follath8ca53b52016-10-05 10:57:49 +0100491 }
492
gufe44650ce762020-07-30 09:02:27 +0200493 fflush( out_stream );
494 if( dup2( fileno( path_stream ), out_fd ) == -1 )
495 {
496 close( dup_fd );
497 fclose( path_stream );
498 return( -1 );
499 }
500
501 fclose( path_stream );
502 return( dup_fd );
Janos Follath8ca53b52016-10-05 10:57:49 +0100503}
504
gufe44650ce762020-07-30 09:02:27 +0200505static int restore_output( FILE* out_stream, int dup_fd )
Janos Follath8ca53b52016-10-05 10:57:49 +0100506{
gufe44650ce762020-07-30 09:02:27 +0200507 int out_fd = fileno( out_stream );
Janos Follath8ca53b52016-10-05 10:57:49 +0100508
gufe44650ce762020-07-30 09:02:27 +0200509 fflush( out_stream );
510 if( dup2( dup_fd, out_fd ) == -1 )
Janos Follath8ca53b52016-10-05 10:57:49 +0100511 {
gufe44650ce762020-07-30 09:02:27 +0200512 close( out_fd );
513 close( dup_fd );
514 return( -1 );
Janos Follath8ca53b52016-10-05 10:57:49 +0100515 }
516
gufe44650ce762020-07-30 09:02:27 +0200517 close( dup_fd );
518 return( 0 );
Simon Butchere0192962016-10-12 23:07:30 +0100519}
Janos Follath8ca53b52016-10-05 10:57:49 +0100520#endif /* __unix__ || __APPLE__ __MACH__ */
521
Ronald Crona0c9ff32020-06-08 17:05:57 +0200522int mbedtls_test_unhexify( unsigned char *obuf, const char *ibuf )
Paul Bakker367dae42009-06-28 21:50:27 +0000523{
524 unsigned char c, c2;
Rich Evans4c091142015-02-02 12:04:10 +0000525 int len = strlen( ibuf ) / 2;
Gilles Peskine137d31b2019-06-07 14:52:07 +0200526 TEST_HELPER_ASSERT( strlen( ibuf ) % 2 == 0 ); /* must be even number of bytes */
Paul Bakker367dae42009-06-28 21:50:27 +0000527
Rich Evans4c091142015-02-02 12:04:10 +0000528 while( *ibuf != 0 )
Paul Bakker367dae42009-06-28 21:50:27 +0000529 {
530 c = *ibuf++;
531 if( c >= '0' && c <= '9' )
532 c -= '0';
533 else if( c >= 'a' && c <= 'f' )
534 c -= 'a' - 10;
535 else if( c >= 'A' && c <= 'F' )
536 c -= 'A' - 10;
537 else
Gilles Peskine137d31b2019-06-07 14:52:07 +0200538 TEST_HELPER_ASSERT( 0 );
Paul Bakker367dae42009-06-28 21:50:27 +0000539
540 c2 = *ibuf++;
541 if( c2 >= '0' && c2 <= '9' )
542 c2 -= '0';
543 else if( c2 >= 'a' && c2 <= 'f' )
544 c2 -= 'a' - 10;
545 else if( c2 >= 'A' && c2 <= 'F' )
546 c2 -= 'A' - 10;
547 else
Gilles Peskine137d31b2019-06-07 14:52:07 +0200548 TEST_HELPER_ASSERT( 0 );
Paul Bakker367dae42009-06-28 21:50:27 +0000549
550 *obuf++ = ( c << 4 ) | c2;
551 }
552
553 return len;
554}
555
Ronald Crona0c9ff32020-06-08 17:05:57 +0200556void mbedtls_test_hexify( unsigned char *obuf, const unsigned char *ibuf, int len )
Paul Bakker367dae42009-06-28 21:50:27 +0000557{
558 unsigned char l, h;
559
Rich Evans42914452015-02-02 12:09:25 +0000560 while( len != 0 )
Paul Bakker367dae42009-06-28 21:50:27 +0000561 {
Rich Evans42914452015-02-02 12:09:25 +0000562 h = *ibuf / 16;
563 l = *ibuf % 16;
Paul Bakker367dae42009-06-28 21:50:27 +0000564
565 if( h < 10 )
566 *obuf++ = '0' + h;
567 else
568 *obuf++ = 'a' + h - 10;
569
570 if( l < 10 )
571 *obuf++ = '0' + l;
572 else
573 *obuf++ = 'a' + l - 10;
574
575 ++ibuf;
576 len--;
577 }
578}
Paul Bakker9dcc3222011-03-08 14:16:06 +0000579
580/**
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200581 * Allocate and zeroize a buffer.
582 *
583 * If the size if zero, a pointer to a zeroized 1-byte buffer is returned.
584 *
585 * For convenience, dies if allocation fails.
586 */
587static unsigned char *zero_alloc( size_t len )
588{
589 void *p;
Rich Evans42914452015-02-02 12:09:25 +0000590 size_t actual_len = ( len != 0 ) ? len : 1;
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200591
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200592 p = mbedtls_calloc( 1, actual_len );
Gilles Peskine137d31b2019-06-07 14:52:07 +0200593 TEST_HELPER_ASSERT( p != NULL );
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200594
595 memset( p, 0x00, actual_len );
596
597 return( p );
598}
599
600/**
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200601 * Allocate and fill a buffer from hex data.
602 *
603 * The buffer is sized exactly as needed. This allows to detect buffer
604 * overruns (including overreads) when running the test suite under valgrind.
605 *
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200606 * If the size if zero, a pointer to a zeroized 1-byte buffer is returned.
607 *
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200608 * For convenience, dies if allocation fails.
609 */
Simon Butcherecff2192018-10-03 16:17:41 +0100610unsigned char *unhexify_alloc( const char *ibuf, size_t *olen )
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200611{
612 unsigned char *obuf;
613
Rich Evans42914452015-02-02 12:09:25 +0000614 *olen = strlen( ibuf ) / 2;
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200615
Manuel Pégourié-Gonnard0dc5e0d2014-06-13 21:09:26 +0200616 if( *olen == 0 )
617 return( zero_alloc( *olen ) );
618
Manuel Pégourié-Gonnard7551cb92015-05-26 16:04:06 +0200619 obuf = mbedtls_calloc( 1, *olen );
Gilles Peskine137d31b2019-06-07 14:52:07 +0200620 TEST_HELPER_ASSERT( obuf != NULL );
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200621
Ronald Crona0c9ff32020-06-08 17:05:57 +0200622 (void) mbedtls_test_unhexify( obuf, ibuf );
Manuel Pégourié-Gonnard3d49b9d2014-06-06 14:48:09 +0200623
624 return( obuf );
625}
626
627/**
Paul Bakker9dcc3222011-03-08 14:16:06 +0000628 * This function just returns data from rand().
Paul Bakker997bbd12011-03-13 15:45:42 +0000629 * Although predictable and often similar on multiple
630 * runs, this does not result in identical random on
631 * each run. So do not use this if the results of a
632 * test depend on the random data that is generated.
Paul Bakker9dcc3222011-03-08 14:16:06 +0000633 *
634 * rng_state shall be NULL.
635 */
Paul Bakkera3d195c2011-11-27 21:07:34 +0000636static int rnd_std_rand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000637{
gufe443fa7c642020-08-03 17:56:50 +0200638#if !defined(__OpenBSD__) && !defined(__NetBSD__)
Paul Bakkera3d195c2011-11-27 21:07:34 +0000639 size_t i;
640
Paul Bakker9dcc3222011-03-08 14:16:06 +0000641 if( rng_state != NULL )
642 rng_state = NULL;
643
Paul Bakkera3d195c2011-11-27 21:07:34 +0000644 for( i = 0; i < len; ++i )
645 output[i] = rand();
Paul Bakkerf96f7b62014-04-30 16:02:38 +0200646#else
647 if( rng_state != NULL )
648 rng_state = NULL;
649
650 arc4random_buf( output, len );
gufe443fa7c642020-08-03 17:56:50 +0200651#endif /* !OpenBSD && !NetBSD */
Paul Bakkera3d195c2011-11-27 21:07:34 +0000652
653 return( 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000654}
655
656/**
657 * This function only returns zeros
658 *
659 * rng_state shall be NULL.
660 */
Simon Butcherecff2192018-10-03 16:17:41 +0100661int rnd_zero_rand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000662{
663 if( rng_state != NULL )
664 rng_state = NULL;
665
Paul Bakkera3d195c2011-11-27 21:07:34 +0000666 memset( output, 0, len );
667
Paul Bakker9dcc3222011-03-08 14:16:06 +0000668 return( 0 );
669}
670
671typedef struct
672{
673 unsigned char *buf;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000674 size_t length;
Paul Bakker997bbd12011-03-13 15:45:42 +0000675} rnd_buf_info;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000676
677/**
678 * This function returns random based on a buffer it receives.
679 *
Paul Bakker997bbd12011-03-13 15:45:42 +0000680 * rng_state shall be a pointer to a rnd_buf_info structure.
Manuel Pégourié-Gonnarde670f902015-10-30 09:23:19 +0100681 *
Paul Bakker997bbd12011-03-13 15:45:42 +0000682 * The number of bytes released from the buffer on each call to
683 * the random function is specified by per_call. (Can be between
684 * 1 and 4)
Paul Bakker9dcc3222011-03-08 14:16:06 +0000685 *
686 * After the buffer is empty it will return rand();
687 */
Simon Butcherecff2192018-10-03 16:17:41 +0100688int rnd_buffer_rand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000689{
Paul Bakker997bbd12011-03-13 15:45:42 +0000690 rnd_buf_info *info = (rnd_buf_info *) rng_state;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000691 size_t use_len;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000692
693 if( rng_state == NULL )
Paul Bakkera3d195c2011-11-27 21:07:34 +0000694 return( rnd_std_rand( NULL, output, len ) );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000695
Paul Bakkera3d195c2011-11-27 21:07:34 +0000696 use_len = len;
697 if( len > info->length )
698 use_len = info->length;
Paul Bakker997bbd12011-03-13 15:45:42 +0000699
Paul Bakkera3d195c2011-11-27 21:07:34 +0000700 if( use_len )
Paul Bakker9dcc3222011-03-08 14:16:06 +0000701 {
Paul Bakkera3d195c2011-11-27 21:07:34 +0000702 memcpy( output, info->buf, use_len );
703 info->buf += use_len;
704 info->length -= use_len;
Paul Bakker9dcc3222011-03-08 14:16:06 +0000705 }
706
Paul Bakkera3d195c2011-11-27 21:07:34 +0000707 if( len - use_len > 0 )
708 return( rnd_std_rand( NULL, output + use_len, len - use_len ) );
709
710 return( 0 );
Paul Bakker9dcc3222011-03-08 14:16:06 +0000711}
Paul Bakker997bbd12011-03-13 15:45:42 +0000712
713/**
714 * Info structure for the pseudo random function
715 *
716 * Key should be set at the start to a test-unique value.
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000717 * Do not forget endianness!
Paul Bakker997bbd12011-03-13 15:45:42 +0000718 * State( v0, v1 ) should be set to zero.
719 */
720typedef struct
721{
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000722 uint32_t key[16];
Paul Bakker997bbd12011-03-13 15:45:42 +0000723 uint32_t v0, v1;
724} rnd_pseudo_info;
725
726/**
727 * This function returns random based on a pseudo random function.
728 * This means the results should be identical on all systems.
729 * Pseudo random is based on the XTEA encryption algorithm to
730 * generate pseudorandom.
731 *
732 * rng_state shall be a pointer to a rnd_pseudo_info structure.
733 */
Simon Butcherecff2192018-10-03 16:17:41 +0100734int rnd_pseudo_rand( void *rng_state, unsigned char *output, size_t len )
Paul Bakker997bbd12011-03-13 15:45:42 +0000735{
736 rnd_pseudo_info *info = (rnd_pseudo_info *) rng_state;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000737 uint32_t i, *k, sum, delta=0x9E3779B9;
Manuel Pégourié-Gonnard217a29c2014-01-03 11:59:09 +0100738 unsigned char result[4], *out = output;
Paul Bakker997bbd12011-03-13 15:45:42 +0000739
740 if( rng_state == NULL )
Paul Bakkera3d195c2011-11-27 21:07:34 +0000741 return( rnd_std_rand( NULL, output, len ) );
Paul Bakker997bbd12011-03-13 15:45:42 +0000742
Paul Bakkerb3dcbc12011-03-13 16:57:25 +0000743 k = info->key;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000744
745 while( len > 0 )
Paul Bakker997bbd12011-03-13 15:45:42 +0000746 {
Paul Bakker40dd5302012-05-15 15:02:38 +0000747 size_t use_len = ( len > 4 ) ? 4 : len;
Paul Bakkera3d195c2011-11-27 21:07:34 +0000748 sum = 0;
749
Paul Bakkera3d195c2011-11-27 21:07:34 +0000750 for( i = 0; i < 32; i++ )
751 {
Rich Evans42914452015-02-02 12:09:25 +0000752 info->v0 += ( ( ( info->v1 << 4 ) ^ ( info->v1 >> 5 ) )
753 + info->v1 ) ^ ( sum + k[sum & 3] );
Paul Bakkera3d195c2011-11-27 21:07:34 +0000754 sum += delta;
Rich Evans42914452015-02-02 12:09:25 +0000755 info->v1 += ( ( ( info->v0 << 4 ) ^ ( info->v0 >> 5 ) )
756 + info->v0 ) ^ ( sum + k[( sum>>11 ) & 3] );
Paul Bakkera3d195c2011-11-27 21:07:34 +0000757 }
758
Paul Bakker5c2364c2012-10-01 14:41:15 +0000759 PUT_UINT32_BE( info->v0, result, 0 );
Manuel Pégourié-Gonnard217a29c2014-01-03 11:59:09 +0100760 memcpy( out, result, use_len );
Paul Bakkera3d195c2011-11-27 21:07:34 +0000761 len -= use_len;
Manuel Pégourié-Gonnard217a29c2014-01-03 11:59:09 +0100762 out += 4;
Paul Bakker997bbd12011-03-13 15:45:42 +0000763 }
764
Paul Bakkera3d195c2011-11-27 21:07:34 +0000765 return( 0 );
Paul Bakker997bbd12011-03-13 15:45:42 +0000766}
SimonB0269dad2016-02-17 23:34:30 +0000767
Ronald Crond2397942020-06-10 11:03:08 +0200768int mbedtls_test_hexcmp( uint8_t * a, uint8_t * b, uint32_t a_len, uint32_t b_len )
Azim Khan3499a9e2017-05-30 00:06:49 +0100769{
770 int ret = 0;
771 uint32_t i = 0;
772
Manuel Pégourié-Gonnardaae10fa2018-12-12 10:24:19 +0100773 if( a_len != b_len )
Mohammad Azim Khand2d01122018-07-18 17:48:37 +0100774 return( -1 );
Azim Khan3499a9e2017-05-30 00:06:49 +0100775
776 for( i = 0; i < a_len; i++ )
777 {
Manuel Pégourié-Gonnardaae10fa2018-12-12 10:24:19 +0100778 if( a[i] != b[i] )
Azim Khan3499a9e2017-05-30 00:06:49 +0100779 {
780 ret = -1;
781 break;
782 }
783 }
784 return ret;
785}
Gilles Peskinec0713732021-01-29 21:17:11 +0100786
787/** Mutex usage verification framework.
788 *
789 */
790
791#if defined(MBEDTLS_TEST_MUTEX_USAGE)
792typedef struct
793{
794 void (*init)( mbedtls_threading_mutex_t * );
795 void (*free)( mbedtls_threading_mutex_t * );
796 int (*lock)( mbedtls_threading_mutex_t * );
797 int (*unlock)( mbedtls_threading_mutex_t * );
798} mutex_functions_t;
799static mutex_functions_t mutex_functions;
800
801static void mbedtls_test_wrap_mutex_init( mbedtls_threading_mutex_t *mutex )
802{
803 mutex_functions.init( mutex );
804}
805
806static void mbedtls_test_wrap_mutex_free( mbedtls_threading_mutex_t *mutex )
807{
808 mutex_functions.free( mutex );
809}
810
811static int mbedtls_test_wrap_mutex_lock( mbedtls_threading_mutex_t *mutex )
812{
813 int ret = mutex_functions.lock( mutex );
814 return( ret );
815}
816
817static int mbedtls_test_wrap_mutex_unlock( mbedtls_threading_mutex_t *mutex )
818{
819 return( mutex_functions.unlock( mutex ) );
820}
821
822static void mbedtls_test_mutex_usage_init( void )
823{
824 mutex_functions.init = mbedtls_mutex_init;
825 mutex_functions.free = mbedtls_mutex_free;
826 mutex_functions.lock = mbedtls_mutex_lock;
827 mutex_functions.unlock = mbedtls_mutex_unlock;
828 mbedtls_mutex_init = &mbedtls_test_wrap_mutex_init;
829 mbedtls_mutex_free = &mbedtls_test_wrap_mutex_free;
830 mbedtls_mutex_lock = &mbedtls_test_wrap_mutex_lock;
831 mbedtls_mutex_unlock = &mbedtls_test_wrap_mutex_unlock;
832}
833
834#endif /* MBEDTLS_TEST_MUTEX_USAGE */