|
| 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 | VariableRefMutationConfig = WeightedSelectionConfig< VariableRefMutationOptions, 5 > |
| |
| using | AddressRefMutationConfig = WeightedSelectionConfig< AddressRefMutationOptions, 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, 58 > |
| |
| using | SStoreMutationConfig = WeightedSelectionConfig< SStoreMutationOptions, 3 > |
| |
| using | SLoadMutationConfig = WeightedSelectionConfig< SLoadMutationOptions, 3 > |
| |
| using | GetEnvVarMutationConfig = WeightedSelectionConfig< GetEnvVarMutationOptions, 2 > |
| |
| using | NullifierExistsMutationConfig = WeightedSelectionConfig< NullifierExistsMutationOptions, 3 > |
| |
| using | L1ToL2MsgExistsMutationConfig = WeightedSelectionConfig< L1ToL2MsgExistsMutationOptions, 3 > |
| |
| using | EmitNoteHashMutationConfig = WeightedSelectionConfig< EmitNoteHashMutationOptions, 2 > |
| |
| using | NoteHashExistsMutationConfig = WeightedSelectionConfig< NoteHashExistsMutationOptions, 4 > |
| |
| using | CalldataCopyMutationConfig = WeightedSelectionConfig< CalldataCopyMutationOptions, 5 > |
| |
| using | SendL2ToL1MsgMutationConfig = WeightedSelectionConfig< SendL2ToL1MsgMutationOptions, 4 > |
| |
| using | EmitUnencryptedLogMutationConfig = WeightedSelectionConfig< EmitUnencryptedLogMutationOptions, 2 > |
| |
| using | CallMutationConfig = WeightedSelectionConfig< CallMutationOptions, 7 > |
| |
| using | ReturndatasizeWithReturndatacopyMutationConfig = WeightedSelectionConfig< ReturndatasizeWithReturndatacopyMutationOptions, 3 > |
| |
| using | GetContractInstanceMutationConfig = WeightedSelectionConfig< GetContractInstanceMutationOptions, 3 > |
| |
| using | SuccessCopyMutationConfig = WeightedSelectionConfig< SuccessCopyMutationOptions, 1 > |
| |
| using | ToRadixBEMutationConfig = WeightedSelectionConfig< ToRadixBEMutationOptions, 6 > |
| |
| using | ReturnOptionsMutationConfig = WeightedSelectionConfig< ReturnOptionsMutationOptions, 3 > |
| |
| using | FuzzerDataMutationConfig = WeightedSelectionConfig< FuzzerDataMutationOptions, 4 > |
| |
| using | JumpIfMutationConfig = WeightedSelectionConfig< JumpIfMutationOptions, 3 > |
| |
| using | CFGInstructionGenerationConfig = WeightedSelectionConfig< CFGInstructionGenerationOptions, 9 > |
| |
| using | JumpIfToBlockMutationConfig = WeightedSelectionConfig< JumpIfToBlockMutationOptions, 3 > |
| |
|
| 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 | VariableRefMutationOptions {
tag
, index
, pointer_address
, base_offset
,
mode
} |
| |
| enum class | AddressRefMutationOptions { 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
,
FDIV_8
, EQ_8
, LT_8
, LTE_8
,
AND_8
, OR_8
, XOR_8
, NOT_8
,
SHL_8
, SHR_8
, SET_8
, SET_16
,
SET_32
, SET_64
, SET_128
, SET_FF
,
MOV_8
, MOV_16
, 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
, L1TOL2MSGEXISTS
,
EMITNOTEHASH
, NOTEHASHEXISTS
, CALLDATACOPY
, SENDL2TOL1MSG
,
EMITUNENCRYPTEDLOG
, CALL
, RETURNDATASIZE_WITH_RETURNDATACOPY
, GETCONTRACTINSTANCE
,
SUCCESSCOPY
, ECADD
, POSEIDON2PERM
, KECCAKF1600
,
SHA256COMPRESSION
, TORADIXBE
} |
| |
| 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 | L1ToL2MsgExistsMutationOptions { msg_hash_address
, leaf_index_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 | SendL2ToL1MsgMutationOptions { recipient
, recipient_address
, content
, content_address
} |
| |
| enum class | EmitUnencryptedLogMutationOptions { log_size_address
, log_values_address
} |
| |
| enum class | CallMutationOptions {
l2_gas_address
, da_gas_address
, contract_address_address
, calldata_size_address
,
calldata_size
, calldata_address
, is_static_call
} |
| |
| enum class | ReturndatasizeWithReturndatacopyMutationOptions { copy_size_offset
, dst_address
, rd_start_offset
} |
| |
| enum class | GetContractInstanceMutationOptions { contract_address_address
, dst_address
, member_enum
} |
| |
| enum class | SuccessCopyMutationOptions { dst_address
} |
| |
| enum class | ToRadixBEMutationOptions {
value_address
, radix_address
, num_limbs_address
, output_bits_address
,
dst_address
, is_output_bits
} |
| |
| 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
, FinalizeWithRevert
, SwitchToNonTerminatedBlock
,
InsertInternalCall
} |
| |
| enum class | JumpIfToBlockMutationOptions { target_then_block_idx
, target_else_block_idx
, condition_offset_index
} |
| |
1.9.8