ByteArrayFuzzBase< Builder > Class Template Reference

The class parametrizing ByteArray fuzzing instructions, execution, etc. More...

#include <byte_array.fuzzer.hpp>

Classes
class	ArgSizes
class	ExecutionHandler
	This class implements the execution of safeuint with an oracle to detect discrepancies. More...
class	Instruction
	A class representing a single fuzzing instruction. More...
class	Parser
	Parser class handles the parsing and writing the instructions back to data buffer. More...

Public Types
typedef std::vector< ExecutionHandler >	ExecutionState

Static Public Member Functions
static bool	postProcess (Builder *builder, std::vector< ByteArrayFuzzBase::ExecutionHandler > &stack)
	Check that the resulting values are equal to expected.

Private Types
typedef bb::stdlib::byte_array< Builder >	byte_array_t
typedef bb::stdlib::field_t< Builder >	field_t
typedef bb::stdlib::safe_uint_t< Builder >	suint_t

Static Private Member Functions
template<class From , class To >
static To	from_to (const From &in, const std::optional< size_t > size=std::nullopt)

Detailed Description

template<typename Builder>
class ByteArrayFuzzBase< Builder >

The class parametrizing ByteArray fuzzing instructions, execution, etc.

Definition at line 55 of file byte_array.fuzzer.hpp.

Member Typedef Documentation

byte_array_t

template<typename Builder >

typedef bb::stdlib::byte_array<Builder> ByteArrayFuzzBase< Builder >::byte_array_t

private

Definition at line 57 of file byte_array.fuzzer.hpp.

ExecutionState

template<typename Builder >

typedef std::vector<ExecutionHandler> ByteArrayFuzzBase< Builder >::ExecutionState

Definition at line 772 of file byte_array.fuzzer.hpp.

field_t

template<typename Builder >

typedef bb::stdlib::field_t<Builder> ByteArrayFuzzBase< Builder >::field_t

private

Definition at line 58 of file byte_array.fuzzer.hpp.

suint_t

template<typename Builder >

typedef bb::stdlib::safe_uint_t<Builder> ByteArrayFuzzBase< Builder >::suint_t

private

Definition at line 59 of file byte_array.fuzzer.hpp.

Member Function Documentation

from_to()

template<typename Builder >

template<class From , class To >

static To ByteArrayFuzzBase< Builder >::from_to ( const From &  in, const std::optional< size_t >  size = std::nullopt  )

inlinestaticprivate

Definition at line 61 of file byte_array.fuzzer.hpp.

postProcess()

template<typename Builder >

static bool ByteArrayFuzzBase< Builder >::postProcess ( Builder *  builder, std::vector< ByteArrayFuzzBase< Builder >::ExecutionHandler > &  stack  )

inlinestatic

Check that the resulting values are equal to expected.

Template Parameters

Builder

Parameters

builder
stack

Returns

true

false

Definition at line 782 of file byte_array.fuzzer.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/stdlib/primitives/byte_array/byte_array.fuzzer.hpp