Felix Conway | 858b829 | 2025-03-25 10:06:53 +0000 | [diff] [blame] | 1 | #define MBEDTLS_DECLARE_PRIVATE_IDENTIFIERS |
| 2 | |
Philippe Antoine | 0863382 | 2019-06-04 14:03:06 +0200 | [diff] [blame] | 3 | #include "common.h" |
Dave Rodgman | 351c71b | 2021-12-06 17:50:53 +0000 | [diff] [blame] | 4 | #include <limits.h> |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 5 | #include <stdio.h> |
| 6 | #include <string.h> |
| 7 | #include <stdlib.h> |
| 8 | #include "mbedtls/ctr_drbg.h" |
Philippe Antoine | 0863382 | 2019-06-04 14:03:06 +0200 | [diff] [blame] | 9 | |
Andrzej Kurek | 06a00af | 2022-03-02 10:56:22 -0500 | [diff] [blame] | 10 | #if defined(MBEDTLS_PLATFORM_TIME_ALT) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 11 | mbedtls_time_t dummy_constant_time(mbedtls_time_t *time) |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 12 | { |
Philippe Antoine | 0863382 | 2019-06-04 14:03:06 +0200 | [diff] [blame] | 13 | (void) time; |
| 14 | return 0x5af2a056; |
| 15 | } |
Daniel Axtens | f071024 | 2020-05-28 11:43:41 +1000 | [diff] [blame] | 16 | #endif |
Philippe Antoine | 0863382 | 2019-06-04 14:03:06 +0200 | [diff] [blame] | 17 | |
Gowtham Suresh Kumar | 186731b | 2023-07-26 15:47:45 +0100 | [diff] [blame] | 18 | void dummy_init(void) |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 19 | { |
David Horstmann | ca53459 | 2021-11-29 18:57:10 +0000 | [diff] [blame] | 20 | #if defined(MBEDTLS_PLATFORM_TIME_ALT) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 21 | mbedtls_platform_set_time(dummy_constant_time); |
Philippe Antoine | 0863382 | 2019-06-04 14:03:06 +0200 | [diff] [blame] | 22 | #else |
| 23 | fprintf(stderr, "Warning: fuzzing without constant time\n"); |
| 24 | #endif |
| 25 | } |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 26 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 27 | int dummy_send(void *ctx, const unsigned char *buf, size_t len) |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 28 | { |
| 29 | //silence warning about unused parameter |
| 30 | (void) ctx; |
| 31 | (void) buf; |
| 32 | |
| 33 | //pretends we wrote everything ok |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 34 | if (len > INT_MAX) { |
| 35 | return -1; |
Philippe Antoine | 3e408d5 | 2019-07-10 01:09:50 +0200 | [diff] [blame] | 36 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 37 | return (int) len; |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 38 | } |
| 39 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 40 | int fuzz_recv(void *ctx, unsigned char *buf, size_t len) |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 41 | { |
| 42 | //reads from the buffer from fuzzer |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 43 | fuzzBufferOffset_t *biomemfuzz = (fuzzBufferOffset_t *) ctx; |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 44 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 45 | if (biomemfuzz->Offset == biomemfuzz->Size) { |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 46 | //EOF |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 47 | return 0; |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 48 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 49 | if (len > INT_MAX) { |
| 50 | return -1; |
Philippe Antoine | 2321945 | 2019-07-10 08:26:04 +0200 | [diff] [blame] | 51 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 52 | if (len + biomemfuzz->Offset > biomemfuzz->Size) { |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 53 | //do not overflow |
| 54 | len = biomemfuzz->Size - biomemfuzz->Offset; |
| 55 | } |
| 56 | memcpy(buf, biomemfuzz->Data + biomemfuzz->Offset, len); |
| 57 | biomemfuzz->Offset += len; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 58 | return (int) len; |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 59 | } |
| 60 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 61 | int dummy_random(void *p_rng, unsigned char *output, size_t output_len) |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 62 | { |
| 63 | int ret; |
| 64 | size_t i; |
| 65 | |
Manuel Pégourié-Gonnard | a89040c | 2020-05-20 10:35:01 +0200 | [diff] [blame] | 66 | #if defined(MBEDTLS_CTR_DRBG_C) |
Paul Elliott | a1dc3e5 | 2022-02-14 18:26:21 +0000 | [diff] [blame] | 67 | //mbedtls_ctr_drbg_random requires a valid mbedtls_ctr_drbg_context in p_rng |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 68 | if (p_rng != NULL) { |
Paul Elliott | a1dc3e5 | 2022-02-14 18:26:21 +0000 | [diff] [blame] | 69 | //use mbedtls_ctr_drbg_random to find bugs in it |
| 70 | ret = mbedtls_ctr_drbg_random(p_rng, output, output_len); |
Paul Elliott | 5d7e61f | 2022-02-15 16:05:17 +0000 | [diff] [blame] | 71 | } else { |
| 72 | //fall through to pseudo-random |
| 73 | ret = 0; |
Paul Elliott | a1dc3e5 | 2022-02-14 18:26:21 +0000 | [diff] [blame] | 74 | } |
Manuel Pégourié-Gonnard | a89040c | 2020-05-20 10:35:01 +0200 | [diff] [blame] | 75 | #else |
| 76 | (void) p_rng; |
| 77 | ret = 0; |
| 78 | #endif |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 79 | for (i = 0; i < output_len; i++) { |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 80 | //replace result with pseudo random |
| 81 | output[i] = (unsigned char) rand(); |
| 82 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 83 | return ret; |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 84 | } |
| 85 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 86 | int dummy_entropy(void *data, unsigned char *output, size_t len) |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 87 | { |
| 88 | size_t i; |
| 89 | (void) data; |
| 90 | |
| 91 | //use mbedtls_entropy_func to find bugs in it |
| 92 | //test performance impact of entropy |
| 93 | //ret = mbedtls_entropy_func(data, output, len); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 94 | for (i = 0; i < len; i++) { |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 95 | //replace result with pseudo random |
| 96 | output[i] = (unsigned char) rand(); |
| 97 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 98 | return 0; |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 99 | } |
| 100 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 101 | int fuzz_recv_timeout(void *ctx, unsigned char *buf, size_t len, |
| 102 | uint32_t timeout) |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 103 | { |
| 104 | (void) timeout; |
| 105 | |
| 106 | return fuzz_recv(ctx, buf, len); |
| 107 | } |