Ronald Cron | b7eb67f | 2020-06-09 16:57:42 +0200 | [diff] [blame] | 1 | /** |
| 2 | * \file random.c |
| 3 | * |
| 4 | * \brief This file contains the helper functions to generate random numbers |
| 5 | * for the purpose of testing. |
| 6 | */ |
| 7 | |
Bence Szépkúti | 8697465 | 2020-06-15 11:59:37 +0200 | [diff] [blame] | 8 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 9 | * Copyright The Mbed TLS Contributors |
Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 10 | * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Ronald Cron | b7eb67f | 2020-06-09 16:57:42 +0200 | [diff] [blame] | 11 | */ |
| 12 | |
gufe44 | c54888e | 2020-08-17 15:04:06 +0200 | [diff] [blame] | 13 | /* |
| 14 | * for arc4random_buf() from <stdlib.h> |
| 15 | */ |
| 16 | #if defined(__NetBSD__) |
| 17 | #define _NETBSD_SOURCE 1 |
| 18 | #elif defined(__OpenBSD__) |
| 19 | #define _BSD_SOURCE 1 |
| 20 | #endif |
| 21 | |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 22 | #include <test/macros.h> |
Ronald Cron | b7eb67f | 2020-06-09 16:57:42 +0200 | [diff] [blame] | 23 | #include <test/random.h> |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 24 | #include <string.h> |
| 25 | |
Gilles Peskine | ecacc3c | 2021-03-24 00:48:57 +0100 | [diff] [blame] | 26 | #include <mbedtls/entropy.h> |
Ronald Cron | 2e3795d | 2023-07-06 14:19:49 +0200 | [diff] [blame] | 27 | #include <alignment.h> |
Gilles Peskine | ecacc3c | 2021-03-24 00:48:57 +0100 | [diff] [blame] | 28 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 29 | int mbedtls_test_rnd_std_rand(void *rng_state, |
| 30 | unsigned char *output, |
| 31 | size_t len) |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 32 | { |
gufe44 | c2620da | 2020-08-03 17:56:50 +0200 | [diff] [blame] | 33 | #if !defined(__OpenBSD__) && !defined(__NetBSD__) |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 34 | size_t i; |
| 35 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 36 | if (rng_state != NULL) { |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 37 | rng_state = NULL; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 38 | } |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 39 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 40 | for (i = 0; i < len; ++i) { |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 41 | output[i] = rand(); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 42 | } |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 43 | #else |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 44 | if (rng_state != NULL) { |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 45 | rng_state = NULL; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 46 | } |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 47 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 48 | arc4random_buf(output, len); |
gufe44 | c2620da | 2020-08-03 17:56:50 +0200 | [diff] [blame] | 49 | #endif /* !OpenBSD && !NetBSD */ |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 50 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 51 | return 0; |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 52 | } |
| 53 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 54 | int mbedtls_test_rnd_zero_rand(void *rng_state, |
| 55 | unsigned char *output, |
| 56 | size_t len) |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 57 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 58 | if (rng_state != NULL) { |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 59 | rng_state = NULL; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 60 | } |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 61 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 62 | memset(output, 0, len); |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 63 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 64 | return 0; |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 65 | } |
| 66 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 67 | int mbedtls_test_rnd_buffer_rand(void *rng_state, |
| 68 | unsigned char *output, |
| 69 | size_t len) |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 70 | { |
Ronald Cron | 351f0ee | 2020-06-10 12:12:18 +0200 | [diff] [blame] | 71 | mbedtls_test_rnd_buf_info *info = (mbedtls_test_rnd_buf_info *) rng_state; |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 72 | size_t use_len; |
| 73 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 74 | if (rng_state == NULL) { |
| 75 | return mbedtls_test_rnd_std_rand(NULL, output, len); |
| 76 | } |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 77 | |
| 78 | use_len = len; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 79 | if (len > info->length) { |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 80 | use_len = info->length; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 81 | } |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 82 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 83 | if (use_len) { |
| 84 | memcpy(output, info->buf, use_len); |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 85 | info->buf += use_len; |
| 86 | info->length -= use_len; |
| 87 | } |
| 88 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 89 | if (len - use_len > 0) { |
| 90 | if (info->fallback_f_rng != NULL) { |
| 91 | return info->fallback_f_rng(info->fallback_p_rng, |
| 92 | output + use_len, |
| 93 | len - use_len); |
| 94 | } else { |
| 95 | return MBEDTLS_ERR_ENTROPY_SOURCE_FAILED; |
Gilles Peskine | ecacc3c | 2021-03-24 00:48:57 +0100 | [diff] [blame] | 96 | } |
Gilles Peskine | ecacc3c | 2021-03-24 00:48:57 +0100 | [diff] [blame] | 97 | } |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 98 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 99 | return 0; |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 100 | } |
| 101 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 102 | int mbedtls_test_rnd_pseudo_rand(void *rng_state, |
| 103 | unsigned char *output, |
| 104 | size_t len) |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 105 | { |
Ronald Cron | 351f0ee | 2020-06-10 12:12:18 +0200 | [diff] [blame] | 106 | mbedtls_test_rnd_pseudo_info *info = |
| 107 | (mbedtls_test_rnd_pseudo_info *) rng_state; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 108 | uint32_t i, *k, sum, delta = 0x9E3779B9; |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 109 | unsigned char result[4], *out = output; |
| 110 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 111 | if (rng_state == NULL) { |
| 112 | return mbedtls_test_rnd_std_rand(NULL, output, len); |
| 113 | } |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 114 | |
| 115 | k = info->key; |
| 116 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 117 | while (len > 0) { |
| 118 | size_t use_len = (len > 4) ? 4 : len; |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 119 | sum = 0; |
| 120 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 121 | for (i = 0; i < 32; i++) { |
| 122 | info->v0 += (((info->v1 << 4) ^ (info->v1 >> 5)) |
| 123 | + info->v1) ^ (sum + k[sum & 3]); |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 124 | sum += delta; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 125 | info->v1 += (((info->v0 << 4) ^ (info->v0 >> 5)) |
| 126 | + info->v0) ^ (sum + k[(sum>>11) & 3]); |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 127 | } |
| 128 | |
Dave Rodgman | d51b1c5 | 2023-03-10 17:44:08 +0000 | [diff] [blame] | 129 | MBEDTLS_PUT_UINT32_BE(info->v0, result, 0); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 130 | memcpy(out, result, use_len); |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 131 | len -= use_len; |
| 132 | out += 4; |
| 133 | } |
| 134 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 135 | return 0; |
Ronald Cron | 2058d56 | 2020-06-09 17:11:47 +0200 | [diff] [blame] | 136 | } |