bool.fuzzer.hpp File Reference

#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/common/fuzzer.hpp"

Go to the source code of this file.

Classes
class	BoolFuzzBase< Builder >
	The class parametrizing ByteArray fuzzing instructions, execution, etc. More...
class	BoolFuzzBase< Builder >::Instruction
	A class representing a single fuzzing instruction. More...
struct	BoolFuzzBase< Builder >::Instruction::TwoArgs
struct	BoolFuzzBase< Builder >::Instruction::ThreeArgs
struct	BoolFuzzBase< Builder >::Instruction::FourArgs
union	BoolFuzzBase< Builder >::Instruction::ArgumentContents
class	BoolFuzzBase< Builder >::ArgSizes
class	BoolFuzzBase< Builder >::Parser
	Parser class handles the parsing and writing the instructions back to data buffer. More...
class	BoolFuzzBase< Builder >::ExecutionHandler
	This class implements the execution of safeuint with an oracle to detect discrepancies. More...

Macros
#define	HAVOC_TESTING
#define	OPERATION_TYPE_SIZE   1
#define	ELEMENT_SIZE   (sizeof(fr) + 1)
#define	TWO_IN_ONE_OUT   3
#define	THREE_IN_ONE_OUT   4
#define	SLICE_ARGS_SIZE   6
#define	PUT_RANDOM_BYTE_IF_LUCKY(variable)
#define	PUT_RANDOM_TWO_BYTES_IF_LUCKY(variable)
#define	PUT_RANDOM_FOUR_BYTES_IF_LUCKY(variable)

Functions
int	LLVMFuzzerInitialize (int *argc, char ***argv)
size_t	LLVMFuzzerTestOneInput (const uint8_t *Data, size_t Size)
	Fuzzer entry function.

Variables
bool	circuit_should_fail = false
FastRandom	VarianceRNG (0)

Macro Definition Documentation

ELEMENT_SIZE

#define ELEMENT_SIZE   (sizeof(fr) + 1)

Definition at line 24 of file bool.fuzzer.hpp.

HAVOC_TESTING

#define HAVOC_TESTING

Definition at line 14 of file bool.fuzzer.hpp.

OPERATION_TYPE_SIZE

#define OPERATION_TYPE_SIZE   1

Definition at line 22 of file bool.fuzzer.hpp.

PUT_RANDOM_BYTE_IF_LUCKY

#define PUT_RANDOM_BYTE_IF_LUCKY

(

variable

)

Value:

    if (rng.next() & 1) {                                                                                              \
        variable = rng.next() & 0xff;                                                                                  \
    }

PUT_RANDOM_FOUR_BYTES_IF_LUCKY

#define PUT_RANDOM_FOUR_BYTES_IF_LUCKY

(

variable

)

Value:

    if (rng.next() & 1) {                                                                                              \
        variable = rng.next() & 0xffffffff;                                                                            \
    }

PUT_RANDOM_TWO_BYTES_IF_LUCKY

#define PUT_RANDOM_TWO_BYTES_IF_LUCKY

(

variable

)

Value:

    if (rng.next() & 1) {                                                                                              \
        variable = rng.next() & 0xffff;                                                                                \
    }

SLICE_ARGS_SIZE

#define SLICE_ARGS_SIZE   6

Definition at line 27 of file bool.fuzzer.hpp.

THREE_IN_ONE_OUT

#define THREE_IN_ONE_OUT   4

Definition at line 26 of file bool.fuzzer.hpp.

TWO_IN_ONE_OUT

#define TWO_IN_ONE_OUT   3

Definition at line 25 of file bool.fuzzer.hpp.

Function Documentation

LLVMFuzzerInitialize()

int LLVMFuzzerInitialize	(	int *	argc,
		char ***	argv
	)

This is used, when we need to determine the probabilities of various mutations. Left here for posterity

Write mutation settings to log

Definition at line 688 of file bool.fuzzer.hpp.

LLVMFuzzerTestOneInput()

size_t LLVMFuzzerTestOneInput	(	const uint8_t *	Data,
		size_t	Size
	)

Fuzzer entry function.

Definition at line 806 of file bool.fuzzer.hpp.

Variable Documentation

circuit_should_fail

bool circuit_should_fail = false

Definition at line 12 of file bool.fuzzer.hpp.

VarianceRNG

FastRandom VarianceRNG(0)

(

0

)