fuzz.test.cpp File Reference

#include <gtest/gtest.h>
#include <iostream>
#include "barretenberg/avm_fuzzer/common/interfaces/dbs.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/constants.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/control_flow.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/fuzz.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/fuzzer_context.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/fuzzer_data.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/instruction.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/simulator.hpp"
#include "barretenberg/vm2/common/field.hpp"

Go to the source code of this file.

Classes
class	FuzzTest
class	arithmetic::ArithmeticFuzzTest
class	control_flow::ControlFlowFuzzTest
class	execution_environment::ExecutionEnvironmentFuzzTest
class	external_calls::ExternalCallsFuzzTest

Namespaces
namespace	arithmetic
namespace	type_conversion
namespace	machine_memory
namespace	control_flow
namespace	public_storage
namespace	execution_environment
namespace	notes_and_nullifiers
namespace	calldata_returndata
namespace	internal_calls
namespace	avm_addressing
namespace	misc
namespace	external_calls

Functions
void	register_functions (FuzzerContext &context)
	arithmetic::TEST_F (ArithmeticFuzzTest, ADD8)
	arithmetic::TEST_F (ArithmeticFuzzTest, SUB8)
	arithmetic::TEST_F (ArithmeticFuzzTest, MUL8)
	arithmetic::TEST_F (ArithmeticFuzzTest, DIV8)
	arithmetic::TEST_F (ArithmeticFuzzTest, EQ8)
	arithmetic::TEST_F (ArithmeticFuzzTest, LT8)
	arithmetic::TEST_F (ArithmeticFuzzTest, LTE8)
	arithmetic::TEST_F (ArithmeticFuzzTest, AND8)
	arithmetic::TEST_F (ArithmeticFuzzTest, OR8)
	arithmetic::TEST_F (ArithmeticFuzzTest, XOR8)
	arithmetic::TEST_F (ArithmeticFuzzTest, SHL8)
	arithmetic::TEST_F (ArithmeticFuzzTest, SHR8)
	arithmetic::TEST_F (ArithmeticFuzzTest, FDIV8)
	arithmetic::TEST_F (ArithmeticFuzzTest, NOT8)
	arithmetic::TEST_F (ArithmeticFuzzTest, ADD16)
	arithmetic::TEST_F (ArithmeticFuzzTest, SUB16)
	arithmetic::TEST_F (ArithmeticFuzzTest, MUL16)
	arithmetic::TEST_F (ArithmeticFuzzTest, DIV16)
	arithmetic::TEST_F (ArithmeticFuzzTest, EQ16)
	arithmetic::TEST_F (ArithmeticFuzzTest, LT16)
	arithmetic::TEST_F (ArithmeticFuzzTest, LTE16)
	arithmetic::TEST_F (ArithmeticFuzzTest, AND16)
	arithmetic::TEST_F (ArithmeticFuzzTest, OR16)
	arithmetic::TEST_F (ArithmeticFuzzTest, XOR16)
	arithmetic::TEST_F (ArithmeticFuzzTest, SHL16)
	arithmetic::TEST_F (ArithmeticFuzzTest, SHR16)
	arithmetic::TEST_F (ArithmeticFuzzTest, FDIV16)
	arithmetic::TEST_F (ArithmeticFuzzTest, NOT16)
	type_conversion::TEST_F (FuzzTest, CAST8)
	type_conversion::TEST_F (FuzzTest, CAST16)
	machine_memory::TEST_F (FuzzTest, SET16)
	machine_memory::TEST_F (FuzzTest, SET32)
	machine_memory::TEST_F (FuzzTest, SET64)
	machine_memory::TEST_F (FuzzTest, SET128)
	machine_memory::TEST_F (FuzzTest, SETFF)
	machine_memory::TEST_F (FuzzTest, MOV8)
	machine_memory::TEST_F (FuzzTest, MOV16)
	control_flow::TEST_F (ControlFlowFuzzTest, JumpToNewBlockSmoke)
	control_flow::TEST_F (ControlFlowFuzzTest, JumpToNewBlockSmoke2)
	control_flow::TEST_F (ControlFlowFuzzTest, JumpToNewBlockSharesVariables)
	control_flow::TEST_F (ControlFlowFuzzTest, JumpIfToNewBlockSmoke)
	control_flow::TEST_F (ControlFlowFuzzTest, JumpIfDepth2Smoke)
	control_flow::TEST_F (ControlFlowFuzzTest, JumpToBlockSmoke)
	control_flow::TEST_F (ControlFlowFuzzTest, JumpIfToNewBlockWithReturn)
	public_storage::TEST_F (FuzzTest, SstoreThenSload)
	execution_environment::TEST_F (ExecutionEnvironmentFuzzTest, GetEnvVarSmoke)
	notes_and_nullifiers::TEST_F (FuzzTest, EmitNullifierThenNullifierExists)
	notes_and_nullifiers::TEST_F (FuzzTest, EmitNullifierThenNullifierExistsOverwritingPreviousNullifier)
	notes_and_nullifiers::TEST_F (FuzzTest, EmitNoteHashThenNoteHashExists)
	calldata_returndata::TEST_F (FuzzTest, CopyCalldataThenReturnData)
	calldata_returndata::TEST_F (FuzzTest, InternalCall)
	internal_calls::TEST_F (FuzzTest, InternalCalledBlockUsesInternalReturn)
	internal_calls::TEST_F (FuzzTest, SeveralInternalCalls)
	internal_calls::TEST_F (FuzzTest, Reentrancy)
	avm_addressing::TEST_F (FuzzTest, DirectWithIndirect)
	avm_addressing::TEST_F (FuzzTest, DirectWithIndirectRelative)
	avm_addressing::TEST_F (FuzzTest, IndirectResultCanBeUsedInNextInstruction)
	avm_addressing::TEST_F (FuzzTest, Memoryaddressing32BitWidth)
	misc::TEST_F (FuzzTest, SendL2ToL1Msg)
	misc::TEST_F (FuzzTest, EmitUnencryptedLog)
	external_calls::TEST_F (ExternalCallsFuzzTest, ExternalCallToAdd8)
	external_calls::TEST_F (ExternalCallsFuzzTest, GetContractInstance)
	external_calls::TEST_F (ExternalCallsFuzzTest, SuccessCopy)
	external_calls::TEST_F (ExternalCallsFuzzTest, CallToZeroDivisionSuccessCopy)
	external_calls::TEST_F (ExternalCallsFuzzTest, StaticCallToNonStaticFunctionSuccessCopy)
	Performs static call to SSTORE_FUNCTION, SUCCESSCOPY, RETURN.

Variables
FuzzerWorldStateManager *	ws_mgr = nullptr

Function Documentation

register_functions()

void register_functions

(

FuzzerContext &

context

)

Definition at line 18 of file fuzz.test.cpp.

Variable Documentation

ws_mgr

FuzzerWorldStateManager* ws_mgr = nullptr

Definition at line 16 of file fuzz.test.cpp.