Philippe Antoine | 0863382 | 2019-06-04 14:03:06 +0200 | [diff] [blame] | 1 | #include "mbedtls/platform_time.h" |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 2 | #include <stdint.h> |
| 3 | |
| 4 | typedef struct fuzzBufferOffset |
| 5 | { |
| 6 | const uint8_t *Data; |
| 7 | size_t Size; |
| 8 | size_t Offset; |
| 9 | } fuzzBufferOffset_t; |
Philippe Antoine | 0863382 | 2019-06-04 14:03:06 +0200 | [diff] [blame] | 10 | |
| 11 | mbedtls_time_t dummy_constant_time( mbedtls_time_t* time ); |
| 12 | void dummy_init(); |
Philippe Antoine | 499c735 | 2019-06-04 14:14:33 +0200 | [diff] [blame] | 13 | |
| 14 | int dummy_send( void *ctx, const unsigned char *buf, size_t len ); |
| 15 | int fuzz_recv( void *ctx, unsigned char *buf, size_t len ); |
| 16 | int dummy_random( void *p_rng, unsigned char *output, size_t output_len ); |
| 17 | int dummy_entropy( void *data, unsigned char *output, size_t len ); |
| 18 | int fuzz_recv_timeout( void *ctx, unsigned char *buf, size_t len, |
| 19 | uint32_t timeout ); |