Index

A

aa (ethpector.analysis.CodeAnalysis attribute) abi_dict (ethpector.abi.abi.AbiJson attribute) abi_entry_to_signature() (ethpector.abi.abi.AbiJson static method) AbiJson (class in ethpector.abi.abi) account_summary() (ethpector.data.base.DataProvider method) (ethpector.data.provider.AggregateProvider method) AccountSummary (class in ethpector.data.datatypes) add_array_types() (in module ethpector.classify.parser) add_functions_to_signatureDB() (ethpector.abi.abi.AbiJson method) add_introduced_at() (ethpector.data.datatypes.ConstantSummary method) add_to_signature_db() (in module ethpector.data.signatures) address (ethpector.analysis.ClassificationMatches attribute) (ethpector.classify.classification.KnownAddress attribute) (ethpector.data.datatypes.Selfdestruct attribute) (ethpector.data.datatypes.SenderConstraintFunction attribute)

address_tag() (ethpector.data.base.DataProvider method) (ethpector.data.etherscan.EtherscanProvider method) (ethpector.data.node.NodeProvider method) (ethpector.data.provider.AggregateProvider method) AddressConstantAnnotation (class in ethpector.symbolic.modules.sender) advance() (ethpector.assembly.flow.EvmState method) (ethpector.assembly.flow.ReachingDefState method) AggregateProvider (class in ethpector.data.provider) annotate_constants() (ethpector.assembly.analysis.AssemblyAnalyzer method) AnnotationBase (class in ethpector.data.datatypes) argument() (ethpector.data.datatypes.SymbolicAnnotation method) AssemblyAnalyzer (class in ethpector.assembly.analysis) AssemblySummary (class in ethpector.data.datatypes)

B

balance (ethpector.data.datatypes.AccountSummary attribute) based_on_msg_sender() (in module ethpector.symbolic.modules.sender) BinaryMetadata (class in ethpector.assembly.metadata)

bytecode (ethpector.analysis.ClassificationMatches attribute) bytes() (ethpector.assembly.metadata.BinaryMetadata method) bytes_to_hex() (in module ethpector.utils.utils)

C

Call (class in ethpector.data.datatypes) call() (ethpector.data.node.NodeProvider method) call_depth_limit() (ethpector.config.config.MythrilConfiguration method) calldatacopies (ethpector.data.datatypes.SymbolicExecSummary attribute) Calldatacopy (class in ethpector.data.datatypes) Calldataload (class in ethpector.data.datatypes) calldataloads (ethpector.data.datatypes.SymbolicExecSummary attribute) calls (ethpector.data.datatypes.SymbolicExecSummary attribute) chain_id (ethpector.classify.classification.KnownAddress attribute) chain_id() (ethpector.config.config.Configuration method) ClassificationMatches (class in ethpector.analysis) clear() (ethpector.assembly.flow.Stack method) code_hash() (ethpector.analysis.CodeAnalysis method) code_without_metadata() (ethpector.assembly.metadata.BinaryMetadata method) CodeAnalysis (class in ethpector.analysis) concolic_exec() (ethpector.config.config.MythrilConfiguration method) concrete_val() (ethpector.data.datatypes.SymbolicMemorySlice method) (ethpector.data.datatypes.SymbolicVariable method)

condition (ethpector.data.datatypes.ConditionalJump attribute) (ethpector.data.datatypes.SenderConstraintFunction attribute) (ethpector.data.datatypes.SymbolicExpression attribute) conditional_jumps (ethpector.data.datatypes.SymbolicExecSummary attribute) ConditionalJump (class in ethpector.data.datatypes) Configuration (class in ethpector.config.config) constants (ethpector.data.datatypes.AssemblySummary attribute) constants_match (ethpector.classify.classification.InterfaceMatch attribute) ConstantSummary (class in ethpector.data.datatypes) contains_hash() (in module ethpector.symbolic.modules.sender) ContractClassifier (class in ethpector.classify.classification) Create (class in ethpector.data.datatypes) Create2 (class in ethpector.data.datatypes) create2s (ethpector.data.datatypes.SymbolicExecSummary attribute) create_timeout() (ethpector.config.config.MythrilConfiguration method) create_type() (in module ethpector.classify.parser) creates (ethpector.data.datatypes.SymbolicExecSummary attribute)

D

data (ethpector.data.datatypes.Call attribute) (ethpector.data.datatypes.Create attribute) (ethpector.data.datatypes.Create2 attribute) (ethpector.data.datatypes.Log attribute) (ethpector.data.datatypes.MetaDataString attribute) (ethpector.data.datatypes.Return attribute) (ethpector.data.datatypes.Revert attribute) DataProvider (class in ethpector.data.base) decode_input_parameters() (ethpector.classify.parser.FunctionDefinition method) decode_input_to_str() (ethpector.classify.parser.FunctionDefinition method) decode_memory() (in module ethpector.data.datatypes)

decompose_inst() (in module ethpector.data.datatypes) default() (ethpector.config.config.Configuration static method) default_json_encoder() (in module ethpector.data.datatypes) deploy_code() (ethpector.config.config.Configuration method) description (ethpector.classify.classification.KnownBytecode attribute) (ethpector.symbolic.modules.extractor.RecoverData attribute) (ethpector.symbolic.modules.sender.MsgSender attribute) detailed_overview (ethpector.analysis.FunctionOverview attribute) (ethpector.analysis.InstructionOverview attribute) disassembly (ethpector.analysis.ClassificationMatches attribute) drop_metadata_string_before_analysis() (ethpector.config.config.Configuration method) dup() (ethpector.assembly.flow.Stack method)

E

ens_name (ethpector.data.datatypes.AccountSummary attribute) ensureheader() (ethpector.main.OutputWriter method) entry_point (ethpector.analysis.FunctionOverview attribute) (ethpector.symbolic.modules.extractor.RecoverData attribute) (ethpector.symbolic.modules.sender.MsgSender attribute) errors (ethpector.classify.classification.Interface attribute) etherscan_token() (ethpector.config.config.Configuration method) EtherscanProvider (class in ethpector.data.etherscan) ethpector module ethpector.abi module ethpector.abi.abi module ethpector.analysis module ethpector.assembly module ethpector.assembly.analysis module ethpector.assembly.flow module ethpector.assembly.metadata module ethpector.assembly.program module ethpector.classify module ethpector.classify.classification module ethpector.classify.parser module ethpector.config module ethpector.config.config module ethpector.data module ethpector.data.base module ethpector.data.datatypes module ethpector.data.etherscan module

ethpector.data.ipfs module ethpector.data.node module ethpector.data.provider module ethpector.data.signatures module ethpector.data.sourcify module ethpector.data.swarm module ethpector.main module ethpector.symbolic module ethpector.symbolic.analysis module ethpector.symbolic.modules module ethpector.symbolic.modules.extractor module ethpector.symbolic.modules.sender module ethpector.utils module ethpector.utils.utils module Event (class in ethpector.classify.parser) event_name() (ethpector.data.base.DataProvider method) (ethpector.data.provider.AggregateProvider method) (ethpector.data.signatures.SignatureProvider method) EventDefinition (class in ethpector.classify.parser) EventParameter (class in ethpector.classify.parser) EventParameters (class in ethpector.classify.parser) EventParamModifier (class in ethpector.classify.parser) events (ethpector.classify.classification.Interface attribute) events_match (ethpector.classify.classification.InterfaceMatch attribute) EvmState (class in ethpector.assembly.flow) execute() (ethpector.assembly.flow.EvmState method) execute_posthook() (ethpector.symbolic.modules.sender.MsgSender method) execute_prehook() (ethpector.symbolic.modules.sender.MsgSender method) execution_timeout() (ethpector.config.config.MythrilConfiguration method) extract_information() (in module ethpector.main) extract_metadata() (ethpector.assembly.metadata.BinaryMetadata static method)

F

false_branch_reachable (ethpector.data.datatypes.SenderConstraintFunction attribute) find_known_bytecode() (ethpector.classify.classification.ContractClassifier method) find_known_contracts() (ethpector.classify.classification.ContractClassifier method) first_of() (ethpector.data.provider.AggregateProvider method) fits_in_bytes() (in module ethpector.utils.utils) flat() (in module ethpector.utils.utils) from_statespace() (ethpector.data.datatypes.Call class method) (ethpector.data.datatypes.Calldatacopy class method) (ethpector.data.datatypes.Calldataload class method) (ethpector.data.datatypes.ConditionalJump class method) (ethpector.data.datatypes.Create class method) (ethpector.data.datatypes.Create2 class method) (ethpector.data.datatypes.Log class method) (ethpector.data.datatypes.MemoryLoad class method) (ethpector.data.datatypes.MemoryWrite class method) (ethpector.data.datatypes.Push class method) (ethpector.data.datatypes.Return class method) (ethpector.data.datatypes.Revert class method) (ethpector.data.datatypes.Selfdestruct class method) (ethpector.data.datatypes.SenderConstraintFunction class method) (ethpector.data.datatypes.StorageLoad class method) (ethpector.data.datatypes.StorageWrite class method) (ethpector.data.datatypes.UnconditionalJump class method)

Function (class in ethpector.classify.parser) function_entrypoints (ethpector.data.datatypes.AssemblySummary attribute) function_name (ethpector.data.datatypes.FunctionEntrypoint attribute) function_name() (ethpector.data.base.DataProvider method) (ethpector.data.provider.AggregateProvider method) (ethpector.data.signatures.SignatureProvider method) function_sig_to_hash() (in module ethpector.utils.utils) FunctionDefinition (class in ethpector.classify.parser) FunctionEntrypoint (class in ethpector.data.datatypes) FunctionOverview (class in ethpector.analysis) FunctionParameters (class in ethpector.classify.parser) FunctionParamModifier (class in ethpector.classify.parser) functions (ethpector.classify.classification.Interface attribute) (ethpector.data.datatypes.SymbolicExecSummary attribute) functions() (ethpector.data.datatypes.FunctionEntrypoint method) (ethpector.data.datatypes.FunctionSummary method) (ethpector.data.datatypes.SymbolicAnnotation method) functions_match (ethpector.classify.classification.InterfaceMatch attribute) functions_string() (ethpector.data.datatypes.FunctionEntrypoint method) (ethpector.data.datatypes.FunctionSummary method) (ethpector.data.datatypes.SymbolicAnnotation method) FunctionSummary (class in ethpector.data.datatypes)

G

gas (ethpector.data.datatypes.Call attribute) get_address() (ethpector.analysis.CodeAnalysis method) get_annotated_dissassembly() (ethpector.analysis.CodeAnalysis method) get_annotations() (ethpector.symbolic.modules.extractor.RecoverData method) get_annotations_valid_at() (ethpector.data.datatypes.AssemblySummary method) (ethpector.data.datatypes.SymbolicExecSummary method) get_balance() (ethpector.data.base.DataProvider method) (ethpector.data.etherscan.EtherscanProvider method) (ethpector.data.node.NodeProvider method) (ethpector.data.provider.AggregateProvider method) get_basic_block_by_index() (ethpector.assembly.program.Program method) get_basic_block_by_pc() (ethpector.assembly.program.Program method) get_basic_blocks() (ethpector.assembly.analysis.AssemblyAnalyzer method) (ethpector.assembly.program.Program method) get_bytecode() (ethpector.analysis.CodeAnalysis method) get_bytecode_matches() (ethpector.assembly.analysis.AssemblyAnalyzer method) get_bytecode_to_analyze() (ethpector.assembly.program.Program method) get_call_summary() (ethpector.analysis.CodeAnalysis method) get_calldata() (ethpector.data.datatypes.Call method) get_calldata_hex() (ethpector.data.datatypes.Call method) get_calls() (ethpector.assembly.analysis.AssemblyAnalyzer method) (ethpector.assembly.program.Program method) get_code() (ethpector.data.base.DataProvider method) (ethpector.data.etherscan.EtherscanProvider method) (ethpector.data.node.NodeProvider method) (ethpector.data.provider.AggregateProvider method) get_code_hash() (ethpector.assembly.analysis.AssemblyAnalyzer method) (ethpector.assembly.program.Program method) get_common_query_str() (ethpector.data.sourcify.SourcifyProvider method) get_constants() (ethpector.assembly.analysis.AssemblyAnalyzer method) (ethpector.assembly.program.Program method) get_contract_source_code() (ethpector.data.etherscan.EtherscanProvider method) get_file() (ethpector.data.sourcify.SourcifyProvider method) get_folder() (ethpector.main.OutputWriter method) get_full_bytecode() (ethpector.assembly.program.Program method) get_full_filename() (ethpector.main.OutputWriter method) get_function_entrypoints() (ethpector.assembly.analysis.AssemblyAnalyzer method) get_function_selector() (in module ethpector.utils.utils) get_function_signatures() (ethpector.abi.abi.AbiJson method) get_function_summary() (ethpector.analysis.CodeAnalysis method) get_identifier() (ethpector.analysis.CodeAnalysis method) get_implementation() (ethpector.data.node.NodeProvider method) get_instruction_by_pc() (ethpector.assembly.program.Program method) get_instructions() (ethpector.assembly.program.Program method) get_interface_matches() (ethpector.analysis.CodeAnalysis method) (ethpector.assembly.analysis.AssemblyAnalyzer method) (ethpector.classify.classification.ContractClassifier method) (ethpector.symbolic.analysis.SymbolicAnalyzer method)

get_jump_positions() (ethpector.assembly.program.Program method) get_jump_targets() (ethpector.assembly.program.Program method) get_jumpdest_positions() (ethpector.assembly.program.Program method) get_known_bytecode() (ethpector.classify.classification.ContractClassifier method) get_known_contract() (ethpector.classify.classification.ContractClassifier method) get_known_contracts() (ethpector.assembly.analysis.AssemblyAnalyzer method) get_match() (ethpector.classify.classification.Interface method) get_metadata() (ethpector.data.sourcify.SourcifyProvider method) get_metadata_annotation() (ethpector.assembly.program.Program method) get_mythril_rpc_lookup() (ethpector.data.provider.AggregateProvider method) get_online_resolver() (ethpector.analysis.CodeAnalysis method) get_pc() (ethpector.data.datatypes.PCAnnotation method) get_program() (ethpector.assembly.analysis.AssemblyAnalyzer method) get_provider() (ethpector.data.provider.AggregateProvider method) get_reachable_pcs() (ethpector.assembly.program.Program method) get_seconds() (ethpector.utils.utils.TimeIt method) get_sender_constraint_functions() (ethpector.analysis.CodeAnalysis method) get_source_summary() (ethpector.analysis.CodeAnalysis method) get_storage_addresses_from_constraint() (in module ethpector.symbolic.modules.sender) get_storage_at() (ethpector.data.base.DataProvider method) (ethpector.data.etherscan.EtherscanProvider method) (ethpector.data.node.NodeProvider method) (ethpector.data.provider.AggregateProvider method) get_storage_reads() (ethpector.assembly.analysis.AssemblyAnalyzer method) (ethpector.assembly.program.Program method) get_storage_summary() (ethpector.analysis.CodeAnalysis method) get_storage_writes() (ethpector.assembly.analysis.AssemblyAnalyzer method) (ethpector.assembly.program.Program method) get_summary() (ethpector.analysis.CodeAnalysis method) (ethpector.assembly.analysis.AssemblyAnalyzer method) (ethpector.symbolic.analysis.SymbolicAnalyzer method) get_target_basic_block() (ethpector.assembly.flow.ReachingDefState method) get_type() (ethpector.abi.abi.AbiJson static method) grammar (ethpector.classify.parser.Event attribute) (ethpector.classify.parser.EventParameter attribute) (ethpector.classify.parser.EventParameters attribute) (ethpector.classify.parser.EventParamModifier attribute) (ethpector.classify.parser.Function attribute) (ethpector.classify.parser.FunctionParameters attribute) (ethpector.classify.parser.FunctionParamModifier attribute) (ethpector.classify.parser.Modifier attribute) (ethpector.classify.parser.NormalParam attribute) (ethpector.classify.parser.ReturnParameter attribute) (ethpector.classify.parser.ReturnParameters attribute) (ethpector.classify.parser.ReturnValue attribute) (ethpector.classify.parser.TupleParam attribute) (ethpector.classify.parser.Type attribute) (ethpector.classify.parser.Visibility attribute)

H

has_calls (ethpector.data.datatypes.FunctionSummary attribute) has_create2s (ethpector.data.datatypes.FunctionSummary attribute) has_creates (ethpector.data.datatypes.FunctionSummary attribute) has_delegate (ethpector.data.datatypes.FunctionSummary attribute) has_logs (ethpector.data.datatypes.FunctionSummary attribute) has_reads (ethpector.data.datatypes.FunctionSummary attribute)

has_selfdestructs (ethpector.data.datatypes.FunctionSummary attribute) has_writes (ethpector.data.datatypes.FunctionSummary attribute) hash() (ethpector.classify.parser.EventDefinition method) (ethpector.classify.parser.FunctionDefinition method) header (ethpector.main.OutputWriter attribute) hex_str_to_bytes() (in module ethpector.utils.utils) hex_value() (ethpector.data.datatypes.ConstantSummary method)

I

ident() (ethpector.assembly.flow.EvmState method) (ethpector.assembly.flow.ReachingDefState method) identifier (ethpector.main.OutputWriter attribute) index (ethpector.data.datatypes.MetaDataString attribute) initialize_dotenv() (ethpector.config.config.Configuration method) instruction (ethpector.analysis.InstructionOverview attribute) InstructionOverview (class in ethpector.analysis) Interface (class in ethpector.classify.classification) interface_name (ethpector.classify.classification.InterfaceMatch attribute) InterfaceMatch (class in ethpector.classify.classification) introduced_at (ethpector.data.datatypes.ConstantSummary attribute) IpfsProvider (class in ethpector.data.ipfs) is_call_to_precompile() (ethpector.data.datatypes.Call method)

is_concrete() (ethpector.data.datatypes.SymbolicMemorySlice method) is_contract (ethpector.data.datatypes.AccountSummary attribute) is_etherscan_token_set() (ethpector.config.config.Configuration method) is_hex_string() (in module ethpector.utils.utils) is_known_bytecode() (ethpector.classify.classification.ContractClassifier method) is_known_contract() (ethpector.classify.classification.ContractClassifier method) is_match() (ethpector.classify.classification.KnownBytecode method) is_max_int() (in module ethpector.utils.utils) is_metadata_url() (ethpector.assembly.metadata.BinaryMetadata static method) is_probably_mapping (ethpector.data.datatypes.SenderConstraintFunction attribute) is_rpc_set() (ethpector.config.config.Configuration method) is_storage_address (ethpector.data.datatypes.SenderConstraintFunction attribute) is_symbolic() (ethpector.data.datatypes.SymbolicMemorySlice method) (ethpector.data.datatypes.SymbolicVariable method)

J

jump_targets (ethpector.data.datatypes.AssemblySummary attribute) jumpdests (ethpector.data.datatypes.AssemblySummary attribute)

jumps (ethpector.data.datatypes.AssemblySummary attribute) JumpTarget (class in ethpector.data.datatypes)

K

keccak() (in module ethpector.utils.utils) known_addresses (ethpector.classify.classification.Interface attribute)

KnownAddress (class in ethpector.classify.classification) KnownBytecode (class in ethpector.classify.classification)

L

len() (ethpector.assembly.flow.ReachDef method) (ethpector.assembly.flow.Stack method) length (ethpector.data.datatypes.Calldatacopy attribute) (ethpector.data.datatypes.ConstantSummary attribute) (ethpector.data.datatypes.SymbolicMemorySlice attribute) list() (ethpector.assembly.flow.Stack method)

LOADAnnotation (class in ethpector.symbolic.modules.sender) Log (class in ethpector.data.datatypes) loglevel() (ethpector.config.config.Configuration method) logs (ethpector.data.datatypes.SymbolicExecSummary attribute) lookup_event() (ethpector.data.signatures.SignatureProvider method) lookup_function() (ethpector.data.signatures.SignatureProvider method) loop_bound() (ethpector.config.config.MythrilConfiguration method)

M

magic_constants (ethpector.classify.classification.Interface attribute) main() (in module ethpector.main) mark_reachable() (ethpector.assembly.program.Program method) max_depth() (ethpector.config.config.MythrilConfiguration method) max_int() (in module ethpector.utils.utils) mem (ethpector.data.datatypes.SymbolicMemorySlice attribute) mem_addr (ethpector.data.datatypes.Calldatacopy attribute) memory_reads (ethpector.data.datatypes.SymbolicExecSummary attribute) memory_writes (ethpector.data.datatypes.SymbolicExecSummary attribute) MemoryLoad (class in ethpector.data.datatypes) MemoryWrite (class in ethpector.data.datatypes) meta_data (ethpector.data.datatypes.AssemblySummary attribute) meta_obj() (ethpector.assembly.metadata.BinaryMetadata method) MetaDataString (class in ethpector.data.datatypes) model (ethpector.data.datatypes.SenderConstraintFunction attribute) Modifier (class in ethpector.classify.parser) modifier() (ethpector.classify.parser.FunctionDefinition method) module ethpector ethpector.abi ethpector.abi.abi ethpector.analysis ethpector.assembly ethpector.assembly.analysis ethpector.assembly.flow ethpector.assembly.metadata ethpector.assembly.program ethpector.classify ethpector.classify.classification ethpector.classify.parser ethpector.config ethpector.config.config ethpector.data ethpector.data.base ethpector.data.datatypes ethpector.data.etherscan ethpector.data.ipfs ethpector.data.node ethpector.data.provider ethpector.data.signatures ethpector.data.sourcify ethpector.data.swarm ethpector.main ethpector.symbolic ethpector.symbolic.analysis ethpector.symbolic.modules ethpector.symbolic.modules.extractor ethpector.symbolic.modules.sender ethpector.utils ethpector.utils.utils

more_than_one_output() (ethpector.config.config.Configuration method) MsgSender (class in ethpector.symbolic.modules.sender) MsgSenderAnnotation (class in ethpector.symbolic.modules.sender) mythril (ethpector.config.config.Configuration attribute) MythrilConfiguration (class in ethpector.config.config)

N

n (ethpector.data.datatypes.Log attribute) name (ethpector.classify.classification.Interface attribute) (ethpector.classify.classification.KnownAddress attribute) (ethpector.classify.classification.KnownBytecode attribute) (ethpector.data.datatypes.FunctionSummary attribute) (ethpector.symbolic.modules.extractor.RecoverData attribute) (ethpector.symbolic.modules.sender.MsgSender attribute)

name() (ethpector.classify.parser.EventDefinition method) (ethpector.classify.parser.FunctionDefinition method) NodeProvider (class in ethpector.data.node) NormalParam (class in ethpector.classify.parser)

O

official_std (ethpector.classify.classification.Interface attribute) (ethpector.classify.classification.KnownBytecode attribute) offline() (ethpector.config.config.Configuration method) offset (ethpector.data.datatypes.Calldatacopy attribute) (ethpector.data.datatypes.Calldataload attribute) offset() (ethpector.assembly.metadata.BinaryMetadata method) online_resolver (ethpector.analysis.CodeAnalysis attribute) opcode() (ethpector.data.datatypes.SymbolicAnnotation method) open_files (ethpector.main.OutputWriter attribute) optional_errors (ethpector.classify.classification.Interface attribute) optional_events (ethpector.classify.classification.Interface attribute) optional_functions (ethpector.classify.classification.Interface attribute)

output_all() (ethpector.config.config.Configuration method) output_basicblocks() (ethpector.config.config.Configuration method) output_calls() (ethpector.config.config.Configuration method) output_dir() (ethpector.config.config.Configuration method) output_disassembly() (ethpector.config.config.Configuration method) output_functions() (ethpector.config.config.Configuration method) output_known_interfaces() (ethpector.config.config.Configuration method) output_result() (in module ethpector.main) output_sourcecode() (ethpector.config.config.Configuration method) output_storage() (ethpector.config.config.Configuration method) output_summary() (ethpector.config.config.Configuration method) OutputWriter (class in ethpector.main)

P

pairwise() (in module ethpector.utils.utils) param_indexed() (ethpector.classify.parser.EventDefinition method) param_names() (ethpector.classify.parser.EventDefinition method) (ethpector.classify.parser.FunctionDefinition method) param_types() (ethpector.classify.parser.EventDefinition method) (ethpector.classify.parser.FunctionDefinition method) params() (ethpector.classify.parser.EventDefinition method) (ethpector.classify.parser.FunctionDefinition method) parse_address_from_storage() (in module ethpector.utils.utils) parse_args() (in module ethpector.main) pattern (ethpector.classify.classification.KnownBytecode attribute) pc (ethpector.data.datatypes.PCAnnotation attribute) (ethpector.data.datatypes.SymbolicAnnotation attribute) PCAnnotation (class in ethpector.data.datatypes) pcs (ethpector.data.datatypes.FunctionSummary attribute)

peek() (ethpector.assembly.flow.Stack method) peekn() (ethpector.assembly.flow.Stack method) pop() (ethpector.assembly.flow.Stack method) popn() (ethpector.assembly.flow.Stack method) Program (class in ethpector.assembly.program) provider_name() (ethpector.data.base.DataProvider method) (ethpector.data.etherscan.EtherscanProvider method) (ethpector.data.ipfs.IpfsProvider method) (ethpector.data.node.NodeProvider method) (ethpector.data.provider.AggregateProvider method) (ethpector.data.signatures.SignatureProvider method) (ethpector.data.sourcify.SourcifyProvider method) (ethpector.data.swarm.SwarmProvider method) Push (class in ethpector.data.datatypes) push() (ethpector.assembly.flow.Stack method) pushes (ethpector.data.datatypes.SymbolicExecSummary attribute)

R

raw (ethpector.data.datatypes.MetaDataString attribute) ReachDef (class in ethpector.assembly.flow) reaches (ethpector.assembly.flow.ReachDef attribute) ReachingDefState (class in ethpector.assembly.flow) reads (ethpector.analysis.StorageOverview attribute) RecoverData (class in ethpector.symbolic.modules.extractor) redirect_output() (in module ethpector.utils.utils) Return (class in ethpector.data.datatypes) return_names() (ethpector.classify.parser.FunctionDefinition method)

return_types() (ethpector.classify.parser.FunctionDefinition method) ReturnParameter (class in ethpector.classify.parser) ReturnParameters (class in ethpector.classify.parser) returns (ethpector.data.datatypes.SymbolicExecSummary attribute) returns() (ethpector.classify.parser.FunctionDefinition method) ReturnValue (class in ethpector.classify.parser) Revert (class in ethpector.data.datatypes) reverts (ethpector.data.datatypes.SymbolicExecSummary attribute) rpc_url() (ethpector.config.config.Configuration method) run() (in module ethpector.main)

S

sa (ethpector.analysis.CodeAnalysis attribute) salt (ethpector.data.datatypes.Create2 attribute) selector() (ethpector.classify.parser.EventDefinition method) (ethpector.classify.parser.FunctionDefinition method) Selfdestruct (class in ethpector.data.datatypes) selfdestructs (ethpector.data.datatypes.SymbolicExecSummary attribute) sender_const_sender_in_index() (ethpector.config.config.Configuration method) sender_constraint (ethpector.analysis.FunctionOverview attribute) sender_constraint_functions (ethpector.data.datatypes.SymbolicExecSummary attribute) SenderConstraintFunction (class in ethpector.data.datatypes) set_tag() (ethpector.data.datatypes.AnnotationBase method) setup_logging() (in module ethpector.main) SHAAnnotation (class in ethpector.symbolic.modules.sender) sigdb (ethpector.data.signatures.SignatureProvider attribute) signature_string() (ethpector.classify.parser.EventDefinition method) (ethpector.classify.parser.FunctionDefinition method) SignatureProvider (class in ethpector.data.signatures) slot (ethpector.data.datatypes.MemoryLoad attribute) (ethpector.data.datatypes.MemoryWrite attribute) (ethpector.data.datatypes.StorageLoad attribute) (ethpector.data.datatypes.StorageWrite attribute) solidity_version() (ethpector.assembly.metadata.BinaryMetadata method) solver_timeout() (ethpector.config.config.MythrilConfiguration method) source_abi() (ethpector.data.base.DataProvider method) (ethpector.data.etherscan.EtherscanProvider method) (ethpector.data.provider.AggregateProvider method) (ethpector.data.sourcify.SourcifyProvider method) source_code() (ethpector.data.base.DataProvider method) (ethpector.data.etherscan.EtherscanProvider method) (ethpector.data.provider.AggregateProvider method) (ethpector.data.sourcify.SourcifyProvider method)

source_metadata() (ethpector.data.base.DataProvider method) (ethpector.data.etherscan.EtherscanProvider method) (ethpector.data.provider.AggregateProvider method) (ethpector.data.sourcify.SourcifyProvider method) sourcify_base_url() (ethpector.config.config.Configuration method) SourcifyProvider (class in ethpector.data.sourcify) Stack (class in ethpector.assembly.flow) stack() (ethpector.data.datatypes.SymbolicAnnotation method) start (ethpector.data.datatypes.SymbolicMemorySlice attribute) storage_reads (ethpector.data.datatypes.SymbolicExecSummary attribute) storage_writes (ethpector.data.datatypes.SymbolicExecSummary attribute) StorageAnnotation (class in ethpector.symbolic.modules.sender) StorageLoad (class in ethpector.data.datatypes) StorageOverview (class in ethpector.analysis) StorageWrite (class in ethpector.data.datatypes) strategy() (ethpector.config.config.MythrilConfiguration method) strip_0x() (in module ethpector.utils.utils) strip_function_selector() (in module ethpector.utils.utils) swap() (ethpector.assembly.flow.Stack method) SwarmProvider (class in ethpector.data.swarm) symbolic (ethpector.analysis.ClassificationMatches attribute) SymbolicAnalyzer (class in ethpector.symbolic.analysis) SymbolicAnnotation (class in ethpector.data.datatypes) SymbolicExecSummary (class in ethpector.data.datatypes) SymbolicExpression (class in ethpector.data.datatypes) SymbolicMemorySlice (class in ethpector.data.datatypes) SymbolicVariable (class in ethpector.data.datatypes)

T

tags (ethpector.data.datatypes.AnnotationBase attribute) (ethpector.data.datatypes.SymbolicAnnotation attribute) target (ethpector.data.datatypes.JumpTarget attribute) target_int() (ethpector.data.datatypes.ConditionalJump method) (ethpector.data.datatypes.JumpTarget method) (ethpector.data.datatypes.UnconditionalJump method) TimeIt (class in ethpector.utils.utils) to (ethpector.data.datatypes.Call attribute) (ethpector.data.datatypes.ConditionalJump attribute) (ethpector.data.datatypes.UnconditionalJump attribute) to_checksum() (in module ethpector.data.node) to_file() (ethpector.config.config.Configuration method) to_int() (in module ethpector.utils.utils) to_json() (in module ethpector.data.datatypes) ToJsonDecorator (class in ethpector.data.datatypes)

topic0 (ethpector.data.datatypes.Log attribute) topic1 (ethpector.data.datatypes.Log attribute) topic2 (ethpector.data.datatypes.Log attribute) topic3 (ethpector.data.datatypes.Log attribute) total_instructions (ethpector.data.datatypes.AssemblySummary attribute) total_match (ethpector.classify.classification.InterfaceMatch attribute) transaction_count() (ethpector.config.config.MythrilConfiguration method) true_branch_reachable (ethpector.data.datatypes.SenderConstraintFunction attribute) truncate_str() (in module ethpector.utils.utils) try_decode_abi() (ethpector.data.datatypes.SymbolicMemorySlice method) try_get_selector() (ethpector.classify.parser.EventDefinition static method) (ethpector.classify.parser.FunctionDefinition static method) (ethpector.data.datatypes.Log method) TupleParam (class in ethpector.classify.parser) Type (class in ethpector.classify.parser) type (ethpector.data.datatypes.Call attribute)

U

unconditional_jumps (ethpector.data.datatypes.SymbolicExecSummary attribute) UnconditionalJump (class in ethpector.data.datatypes) unique_instructions_visited (ethpector.data.datatypes.AssemblySummary attribute) (ethpector.data.datatypes.SymbolicExecSummary attribute) update() (ethpector.data.datatypes.FunctionSummary method) update_block_reachings() (ethpector.assembly.flow.ReachingDefState method)

update_instruction_reachings() (ethpector.assembly.flow.ReachingDefState method) url (ethpector.classify.classification.KnownBytecode attribute) (ethpector.data.datatypes.MetaDataString attribute) url() (ethpector.assembly.metadata.BinaryMetadata method) urls (ethpector.classify.classification.Interface attribute) (ethpector.classify.classification.InterfaceMatch attribute)

V

val() (ethpector.data.datatypes.SymbolicVariable method) valid_at() (ethpector.data.datatypes.AnnotationBase method) (ethpector.data.datatypes.ConstantSummary method) (ethpector.data.datatypes.FunctionSummary method) (ethpector.data.datatypes.MetaDataString method) (ethpector.data.datatypes.PCAnnotation method) value (ethpector.data.datatypes.Call attribute) (ethpector.data.datatypes.ConstantSummary attribute) (ethpector.data.datatypes.Create attribute) (ethpector.data.datatypes.Create2 attribute) (ethpector.data.datatypes.MemoryWrite attribute) (ethpector.data.datatypes.Push attribute) (ethpector.data.datatypes.StorageWrite attribute)

var (ethpector.data.datatypes.SymbolicVariable attribute) Visibility (class in ethpector.classify.parser) visibility() (ethpector.classify.parser.FunctionDefinition method)

W

write() (ethpector.main.OutputWriter method)

writes (ethpector.analysis.StorageOverview attribute)