#include <vector>
#include "barretenberg/avm_fuzzer/common/weighted_selection.hpp"

Typedefs
using	VecMutationConfig = WeightedSelectionConfig< VecMutationOptions, 5 >

using	Uint8MutationOptions = UintMutationOptions

using	Uint16MutationOptions = UintMutationOptions

using	Uint32MutationOptions = UintMutationOptions

using	Uint64MutationOptions = UintMutationOptions

using	Uint128MutationOptions = UintMutationOptions

using	Uint8MutationConfig = WeightedSelectionConfig< UintMutationOptions, 5 >

using	Uint16MutationConfig = WeightedSelectionConfig< UintMutationOptions, 5 >

using	Uint32MutationConfig = WeightedSelectionConfig< UintMutationOptions, 5 >

using	Uint64MutationConfig = WeightedSelectionConfig< UintMutationOptions, 5 >

using	Uint128MutationConfig = WeightedSelectionConfig< UintMutationOptions, 5 >

using	FieldMutationConfig = WeightedSelectionConfig< FieldMutationOptions, 5 >

using	MemoryTagGenerationConfig = WeightedSelectionConfig< MemoryTagOptions, 7 >

using	MemoryTagMutationConfig = WeightedSelectionConfig< MemoryTagOptions, 7 >

using	AddressRefMutationConfig = WeightedSelectionConfig< AddressRefMutationOptions, 5 >

using	ResultAddressRefMutationConfig = WeightedSelectionConfig< ResultAddressRefMutationOptions, 5 >

using	UnaryInstruction8MutationConfig = WeightedSelectionConfig< UnaryInstruction8MutationOptions, 2 >

using	BinaryInstruction8MutationConfig = WeightedSelectionConfig< BinaryInstruction8MutationOptions, 3 >

using	Set8MutationConfig = WeightedSelectionConfig< Set8MutationOptions, 3 >

using	Set16MutationConfig = WeightedSelectionConfig< Set16MutationOptions, 3 >

using	Set32MutationConfig = WeightedSelectionConfig< Set32MutationOptions, 3 >

using	Set64MutationConfig = WeightedSelectionConfig< Set64MutationOptions, 3 >

using	Set128MutationConfig = WeightedSelectionConfig< Set128MutationOptions, 4 >

using	SetFFMutationConfig = WeightedSelectionConfig< SetFFMutationOptions, 3 >

using	ReturnMutationConfig = WeightedSelectionConfig< ReturnMutationOptions, 3 >

using	InstructionGenerationConfig = WeightedSelectionConfig< InstructionGenerationOptions, 42 >

using	SStoreMutationConfig = WeightedSelectionConfig< SStoreMutationOptions, 3 >

using	SLoadMutationConfig = WeightedSelectionConfig< SLoadMutationOptions, 3 >

using	GetEnvVarMutationConfig = WeightedSelectionConfig< GetEnvVarMutationOptions, 2 >

using	NullifierExistsMutationConfig = WeightedSelectionConfig< NullifierExistsMutationOptions, 3 >

using	EmitNoteHashMutationConfig = WeightedSelectionConfig< EmitNoteHashMutationOptions, 2 >

using	NoteHashExistsMutationConfig = WeightedSelectionConfig< NoteHashExistsMutationOptions, 4 >

using	CalldataCopyMutationConfig = WeightedSelectionConfig< CalldataCopyMutationOptions, 5 >

using	ReturnOptionsMutationConfig = WeightedSelectionConfig< ReturnOptionsMutationOptions, 3 >

using	FuzzerDataMutationConfig = WeightedSelectionConfig< FuzzerDataMutationOptions, 4 >

using	JumpIfMutationConfig = WeightedSelectionConfig< JumpIfMutationOptions, 3 >

using	CFGInstructionGenerationConfig = WeightedSelectionConfig< CFGInstructionGenerationOptions, 8 >

using	JumpIfToBlockMutationConfig = WeightedSelectionConfig< JumpIfToBlockMutationOptions, 3 >

Enumerations
enum class	VecMutationOptions { Insertion , Deletion , Swap , ElementMutation }

enum class	UintMutationOptions { RandomSelection , IncrementBy1 , DecrementBy1 , AddRandomValue }

enum class	FieldMutationOptions { RandomSelection , IncrementBy1 , DecrementBy1 , AddRandomValue }

enum class	MemoryTagOptions { U1 , U8 , U16 , U32 , U64 , U128 , FF }

enum class	AddressRefMutationOptions { tag , index , pointer_address , base_offset , mode }

enum class	ResultAddressRefMutationOptions { address , pointer_address , base_offset , mode }

enum class	UnaryInstruction8MutationOptions { a_address , result_address }

enum class	BinaryInstruction8MutationOptions { a_address , b_address , result_address }

enum class	Set8MutationOptions { value_tag , result_address , value }

enum class	Set16MutationOptions { value_tag , result_address , value }

enum class	Set32MutationOptions { value_tag , result_address , value }

enum class	Set64MutationOptions { value_tag , result_address , value }

enum class	Set128MutationOptions { value_tag , result_address , value_low , value_high }

enum class	SetFFMutationOptions { value_tag , result_address , value }

enum class	ReturnMutationOptions { return_size , return_value_tag , return_value_offset_index }

enum class	InstructionGenerationOptions { ADD_8 , SUB_8 , MUL_8 , DIV_8 , EQ_8 , LT_8 , LTE_8 , AND_8 , OR_8 , XOR_8 , SHL_8 , SHR_8 , SET_8 , SET_16 , SET_32 , SET_64 , SET_128 , SET_FF , ADD_16 , SUB_16 , MUL_16 , DIV_16 , FDIV_16 , EQ_16 , LT_16 , LTE_16 , AND_16 , OR_16 , XOR_16 , NOT_16 , SHL_16 , SHR_16 , CAST_8 , CAST_16 , SSTORE , SLOAD , GETENVVAR , EMITNULLIFIER , NULLIFIEREXISTS , EMITNOTEHASH , NOTEHASHEXISTS , CALLDATACOPY }

enum class	SStoreMutationOptions { src_address , result_address , slot }

enum class	SLoadMutationOptions { slot_index , slot_address , result_address }

enum class	GetEnvVarMutationOptions { result_address , type }

enum class	NullifierExistsMutationOptions { nullifier_address , contract_address_address , result_address }

enum class	EmitNoteHashMutationOptions { note_hash_address , note_hash }

enum class	NoteHashExistsMutationOptions { notehash_index , notehash_address , leaf_index_address , result_address }

enum class	CalldataCopyMutationOptions { dst_address , copy_size , copy_size_address , cd_start , cd_start_address }

enum class	ReturnOptionsMutationOptions { return_size , return_value_tag , return_value_offset_index }

enum class	FuzzerDataMutationOptions { InstructionMutation , ControlFlowCommandMutation , ReturnOptionsMutation , CalldataMutation }

enum class	JumpIfMutationOptions { then_program_block_instruction_block_idx , else_program_block_instruction_block_idx , condition_offset }

enum class	CFGInstructionGenerationOptions { InsertSimpleInstructionBlock , JumpToNewBlock , JumpIfToNewBlock , JumpToBlock , JumpIfToBlock , FinalizeWithReturn , SwitchToNonTerminatedBlock , InsertInternalCall }

enum class	JumpIfToBlockMutationOptions { target_then_block_idx , target_else_block_idx , condition_offset_index }

Variables
constexpr uint8_t	MAX_MUTATION_NUM = 20

constexpr VecMutationConfig	BASIC_VEC_MUTATION_CONFIGURATION

constexpr Uint8MutationConfig	BASIC_UINT8_T_MUTATION_CONFIGURATION

constexpr Uint16MutationConfig	BASIC_UINT16_T_MUTATION_CONFIGURATION

constexpr Uint32MutationConfig	BASIC_UINT32_T_MUTATION_CONFIGURATION

constexpr Uint64MutationConfig	BASIC_UINT64_T_MUTATION_CONFIGURATION

constexpr Uint128MutationConfig	BASIC_UINT128_T_MUTATION_CONFIGURATION

constexpr FieldMutationConfig	BASIC_FIELD_MUTATION_CONFIGURATION

constexpr MemoryTagGenerationConfig	BASIC_MEMORY_TAG_GENERATION_CONFIGURATION

constexpr MemoryTagMutationConfig	BASIC_MEMORY_TAG_MUTATION_CONFIGURATION

constexpr AddressRefMutationConfig	BASIC_ADDRESS_REF_MUTATION_CONFIGURATION

constexpr ResultAddressRefMutationConfig	BASIC_RESULT_ADDRESS_REF_MUTATION_CONFIGURATION

constexpr UnaryInstruction8MutationConfig	BASIC_UNARY_INSTRUCTION_8_MUTATION_CONFIGURATION

constexpr BinaryInstruction8MutationConfig	BASIC_BINARY_INSTRUCTION_8_MUTATION_CONFIGURATION

constexpr Set8MutationConfig	BASIC_SET_8_MUTATION_CONFIGURATION

constexpr Set16MutationConfig	BASIC_SET_16_MUTATION_CONFIGURATION

constexpr Set32MutationConfig	BASIC_SET_32_MUTATION_CONFIGURATION

constexpr Set64MutationConfig	BASIC_SET_64_MUTATION_CONFIGURATION

constexpr Set128MutationConfig	BASIC_SET_128_MUTATION_CONFIGURATION

constexpr SetFFMutationConfig	BASIC_SET_FF_MUTATION_CONFIGURATION

constexpr ReturnMutationConfig	BASIC_RETURN_MUTATION_CONFIGURATION

constexpr InstructionGenerationConfig	BASIC_INSTRUCTION_GENERATION_CONFIGURATION

constexpr SStoreMutationConfig	BASIC_SSTORE_MUTATION_CONFIGURATION

constexpr SLoadMutationConfig	BASIC_SLOAD_MUTATION_CONFIGURATION

constexpr GetEnvVarMutationConfig	BASIC_GETENVVAR_MUTATION_CONFIGURATION

constexpr NullifierExistsMutationConfig	BASIC_NULLIFIER_EXISTS_MUTATION_CONFIGURATION

constexpr EmitNoteHashMutationConfig	BASIC_EMITNOTEHASH_MUTATION_CONFIGURATION

constexpr NoteHashExistsMutationConfig	BASIC_NOTEHASHEXISTS_MUTATION_CONFIGURATION

constexpr CalldataCopyMutationConfig	BASIC_CALLDATACOPY_MUTATION_CONFIGURATION

constexpr ReturnOptionsMutationConfig	BASIC_RETURN_OPTIONS_MUTATION_CONFIGURATION

constexpr FuzzerDataMutationConfig	BASIC_FUZZER_DATA_MUTATION_CONFIGURATION

constexpr JumpIfMutationConfig	BASIC_JUMP_IF_MUTATION_CONFIGURATION

constexpr CFGInstructionGenerationConfig	BASIC_CFG_INSTRUCTION_GENERATION_CONFIGURATION

constexpr JumpIfToBlockMutationConfig	BASIC_JUMP_IF_TO_BLOCK_MUTATION_CONFIGURATION

Typedef Documentation

◆ AddressRefMutationConfig

using AddressRefMutationConfig = WeightedSelectionConfig<AddressRefMutationOptions, 5>

Definition at line 109 of file configuration.hpp.

◆ BinaryInstruction8MutationConfig

using BinaryInstruction8MutationConfig = WeightedSelectionConfig<BinaryInstruction8MutationOptions, 3>

Definition at line 140 of file configuration.hpp.

◆ CalldataCopyMutationConfig

using CalldataCopyMutationConfig = WeightedSelectionConfig<CalldataCopyMutationOptions, 5>

Definition at line 366 of file configuration.hpp.

◆ CFGInstructionGenerationConfig

using CFGInstructionGenerationConfig = WeightedSelectionConfig<CFGInstructionGenerationOptions, 8>

Definition at line 426 of file configuration.hpp.

◆ EmitNoteHashMutationConfig

using EmitNoteHashMutationConfig = WeightedSelectionConfig<EmitNoteHashMutationOptions, 2>

Definition at line 348 of file configuration.hpp.

◆ FieldMutationConfig

using FieldMutationConfig = WeightedSelectionConfig<FieldMutationOptions, 5>

Definition at line 73 of file configuration.hpp.

◆ FuzzerDataMutationConfig

using FuzzerDataMutationConfig = WeightedSelectionConfig<FuzzerDataMutationOptions, 4>

Definition at line 393 of file configuration.hpp.

◆ GetEnvVarMutationConfig

using GetEnvVarMutationConfig = WeightedSelectionConfig<GetEnvVarMutationOptions, 2>

Definition at line 331 of file configuration.hpp.

◆ InstructionGenerationConfig

using InstructionGenerationConfig = WeightedSelectionConfig<InstructionGenerationOptions, 42>

Definition at line 265 of file configuration.hpp.

◆ JumpIfMutationConfig

using JumpIfMutationConfig = WeightedSelectionConfig<JumpIfMutationOptions, 3>

Definition at line 407 of file configuration.hpp.

◆ JumpIfToBlockMutationConfig

using JumpIfToBlockMutationConfig = WeightedSelectionConfig<JumpIfToBlockMutationOptions, 3>

Definition at line 441 of file configuration.hpp.

◆ MemoryTagGenerationConfig

using MemoryTagGenerationConfig = WeightedSelectionConfig<MemoryTagOptions, 7>

Definition at line 84 of file configuration.hpp.

◆ MemoryTagMutationConfig

using MemoryTagMutationConfig = WeightedSelectionConfig<MemoryTagOptions, 7>

Definition at line 96 of file configuration.hpp.

◆ NoteHashExistsMutationConfig

using NoteHashExistsMutationConfig = WeightedSelectionConfig<NoteHashExistsMutationOptions, 4>

Definition at line 356 of file configuration.hpp.

◆ NullifierExistsMutationConfig

using NullifierExistsMutationConfig = WeightedSelectionConfig<NullifierExistsMutationOptions, 3>

Definition at line 339 of file configuration.hpp.

◆ ResultAddressRefMutationConfig

using ResultAddressRefMutationConfig = WeightedSelectionConfig<ResultAddressRefMutationOptions, 5>

Definition at line 119 of file configuration.hpp.

◆ ReturnMutationConfig

using ReturnMutationConfig = WeightedSelectionConfig<ReturnMutationOptions, 3>

Definition at line 212 of file configuration.hpp.

◆ ReturnOptionsMutationConfig

using ReturnOptionsMutationConfig = WeightedSelectionConfig<ReturnOptionsMutationOptions, 3>

Definition at line 378 of file configuration.hpp.

◆ Set128MutationConfig

using Set128MutationConfig = WeightedSelectionConfig<Set128MutationOptions, 4>

Definition at line 191 of file configuration.hpp.

◆ Set16MutationConfig

using Set16MutationConfig = WeightedSelectionConfig<Set16MutationOptions, 3>

Definition at line 161 of file configuration.hpp.

◆ Set32MutationConfig

using Set32MutationConfig = WeightedSelectionConfig<Set32MutationOptions, 3>

Definition at line 171 of file configuration.hpp.

◆ Set64MutationConfig

using Set64MutationConfig = WeightedSelectionConfig<Set64MutationOptions, 3>

Definition at line 181 of file configuration.hpp.

◆ Set8MutationConfig

using Set8MutationConfig = WeightedSelectionConfig<Set8MutationOptions, 3>

Definition at line 151 of file configuration.hpp.

◆ SetFFMutationConfig

using SetFFMutationConfig = WeightedSelectionConfig<SetFFMutationOptions, 3>

Definition at line 202 of file configuration.hpp.

◆ SLoadMutationConfig

using SLoadMutationConfig = WeightedSelectionConfig<SLoadMutationOptions, 3>

Definition at line 322 of file configuration.hpp.

◆ SStoreMutationConfig

using SStoreMutationConfig = WeightedSelectionConfig<SStoreMutationOptions, 3>

Definition at line 313 of file configuration.hpp.

◆ Uint128MutationConfig

using Uint128MutationConfig = WeightedSelectionConfig<UintMutationOptions, 5>

Definition at line 34 of file configuration.hpp.

◆ Uint128MutationOptions

using Uint128MutationOptions = UintMutationOptions

Definition at line 28 of file configuration.hpp.

◆ Uint16MutationConfig

using Uint16MutationConfig = WeightedSelectionConfig<UintMutationOptions, 5>

Definition at line 31 of file configuration.hpp.

◆ Uint16MutationOptions

using Uint16MutationOptions = UintMutationOptions

Definition at line 25 of file configuration.hpp.

◆ Uint32MutationConfig

using Uint32MutationConfig = WeightedSelectionConfig<UintMutationOptions, 5>

Definition at line 32 of file configuration.hpp.

◆ Uint32MutationOptions

using Uint32MutationOptions = UintMutationOptions

Definition at line 26 of file configuration.hpp.

◆ Uint64MutationConfig

using Uint64MutationConfig = WeightedSelectionConfig<UintMutationOptions, 5>

Definition at line 33 of file configuration.hpp.

◆ Uint64MutationOptions

using Uint64MutationOptions = UintMutationOptions

Definition at line 27 of file configuration.hpp.

◆ Uint8MutationConfig

using Uint8MutationConfig = WeightedSelectionConfig<UintMutationOptions, 5>

Definition at line 30 of file configuration.hpp.

◆ Uint8MutationOptions

using Uint8MutationOptions = UintMutationOptions

Definition at line 24 of file configuration.hpp.

◆ UnaryInstruction8MutationConfig

using UnaryInstruction8MutationConfig = WeightedSelectionConfig<UnaryInstruction8MutationOptions, 2>

Definition at line 130 of file configuration.hpp.

◆ VecMutationConfig

using VecMutationConfig = WeightedSelectionConfig<VecMutationOptions, 5>

Definition at line 11 of file configuration.hpp.

Enumeration Type Documentation

◆ AddressRefMutationOptions

enum class AddressRefMutationOptions

strong

Enumerator
tag
index
pointer_address
base_offset
mode

Definition at line 108 of file configuration.hpp.

◆ BinaryInstruction8MutationOptions

enum class BinaryInstruction8MutationOptions

strong

Enumerator
a_address
b_address
result_address

Definition at line 138 of file configuration.hpp.

◆ CalldataCopyMutationOptions

enum class CalldataCopyMutationOptions

strong

Enumerator
dst_address
copy_size
copy_size_address
cd_start
cd_start_address

Definition at line 365 of file configuration.hpp.

◆ CFGInstructionGenerationOptions

enum class CFGInstructionGenerationOptions

strong

Enumerator
InsertSimpleInstructionBlock
JumpToNewBlock
JumpIfToNewBlock
JumpToBlock
JumpIfToBlock
FinalizeWithReturn
SwitchToNonTerminatedBlock
InsertInternalCall

Definition at line 415 of file configuration.hpp.

◆ EmitNoteHashMutationOptions

enum class EmitNoteHashMutationOptions

strong

Enumerator
note_hash_address
note_hash

Definition at line 347 of file configuration.hpp.

◆ FieldMutationOptions

enum class FieldMutationOptions

strong

Enumerator
RandomSelection
IncrementBy1
DecrementBy1
AddRandomValue

Definition at line 71 of file configuration.hpp.

◆ FuzzerDataMutationOptions

enum class FuzzerDataMutationOptions

strong

Enumerator
InstructionMutation
ControlFlowCommandMutation
ReturnOptionsMutation
CalldataMutation

Definition at line 386 of file configuration.hpp.

◆ GetEnvVarMutationOptions

enum class GetEnvVarMutationOptions

strong

Enumerator
result_address
type

Definition at line 330 of file configuration.hpp.

◆ InstructionGenerationOptions

enum class InstructionGenerationOptions

strong

Enumerator
ADD_8
SUB_8
MUL_8
DIV_8
EQ_8
LT_8
LTE_8
AND_8
OR_8
XOR_8
SHL_8
SHR_8
SET_8
SET_16
SET_32
SET_64
SET_128
SET_FF
ADD_16
SUB_16
MUL_16
DIV_16
FDIV_16
EQ_16
LT_16
LTE_16
AND_16
OR_16
XOR_16
NOT_16
SHL_16
SHR_16
CAST_8
CAST_16
SSTORE
SLOAD
GETENVVAR
EMITNULLIFIER
NULLIFIEREXISTS
EMITNOTEHASH
NOTEHASHEXISTS
CALLDATACOPY

Definition at line 220 of file configuration.hpp.

◆ JumpIfMutationOptions

enum class JumpIfMutationOptions

strong

Enumerator
then_program_block_instruction_block_idx
else_program_block_instruction_block_idx
condition_offset

Definition at line 402 of file configuration.hpp.

◆ JumpIfToBlockMutationOptions

enum class JumpIfToBlockMutationOptions

strong

Enumerator
target_then_block_idx
target_else_block_idx
condition_offset_index

Definition at line 440 of file configuration.hpp.

◆ MemoryTagOptions

enum class MemoryTagOptions

strong

Enumerator
U1
U8
U16
U32
U64
U128
FF

Definition at line 82 of file configuration.hpp.

◆ NoteHashExistsMutationOptions

enum class NoteHashExistsMutationOptions

strong

Enumerator
notehash_index
notehash_address
leaf_index_address
result_address

Definition at line 355 of file configuration.hpp.

◆ NullifierExistsMutationOptions

enum class NullifierExistsMutationOptions

strong

Enumerator
nullifier_address
contract_address_address
result_address

Definition at line 338 of file configuration.hpp.

◆ ResultAddressRefMutationOptions

enum class ResultAddressRefMutationOptions

strong

Enumerator
address
pointer_address
base_offset
mode

Definition at line 118 of file configuration.hpp.

◆ ReturnMutationOptions

enum class ReturnMutationOptions

strong

Enumerator
return_size
return_value_tag
return_value_offset_index

Definition at line 210 of file configuration.hpp.

◆ ReturnOptionsMutationOptions

enum class ReturnOptionsMutationOptions

strong

Enumerator
return_size
return_value_tag
return_value_offset_index

Definition at line 376 of file configuration.hpp.

◆ Set128MutationOptions

enum class Set128MutationOptions

strong

Enumerator
value_tag
result_address
value_low
value_high

Definition at line 189 of file configuration.hpp.

◆ Set16MutationOptions

enum class Set16MutationOptions

strong

Enumerator
value_tag
result_address
value

Definition at line 159 of file configuration.hpp.

◆ Set32MutationOptions

enum class Set32MutationOptions

strong

Enumerator
value_tag
result_address
value

Definition at line 169 of file configuration.hpp.

◆ Set64MutationOptions

enum class Set64MutationOptions

strong

Enumerator
value_tag
result_address
value

Definition at line 179 of file configuration.hpp.

◆ Set8MutationOptions

enum class Set8MutationOptions

strong

Enumerator
value_tag
result_address
value

Definition at line 149 of file configuration.hpp.

◆ SetFFMutationOptions

enum class SetFFMutationOptions

strong

Enumerator
value_tag
result_address
value

Definition at line 200 of file configuration.hpp.

◆ SLoadMutationOptions

enum class SLoadMutationOptions

strong

Enumerator
slot_index
slot_address
result_address

Definition at line 321 of file configuration.hpp.

◆ SStoreMutationOptions

enum class SStoreMutationOptions

strong

Enumerator
src_address
result_address
slot

Definition at line 312 of file configuration.hpp.

◆ UintMutationOptions

enum class UintMutationOptions

strong

Enumerator
RandomSelection
IncrementBy1
DecrementBy1
AddRandomValue

Definition at line 21 of file configuration.hpp.

◆ UnaryInstruction8MutationOptions

enum class UnaryInstruction8MutationOptions

strong

Enumerator
a_address
result_address

Definition at line 128 of file configuration.hpp.

◆ VecMutationOptions

enum class VecMutationOptions

strong

Enumerator
Insertion
Deletion
Swap
ElementMutation

Definition at line 9 of file configuration.hpp.

Variable Documentation

◆ BASIC_ADDRESS_REF_MUTATION_CONFIGURATION

constexpr AddressRefMutationConfig BASIC_ADDRESS_REF_MUTATION_CONFIGURATION

constexpr

Initial value:

= AddressRefMutationConfig({
    { AddressRefMutationOptions::tag, 3 },
    { AddressRefMutationOptions::index, 4 },
    { AddressRefMutationOptions::pointer_address, 1 },
    { AddressRefMutationOptions::base_offset, 1 },
    { AddressRefMutationOptions::mode, 2 },
})

Definition at line 110 of file configuration.hpp.

◆ BASIC_BINARY_INSTRUCTION_8_MUTATION_CONFIGURATION

constexpr BinaryInstruction8MutationConfig BASIC_BINARY_INSTRUCTION_8_MUTATION_CONFIGURATION

constexpr

Initial value:

=
    BinaryInstruction8MutationConfig({
        { BinaryInstruction8MutationOptions::a_address, 4 },
        { BinaryInstruction8MutationOptions::b_address, 4 },
        { BinaryInstruction8MutationOptions::result_address, 1 },
    })

Definition at line 142 of file configuration.hpp.

◆ BASIC_CALLDATACOPY_MUTATION_CONFIGURATION

constexpr CalldataCopyMutationConfig BASIC_CALLDATACOPY_MUTATION_CONFIGURATION

constexpr

Initial value:

= CalldataCopyMutationConfig({
    { CalldataCopyMutationOptions::dst_address, 1 },
    { CalldataCopyMutationOptions::copy_size, 1 },
    { CalldataCopyMutationOptions::copy_size_address, 1 },
    { CalldataCopyMutationOptions::cd_start, 1 },
    { CalldataCopyMutationOptions::cd_start_address, 1 },
})

Definition at line 368 of file configuration.hpp.

◆ BASIC_CFG_INSTRUCTION_GENERATION_CONFIGURATION

constexpr CFGInstructionGenerationConfig BASIC_CFG_INSTRUCTION_GENERATION_CONFIGURATION

constexpr

Initial value:

=
    CFGInstructionGenerationConfig({
        { CFGInstructionGenerationOptions::InsertSimpleInstructionBlock, 60 },
        { CFGInstructionGenerationOptions::JumpToNewBlock, 20 },
        { CFGInstructionGenerationOptions::JumpIfToNewBlock, 20 },
        { CFGInstructionGenerationOptions::JumpToBlock, 15 },
        { CFGInstructionGenerationOptions::JumpIfToBlock, 15 },
        { CFGInstructionGenerationOptions::FinalizeWithReturn, 7 },
        { CFGInstructionGenerationOptions::SwitchToNonTerminatedBlock, 8 },
        { CFGInstructionGenerationOptions::InsertInternalCall, 3 },
    })

Definition at line 428 of file configuration.hpp.

◆ BASIC_EMITNOTEHASH_MUTATION_CONFIGURATION

constexpr EmitNoteHashMutationConfig BASIC_EMITNOTEHASH_MUTATION_CONFIGURATION

constexpr

Initial value:

= EmitNoteHashMutationConfig({
    { EmitNoteHashMutationOptions::note_hash_address, 1 },
    { EmitNoteHashMutationOptions::note_hash, 1 },
})

Definition at line 350 of file configuration.hpp.

◆ BASIC_FIELD_MUTATION_CONFIGURATION

constexpr FieldMutationConfig BASIC_FIELD_MUTATION_CONFIGURATION

constexpr

Initial value:

= FieldMutationConfig({
    { FieldMutationOptions::RandomSelection, 7 },
    { FieldMutationOptions::IncrementBy1, 22 },
    { FieldMutationOptions::DecrementBy1, 20 },
    { FieldMutationOptions::AddRandomValue, 10 },
})

Definition at line 75 of file configuration.hpp.

◆ BASIC_FUZZER_DATA_MUTATION_CONFIGURATION

constexpr FuzzerDataMutationConfig BASIC_FUZZER_DATA_MUTATION_CONFIGURATION

constexpr

Initial value:

= FuzzerDataMutationConfig({
    { FuzzerDataMutationOptions::InstructionMutation, 20 },
    { FuzzerDataMutationOptions::ControlFlowCommandMutation, 1 },
    { FuzzerDataMutationOptions::ReturnOptionsMutation, 1 },
    { FuzzerDataMutationOptions::CalldataMutation, 5 },
})

Definition at line 395 of file configuration.hpp.

◆ BASIC_GETENVVAR_MUTATION_CONFIGURATION

constexpr GetEnvVarMutationConfig BASIC_GETENVVAR_MUTATION_CONFIGURATION

constexpr

Initial value:

= GetEnvVarMutationConfig({
    { GetEnvVarMutationOptions::result_address, 1 },
    { GetEnvVarMutationOptions::type, 1 },
})

Definition at line 333 of file configuration.hpp.

◆ BASIC_INSTRUCTION_GENERATION_CONFIGURATION

constexpr InstructionGenerationConfig BASIC_INSTRUCTION_GENERATION_CONFIGURATION

constexpr

Definition at line 267 of file configuration.hpp.

◆ BASIC_JUMP_IF_MUTATION_CONFIGURATION

constexpr JumpIfMutationConfig BASIC_JUMP_IF_MUTATION_CONFIGURATION

constexpr

Initial value:

= JumpIfMutationConfig({
    { JumpIfMutationOptions::then_program_block_instruction_block_idx, 1 },
    { JumpIfMutationOptions::else_program_block_instruction_block_idx, 1 },
    { JumpIfMutationOptions::condition_offset, 1 },
})

Definition at line 409 of file configuration.hpp.

◆ BASIC_JUMP_IF_TO_BLOCK_MUTATION_CONFIGURATION

constexpr JumpIfToBlockMutationConfig BASIC_JUMP_IF_TO_BLOCK_MUTATION_CONFIGURATION

constexpr

Initial value:

= JumpIfToBlockMutationConfig({
    { JumpIfToBlockMutationOptions::target_then_block_idx, 1 },
    { JumpIfToBlockMutationOptions::target_else_block_idx, 1 },
    { JumpIfToBlockMutationOptions::condition_offset_index, 1 },
})

Definition at line 443 of file configuration.hpp.

◆ BASIC_MEMORY_TAG_GENERATION_CONFIGURATION

constexpr MemoryTagGenerationConfig BASIC_MEMORY_TAG_GENERATION_CONFIGURATION

constexpr

Initial value:

= MemoryTagGenerationConfig({
    { MemoryTagOptions::U1, 1 },
    { MemoryTagOptions::U8, 1 },
    { MemoryTagOptions::U16, 1 },
    { MemoryTagOptions::U32, 1 },
    { MemoryTagOptions::U64, 1 },
    { MemoryTagOptions::U128, 1 },
    { MemoryTagOptions::FF, 1 },
})

Definition at line 86 of file configuration.hpp.

◆ BASIC_MEMORY_TAG_MUTATION_CONFIGURATION

constexpr MemoryTagMutationConfig BASIC_MEMORY_TAG_MUTATION_CONFIGURATION

constexpr

Initial value:

= MemoryTagMutationConfig({
    { MemoryTagOptions::U1, 1 },
    { MemoryTagOptions::U8, 1 },
    { MemoryTagOptions::U16, 1 },
    { MemoryTagOptions::U32, 1 },
    { MemoryTagOptions::U64, 1 },
    { MemoryTagOptions::U128, 1 },
    { MemoryTagOptions::FF, 1 },
})

Definition at line 98 of file configuration.hpp.

◆ BASIC_NOTEHASHEXISTS_MUTATION_CONFIGURATION

constexpr NoteHashExistsMutationConfig BASIC_NOTEHASHEXISTS_MUTATION_CONFIGURATION

constexpr

Initial value:

= NoteHashExistsMutationConfig({
    { NoteHashExistsMutationOptions::notehash_index, 1 },
    { NoteHashExistsMutationOptions::notehash_address, 1 },
    { NoteHashExistsMutationOptions::leaf_index_address, 1 },
    { NoteHashExistsMutationOptions::result_address, 1 },
})

Definition at line 358 of file configuration.hpp.

◆ BASIC_NULLIFIER_EXISTS_MUTATION_CONFIGURATION

constexpr NullifierExistsMutationConfig BASIC_NULLIFIER_EXISTS_MUTATION_CONFIGURATION

constexpr

Initial value:

= NullifierExistsMutationConfig({
    { NullifierExistsMutationOptions::nullifier_address, 1 },
    { NullifierExistsMutationOptions::contract_address_address, 1 },
    { NullifierExistsMutationOptions::result_address, 1 },
})

Definition at line 341 of file configuration.hpp.

◆ BASIC_RESULT_ADDRESS_REF_MUTATION_CONFIGURATION

constexpr ResultAddressRefMutationConfig BASIC_RESULT_ADDRESS_REF_MUTATION_CONFIGURATION

constexpr

Initial value:

=
    ResultAddressRefMutationConfig({
        { ResultAddressRefMutationOptions::address, 1 },
        { ResultAddressRefMutationOptions::pointer_address, 1 },
        { ResultAddressRefMutationOptions::base_offset, 1 },
        { ResultAddressRefMutationOptions::mode, 1 },
    })

Definition at line 120 of file configuration.hpp.

◆ BASIC_RETURN_MUTATION_CONFIGURATION

constexpr ReturnMutationConfig BASIC_RETURN_MUTATION_CONFIGURATION

constexpr

Initial value:

= ReturnMutationConfig({
    { ReturnMutationOptions::return_size, 1 },
    { ReturnMutationOptions::return_value_tag, 1 },
    { ReturnMutationOptions::return_value_offset_index, 1 },
})

Definition at line 214 of file configuration.hpp.

◆ BASIC_RETURN_OPTIONS_MUTATION_CONFIGURATION

constexpr ReturnOptionsMutationConfig BASIC_RETURN_OPTIONS_MUTATION_CONFIGURATION

constexpr

Initial value:

= ReturnOptionsMutationConfig({
    { ReturnOptionsMutationOptions::return_size, 1 },
    { ReturnOptionsMutationOptions::return_value_tag, 1 },
    { ReturnOptionsMutationOptions::return_value_offset_index, 1 },
})

Definition at line 380 of file configuration.hpp.

◆ BASIC_SET_128_MUTATION_CONFIGURATION

constexpr Set128MutationConfig BASIC_SET_128_MUTATION_CONFIGURATION

constexpr

Initial value:

= Set128MutationConfig({
    { Set128MutationOptions::value_tag, 1 },
    { Set128MutationOptions::result_address, 1 },
    { Set128MutationOptions::value_low, 1 },
    { Set128MutationOptions::value_high, 1 },
})

Definition at line 193 of file configuration.hpp.

◆ BASIC_SET_16_MUTATION_CONFIGURATION

constexpr Set16MutationConfig BASIC_SET_16_MUTATION_CONFIGURATION

constexpr

Initial value:

= Set16MutationConfig({
    { Set16MutationOptions::value_tag, 1 },
    { Set16MutationOptions::result_address, 1 },
    { Set16MutationOptions::value, 1 },
})

Definition at line 163 of file configuration.hpp.

◆ BASIC_SET_32_MUTATION_CONFIGURATION

constexpr Set32MutationConfig BASIC_SET_32_MUTATION_CONFIGURATION

constexpr

Initial value:

= Set32MutationConfig({
    { Set32MutationOptions::value_tag, 1 },
    { Set32MutationOptions::result_address, 1 },
    { Set32MutationOptions::value, 1 },
})

Definition at line 173 of file configuration.hpp.

◆ BASIC_SET_64_MUTATION_CONFIGURATION

constexpr Set64MutationConfig BASIC_SET_64_MUTATION_CONFIGURATION

constexpr

Initial value:

= Set64MutationConfig({
    { Set64MutationOptions::value_tag, 1 },
    { Set64MutationOptions::result_address, 1 },
    { Set64MutationOptions::value, 1 },
})

Definition at line 183 of file configuration.hpp.

◆ BASIC_SET_8_MUTATION_CONFIGURATION

constexpr Set8MutationConfig BASIC_SET_8_MUTATION_CONFIGURATION

constexpr

Initial value:

= Set8MutationConfig({
    { Set8MutationOptions::value_tag, 1 },
    { Set8MutationOptions::result_address, 1 },
    { Set8MutationOptions::value, 1 },
})

Definition at line 153 of file configuration.hpp.

◆ BASIC_SET_FF_MUTATION_CONFIGURATION

constexpr SetFFMutationConfig BASIC_SET_FF_MUTATION_CONFIGURATION

constexpr

Initial value:

= SetFFMutationConfig({
    { SetFFMutationOptions::value_tag, 1 },
    { SetFFMutationOptions::result_address, 1 },
    { SetFFMutationOptions::value, 1 },
})

Definition at line 204 of file configuration.hpp.

◆ BASIC_SLOAD_MUTATION_CONFIGURATION

constexpr SLoadMutationConfig BASIC_SLOAD_MUTATION_CONFIGURATION

constexpr

Initial value:

= SLoadMutationConfig({
    { SLoadMutationOptions::slot_index, 1 },
    { SLoadMutationOptions::slot_address, 1 },
    { SLoadMutationOptions::result_address, 1 },
})

Definition at line 324 of file configuration.hpp.

◆ BASIC_SSTORE_MUTATION_CONFIGURATION

constexpr SStoreMutationConfig BASIC_SSTORE_MUTATION_CONFIGURATION

constexpr

Initial value:

= SStoreMutationConfig({
    { SStoreMutationOptions::src_address, 1 },
    { SStoreMutationOptions::result_address, 1 },
    { SStoreMutationOptions::slot, 1 },
})

Definition at line 315 of file configuration.hpp.

◆ BASIC_UINT128_T_MUTATION_CONFIGURATION

constexpr Uint128MutationConfig BASIC_UINT128_T_MUTATION_CONFIGURATION

constexpr

Initial value:

= Uint128MutationConfig({
    { UintMutationOptions::RandomSelection, 7 },
    { UintMutationOptions::IncrementBy1, 22 },
    { UintMutationOptions::DecrementBy1, 20 },
    { UintMutationOptions::AddRandomValue, 10 },
})

Definition at line 64 of file configuration.hpp.

◆ BASIC_UINT16_T_MUTATION_CONFIGURATION

constexpr Uint16MutationConfig BASIC_UINT16_T_MUTATION_CONFIGURATION

constexpr

Initial value:

= Uint16MutationConfig({
    { UintMutationOptions::RandomSelection, 7 },
    { UintMutationOptions::IncrementBy1, 22 },
    { UintMutationOptions::DecrementBy1, 20 },
    { UintMutationOptions::AddRandomValue, 10 },
})

Definition at line 43 of file configuration.hpp.

◆ BASIC_UINT32_T_MUTATION_CONFIGURATION

constexpr Uint32MutationConfig BASIC_UINT32_T_MUTATION_CONFIGURATION

constexpr

Initial value:

= Uint32MutationConfig({
    { UintMutationOptions::RandomSelection, 7 },
    { UintMutationOptions::IncrementBy1, 22 },
    { UintMutationOptions::DecrementBy1, 20 },
    { UintMutationOptions::AddRandomValue, 10 },
})

Definition at line 50 of file configuration.hpp.

◆ BASIC_UINT64_T_MUTATION_CONFIGURATION

constexpr Uint64MutationConfig BASIC_UINT64_T_MUTATION_CONFIGURATION

constexpr

Initial value:

= Uint64MutationConfig({
    { UintMutationOptions::RandomSelection, 7 },
    { UintMutationOptions::IncrementBy1, 22 },
    { UintMutationOptions::DecrementBy1, 20 },
    { UintMutationOptions::AddRandomValue, 10 },
})

Definition at line 57 of file configuration.hpp.

◆ BASIC_UINT8_T_MUTATION_CONFIGURATION

constexpr Uint8MutationConfig BASIC_UINT8_T_MUTATION_CONFIGURATION

constexpr

Initial value:

= Uint8MutationConfig({
    { UintMutationOptions::RandomSelection, 7 },
    { UintMutationOptions::IncrementBy1, 22 },
    { UintMutationOptions::DecrementBy1, 20 },
    { UintMutationOptions::AddRandomValue, 10 },
})

Definition at line 36 of file configuration.hpp.

◆ BASIC_UNARY_INSTRUCTION_8_MUTATION_CONFIGURATION

constexpr UnaryInstruction8MutationConfig BASIC_UNARY_INSTRUCTION_8_MUTATION_CONFIGURATION

constexpr

Initial value:

=
    UnaryInstruction8MutationConfig({
        { UnaryInstruction8MutationOptions::a_address, 1 },
        { UnaryInstruction8MutationOptions::result_address, 1 },
    })

Definition at line 132 of file configuration.hpp.

◆ BASIC_VEC_MUTATION_CONFIGURATION

constexpr VecMutationConfig BASIC_VEC_MUTATION_CONFIGURATION

constexpr

Initial value:

= VecMutationConfig({
    { VecMutationOptions::Insertion, 7 },
    { VecMutationOptions::Deletion, 22 },
    { VecMutationOptions::Swap, 20 },
    { VecMutationOptions::ElementMutation, 100 },
})

Definition at line 13 of file configuration.hpp.

◆ MAX_MUTATION_NUM

constexpr uint8_t MAX_MUTATION_NUM = 20

constexpr

Definition at line 7 of file configuration.hpp.

Typedefs

Enumerations

Variables

Typedef Documentation

◆ AddressRefMutationConfig

◆ BinaryInstruction8MutationConfig

◆ CalldataCopyMutationConfig

◆ CFGInstructionGenerationConfig

◆ EmitNoteHashMutationConfig

◆ FieldMutationConfig

◆ FuzzerDataMutationConfig

◆ GetEnvVarMutationConfig

◆ InstructionGenerationConfig

◆ JumpIfMutationConfig

◆ JumpIfToBlockMutationConfig

◆ MemoryTagGenerationConfig

◆ MemoryTagMutationConfig

◆ NoteHashExistsMutationConfig

◆ NullifierExistsMutationConfig

◆ ResultAddressRefMutationConfig

◆ ReturnMutationConfig

◆ ReturnOptionsMutationConfig

◆ Set128MutationConfig

◆ Set16MutationConfig

◆ Set32MutationConfig

◆ Set64MutationConfig

◆ Set8MutationConfig

◆ SetFFMutationConfig

◆ SLoadMutationConfig

◆ SStoreMutationConfig

◆ Uint128MutationConfig

◆ Uint128MutationOptions

◆ Uint16MutationConfig

◆ Uint16MutationOptions

◆ Uint32MutationConfig

◆ Uint32MutationOptions

◆ Uint64MutationConfig

◆ Uint64MutationOptions

◆ Uint8MutationConfig

◆ Uint8MutationOptions

◆ UnaryInstruction8MutationConfig

◆ VecMutationConfig

Enumeration Type Documentation

◆ AddressRefMutationOptions

◆ BinaryInstruction8MutationOptions

◆ CalldataCopyMutationOptions

◆ CFGInstructionGenerationOptions

◆ EmitNoteHashMutationOptions

◆ FieldMutationOptions

◆ FuzzerDataMutationOptions

◆ GetEnvVarMutationOptions

◆ InstructionGenerationOptions

◆ JumpIfMutationOptions

◆ JumpIfToBlockMutationOptions

◆ MemoryTagOptions

◆ NoteHashExistsMutationOptions

◆ NullifierExistsMutationOptions

◆ ResultAddressRefMutationOptions

◆ ReturnMutationOptions

◆ ReturnOptionsMutationOptions

◆ Set128MutationOptions

◆ Set16MutationOptions

◆ Set32MutationOptions

◆ Set64MutationOptions

◆ Set8MutationOptions

◆ SetFFMutationOptions

◆ SLoadMutationOptions

◆ SStoreMutationOptions

◆ UintMutationOptions

◆ UnaryInstruction8MutationOptions

◆ VecMutationOptions

Variable Documentation

◆ BASIC_ADDRESS_REF_MUTATION_CONFIGURATION

◆ BASIC_BINARY_INSTRUCTION_8_MUTATION_CONFIGURATION

◆ BASIC_CALLDATACOPY_MUTATION_CONFIGURATION

◆ BASIC_CFG_INSTRUCTION_GENERATION_CONFIGURATION

◆ BASIC_EMITNOTEHASH_MUTATION_CONFIGURATION

◆ BASIC_FIELD_MUTATION_CONFIGURATION

◆ BASIC_FUZZER_DATA_MUTATION_CONFIGURATION

◆ BASIC_GETENVVAR_MUTATION_CONFIGURATION