#include "barretenberg/vm2/generated/relations/internal_call.hpp"
#include <array>
#include <cassert>
#include <cstddef>
#include <cstdint>
#include <fuzzer/FuzzedDataProvider.h>
#include <memory>
#include <string>
#include <vector>
#include "barretenberg/avm_fuzzer/fuzz_lib/constants.hpp"
#include "barretenberg/avm_fuzzer/harness/context_helper.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/context_events.hpp"
#include "barretenberg/vm2/simulation/events/execution_event.hpp"
#include "barretenberg/vm2/simulation/gadgets/context_provider.hpp"
#include "barretenberg/vm2/simulation/interfaces/context.hpp"
#include "barretenberg/vm2/simulation/interfaces/execution.hpp"
#include "barretenberg/vm2/simulation/interfaces/internal_call_stack_manager.hpp"
#include "barretenberg/vm2/testing/instruction_builder.hpp"
#include "barretenberg/vm2/tooling/debugger.hpp"
#include "barretenberg/vm2/tracegen/execution_trace.hpp"
#include "barretenberg/vm2/tracegen/internal_call_stack_trace.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"

Classes
struct	InternalCallFuzzerInput

Typedefs
using	internal_call_rel = bb::avm2::internal_call< FF >

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

ContextEvent	fill_context_event (std::unique_ptr< ContextInterface > &context, InternalCallStackManagerInterface &internal_call_stack_manager)

void	fuzz_internal_call (std::vector< ExecutionEvent > &ex_events, std::unique_ptr< ContextInterface > &context, InternalCallStackManagerInterface &internal_call_stack_manager, uint32_t loc)

void	fuzz_internal_return (std::vector< ExecutionEvent > &ex_events, std::unique_ptr< ContextInterface > &context, InternalCallStackManagerInterface &internal_call_stack_manager)

int	LLVMFuzzerTestOneInput (const uint8_t *data, size_t size)

Variables
const uint8_t	max_flat_calls = 5

const uint8_t	max_nested_calls = 5

const uint8_t	max_total_calls = max_flat_calls * max_nested_calls

const auto	call_instr

const auto	ret_instr = bb::avm2::testing::InstructionBuilder(WireOpCode::INTERNALRETURN).build()

const auto	dummy_instr

Typedef Documentation

◆ internal_call_rel

using internal_call_rel = bb::avm2::internal_call<FF>

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

Function Documentation

◆ fill_context_event()

ContextEvent fill_context_event	(	std::unique_ptr< ContextInterface > &	context,
		InternalCallStackManagerInterface &	internal_call_stack_manager
	)

Definition at line 179 of file internal_call.fuzzer.cpp.

◆ fuzz_internal_call()

void fuzz_internal_call	(	std::vector< ExecutionEvent > &	ex_events,
		std::unique_ptr< ContextInterface > &	context,
		InternalCallStackManagerInterface &	internal_call_stack_manager,
		uint32_t	loc
	)

Definition at line 191 of file internal_call.fuzzer.cpp.

◆ fuzz_internal_return()

void fuzz_internal_return	(	std::vector< ExecutionEvent > &	ex_events,
		std::unique_ptr< ContextInterface > &	context,
		InternalCallStackManagerInterface &	internal_call_stack_manager
	)

Definition at line 213 of file internal_call.fuzzer.cpp.

◆ LLVMFuzzerCustomMutator()

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

Definition at line 113 of file internal_call.fuzzer.cpp.

◆ LLVMFuzzerTestOneInput()

int LLVMFuzzerTestOneInput	(	const uint8_t *	data,
		size_t	size
	)

Definition at line 247 of file internal_call.fuzzer.cpp.

Variable Documentation

◆ call_instr

const auto call_instr

Initial value:

=
    bb::avm2::testing::InstructionBuilder(WireOpCode::INTERNALCALL)
        .operand<uint32_t>(10)
        .build()

Definition at line 45 of file internal_call.fuzzer.cpp.

◆ dummy_instr

const auto dummy_instr

Initial value:

= bb::avm2::testing::InstructionBuilder(WireOpCode::ADD_8)
                             .operand<uint8_t>(0)
                             .operand<uint8_t>(0)
                             .operand<uint8_t>(0)
                             .build()

Definition at line 50 of file internal_call.fuzzer.cpp.

◆ max_flat_calls

const uint8_t max_flat_calls = 5

Definition at line 40 of file internal_call.fuzzer.cpp.

◆ max_nested_calls

const uint8_t max_nested_calls = 5

Definition at line 41 of file internal_call.fuzzer.cpp.

◆ max_total_calls

const uint8_t max_total_calls = max_flat_calls * max_nested_calls

Definition at line 42 of file internal_call.fuzzer.cpp.

◆ ret_instr

const auto ret_instr = bb::avm2::testing::InstructionBuilder(WireOpCode::INTERNALRETURN).build()

Definition at line 49 of file internal_call.fuzzer.cpp.

Classes

Typedefs

Functions

Variables