blob: 4143a1c5112e4218d27ca3377f3440c41e68269d [file] [log] [blame]
Paul Bakker50157ff2016-07-19 14:57:00 +01001/* BEGIN_HEADER */
Gilles Peskine8064bf32017-10-10 19:56:06 +02002
k-stachowiak21daa3c2019-01-29 10:19:49 +01003/* This test module exercises the timing module. Since, depending on the
4 * underlying operating system, the timing routines are not always reliable,
5 * this suite only performs very basic sanity checks of the timing API.
6 */
Gilles Peskine8064bf32017-10-10 19:56:06 +02007
8#include <limits.h>
9
Paul Bakker50157ff2016-07-19 14:57:00 +010010#include "mbedtls/timing.h"
Gilles Peskine8064bf32017-10-10 19:56:06 +020011
Paul Bakker50157ff2016-07-19 14:57:00 +010012/* END_HEADER */
13
14/* BEGIN_DEPENDENCIES
15 * depends_on:MBEDTLS_TIMING_C
16 * END_DEPENDENCIES
17 */
18
Gilles Peskine8064bf32017-10-10 19:56:06 +020019/* BEGIN_CASE */
Gilles Peskine449bd832023-01-11 14:50:10 +010020void timing_get_timer()
k-stachowiak21daa3c2019-01-29 10:19:49 +010021{
22 struct mbedtls_timing_hr_time time;
Dave Rodgman4ffc9d82023-03-31 16:43:34 +010023
24 memset(&time, 0, sizeof(time));
25
Gilles Peskine449bd832023-01-11 14:50:10 +010026 (void) mbedtls_timing_get_timer(&time, 1);
Dave Rodgman4ffc9d82023-03-31 16:43:34 +010027
28 /* Check that a non-zero time was written back */
29 int all_zero = 1;
30 for (size_t i = 0; i < sizeof(time); i++) {
Dave Rodgmand43b42e2023-03-31 18:04:34 +010031 all_zero &= ((unsigned char *) &time)[i] == 0;
Dave Rodgman4ffc9d82023-03-31 16:43:34 +010032 }
33 TEST_ASSERT(!all_zero);
34
Gilles Peskine449bd832023-01-11 14:50:10 +010035 (void) mbedtls_timing_get_timer(&time, 0);
Dave Rodgman4ffc9d82023-03-31 16:43:34 +010036
k-stachowiak21daa3c2019-01-29 10:19:49 +010037 /* This goto is added to avoid warnings from the generated code. */
38 goto exit;
39}
40/* END_CASE */
Gilles Peskine2a26d622017-10-18 20:00:32 +020041
k-stachowiak21daa3c2019-01-29 10:19:49 +010042/* BEGIN_CASE */
Gilles Peskine449bd832023-01-11 14:50:10 +010043void timing_delay(int fin_ms)
k-stachowiak21daa3c2019-01-29 10:19:49 +010044{
45 mbedtls_timing_delay_context ctx;
46 int result;
Gilles Peskine449bd832023-01-11 14:50:10 +010047 if (fin_ms == 0) {
48 mbedtls_timing_set_delay(&ctx, 0, 0);
49 result = mbedtls_timing_get_delay(&ctx);
50 TEST_ASSERT(result == -1);
51 } else {
52 mbedtls_timing_set_delay(&ctx, fin_ms / 2, fin_ms);
53 result = mbedtls_timing_get_delay(&ctx);
54 TEST_ASSERT(result >= 0 && result <= 2);
k-stachowiak21daa3c2019-01-29 10:19:49 +010055 }
Gilles Peskine078f1a12017-10-11 16:13:13 +020056}
57/* END_CASE */