memory.fuzzer.cpp File Reference

#include "barretenberg/vm2/generated/relations/memory.hpp"
#include <algorithm>
#include <cassert>
#include <cstdint>
#include <cstring>
#include <random>
#include "barretenberg/avm_fuzzer/mutations/basic_types/field.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/common/memory_types.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/columns.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/memory_event.hpp"
#include "barretenberg/vm2/simulation/events/range_check_event.hpp"
#include "barretenberg/vm2/simulation/gadgets/memory.hpp"
#include "barretenberg/vm2/simulation/gadgets/range_check.hpp"
#include "barretenberg/vm2/tooling/debugger.hpp"
#include "barretenberg/vm2/tracegen/execution_trace.hpp"
#include "barretenberg/vm2/tracegen/memory_trace.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/range_check_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"

Go to the source code of this file.

Classes
struct	MemoryFuzzerInput

Typedefs
using	memory_rel = bb::avm2::memory< FF >

Functions
	__attribute__ ((section("__libfuzzer_extra_counters"))) uint8_t num_of_entries=0
std::vector< MemoryValue >	generate_memory_values (const MemoryFuzzerInput &input)
std::vector< MemoryAddress >	generate_memory_addresses (const MemoryFuzzerInput &input)
size_t	LLVMFuzzerCustomMutator (uint8_t *data, size_t size, size_t, unsigned int seed)
int	LLVMFuzzerTestOneInput (const uint8_t *data, size_t size)

Variables
const std::array< MemoryTag, 7 >	memory_tags

Typedef Documentation

memory_rel

using memory_rel = bb::avm2::memory<FF>

Definition at line 35 of file memory.fuzzer.cpp.

Function Documentation

__attribute__()

__attribute__ ( (section("__libfuzzer_extra_counters"))  )

pure virtual

generate_memory_addresses()

std::vector< MemoryAddress > generate_memory_addresses

(

const MemoryFuzzerInput &

input

)

Definition at line 140 of file memory.fuzzer.cpp.

generate_memory_values()

std::vector< MemoryValue > generate_memory_values

(

const MemoryFuzzerInput &

input

)

Definition at line 104 of file memory.fuzzer.cpp.

LLVMFuzzerCustomMutator()

size_t LLVMFuzzerCustomMutator	(	uint8_t *	data,
		size_t	size,
		size_t	,
		unsigned int	seed
	)

Definition at line 158 of file memory.fuzzer.cpp.

LLVMFuzzerTestOneInput()

int LLVMFuzzerTestOneInput	(	const uint8_t *	data,
		size_t	size
	)

Definition at line 249 of file memory.fuzzer.cpp.

Variable Documentation

memory_tags

const std::array<MemoryTag, 7> memory_tags

Initial value:

= {
    MemoryTag::FF, MemoryTag::U1, MemoryTag::U8, MemoryTag::U16, MemoryTag::U32, MemoryTag::U64, MemoryTag::U128,
}

Definition at line 38 of file memory.fuzzer.cpp.