List of all items

Structs

• analysis::AnalysisResult
• analysis::Analyzer
• analysis::AnnotationAnalyzer
• analysis::Contract
• analysis::ContractRef
• analysis::Function
• analysis::FunctionRef
• analysis::FunctionTypeNameRef
• analysis::NEXT_UCID
• analysis::NEXT_UFID
• analysis::NEXT_USID
• analysis::NEXT_UTID
• analysis::NEXT_UVID
• analysis::SourceAnalysis
• analysis::Step
• analysis::StepRef
• analysis::UCID
• analysis::UFID
• analysis::USID
• analysis::UTID
• analysis::UVID
• analysis::UserDefinedType
• analysis::UserDefinedTypeRef
• analysis::VariableRef
• analysis::VariableScope
• analysis::VariableScopeRef
• context::EngineContext
• core::Engine
• core::EngineConfig
• eval::ExpressionEvaluator
• eval::handlers::EvaluatorHandlers
• eval::handlers::debug::DebugHandler
• eval::handlers::debug::SimulationDebugHandler
• eval::handlers::edb::EdbBlockHandler
• eval::handlers::edb::EdbFunctionCallHandler
• eval::handlers::edb::EdbHandler
• eval::handlers::edb::EdbMappingArrayHandler
• eval::handlers::edb::EdbMemberAccessHandler
• eval::handlers::edb::EdbMsgHandler
• eval::handlers::edb::EdbTxHandler
• eval::handlers::edb::EdbValidationHandler
• eval::handlers::edb::EdbVariableHandler
• inspector::CallTracer
• inspector::HookSnapshot
• inspector::HookSnapshotInspector
• inspector::HookSnapshots
• inspector::OpcodeSnapshot
• inspector::OpcodeSnapshotInspector
• inspector::OpcodeSnapshots
• inspector::TraceReplayResult
• inspector::TweakInspector
• instrumentation::InstrumentAction
• instrumentation::RemoveAction
• instrumentation::SourceModifications
• rpc::methods::MethodHandler
• rpc::server::DebugRpcServer
• rpc::server::RpcServerHandle
• rpc::types::Breakpoint
• rpc::types::BreakpointId
• rpc::types::BreakpointLocation
• rpc::types::RpcError
• rpc::types::RpcRequest
• rpc::types::RpcResponse
• snapshot::Snapshot
• snapshot::Snapshots
• tweak::CodeTweaker
• utils::ASTPruner
• utils::Artifact
• utils::OnchainCompiler
• utils::disasm::DisassemblyInstruction
• utils::disasm::DisassemblyResult

Enums

• analysis::AnalysisError
• analysis::AnnotationsToChange
• analysis::FunctionVariant
• analysis::ScopeNode
• analysis::StepHook
• analysis::StepVariant
• analysis::UserDefinedTypeVariant
• analysis::Variable
• analysis::VariableType
• analysis::VisitorAction
• instrumentation::InstrumentContent
• instrumentation::Modification
• rpc::types::LocationType
• rpc::types::RpcId
• snapshot::SnapshotDetail

Traits

• analysis::Visitor
• analysis::Walk
• eval::handlers::BlockHandler
• eval::handlers::FunctionCallHandler
• eval::handlers::MappingArrayHandler
• eval::handlers::MemberAccessHandler
• eval::handlers::MsgHandler
• eval::handlers::TxHandler
• eval::handlers::ValidationHandler
• eval::handlers::VariableHandler
• snapshot::SnapshotAnalysis

Macros

• etherscan_rate_limit_guard
• utils::etherscan_rate_limit_guard

Functions

• analysis::analyze
• analysis::block_or_stmt_src
• analysis::dyn_sol_type
• analysis::sloc_ldiff
• analysis::sloc_rdiff
• analysis::stmt_src
• eval::eval_on_snapshot
• eval::handlers::debug::create_debug_handlers
• eval::handlers::debug::create_simulation_debug_handlers
• inspector::decode_variable_value
• instrumentation::instrument
• rpc::server::start_debug_server
• rpc::utils::find_available_port
• rpc::utils::get_default_rpc_port
• rpc::utils::internal_error
• rpc::utils::invalid_params
• rpc::utils::is_port_available
• rpc::utils::method_not_found
• rpc::utils::parse_socket_addr
• rpc::utils::to_rpc_error
• utils::abi_encode_available
• utils::compile_contract_source_to_source_unit
• utils::contains_function_type
• utils::contains_mapping_type
• utils::contains_user_defined_type
• utils::disasm::disassemble
• utils::disasm::extract_push_value
• utils::disasm::format_instruction
• utils::encode_function_call
• utils::find_index_of_first_statement_in_block
• utils::find_index_of_first_statement_in_block_or_statement
• utils::find_next_index_of_block_or_statement
• utils::find_next_index_of_last_statement_in_block
• utils::find_next_index_of_source_location
• utils::find_next_index_of_statement
• utils::find_next_semicolon_after_source_location
• utils::get_compilation_input_from_metadata
• utils::mutability_to_str
• utils::next_etherscan_api_key
• utils::slice_source_location
• utils::source_string_at_location
• utils::source_string_at_location_unchecked
• utils::visibility_to_str

Type Aliases

• instrumentation::VersionRef

Constants

• analysis::EDB_RUNTIME_VALUE_OFFSET
• inspector::MAGIC_SNAPSHOT_NUMBER
• inspector::MAGIC_VARIABLE_UPDATE_NUMBER
• rpc::types::error_codes::CODE_NOT_FOUND
• rpc::types::error_codes::EVAL_FAILED
• rpc::types::error_codes::INTERNAL_ERROR
• rpc::types::error_codes::INVALID_ADDRESS
• rpc::types::error_codes::INVALID_PARAMS
• rpc::types::error_codes::INVALID_REQUEST
• rpc::types::error_codes::METHOD_NOT_FOUND
• rpc::types::error_codes::PARSE_ERROR
• rpc::types::error_codes::SNAPSHOT_OUT_OF_BOUNDS
• rpc::types::error_codes::TRACE_ENTRY_NOT_FOUND
• rpc::types::error_codes::USID_NOT_FOUND