blob: 269922d975ee1afa6bc76ccb6468cc829bcc90c4 [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 Peskine1b6c09a2023-01-11 14:52:35 +010020void timing_hardclock()
Gilles Peskine078f1a12017-10-11 16:13:13 +020021{
k-stachowiak21daa3c2019-01-29 10:19:49 +010022 (void) mbedtls_timing_hardclock();
23 /* This goto is added to avoid warnings from the generated code. */
24 goto exit;
25}
26/* END_CASE */
Gilles Peskine078f1a12017-10-11 16:13:13 +020027
k-stachowiak21daa3c2019-01-29 10:19:49 +010028/* BEGIN_CASE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010029void timing_get_timer()
k-stachowiak21daa3c2019-01-29 10:19:49 +010030{
31 struct mbedtls_timing_hr_time time;
Dave Rodgman3fead762023-03-31 16:43:34 +010032
33 memset(&time, 0, sizeof(time));
34
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010035 (void) mbedtls_timing_get_timer(&time, 1);
Dave Rodgman3fead762023-03-31 16:43:34 +010036
37 /* Check that a non-zero time was written back */
38 int all_zero = 1;
39 for (size_t i = 0; i < sizeof(time); i++) {
Dave Rodgman2497c6b2023-03-31 18:04:34 +010040 all_zero &= ((unsigned char *) &time)[i] == 0;
Dave Rodgman3fead762023-03-31 16:43:34 +010041 }
42 TEST_ASSERT(!all_zero);
43
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010044 (void) mbedtls_timing_get_timer(&time, 0);
Dave Rodgman3fead762023-03-31 16:43:34 +010045
k-stachowiak21daa3c2019-01-29 10:19:49 +010046 /* This goto is added to avoid warnings from the generated code. */
47 goto exit;
48}
49/* END_CASE */
Gilles Peskine2a26d622017-10-18 20:00:32 +020050
k-stachowiak21daa3c2019-01-29 10:19:49 +010051/* BEGIN_CASE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010052void timing_set_alarm(int seconds)
k-stachowiak21daa3c2019-01-29 10:19:49 +010053{
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010054 if (seconds == 0) {
55 mbedtls_set_alarm(seconds);
56 TEST_ASSERT(mbedtls_timing_alarmed == 1);
57 } else {
58 mbedtls_set_alarm(seconds);
59 TEST_ASSERT(mbedtls_timing_alarmed == 0 ||
60 mbedtls_timing_alarmed == 1);
k-stachowiak21daa3c2019-01-29 10:19:49 +010061 }
62}
63/* END_CASE */
Gilles Peskine078f1a12017-10-11 16:13:13 +020064
k-stachowiak21daa3c2019-01-29 10:19:49 +010065/* BEGIN_CASE */
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010066void timing_delay(int fin_ms)
k-stachowiak21daa3c2019-01-29 10:19:49 +010067{
68 mbedtls_timing_delay_context ctx;
69 int result;
Gilles Peskine1b6c09a2023-01-11 14:52:35 +010070 if (fin_ms == 0) {
71 mbedtls_timing_set_delay(&ctx, 0, 0);
72 result = mbedtls_timing_get_delay(&ctx);
73 TEST_ASSERT(result == -1);
74 } else {
75 mbedtls_timing_set_delay(&ctx, fin_ms / 2, fin_ms);
76 result = mbedtls_timing_get_delay(&ctx);
77 TEST_ASSERT(result >= 0 && result <= 2);
k-stachowiak21daa3c2019-01-29 10:19:49 +010078 }
Gilles Peskine078f1a12017-10-11 16:13:13 +020079}
80/* END_CASE */