blob: 37495a6f37ccfbd46be2a76cc190af3bea4afe96 [file] [log] [blame]
Daniel Axtensf0710242020-05-28 11:43:41 +10001#if !defined(MBEDTLS_CONFIG_FILE)
2#include "mbedtls/mbedtls_config.h"
3#else
4#include MBEDTLS_CONFIG_FILE
5#endif
6
7#if defined(MBEDTLS_HAVE_TIME)
Philippe Antoine08633822019-06-04 14:03:06 +02008#include "mbedtls/platform_time.h"
Daniel Axtensf0710242020-05-28 11:43:41 +10009#endif
10#include <stddef.h>
Philippe Antoine499c7352019-06-04 14:14:33 +020011#include <stdint.h>
12
13typedef struct fuzzBufferOffset
14{
15 const uint8_t *Data;
16 size_t Size;
17 size_t Offset;
18} fuzzBufferOffset_t;
Philippe Antoine08633822019-06-04 14:03:06 +020019
Daniel Axtensf0710242020-05-28 11:43:41 +100020#if defined(MBEDTLS_HAVE_TIME)
Philippe Antoine08633822019-06-04 14:03:06 +020021mbedtls_time_t dummy_constant_time( mbedtls_time_t* time );
Daniel Axtensf0710242020-05-28 11:43:41 +100022#endif
Philippe Antoine08633822019-06-04 14:03:06 +020023void dummy_init();
Philippe Antoine499c7352019-06-04 14:14:33 +020024
25int dummy_send( void *ctx, const unsigned char *buf, size_t len );
26int fuzz_recv( void *ctx, unsigned char *buf, size_t len );
27int dummy_random( void *p_rng, unsigned char *output, size_t output_len );
28int dummy_entropy( void *data, unsigned char *output, size_t len );
29int fuzz_recv_timeout( void *ctx, unsigned char *buf, size_t len,
30 uint32_t timeout );