| 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 ); |