Index

Symbols

--consider-all-reads command line option --create-timeout command line option --execution-timeout command line option --execution-times-limit command line option --function-coverage-threshold command line option --function-search-strategy command line option --no-guidance command line option --optimization command line option --phase1-depth-limit command line option --preprocess-timeout command line option --print-function-coverage command line option

--random-baseline command line option --seq-len-limit command line option --sequences command line option --solver-timeout command line option --transaction-count command line option -fct command line option -fss command line option -p command line option -p1dl command line option -seq command line option -t command line option

A

abs_path (mythril.solidity.soliditycontract.SolcAST property) AccidentallyKillable (class in mythril.analysis.module.modules.suicide) Account (class in mythril.laser.ethereum.state.account) AccountData (class in mythril.concolic.concrete_data) accounts (mythril.concolic.concrete_data.InitialState attribute) (mythril.laser.ethereum.state.global_state.GlobalState property) (mythril.laser.ethereum.state.world_state.WorldState property) accounts_exist_or_load() (mythril.laser.ethereum.state.world_state.WorldState method) accumulate_gas() (mythril.laser.ethereum.instructions.StateTransition method) acquire() (mythril.support.lock.LockFile method) Actors (class in mythril.laser.ethereum.transaction.symbolic) AcyclicPath (class in fdg.fwrg_manager) add() (mythril.laser.smt.solver.independence_solver.IndependenceSolver method) (mythril.laser.smt.solver.solver.BaseSolver method) (mythril.support.signatures.SignatureDB method) add_() (mythril.laser.ethereum.instructions.Instruction method) add_analysis_args() (in module mythril.interfaces.cli) add_annotations() (mythril.laser.ethereum.state.global_state.GlobalState method) add_args() (mythril.laser.plugin.loader.LaserPluginLoader method) add_balance() (mythril.laser.ethereum.state.account.Account method) add_block_data() (mythril.analysis.report.Issue static method) add_code_info() (mythril.analysis.report.Issue method) add_condition() (mythril.laser.smt.solver.independence_solver.DependenceMap method) add_conditions() (fdg.preprocessing.read_in_conditions.ReadInCondition method) add_edge_to_graph() (fdg.fwrg_manager.UpdateFWRG method) add_edges_1() (fdg.fwrg_manager.UpdateFWRG method) add_fwrg_analysis_args() (in module mythril.interfaces.cli) add_fwrg_arguments() (in module mythril.interfaces.cli) add_graph_commands() (in module mythril.interfaces.cli) add_sigs() (mythril.support.signatures.SignatureDB method) addmod_() (mythril.laser.ethereum.instructions.Instruction method) address (mythril.analysis.module.modules.unchecked_retval.RetVal attribute) (mythril.concolic.concrete_data.TransactionData attribute) address_() (mythril.laser.ethereum.instructions.Instruction method) And() (in module mythril.laser.smt.bool) and_() (mythril.laser.ethereum.instructions.Instruction method) annotate() (mythril.laser.ethereum.state.global_state.GlobalState method) (mythril.laser.ethereum.state.world_state.WorldState method) (mythril.laser.smt.expression.Expression method) annotations (mythril.laser.ethereum.state.global_state.GlobalState property) (mythril.laser.ethereum.state.world_state.WorldState property) (mythril.laser.smt.expression.Expression property)

ansi() (mythril.interfaces.epic.LolCat method) append() (mythril.laser.ethereum.state.constraints.Constraints method) (mythril.laser.ethereum.state.machine_state.MachineStack method) (mythril.laser.smt.solver.independence_solver.IndependenceSolver method) (mythril.laser.smt.solver.solver.BaseSolver method) append_issue() (mythril.analysis.report.Report method) ArbitraryDelegateCall (class in mythril.analysis.module.modules.delegatecall) ArbitraryJump (class in mythril.analysis.module.modules.arbitrary_jump) ArbitraryStorage (class in mythril.analysis.module.modules.arbitrary_write) Args (class in mythril.support.support_args) Array (class in mythril.laser.smt.array) as_dict (mythril.analysis.report.Issue property) (mythril.laser.ethereum.cfg.Edge property) (mythril.laser.ethereum.state.account.Account property) (mythril.laser.ethereum.state.environment.Environment property) (mythril.laser.ethereum.state.machine_state.MachineState property) as_dict() (mythril.ethereum.evmcontract.EVMContract method) (mythril.laser.execution_info.ExecutionInfo method) as_json() (mythril.analysis.report.Report method) as_list (mythril.laser.ethereum.state.constraints.Constraints property) as_markdown() (mythril.analysis.report.Report method) as_swc_standard_format() (mythril.analysis.report.Report method) as_text() (mythril.analysis.report.Report method) assert_fail_() (mythril.laser.ethereum.instructions.Instruction method) assign_all_functions() (fdg.control.function_assignment.FunctionAssignment method) assign_bytecode() (mythril.disassembler.disassembly.Disassembly method) assign_functions() (fdg.control.function_assignment.FunctionAssignment method) assign_functions_for_baseline() (fdg.control.function_assignment.FunctionAssignment method) assign_functions_timeout() (fdg.control.function_assignment.FunctionAssignment method) assign_functions_timeout_mine() (fdg.control.function_assignment.FunctionAssignment method) assign_states() (fdg.control.ftn_search_strategy.BFS method) (fdg.control.ftn_search_strategy.DFS method) (fdg.control.ftn_search_strategy.FunctionSearchStrategy method) (fdg.control.ftn_search_strategy.RandomBaseline method) (fdg.control.ftn_search_strategy.Seq method) (fdg.control.mine.Mine method) assign_states_normal() (fdg.control.mine.Mine method) assign_states_timeout() (fdg.control.mine.Mine method) ast (mythril.solidity.soliditycontract.SolcSource property) attacker (mythril.laser.ethereum.transaction.symbolic.Actors property) author (mythril.plugin.interface.MythrilPlugin attribute)

B

BadJsonError BadResponseError BadStatusCodeError balance (mythril.concolic.concrete_data.AccountData attribute) balance_() (mythril.laser.ethereum.instructions.Instruction method) BaseArray (class in mythril.laser.smt.array) BaseCalldata (class in mythril.laser.ethereum.state.calldata) BaseClient (class in mythril.ethereum.interface.rpc.base_client) basefee_() (mythril.laser.ethereum.instructions.Instruction method) BaseSolver (class in mythril.laser.smt.solver.solver) BaseTransaction (class in mythril.laser.ethereum.transaction.transaction_models) BasicConcreteCalldata (class in mythril.laser.ethereum.state.calldata) BasicSearchStrategy (class in mythril.laser.ethereum.strategy) BasicSymbolicCalldata (class in mythril.laser.ethereum.state.calldata) beam_priority() (mythril.laser.ethereum.strategy.beam.BeamSearch static method) BeamSearch (class in mythril.laser.ethereum.strategy.beam) beginsub_() (mythril.laser.ethereum.instructions.Instruction method) BenchmarkPlugin (class in mythril.laser.plugin.plugins.benchmark) BenchmarkPluginBuilder (class in mythril.laser.plugin.plugins.benchmark) BFS (class in fdg.control.ftn_search_strategy) BitVec (class in mythril.laser.smt.bitvec)

BitVecSym() (mythril.laser.smt.SymbolFactory static method) BitVecVal() (mythril.laser.smt.SymbolFactory static method) blake2b_fcompress() (in module mythril.laser.ethereum.natives) blockCoinbase (mythril.concolic.concrete_data.TransactionData attribute) blockDifficulty (mythril.concolic.concrete_data.TransactionData attribute) blockGasLimit (mythril.concolic.concrete_data.TransactionData attribute) blockhash_() (mythril.laser.ethereum.instructions.Instruction method) blockNumber (mythril.concolic.concrete_data.TransactionData attribute) blockTime (mythril.concolic.concrete_data.TransactionData attribute) Bool (class in mythril.laser.smt.bool) Bool() (mythril.laser.smt.SymbolFactory static method) BoolSym() (mythril.laser.smt.SymbolFactory static method) BoundedLoopsStrategy (class in mythril.laser.ethereum.strategy.extensions.bounded_loops) BreadthFirstSearchStrategy (class in mythril.laser.ethereum.strategy.basic) break_a_tie() (fdg.control.mine.Mine method) build_plugin() (mythril.plugin.discovery.PluginDiscovery method) BVAddNoOverflow() (in module mythril.laser.smt.bitvec_helper) BVMulNoOverflow() (in module mythril.laser.smt.bitvec_helper) BVSubNoUnderflow() (in module mythril.laser.smt.bitvec_helper) byte_() (mythril.laser.ethereum.instructions.Instruction method) bytearray_to_int() (in module mythril.laser.ethereum.util) bytecode_hash (mythril.ethereum.evmcontract.EVMContract property)

C

calculate_extension_size() (mythril.laser.ethereum.state.machine_state.MachineState method) calculate_hash() (mythril.laser.ethereum.strategy.extensions.bounded_loops.BoundedLoopsStrategy static method) calculate_memory_gas() (mythril.laser.ethereum.state.machine_state.MachineState method) calculate_native_gas() (in module mythril.laser.ethereum.instruction_data) calculate_sha3_gas() (in module mythril.laser.ethereum.instruction_data) Call (class in mythril.analysis.ops) CALL (mythril.laser.ethereum.cfg.JumpType attribute) call_() (mythril.laser.ethereum.instructions.Instruction method) call_at_end_of_preprocessing() (fdg.preprocessing.instruction_coverage.InstructionCoverage method) call_on_state_copy() (mythril.laser.ethereum.instructions.StateTransition static method) call_post() (mythril.laser.ethereum.instructions.Instruction method) CALLBACK (mythril.analysis.module.base.EntryPoint attribute) callcode_() (mythril.laser.ethereum.instructions.Instruction method) callcode_post() (mythril.laser.ethereum.instructions.Instruction method) calldata (mythril.concolic.concrete_data.TransactionData attribute) calldatacopy_() (mythril.laser.ethereum.instructions.Instruction method) calldataload_() (mythril.laser.ethereum.instructions.Instruction method) calldatasize (mythril.laser.ethereum.state.calldata.BaseCalldata property) calldatasize_() (mythril.laser.ethereum.instructions.Instruction method) CallDepthLimit (class in mythril.laser.plugin.plugins.call_depth_limiter) CallDepthLimitBuilder (class in mythril.laser.plugin.plugins.call_depth_limiter) caller_() (mythril.laser.ethereum.instructions.Instruction method) callvalue_() (mythril.laser.ethereum.instructions.Instruction method) can_reach_targets() (fdg.control.function_assignment.FunctionAssignment method) cat() (mythril.interfaces.epic.LolCat method) chainid_() (mythril.laser.ethereum.instructions.Instruction method) check() (mythril.laser.smt.solver.independence_solver.IndependenceSolver method) (mythril.laser.smt.solver.solver.BaseSolver method) check_completion_criterion() (mythril.laser.ethereum.strategy.concolic.ConcolicStrategy method) check_gas() (mythril.laser.ethereum.state.machine_state.MachineState method) check_gas_usage_limit() (mythril.laser.ethereum.instructions.StateTransition static method) check_merge_annotation() (mythril.laser.ethereum.state.annotation.MergeableStateAnnotation method) (mythril.laser.plugin.plugins.plugin_annotations.DependencyAnnotation method) (mythril.laser.plugin.plugins.plugin_annotations.WSDependencyAnnotation method) check_potential_issues() (in module mythril.analysis.potential_issues) check_quick_sat() (mythril.support.support_utils.ModelCache method) clean_hex() (in module mythril.ethereum.interface.rpc.utils) close() (mythril.ethereum.interface.rpc.client.EthJsonRpc method) code (mythril.concolic.concrete_data.AccountData attribute) codecopy_() (mythril.laser.ethereum.instructions.Instruction method) codesize_() (mythril.laser.ethereum.instructions.Instruction method) coinbase_() (mythril.laser.ethereum.instructions.Instruction method) collect_addresses_in_constructor() (in module fdg.preprocessing.address_collection) collect_conditions() (fdg.preprocessing.read_in_conditions.ReadInCondition method) collect_function_instructions() (fdg.preprocessing.instruction_coverage.InstructionCoverage method) collect_value_for_sender() (in module fdg.preprocessing.address_collection) command line option --consider-all-reads --create-timeout --execution-timeout --execution-times-limit --function-coverage-threshold --function-search-strategy --no-guidance --optimization --phase1-depth-limit --preprocess-timeout --print-function-coverage --random-baseline --seq-len-limit --sequences --solver-timeout --transaction-count -fct -fss -p -p1dl -seq -t

CompilerError compute() (in module fdg.control.weight_computation) compute_contract_coverage() (fdg.function_coverage.FunctionCoverage method) compute_coverage() (fdg.function_coverage.FunctionCoverage method) (fdg.preprocessing.instruction_coverage.InstructionCoverage method) compute_deep_functions() (fdg.function_coverage.FunctionCoverage method) compute_mine() (in module fdg.control.weight_computation) Concat() (in module mythril.laser.smt.bitvec_helper) concolic_execution() (in module mythril.concolic.concolic_execution) ConcolicStrategy (class in mythril.laser.ethereum.strategy.concolic) CONCRETE (mythril.analysis.ops.VarType attribute) concrete() (mythril.laser.ethereum.state.calldata.BaseCalldata method) (mythril.laser.ethereum.state.calldata.BasicConcreteCalldata method) (mythril.laser.ethereum.state.calldata.BasicSymbolicCalldata method) (mythril.laser.ethereum.state.calldata.ConcreteCalldata method) (mythril.laser.ethereum.state.calldata.SymbolicCalldata method) concrete_execution() (in module mythril.concolic.find_trace) concrete_int_from_bytes() (in module mythril.laser.ethereum.util) concrete_int_to_bytes() (in module mythril.laser.ethereum.util) ConcreteCalldata (class in mythril.laser.ethereum.state.calldata) ConcreteData (class in mythril.concolic.concrete_data) CONDITIONAL (mythril.laser.ethereum.cfg.JumpType attribute) ConnectionError consider_dk_functions_not_reachable() (fdg.control.function_assignment.FunctionAssignment method) Constraints (class in mythril.laser.ethereum.state.constraints) construct_fwrg_targets() (fdg.fwrg_manager.UpdateFWRG method) contents (mythril.solidity.soliditycontract.SolcSource property) contract_hash_to_address() (in module mythril.interfaces.cli) ContractCreationTransaction (class in mythril.laser.ethereum.transaction.transaction_models) convert_bv() (in module mythril.laser.ethereum.state.memory) copy() (mythril.laser.ethereum.state.constraints.Constraints method) count_key() (mythril.laser.ethereum.strategy.extensions.bounded_loops.BoundedLoopsStrategy static method) CoveragePluginBuilder (class in mythril.laser.plugin.plugins.coverage.coverage_plugin) CoverageStrategy (class in mythril.laser.plugin.plugins.coverage.coverage_strategy) create2_() (mythril.laser.ethereum.instructions.Instruction method) create2_post() (mythril.laser.ethereum.instructions.Instruction method) create_() (mythril.laser.ethereum.instructions.Instruction method) create_account() (mythril.laser.ethereum.state.world_state.WorldState method) create_analyzer_parser() (in module mythril.interfaces.cli) create_concolic_parser() (in module mythril.interfaces.cli) create_condition() (mythril.laser.ethereum.function_managers.exponent_function_manager.ExponentFunctionManager method) create_conditions() (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager method) create_disassemble_parser() (in module mythril.interfaces.cli) create_foundry_parser() (in module mythril.interfaces.cli) create_func_to_hash_parser() (in module mythril.interfaces.cli) create_hash_to_addr_parser() (in module mythril.interfaces.cli) create_initialized_contract_account() (mythril.laser.ethereum.state.world_state.WorldState method) create_keccak() (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager method) create_post() (mythril.laser.ethereum.instructions.Instruction method) create_read_storage_parser() (in module mythril.interfaces.cli) create_safe_functions_parser() (in module mythril.interfaces.cli) creation_bytecode_hash (mythril.ethereum.evmcontract.EVMContract property) creator (mythril.laser.ethereum.transaction.symbolic.Actors property) CriterionSearchStrategy (class in mythril.laser.ethereum.strategy) CriticalError current_transaction (mythril.laser.ethereum.state.global_state.GlobalState property)

D

decls() (mythril.laser.smt.model.Model method) decode_bytes() (mythril.analysis.report.Issue static method) delegatecall_() (mythril.laser.ethereum.instructions.Instruction method) delegatecall_post() (mythril.laser.ethereum.instructions.Instruction method) delete_state() (fdg.control.ftn_search_strategy.FunctionSearchStrategy method) DependenceBucket (class in mythril.laser.smt.solver.independence_solver) DependenceMap (class in mythril.laser.smt.solver.independence_solver) DependencyAnnotation (class in mythril.laser.plugin.plugins.plugin_annotations) DependencyPruner (class in mythril.laser.plugin.plugins.dependency_pruner) DependencyPrunerBuilder (class in mythril.laser.plugin.plugins.dependency_pruner) DepthFirstSearchStrategy (class in mythril.laser.ethereum.strategy.basic) description (mythril.analysis.module.base.DetectionModule attribute) (mythril.analysis.module.modules.arbitrary_jump.ArbitraryJump attribute) (mythril.analysis.module.modules.arbitrary_write.ArbitraryStorage attribute) (mythril.analysis.module.modules.delegatecall.ArbitraryDelegateCall attribute) (mythril.analysis.module.modules.dependence_on_origin.TxOrigin attribute) (mythril.analysis.module.modules.dependence_on_predictable_vars.PredictableVariables attribute) (mythril.analysis.module.modules.ether_thief.EtherThief attribute) (mythril.analysis.module.modules.exceptions.Exceptions attribute) (mythril.analysis.module.modules.external_calls.ExternalCalls attribute) (mythril.analysis.module.modules.integer.IntegerArithmetics attribute) (mythril.analysis.module.modules.multiple_sends.MultipleSends attribute) (mythril.analysis.module.modules.state_change_external_calls.StateChangeAfterCall attribute) (mythril.analysis.module.modules.suicide.AccidentallyKillable attribute) (mythril.analysis.module.modules.unchecked_retval.UncheckedRetval attribute) (mythril.analysis.module.modules.user_assertions.UserAssertions attribute)

detect_mode() (in module mythril.interfaces.epic) DetectionModule (class in mythril.analysis.module.base) DetectorNotFoundError DFS (class in fdg.control.ftn_search_strategy) difficulty_() (mythril.laser.ethereum.instructions.Instruction method) disassemble() (in module mythril.disassembler.asm) Disassembly (class in mythril.disassembler.disassembly) div_() (mythril.laser.ethereum.instructions.Instruction method) dump_statespace() (mythril.mythril.mythril_analyzer.MythrilAnalyzer method) dup_() (mythril.laser.ethereum.instructions.Instruction method) dynld() (mythril.support.loader.DynLoader method) DynLoader (class in mythril.support.loader)

E

ec_add() (in module mythril.laser.ethereum.natives) ec_mul() (in module mythril.laser.ethereum.natives) ec_pair() (in module mythril.laser.ethereum.natives) ecrecover() (in module mythril.laser.ethereum.natives) ecrecover_to_pub() (in module mythril.laser.ethereum.natives) Edge (class in mythril.laser.ethereum.cfg) empty_() (mythril.laser.ethereum.instructions.Instruction method) enable() (mythril.laser.plugin.loader.LaserPluginLoader method) encode_int32() (in module mythril.laser.ethereum.natives) end() (mythril.laser.ethereum.transaction.transaction_models.ContractCreationTransaction method) (mythril.laser.ethereum.transaction.transaction_models.MessageCallTransaction method) end_iteration() (fdg.control.guider.Guider method) entry_point (mythril.analysis.module.base.DetectionModule attribute) (mythril.analysis.module.modules.arbitrary_jump.ArbitraryJump attribute) (mythril.analysis.module.modules.arbitrary_write.ArbitraryStorage attribute) (mythril.analysis.module.modules.delegatecall.ArbitraryDelegateCall attribute) (mythril.analysis.module.modules.dependence_on_origin.TxOrigin attribute) (mythril.analysis.module.modules.dependence_on_predictable_vars.PredictableVariables attribute) (mythril.analysis.module.modules.ether_thief.EtherThief attribute) (mythril.analysis.module.modules.exceptions.Exceptions attribute) (mythril.analysis.module.modules.external_calls.ExternalCalls attribute) (mythril.analysis.module.modules.integer.IntegerArithmetics attribute) (mythril.analysis.module.modules.multiple_sends.MultipleSends attribute) (mythril.analysis.module.modules.state_change_external_calls.StateChangeAfterCall attribute) (mythril.analysis.module.modules.suicide.AccidentallyKillable attribute) (mythril.analysis.module.modules.unchecked_retval.UncheckedRetval attribute) (mythril.analysis.module.modules.user_assertions.UserAssertions attribute) EntryPoint (class in mythril.analysis.module.base) Environment (class in mythril.laser.ethereum.state.environment) environment (mythril.analysis.report.Report attribute) eq_() (mythril.laser.ethereum.instructions.Instruction method) eth_blockNumber() (mythril.ethereum.interface.rpc.base_client.BaseClient method) eth_coinbase() (mythril.ethereum.interface.rpc.base_client.BaseClient method) eth_getBalance() (mythril.ethereum.interface.rpc.base_client.BaseClient method) eth_getBlockByNumber() (mythril.ethereum.interface.rpc.base_client.BaseClient method) eth_getCode() (mythril.ethereum.interface.rpc.base_client.BaseClient method) eth_getStorageAt() (mythril.ethereum.interface.rpc.base_client.BaseClient method) eth_getTransactionReceipt() (mythril.ethereum.interface.rpc.base_client.BaseClient method) ether_to_wei() (in module mythril.ethereum.interface.rpc.utils) EtherThief (class in mythril.analysis.module.modules.ether_thief) EthJsonRpc (class in mythril.ethereum.interface.rpc.client)

EthJsonRpcError eval() (mythril.laser.smt.model.Model method) evaluate() (mythril.laser.ethereum.instructions.Instruction method) EVMContract (class in mythril.ethereum.evmcontract) EvmInstruction (class in mythril.disassembler.asm) Exceptions (class in mythril.analysis.module.modules.exceptions) exec() (mythril.laser.ethereum.svm.LaserEVM method) exec_preprocessing() (mythril.laser.ethereum.svm.LaserEVM method) execute() (mythril.analysis.module.base.DetectionModule method) execute_command() (in module mythril.interfaces.cli) execute_contract_creation() (in module mythril.laser.ethereum.transaction.concolic) (in module mythril.laser.ethereum.transaction.symbolic) execute_message_call() (in module mythril.laser.ethereum.transaction.concolic) (in module mythril.laser.ethereum.transaction.symbolic) execute_message_call_preprocessing() (in module mythril.laser.ethereum.transaction.symbolic) execute_preprocessing() (in module fdg.preprocessing.preprocess) execute_state() (mythril.laser.ethereum.svm.LaserEVM method) execute_state_preprocessing() (mythril.laser.ethereum.svm.LaserEVM method) execute_transaction() (in module mythril.laser.ethereum.transaction.concolic) (in module mythril.laser.ethereum.transaction.symbolic) execute_transactions() (mythril.laser.ethereum.svm.LaserEVM method) execution_info (mythril.analysis.symbolic.SymExecWrapper property) ExecutionInfo (class in mythril.laser.execution_info) exit_with_error() (in module mythril.interfaces.cli) exp_() (mythril.laser.ethereum.instructions.Instruction method) ExponentFunctionManager (class in mythril.laser.ethereum.function_managers.exponent_function_manager) Expression (class in mythril.laser.smt.expression) extcodecopy_() (mythril.laser.ethereum.instructions.Instruction method) extcodehash_() (mythril.laser.ethereum.instructions.Instruction method) extcodesize_() (mythril.laser.ethereum.instructions.Instruction method) extend() (mythril.laser.ethereum.state.memory.Memory method) extend_storage_write_cache() (mythril.laser.plugin.plugins.plugin_annotations.DependencyAnnotation method) extend_strategy() (mythril.laser.ethereum.svm.LaserEVM method) ExternalCalls (class in mythril.analysis.module.modules.external_calls) Extract() (in module mythril.laser.smt.bitvec_helper) extract32() (in module mythril.laser.ethereum.util) extract_binary() (in module mythril.ethereum.util) extract_copy() (in module mythril.laser.ethereum.util) extract_edges() (in module mythril.analysis.callgraph) extract_nodes() (in module mythril.analysis.callgraph) extract_read_slots_in_conditions() (fdg.preprocessing.read_in_conditions.ReadInCondition method) extract_version() (in module mythril.ethereum.util)

F

fallback_case() (fdg.control.function_assignment.FunctionAssignment method) fdg module fdg.control module fdg.control.ftn_search_strategy module fdg.control.function_assignment module fdg.control.guider module fdg.control.mine module fdg.control.weight_computation module fdg.fdg_pruner module fdg.function_coverage module fdg.fwrg_manager module fdg.global_config module fdg.instruction_modification module fdg.preprocessing module

fdg.preprocessing.address_collection module fdg.preprocessing.instruction_coverage module fdg.preprocessing.preprocess module fdg.preprocessing.read_in_conditions module fdg.preprocessing.write_read_info module FDG_pruner (class in fdg.fdg_pruner) FDG_prunerBuilder (class in fdg.fdg_pruner) feed_function_intruction_indices() (fdg.function_coverage.FunctionCoverage method) feed_instructions() (fdg.instruction_modification.InstructionModification method) filter_states() (fdg.control.mine.Mine method) find_concrete_keccak() (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager static method) find_op_code_sequence() (in module mythril.disassembler.asm) fire_lasers() (in module mythril.analysis.security) (mythril.mythril.mythril_analyzer.MythrilAnalyzer method) flip_branches() (in module mythril.concolic.concolic_execution) format_Warning() (in module mythril.mythril.mythril_disassembler) Function (class in mythril.laser.smt.function) Function_Write_Read_Info (class in fdg.preprocessing.write_read_info) FunctionAssignment (class in fdg.control.function_assignment) FunctionCoverage (class in fdg.function_coverage) FunctionSearchStrategy (class in fdg.control.ftn_search_strategy) FWRG (class in fdg.fwrg_manager) FWRG_manager (class in fdg.fwrg_manager)

G

gas_() (mythril.laser.ethereum.instructions.Instruction method) gasLimit (mythril.concolic.concrete_data.TransactionData attribute) gaslimit_() (mythril.laser.ethereum.instructions.Instruction method) gasPrice (mythril.concolic.concrete_data.TransactionData attribute) gasprice_() (mythril.laser.ethereum.instructions.Instruction method) generate_function_constraints() (in module mythril.laser.ethereum.transaction.symbolic) generate_graph() (in module mythril.analysis.callgraph) generate_graph_all_reads() (fdg.fwrg_manager.FWRG_manager method) get() (mythril.support.signatures.SignatureDB method) (mythril.support.support_utils.LRUCache method) get_all_constraints() (mythril.laser.ethereum.state.constraints.Constraints method) get_annotations() (mythril.laser.ethereum.state.global_state.GlobalState method) (mythril.laser.ethereum.state.world_state.WorldState method) (mythril.laser.smt.expression.Expression method) get_call_data() (in module mythril.laser.ethereum.call) get_call_from_state() (in module mythril.analysis.call_helpers) get_call_parameters() (in module mythril.laser.ethereum.call) get_callee_account() (in module mythril.laser.ethereum.call) get_callee_address() (in module mythril.laser.ethereum.call) get_cfg_dict() (mythril.laser.ethereum.cfg.Node method) get_children_all_reads() (fdg.fwrg_manager.FWRG_manager method) get_children_bf_update() (fdg.fwrg_manager.FWRG_manager method) get_children_fwrg() (fdg.fwrg_manager.FWRG_manager method) get_children_fwrg_T_A() (fdg.fwrg_manager.FWRG_manager method) get_code_hash() (in module mythril.support.support_utils) get_concrete_hash_data() (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager method) get_concrete_int() (in module mythril.laser.ethereum.util) get_contract_coverage() (fdg.function_coverage.FunctionCoverage method) get_contracts_from_file() (in module mythril.solidity.soliditycontract) get_contracts_from_foundry() (in module mythril.solidity.soliditycontract) get_coverage_for_a_function() (fdg.function_coverage.FunctionCoverage method) get_creation_easm() (mythril.ethereum.evmcontract.EVMContract method) get_creation_input_parser() (in module mythril.interfaces.cli) get_current_instruction() (mythril.laser.ethereum.state.global_state.GlobalState method) get_deep_functions() (fdg.function_coverage.FunctionCoverage method) get_deep_functions_1st_time() (fdg.function_coverage.FunctionCoverage method) get_dependency_annotation() (in module mythril.laser.plugin.plugins.dependency_pruner) get_depth_k_functions() (fdg.fdg_pruner.FDG_pruner method) get_detection_module_hooks() (in module mythril.analysis.module.util) get_detection_modules() (mythril.analysis.module.loader.ModuleLoader method) get_easm() (mythril.disassembler.disassembly.Disassembly method) (mythril.ethereum.evmcontract.EVMContract method) get_empty_keccak_hash() (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager static method) get_ftn_seq_annotation_from_ws() (in module mythril.laser.plugin.plugins.dependency_pruner) get_full_contract_src_maps() (mythril.solidity.soliditycontract.SolidityContract static method) get_function() (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager method) get_function_info() (in module mythril.disassembler.disassembly) get_indexed_address() (in module mythril.ethereum.util) get_instruction_index() (in module mythril.laser.ethereum.util) get_issue() (mythril.analysis.module.modules.state_change_external_calls.StateChangeCallsAnnotation method) get_loop_count() (mythril.laser.ethereum.strategy.extensions.bounded_loops.BoundedLoopsStrategy static method)

get_model() (in module mythril.support.model) (mythril.laser.ethereum.state.constraints.Constraints method) get_next_tx_id() (mythril.laser.ethereum.transaction.transaction_models.TxIdManager method) get_opcode_from_name() (in module mythril.disassembler.asm) get_opcode_gas() (in module mythril.laser.ethereum.instruction_data) get_output_parser() (in module mythril.interfaces.cli) get_parents_frwg() (fdg.fwrg_manager.FWRG_manager method) get_plugins() (mythril.plugin.discovery.PluginDiscovery method) get_potential_issues_annotation() (in module mythril.analysis.potential_issues) get_random_address() (in module mythril.ethereum.util) get_reads_in_conditions() (fdg.fwrg_manager.FWRG method) get_required_stack_elements() (in module mythril.laser.ethereum.instruction_data) get_rpc_parser() (in module mythril.interfaces.cli) get_runtime_bytecode() (fdg.fdg_pruner.FDG_pruner method) get_runtime_input_parser() (in module mythril.interfaces.cli) get_safe_functions_parser() (in module mythril.interfaces.cli) get_serializable_statespace() (in module mythril.analysis.traceexplore) get_solc_indices() (mythril.solidity.soliditycontract.SolidityContract static method) get_solc_json() (in module mythril.ethereum.util) get_source_from_contracts_list() (mythril.support.source_support.Source method) get_source_index() (mythril.support.source_support.Source method) get_source_info() (mythril.solidity.soliditycontract.SolidityContract method) get_sources() (mythril.solidity.soliditycontract.SolidityContract static method) get_start_sequence() (fdg.control.guider.Guider method) get_state_variable_from_storage() (mythril.mythril.mythril_disassembler.MythrilDisassembler method) get_states() (fdg.control.ftn_search_strategy.FunctionSearchStrategy method) get_storage_write_cache() (mythril.laser.plugin.plugins.plugin_annotations.DependencyAnnotation method) get_strategic_global_state() (mythril.laser.ethereum.strategy.basic.BreadthFirstSearchStrategy method) (mythril.laser.ethereum.strategy.basic.DepthFirstSearchStrategy method) (mythril.laser.ethereum.strategy.basic.ReturnRandomNaivelyStrategy method) (mythril.laser.ethereum.strategy.basic.ReturnWeightedRandomStrategy method) (mythril.laser.ethereum.strategy.BasicSearchStrategy method) (mythril.laser.ethereum.strategy.beam.BeamSearch method) (mythril.laser.ethereum.strategy.concolic.ConcolicStrategy method) (mythril.laser.ethereum.strategy.CriterionSearchStrategy method) (mythril.laser.ethereum.strategy.extensions.bounded_loops.BoundedLoopsStrategy method) (mythril.laser.plugin.plugins.coverage.coverage_strategy.CoverageStrategy method) get_targets_be_reached() (fdg.control.function_assignment.FunctionAssignment method) get_trace_line() (in module mythril.laser.ethereum.util) get_transaction_sequence() (in module mythril.analysis.solver) get_utilities_parser() (in module mythril.interfaces.cli) get_variable() (in module mythril.analysis.ops) get_word_at() (mythril.laser.ethereum.state.calldata.BaseCalldata method) (mythril.laser.ethereum.state.memory.Memory method) get_writes_annotation_from_ws() (in module mythril.laser.plugin.plugins.dependency_pruner) get_written_slots_in_depth_str() (fdg.control.mine.Mine method) get_ws_dependency_annotation() (in module mythril.laser.plugin.plugins.dependency_pruner) GlobalState (class in mythril.laser.ethereum.state.global_state) graph_html() (mythril.mythril.mythril_analyzer.MythrilAnalyzer method) gt_() (mythril.laser.ethereum.instructions.Instruction method) Guider (class in fdg.control.guider)

H

handle_vm_exception() (mythril.laser.ethereum.svm.LaserEVM method) hash_for_function_signature() (mythril.mythril.mythril_disassembler.MythrilDisassembler static method)

hash_matcher (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager attribute) hex_to_dec() (in module mythril.ethereum.interface.rpc.utils)

I

id (mythril.solidity.soliditycontract.SolcSource property) identity() (in module mythril.laser.ethereum.natives) identity_dk_function_not_reachable() (fdg.fwrg_manager.UpdateFWRG method) If() (in module mythril.laser.smt.bitvec_helper) IllegalArgumentError import_solidity_file() (mythril.support.signatures.SignatureDB method) increment_states_pc() (mythril.laser.ethereum.instructions.StateTransition method) IndependenceSolver (class in mythril.laser.smt.solver.independence_solver) init() (fdg.control.guider.Guider method) init_installed_plugins() (mythril.plugin.discovery.PluginDiscovery method) init_mythril_dir() (mythril.mythril.mythril_config.MythrilConfig static method) initial_global_state() (mythril.laser.ethereum.transaction.transaction_models.BaseTransaction method) (mythril.laser.ethereum.transaction.transaction_models.ContractCreationTransaction method) (mythril.laser.ethereum.transaction.transaction_models.MessageCallTransaction method) initial_global_state_from_environment() (mythril.laser.ethereum.transaction.transaction_models.BaseTransaction method) initialize() (fdg.control.ftn_search_strategy.BFS method) (fdg.control.ftn_search_strategy.DFS method) (fdg.control.ftn_search_strategy.RandomBaseline method) (fdg.control.ftn_search_strategy.Seq method) (fdg.control.mine.Mine method) (fdg.fdg_pruner.FDG_pruner method) (mythril.laser.plugin.interface.LaserPlugin method) (mythril.laser.plugin.plugins.benchmark.BenchmarkPlugin method) (mythril.laser.plugin.plugins.call_depth_limiter.CallDepthLimit method) (mythril.laser.plugin.plugins.coverage.coverage_plugin.InstructionCoveragePlugin method) (mythril.laser.plugin.plugins.dependency_pruner.DependencyPruner method) (mythril.laser.plugin.plugins.instruction_profiler.InstructionProfiler method) (mythril.laser.plugin.plugins.mutation_pruner.MutationPruner method) InitialState (class in mythril.concolic.concrete_data) initialState (mythril.concolic.concrete_data.ConcreteData attribute) input (mythril.concolic.concrete_data.TransactionData attribute)

insert_ret_val() (in module mythril.laser.ethereum.util) installed_plugins (mythril.plugin.discovery.PluginDiscovery property) instr_hook() (mythril.laser.ethereum.svm.LaserEVM method) Instruction (class in mythril.laser.ethereum.instructions) instruction (mythril.laser.ethereum.state.global_state.GlobalState property) instruction_list_to_easm() (in module mythril.disassembler.asm) InstructionCoverage (class in fdg.preprocessing.instruction_coverage) InstructionCoveragePlugin (class in mythril.laser.plugin.plugins.coverage.coverage_plugin) InstructionModification (class in fdg.instruction_modification) InstructionProfiler (class in mythril.laser.plugin.plugins.instruction_profiler) InstructionProfilerBuilder (class in mythril.laser.plugin.plugins.instruction_profiler) instrument_virtual_machine() (mythril.laser.plugin.loader.LaserPluginLoader method) int_to_32bytearray() (in module mythril.laser.ethereum.natives) IntegerArithmetics (class in mythril.analysis.module.modules.integer) invalid_() (mythril.laser.ethereum.instructions.Instruction method) InvalidInstruction InvalidJumpDestination is_assertion_failure() (in module mythril.analysis.module.modules.exceptions) is_enabled() (mythril.laser.plugin.loader.LaserPluginLoader method) is_false (mythril.laser.smt.bool.Bool property) is_false() (in module mythril.laser.smt.bool) is_installed() (mythril.plugin.discovery.PluginDiscovery method) is_instruction_covered() (mythril.laser.plugin.plugins.coverage.coverage_plugin.InstructionCoveragePlugin method) is_possible() (mythril.laser.ethereum.state.constraints.Constraints method) is_prehook() (in module mythril.analysis.module.module_helpers) is_sequence_match() (in module mythril.disassembler.asm) is_true (mythril.laser.smt.bool.Bool property) is_true() (in module mythril.laser.smt.bool) is_unique_jumpdest() (in module mythril.analysis.module.modules.arbitrary_jump) Issue (class in mythril.analysis.report) IssueAnnotation (class in mythril.analysis.issue_annotation) iszero_() (mythril.laser.ethereum.instructions.Instruction method)

J

jump_() (mythril.laser.ethereum.instructions.Instruction method) jumpdest_() (mythril.laser.ethereum.instructions.Instruction method) JumpdestCountAnnotation (class in mythril.laser.ethereum.strategy.extensions.bounded_loops)

jumpi_() (mythril.laser.ethereum.instructions.Instruction method) jumpsub_() (mythril.laser.ethereum.instructions.Instruction method) JumpType (class in mythril.laser.ethereum.cfg)

K

K (class in mythril.laser.smt.array)

KeccakFunctionManager (class in mythril.laser.ethereum.function_managers.keccak_function_manager)

L

laser_hook() (mythril.laser.ethereum.svm.LaserEVM method) LaserEVM (class in mythril.laser.ethereum.svm) LaserPlugin (class in mythril.laser.plugin.interface) LaserPluginLoader (class in mythril.laser.plugin.loader) LastJumpAnnotation (class in mythril.analysis.module.modules.exceptions) load() (mythril.laser.plugin.loader.LaserPluginLoader method) (mythril.plugin.loader.MythrilPluginLoader method) load_code() (in module mythril.interfaces.cli) load_from_address() (mythril.mythril.mythril_disassembler.MythrilDisassembler method) load_from_bytecode() (mythril.mythril.mythril_disassembler.MythrilDisassembler method)

load_from_foundry() (mythril.mythril.mythril_disassembler.MythrilDisassembler method) load_from_solidity() (mythril.mythril.mythril_disassembler.MythrilDisassembler method) LockFile (class in mythril.support.lock) LockFileException log (in module fdg.preprocessing.preprocess) log_() (mythril.laser.ethereum.instructions.Instruction method) LolCat (class in mythril.interfaces.epic) lookup_online() (mythril.support.signatures.SignatureDB static method) LRUCache (class in mythril.support.support_utils) LShR() (in module mythril.laser.smt.bitvec_helper) lt_() (mythril.laser.ethereum.instructions.Instruction method)

M

MachineStack (class in mythril.laser.ethereum.state.machine_state) MachineState (class in mythril.laser.ethereum.state.machine_state) main() (in module mythril.interfaces.cli) main_preprocessing_end() (fdg.preprocessing.preprocess.Preprocessing method) main_preprocessing_start() (fdg.preprocessing.preprocess.Preprocessing method) manage_cfg() (mythril.laser.ethereum.svm.LaserEVM method) matches_expression() (mythril.ethereum.evmcontract.EVMContract method) maximize() (mythril.laser.smt.solver.solver.Optimize method) mem_extend() (mythril.laser.ethereum.state.machine_state.MachineState method) Memory (class in mythril.laser.ethereum.state.memory) memory_size (mythril.laser.ethereum.state.machine_state.MachineState property) memory_write() (mythril.laser.ethereum.state.machine_state.MachineState method) merge_annotation() (mythril.laser.ethereum.state.annotation.MergeableStateAnnotation method) (mythril.laser.plugin.plugins.plugin_annotations.DependencyAnnotation method) (mythril.laser.plugin.plugins.plugin_annotations.WSDependencyAnnotation method) MergeableStateAnnotation (class in mythril.laser.ethereum.state.annotation) MessageCallTransaction (class in mythril.laser.ethereum.transaction.transaction_models) Mine (class in fdg.control.mine) minimize() (mythril.laser.smt.solver.solver.Optimize method) mload_() (mythril.laser.ethereum.instructions.Instruction method) mod_() (mythril.laser.ethereum.instructions.Instruction method) mod_exp() (in module mythril.laser.ethereum.natives) Model (class in mythril.laser.smt.model) model() (mythril.laser.smt.solver.independence_solver.IndependenceSolver method) (mythril.laser.smt.solver.solver.BaseSolver method) ModelCache (class in mythril.support.support_utils) modify_no_modification() (fdg.instruction_modification.InstructionModification method) modify_on_a_state__str() (fdg.instruction_modification.InstructionModification method) modity_on_multiple_states() (fdg.instruction_modification.InstructionModification method) module fdg fdg.control fdg.control.ftn_search_strategy fdg.control.function_assignment fdg.control.guider fdg.control.mine fdg.control.weight_computation fdg.fdg_pruner fdg.function_coverage fdg.fwrg_manager fdg.global_config fdg.instruction_modification fdg.preprocessing fdg.preprocessing.address_collection fdg.preprocessing.instruction_coverage fdg.preprocessing.preprocess fdg.preprocessing.read_in_conditions fdg.preprocessing.write_read_info mythril mythril.analysis mythril.analysis.analysis_args mythril.analysis.call_helpers mythril.analysis.callgraph mythril.analysis.issue_annotation mythril.analysis.module mythril.analysis.module.base mythril.analysis.module.loader mythril.analysis.module.module_helpers mythril.analysis.module.modules mythril.analysis.module.modules.arbitrary_jump mythril.analysis.module.modules.arbitrary_write mythril.analysis.module.modules.delegatecall mythril.analysis.module.modules.dependence_on_origin mythril.analysis.module.modules.dependence_on_predictable_vars mythril.analysis.module.modules.ether_thief mythril.analysis.module.modules.exceptions mythril.analysis.module.modules.external_calls mythril.analysis.module.modules.integer mythril.analysis.module.modules.multiple_sends mythril.analysis.module.modules.state_change_external_calls mythril.analysis.module.modules.suicide mythril.analysis.module.modules.unchecked_retval mythril.analysis.module.modules.user_assertions mythril.analysis.module.util mythril.analysis.ops mythril.analysis.potential_issues mythril.analysis.report mythril.analysis.security mythril.analysis.solver mythril.analysis.swc_data mythril.analysis.symbolic mythril.analysis.traceexplore mythril.concolic mythril.concolic.concolic_execution mythril.concolic.concrete_data mythril.concolic.find_trace mythril.disassembler mythril.disassembler.asm mythril.disassembler.disassembly mythril.ethereum mythril.ethereum.evmcontract mythril.ethereum.interface mythril.ethereum.interface.rpc mythril.ethereum.interface.rpc.base_client mythril.ethereum.interface.rpc.client mythril.ethereum.interface.rpc.constants mythril.ethereum.interface.rpc.exceptions mythril.ethereum.interface.rpc.utils mythril.ethereum.util mythril.exceptions mythril.interfaces mythril.interfaces.cli mythril.interfaces.epic mythril.laser mythril.laser.ethereum mythril.laser.ethereum.call mythril.laser.ethereum.cfg mythril.laser.ethereum.evm_exceptions mythril.laser.ethereum.function_managers mythril.laser.ethereum.function_managers.exponent_function_manager mythril.laser.ethereum.function_managers.keccak_function_manager mythril.laser.ethereum.instruction_data mythril.laser.ethereum.instructions mythril.laser.ethereum.natives mythril.laser.ethereum.state mythril.laser.ethereum.state.account mythril.laser.ethereum.state.annotation mythril.laser.ethereum.state.calldata mythril.laser.ethereum.state.constraints mythril.laser.ethereum.state.environment mythril.laser.ethereum.state.global_state mythril.laser.ethereum.state.machine_state mythril.laser.ethereum.state.memory mythril.laser.ethereum.state.return_data mythril.laser.ethereum.state.world_state mythril.laser.ethereum.strategy mythril.laser.ethereum.strategy.basic mythril.laser.ethereum.strategy.beam mythril.laser.ethereum.strategy.concolic mythril.laser.ethereum.strategy.extensions mythril.laser.ethereum.strategy.extensions.bounded_loops mythril.laser.ethereum.svm mythril.laser.ethereum.time_handler mythril.laser.ethereum.transaction mythril.laser.ethereum.transaction.concolic mythril.laser.ethereum.transaction.symbolic mythril.laser.ethereum.transaction.transaction_models mythril.laser.ethereum.util mythril.laser.execution_info mythril.laser.plugin mythril.laser.plugin.builder mythril.laser.plugin.interface mythril.laser.plugin.loader mythril.laser.plugin.plugins mythril.laser.plugin.plugins.benchmark mythril.laser.plugin.plugins.call_depth_limiter mythril.laser.plugin.plugins.coverage mythril.laser.plugin.plugins.coverage.coverage_plugin mythril.laser.plugin.plugins.coverage.coverage_strategy mythril.laser.plugin.plugins.dependency_pruner mythril.laser.plugin.plugins.instruction_profiler mythril.laser.plugin.plugins.mutation_pruner mythril.laser.plugin.plugins.plugin_annotations mythril.laser.plugin.plugins.summary_backup mythril.laser.plugin.signals mythril.laser.smt mythril.laser.smt.array mythril.laser.smt.bitvec mythril.laser.smt.bitvec_helper mythril.laser.smt.bool mythril.laser.smt.expression mythril.laser.smt.function mythril.laser.smt.model mythril.laser.smt.solver mythril.laser.smt.solver.independence_solver mythril.laser.smt.solver.solver mythril.laser.smt.solver.solver_statistics mythril.mythril mythril.mythril.mythril_analyzer mythril.mythril.mythril_config mythril.mythril.mythril_disassembler mythril.plugin mythril.plugin.discovery mythril.plugin.interface mythril.plugin.loader mythril.solidity mythril.solidity.soliditycontract mythril.support mythril.support.loader mythril.support.lock mythril.support.model mythril.support.opcodes mythril.support.signatures mythril.support.source_support mythril.support.start_time mythril.support.support_args mythril.support.support_utils ModuleLoader (class in mythril.analysis.module.loader) msize_() (mythril.laser.ethereum.instructions.Instruction method) mstore8_() (mythril.laser.ethereum.instructions.Instruction method) mstore_() (mythril.laser.ethereum.instructions.Instruction method) mul_() (mythril.laser.ethereum.instructions.Instruction method) mulmod_() (mythril.laser.ethereum.instructions.Instruction method) MultipleSends (class in mythril.analysis.module.modules.multiple_sends) MultipleSendsAnnotation (class in mythril.analysis.module.modules.multiple_sends) MutationAnnotation (class in mythril.laser.plugin.plugins.plugin_annotations) MutationPruner (class in mythril.laser.plugin.plugins.mutation_pruner) MutationPrunerBuilder (class in mythril.laser.plugin.plugins.mutation_pruner) mythril module mythril.analysis module mythril.analysis.analysis_args module mythril.analysis.call_helpers module mythril.analysis.callgraph module mythril.analysis.issue_annotation module mythril.analysis.module module mythril.analysis.module.base module mythril.analysis.module.loader module mythril.analysis.module.module_helpers module mythril.analysis.module.modules module mythril.analysis.module.modules.arbitrary_jump module mythril.analysis.module.modules.arbitrary_write module mythril.analysis.module.modules.delegatecall module mythril.analysis.module.modules.dependence_on_origin module mythril.analysis.module.modules.dependence_on_predictable_vars module mythril.analysis.module.modules.ether_thief module mythril.analysis.module.modules.exceptions module mythril.analysis.module.modules.external_calls module mythril.analysis.module.modules.integer module mythril.analysis.module.modules.multiple_sends module mythril.analysis.module.modules.state_change_external_calls module

mythril.analysis.module.modules.suicide module mythril.analysis.module.modules.unchecked_retval module mythril.analysis.module.modules.user_assertions module mythril.analysis.module.util module mythril.analysis.ops module mythril.analysis.potential_issues module mythril.analysis.report module mythril.analysis.security module mythril.analysis.solver module mythril.analysis.swc_data module mythril.analysis.symbolic module mythril.analysis.traceexplore module mythril.concolic module mythril.concolic.concolic_execution module mythril.concolic.concrete_data module mythril.concolic.find_trace module mythril.disassembler module mythril.disassembler.asm module mythril.disassembler.disassembly module mythril.ethereum module mythril.ethereum.evmcontract module mythril.ethereum.interface module mythril.ethereum.interface.rpc module mythril.ethereum.interface.rpc.base_client module mythril.ethereum.interface.rpc.client module mythril.ethereum.interface.rpc.constants module mythril.ethereum.interface.rpc.exceptions module mythril.ethereum.interface.rpc.utils module mythril.ethereum.util module mythril.exceptions module mythril.interfaces module mythril.interfaces.cli module mythril.interfaces.epic module mythril.laser module mythril.laser.ethereum module mythril.laser.ethereum.call module mythril.laser.ethereum.cfg module mythril.laser.ethereum.evm_exceptions module mythril.laser.ethereum.function_managers module mythril.laser.ethereum.function_managers.exponent_function_manager module mythril.laser.ethereum.function_managers.keccak_function_manager module mythril.laser.ethereum.instruction_data module mythril.laser.ethereum.instructions module mythril.laser.ethereum.natives module mythril.laser.ethereum.state module mythril.laser.ethereum.state.account module mythril.laser.ethereum.state.annotation module mythril.laser.ethereum.state.calldata module mythril.laser.ethereum.state.constraints module mythril.laser.ethereum.state.environment module mythril.laser.ethereum.state.global_state module mythril.laser.ethereum.state.machine_state module mythril.laser.ethereum.state.memory module mythril.laser.ethereum.state.return_data module mythril.laser.ethereum.state.world_state module mythril.laser.ethereum.strategy module mythril.laser.ethereum.strategy.basic module mythril.laser.ethereum.strategy.beam module mythril.laser.ethereum.strategy.concolic module mythril.laser.ethereum.strategy.extensions module mythril.laser.ethereum.strategy.extensions.bounded_loops module mythril.laser.ethereum.svm module mythril.laser.ethereum.time_handler module mythril.laser.ethereum.transaction module mythril.laser.ethereum.transaction.concolic module mythril.laser.ethereum.transaction.symbolic module mythril.laser.ethereum.transaction.transaction_models module mythril.laser.ethereum.util module mythril.laser.execution_info module mythril.laser.plugin module mythril.laser.plugin.builder module mythril.laser.plugin.interface module mythril.laser.plugin.loader module mythril.laser.plugin.plugins module mythril.laser.plugin.plugins.benchmark module mythril.laser.plugin.plugins.call_depth_limiter module mythril.laser.plugin.plugins.coverage module mythril.laser.plugin.plugins.coverage.coverage_plugin module mythril.laser.plugin.plugins.coverage.coverage_strategy module mythril.laser.plugin.plugins.dependency_pruner module mythril.laser.plugin.plugins.instruction_profiler module mythril.laser.plugin.plugins.mutation_pruner module mythril.laser.plugin.plugins.plugin_annotations module mythril.laser.plugin.plugins.summary_backup module mythril.laser.plugin.signals module mythril.laser.smt module mythril.laser.smt.array module mythril.laser.smt.bitvec module mythril.laser.smt.bitvec_helper module mythril.laser.smt.bool module mythril.laser.smt.expression module mythril.laser.smt.function module mythril.laser.smt.model module mythril.laser.smt.solver module mythril.laser.smt.solver.independence_solver module mythril.laser.smt.solver.solver module mythril.laser.smt.solver.solver_statistics module mythril.mythril module mythril.mythril.mythril_analyzer module mythril.mythril.mythril_config module mythril.mythril.mythril_disassembler module mythril.plugin module mythril.plugin.discovery module mythril.plugin.interface module mythril.plugin.loader module mythril.solidity module mythril.solidity.soliditycontract module mythril.support module mythril.support.loader module mythril.support.lock module mythril.support.model module mythril.support.opcodes module mythril.support.signatures module mythril.support.source_support module mythril.support.start_time module mythril.support.support_args module mythril.support.support_utils module MythrilAnalyzer (class in mythril.mythril.mythril_analyzer) MythrilBaseException MythrilCLIPlugin (class in mythril.plugin.interface) MythrilConfig (class in mythril.mythril.mythril_config) MythrilDisassembler (class in mythril.mythril.mythril_disassembler) MythrilLaserPlugin (class in mythril.plugin.interface) MythrilPlugin (class in mythril.plugin.interface) MythrilPluginLoader (class in mythril.plugin.loader)

N

name (fdg.fdg_pruner.FDG_prunerBuilder attribute) (mythril.analysis.module.base.DetectionModule attribute) (mythril.analysis.module.modules.arbitrary_jump.ArbitraryJump attribute) (mythril.analysis.module.modules.arbitrary_write.ArbitraryStorage attribute) (mythril.analysis.module.modules.delegatecall.ArbitraryDelegateCall attribute) (mythril.analysis.module.modules.dependence_on_origin.TxOrigin attribute) (mythril.analysis.module.modules.dependence_on_predictable_vars.PredictableVariables attribute) (mythril.analysis.module.modules.ether_thief.EtherThief attribute) (mythril.analysis.module.modules.exceptions.Exceptions attribute) (mythril.analysis.module.modules.external_calls.ExternalCalls attribute) (mythril.analysis.module.modules.integer.IntegerArithmetics attribute) (mythril.analysis.module.modules.multiple_sends.MultipleSends attribute) (mythril.analysis.module.modules.state_change_external_calls.StateChangeAfterCall attribute) (mythril.analysis.module.modules.suicide.AccidentallyKillable attribute) (mythril.analysis.module.modules.unchecked_retval.UncheckedRetval attribute) (mythril.analysis.module.modules.user_assertions.UserAssertions attribute) (mythril.concolic.concrete_data.TransactionData attribute) (mythril.laser.plugin.builder.PluginBuilder attribute) (mythril.laser.plugin.plugins.benchmark.BenchmarkPluginBuilder attribute) (mythril.laser.plugin.plugins.call_depth_limiter.CallDepthLimitBuilder attribute) (mythril.laser.plugin.plugins.coverage.coverage_plugin.CoveragePluginBuilder attribute) (mythril.laser.plugin.plugins.dependency_pruner.DependencyPrunerBuilder attribute) (mythril.laser.plugin.plugins.instruction_profiler.InstructionProfilerBuilder attribute) (mythril.laser.plugin.plugins.mutation_pruner.MutationPrunerBuilder attribute) (mythril.plugin.interface.MythrilPlugin attribute) (mythril.solidity.soliditycontract.SolcSource property)

native_call() (in module mythril.laser.ethereum.call) native_contracts() (in module mythril.laser.ethereum.natives) NativeContractException new_bitvec() (mythril.laser.ethereum.state.global_state.GlobalState method) NoContractFoundError NoCopyAnnotation (class in mythril.laser.ethereum.state.annotation) Node (class in mythril.laser.ethereum.cfg) node_type (mythril.solidity.soliditycontract.SolcAST property) NodeFlags (class in mythril.laser.ethereum.cfg) nodes (mythril.solidity.soliditycontract.SolcAST property) nonce (mythril.concolic.concrete_data.AccountData attribute) Not() (in module mythril.laser.smt.bool) not_() (mythril.laser.ethereum.instructions.Instruction method) number_() (mythril.laser.ethereum.instructions.Instruction method)

O

OldBlockNumberUsedAnnotation (class in mythril.analysis.module.modules.dependence_on_predictable_vars) Op (class in mythril.analysis.ops) Optimize (class in mythril.laser.smt.solver.solver) Or() (in module mythril.laser.smt.bool) or_() (mythril.laser.ethereum.instructions.Instruction method) organize_paths() (fdg.fwrg_manager.AcyclicPath method)

organize_states() (fdg.control.guider.Guider method) origin (mythril.concolic.concrete_data.TransactionData attribute) origin_() (mythril.laser.ethereum.instructions.Instruction method) OutOfGasException OverUnderflowAnnotation (class in mythril.analysis.module.modules.integer) OverUnderflowStateAnnotation (class in mythril.analysis.module.modules.integer)

P

parse_args_and_execute() (in module mythril.interfaces.cli) parse_list_of_lists() (in module mythril.interfaces.cli) parse_pragma() (in module mythril.ethereum.util) pc_() (mythril.laser.ethereum.instructions.Instruction method) persist_over_calls (mythril.analysis.issue_annotation.IssueAnnotation property) (mythril.laser.ethereum.state.annotation.StateAnnotation property) (mythril.laser.ethereum.strategy.concolic.TraceAnnotation property) (mythril.laser.plugin.plugins.plugin_annotations.MutationAnnotation property) persist_to_world_state (mythril.laser.ethereum.state.annotation.StateAnnotation property) persist_to_world_state() (mythril.analysis.issue_annotation.IssueAnnotation method) pickup_a_state() (fdg.control.mine.Mine method) plugin_description (mythril.plugin.interface.MythrilPlugin attribute) plugin_license (mythril.plugin.interface.MythrilPlugin attribute) plugin_type (mythril.plugin.interface.MythrilPlugin attribute) plugin_version (mythril.plugin.interface.MythrilPlugin attribute) PluginBuilder (class in mythril.laser.plugin.builder) PluginDiscovery (class in mythril.plugin.discovery) PluginSignal PluginSkipState PluginSkipWorldState pop() (mythril.laser.ethereum.state.machine_state.MachineStack method) (mythril.laser.ethereum.state.machine_state.MachineState method) (mythril.laser.smt.solver.independence_solver.IndependenceSolver method) (mythril.laser.smt.solver.solver.Solver method) pop_() (mythril.laser.ethereum.instructions.Instruction method) pop_bitvec() (in module mythril.laser.ethereum.util) POST (mythril.analysis.module.base.EntryPoint attribute) post_handler() (mythril.laser.ethereum.instructions.Instruction method) post_hook() (mythril.laser.ethereum.svm.LaserEVM method) post_hooks (mythril.analysis.module.base.DetectionModule attribute) (mythril.analysis.module.modules.dependence_on_origin.TxOrigin attribute) (mythril.analysis.module.modules.dependence_on_predictable_vars.PredictableVariables attribute) (mythril.analysis.module.modules.ether_thief.EtherThief attribute) (mythril.analysis.module.modules.unchecked_retval.UncheckedRetval attribute) PotentialIssue (class in mythril.analysis.potential_issues)

PotentialIssuesAnnotation (class in mythril.analysis.potential_issues) pre_hook() (mythril.laser.ethereum.svm.LaserEVM method) pre_hooks (mythril.analysis.module.base.DetectionModule attribute) (mythril.analysis.module.modules.arbitrary_jump.ArbitraryJump attribute) (mythril.analysis.module.modules.arbitrary_write.ArbitraryStorage attribute) (mythril.analysis.module.modules.delegatecall.ArbitraryDelegateCall attribute) (mythril.analysis.module.modules.dependence_on_origin.TxOrigin attribute) (mythril.analysis.module.modules.dependence_on_predictable_vars.PredictableVariables attribute) (mythril.analysis.module.modules.exceptions.Exceptions attribute) (mythril.analysis.module.modules.external_calls.ExternalCalls attribute) (mythril.analysis.module.modules.integer.IntegerArithmetics attribute) (mythril.analysis.module.modules.multiple_sends.MultipleSends attribute) (mythril.analysis.module.modules.state_change_external_calls.StateChangeAfterCall attribute) (mythril.analysis.module.modules.suicide.AccidentallyKillable attribute) (mythril.analysis.module.modules.unchecked_retval.UncheckedRetval attribute) (mythril.analysis.module.modules.user_assertions.UserAssertions attribute) PredictableValueAnnotation (class in mythril.analysis.module.modules.dependence_on_predictable_vars) PredictableVariables (class in mythril.analysis.module.modules.dependence_on_predictable_vars) Preprocessing (class in fdg.preprocessing.preprocess) preprocessing_pre_hook() (mythril.laser.ethereum.svm.LaserEVM method) pretty_print_model() (in module mythril.analysis.solver) print_coverage() (fdg.function_coverage.FunctionCoverage method) print_function_report() (in module mythril.interfaces.cli) print_graphs() (fdg.fwrg_manager.UpdateFWRG method) print_not_covered_instructions() (fdg.function_coverage.FunctionCoverage method) print_read_slot_info() (fdg.preprocessing.read_in_conditions.ReadInCondition method) print_state_info() (fdg.preprocessing.instruction_coverage.InstructionCoverage method) print_write_read_info() (fdg.preprocessing.write_read_info.Function_Write_Read_Info method) println() (mythril.interfaces.epic.LolCat method) println_ani() (mythril.interfaces.epic.LolCat method) println_plain() (mythril.interfaces.epic.LolCat method) push_() (mythril.laser.ethereum.instructions.Instruction method) put() (mythril.support.support_utils.LRUCache method) (mythril.support.support_utils.ModelCache method) put_account() (mythril.laser.ethereum.state.world_state.WorldState method)

R

rainbow() (mythril.interfaces.epic.LolCat method) RandomBaseline (class in fdg.control.ftn_search_strategy) read_balance() (mythril.support.loader.DynLoader method) read_storage() (mythril.support.loader.DynLoader method) ReadInCondition (class in fdg.preprocessing.read_in_conditions) record_assignment() (fdg.control.function_assignment.FunctionAssignment method) refine_read_write_slots() (fdg.preprocessing.write_read_info.Function_Write_Read_Info method) register_hooks() (mythril.laser.ethereum.svm.LaserEVM method) register_instr_hooks() (mythril.laser.ethereum.svm.LaserEVM method) register_laser_hooks() (mythril.laser.ethereum.svm.LaserEVM method) register_module() (mythril.analysis.module.loader.ModuleLoader method) release() (mythril.support.lock.LockFile method) Report (class in mythril.analysis.report) reset() (in module mythril.interfaces.epic) (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager method) (mythril.laser.smt.solver.independence_solver.IndependenceSolver method) (mythril.laser.smt.solver.solver.Solver method) reset_callback_modules() (in module mythril.analysis.module.util) reset_module() (mythril.analysis.module.base.DetectionModule method) (mythril.analysis.module.modules.arbitrary_jump.ArbitraryJump method) (mythril.analysis.module.modules.arbitrary_write.ArbitraryStorage method) (mythril.analysis.module.modules.ether_thief.EtherThief method) (mythril.analysis.module.modules.integer.IntegerArithmetics method) (mythril.analysis.module.modules.suicide.AccidentallyKillable method)

resolve_function_names() (mythril.analysis.report.Issue method) resolve_input() (mythril.analysis.report.Issue static method) restart_counter() (mythril.laser.ethereum.transaction.transaction_models.TxIdManager method) retrieve_callback_issues() (in module mythril.analysis.security) RETURN (mythril.laser.ethereum.cfg.JumpType attribute) return_() (mythril.laser.ethereum.instructions.Instruction method) ReturnData (class in mythril.laser.ethereum.state.return_data) returndatacopy_() (mythril.laser.ethereum.instructions.Instruction method) returndatasize_() (mythril.laser.ethereum.instructions.Instruction method) ReturnRandomNaivelyStrategy (class in mythril.laser.ethereum.strategy.basic) returnsub_() (mythril.laser.ethereum.instructions.Instruction method) ReturnWeightedRandomStrategy (class in mythril.laser.ethereum.strategy.basic) RetVal (class in mythril.analysis.module.modules.unchecked_retval) retval (mythril.analysis.module.modules.unchecked_retval.RetVal attribute) revert_() (mythril.laser.ethereum.instructions.Instruction method) ripemd160() (in module mythril.laser.ethereum.natives) run() (in module mythril.interfaces.epic) run_check() (mythril.laser.ethereum.strategy.BasicSearchStrategy method) rzpad() (in module mythril.support.support_utils)

S

safe_decode() (in module mythril.ethereum.util) (in module mythril.laser.ethereum.util) safe_ord() (in module mythril.laser.ethereum.natives) sar_() (mythril.laser.ethereum.instructions.Instruction method) save_genesis_states() (fdg.control.guider.Guider method) save_states() (fdg.control.ftn_search_strategy.FunctionSearchStrategy method) sdiv_() (mythril.laser.ethereum.instructions.Instruction method) search_importance (mythril.analysis.potential_issues.PotentialIssuesAnnotation property) (mythril.laser.ethereum.state.annotation.StateAnnotation property) select_functions_randomly() (fdg.control.function_assignment.FunctionAssignment method) selfbalance_() (mythril.laser.ethereum.instructions.Instruction method) selfdestruct_() (mythril.laser.ethereum.instructions.Instruction method) Seq (class in fdg.control.ftn_search_strategy) serialised_code() (mythril.laser.ethereum.state.account.Account method) set_api_from_config_path() (mythril.mythril.mythril_config.MythrilConfig method) set_api_infura_id() (mythril.mythril.mythril_config.MythrilConfig method) set_api_rpc() (mythril.mythril.mythril_config.MythrilConfig method) set_api_rpc_infura() (mythril.mythril.mythril_config.MythrilConfig method) set_api_rpc_localhost() (mythril.mythril.mythril_config.MythrilConfig method) set_args() (mythril.plugin.loader.MythrilPluginLoader method) set_balance() (mythril.laser.ethereum.state.account.Account method) set_config() (in module mythril.interfaces.cli) set_counter() (mythril.laser.ethereum.transaction.transaction_models.TxIdManager method) set_criterion_satisfied() (mythril.laser.ethereum.strategy.CriterionSearchStrategy method) set_data() (mythril.laser.ethereum.function_managers.keccak_function_manager.KeccakFunctionManager method) set_runtime_bytecode() (fdg.function_coverage.FunctionCoverage method) set_storage() (mythril.laser.ethereum.state.account.Account method) set_timeout() (mythril.laser.smt.solver.independence_solver.IndependenceSolver method) (mythril.laser.smt.solver.solver.BaseSolver method) setup_concrete_initial_state() (in module mythril.concolic.find_trace) sexpr() (mythril.laser.smt.solver.solver.BaseSolver method) sgt_() (mythril.laser.ethereum.instructions.Instruction method) sha256() (in module mythril.laser.ethereum.natives) sha3() (in module mythril.support.support_utils) sha3_() (mythril.laser.ethereum.instructions.Instruction method) shl_() (mythril.laser.ethereum.instructions.Instruction method) should_terminate() (fdg.control.guider.Guider method) shr_() (mythril.laser.ethereum.instructions.Instruction method) SignatureDB (class in mythril.support.signatures) signextend_() (mythril.laser.ethereum.instructions.Instruction method) simple_mean() (in module fdg.control.weight_computation) simplify() (in module mythril.laser.smt.expression) (mythril.laser.smt.expression.Expression method) simplify_yes() (in module mythril.laser.smt.expression) (mythril.laser.smt.expression.Expression method) Singleton (class in mythril.support.signatures) (class in mythril.support.support_utils) size (mythril.laser.ethereum.state.calldata.BaseCalldata property) (mythril.laser.ethereum.state.calldata.BasicConcreteCalldata property) (mythril.laser.ethereum.state.calldata.BasicSymbolicCalldata property) (mythril.laser.ethereum.state.calldata.ConcreteCalldata property) (mythril.laser.ethereum.state.calldata.SymbolicCalldata property) (mythril.laser.ethereum.state.return_data.ReturnData property) size() (mythril.laser.smt.bitvec.BitVec method) (mythril.laser.smt.expression.Expression method) sload_() (mythril.laser.ethereum.instructions.Instruction method) slt_() (mythril.laser.ethereum.instructions.Instruction method) smod_() (mythril.laser.ethereum.instructions.Instruction method) solc_exists() (in module mythril.ethereum.util) SolcAST (class in mythril.solidity.soliditycontract)

SolcSource (class in mythril.solidity.soliditycontract) SolidityContract (class in mythril.solidity.soliditycontract) SolidityFile (class in mythril.solidity.soliditycontract) Solver (class in mythril.laser.smt.solver.solver) solver_worker() (in module mythril.support.model) SolverStatistics (class in mythril.laser.smt.solver.solver_statistics) SolverTimeOutException sort_and_eliminate_states() (mythril.laser.ethereum.strategy.beam.BeamSearch method) sorted_issues() (mythril.analysis.report.Report method) Source (class in mythril.support.source_support) SourceCodeInfo (class in mythril.solidity.soliditycontract) SourceMapping (class in mythril.solidity.soliditycontract) SQLiteDB (class in mythril.support.signatures) SRem() (in module mythril.laser.smt.bitvec_helper) sstore_() (mythril.laser.ethereum.instructions.Instruction method) STACK_LIMIT (mythril.laser.ethereum.state.machine_state.MachineStack attribute) StackOverflowException StackUnderflowException start_execution() (mythril.laser.ethereum.time_handler.TimeHandler method) start_iteration() (fdg.control.guider.Guider method) StartTime (class in mythril.support.start_time) stat_smt_query() (in module mythril.laser.smt.solver.solver_statistics) StateAnnotation (class in mythril.laser.ethereum.state.annotation) StateChangeAfterCall (class in mythril.analysis.module.modules.state_change_external_calls) StateChangeCallsAnnotation (class in mythril.analysis.module.modules.state_change_external_calls) StateTransition (class in mythril.laser.ethereum.instructions) staticcall_() (mythril.laser.ethereum.instructions.Instruction method) staticcall_post() (mythril.laser.ethereum.instructions.Instruction method) steps (mythril.concolic.concrete_data.ConcreteData attribute) stop_() (mythril.laser.ethereum.instructions.Instruction method) Storage (class in mythril.laser.ethereum.state.account) storage (mythril.concolic.concrete_data.AccountData attribute) sub_() (mythril.laser.ethereum.instructions.Instruction method) substitute() (mythril.laser.smt.array.BaseArray method) (mythril.laser.smt.bool.Bool method) Sum() (in module mythril.laser.smt.bitvec_helper) SVMError swap_() (mythril.laser.ethereum.instructions.Instruction method) swc_id (mythril.analysis.module.base.DetectionModule attribute) (mythril.analysis.module.modules.arbitrary_jump.ArbitraryJump attribute) (mythril.analysis.module.modules.arbitrary_write.ArbitraryStorage attribute) (mythril.analysis.module.modules.delegatecall.ArbitraryDelegateCall attribute) (mythril.analysis.module.modules.dependence_on_origin.TxOrigin attribute) (mythril.analysis.module.modules.dependence_on_predictable_vars.PredictableVariables attribute) (mythril.analysis.module.modules.ether_thief.EtherThief attribute) (mythril.analysis.module.modules.exceptions.Exceptions attribute) (mythril.analysis.module.modules.external_calls.ExternalCalls attribute) (mythril.analysis.module.modules.integer.IntegerArithmetics attribute) (mythril.analysis.module.modules.multiple_sends.MultipleSends attribute) (mythril.analysis.module.modules.state_change_external_calls.StateChangeAfterCall attribute) (mythril.analysis.module.modules.suicide.AccidentallyKillable attribute) (mythril.analysis.module.modules.unchecked_retval.UncheckedRetval attribute) (mythril.analysis.module.modules.user_assertions.UserAssertions attribute) sym_exec() (mythril.laser.ethereum.svm.LaserEVM method) SymbolFactory (class in mythril.laser.smt) SYMBOLIC (mythril.analysis.ops.VarType attribute) symbolic (mythril.laser.smt.bitvec.BitVec property) SymbolicCalldata (class in mythril.laser.ethereum.state.calldata) SymExecWrapper (class in mythril.analysis.symbolic) synchronized() (in module mythril.support.signatures)

T

termination() (fdg.control.ftn_search_strategy.BFS method) (fdg.control.ftn_search_strategy.DFS method) (fdg.control.ftn_search_strategy.FunctionSearchStrategy method) (fdg.control.ftn_search_strategy.RandomBaseline method) (fdg.control.ftn_search_strategy.Seq method) (fdg.control.mine.Mine method) test_1() (in module fdg.fwrg_manager) test_2() (in module fdg.fwrg_manager) time_remaining() (mythril.laser.ethereum.time_handler.TimeHandler method) TimeHandler (class in mythril.laser.ethereum.time_handler) timestamp_() (mythril.laser.ethereum.instructions.Instruction method) to_dict() (mythril.disassembler.asm.EvmInstruction method)

to_signed() (in module mythril.laser.ethereum.util) TraceAnnotation (class in mythril.laser.ethereum.strategy.concolic) Transaction (mythril.laser.ethereum.cfg.JumpType attribute) transaction_sequence_jsonv2 (mythril.analysis.report.Issue property) transaction_sequence_users (mythril.analysis.report.Issue property) TransactionData (class in mythril.concolic.concrete_data) TransactionEndSignal TransactionStartSignal transfer_ether() (in module mythril.laser.ethereum.instructions) turn_write_features_to_a_value() (in module fdg.control.weight_computation) TxIdManager (class in mythril.laser.ethereum.transaction.transaction_models) TxOrigin (class in mythril.analysis.module.modules.dependence_on_origin) TxOriginAnnotation (class in mythril.analysis.module.modules.dependence_on_origin)

U

UDiv() (in module mythril.laser.smt.bitvec_helper) UGE() (in module mythril.laser.smt.bitvec_helper) UGT() (in module mythril.laser.smt.bitvec_helper) ULE() (in module mythril.laser.smt.bitvec_helper) ULT() (in module mythril.laser.smt.bitvec_helper) UncheckedRetval (class in mythril.analysis.module.modules.unchecked_retval) UncheckedRetvalAnnotation (class in mythril.analysis.module.modules.unchecked_retval) UNCONDITIONAL (mythril.laser.ethereum.cfg.JumpType attribute) UnsatError UnsupportedPluginType

update_cache() (mythril.analysis.module.base.DetectionModule method) update_calls() (mythril.laser.plugin.plugins.dependency_pruner.DependencyPruner method) update_coverage() (fdg.preprocessing.instruction_coverage.InstructionCoverage method) update_sload() (fdg.preprocessing.write_read_info.Function_Write_Read_Info method) update_sloads() (mythril.laser.plugin.plugins.dependency_pruner.DependencyPruner method) update_sstore() (fdg.preprocessing.write_read_info.Function_Write_Read_Info method) update_sstores() (mythril.laser.plugin.plugins.dependency_pruner.DependencyPruner method) update_states() (fdg.control.mine.Mine method) UpdateFWRG (class in fdg.fwrg_manager) URem() (in module mythril.laser.smt.bitvec_helper) UserAssertions (class in mythril.analysis.module.modules.user_assertions)

V

validate_args() (in module mythril.interfaces.cli) validate_block() (in module mythril.ethereum.interface.rpc.utils) value (mythril.concolic.concrete_data.TransactionData attribute) (mythril.laser.smt.bitvec.BitVec property) (mythril.laser.smt.bool.Bool property) Variable (class in mythril.analysis.ops)

VarType (class in mythril.analysis.ops) view_strategic_global_state() (mythril.laser.ethereum.strategy.basic.BreadthFirstSearchStrategy method) (mythril.laser.ethereum.strategy.basic.DepthFirstSearchStrategy method) (mythril.laser.ethereum.strategy.basic.ReturnRandomNaivelyStrategy method) (mythril.laser.ethereum.strategy.basic.ReturnWeightedRandomStrategy method) (mythril.laser.ethereum.strategy.beam.BeamSearch method) VmException

W

wanna_execute() (mythril.laser.plugin.plugins.dependency_pruner.DependencyPruner method) wei_to_ether() (in module mythril.ethereum.interface.rpc.utils) weighted_mean() (in module fdg.control.weight_computation) when_no_children_assigned() (fdg.control.function_assignment.FunctionAssignment method)

WorldState (class in mythril.laser.ethereum.state.world_state) wrap() (mythril.interfaces.epic.LolCat method) write_word_at() (mythril.laser.ethereum.state.memory.Memory method) WriteProtection WSDependencyAnnotation (class in mythril.laser.plugin.plugins.plugin_annotations)

X

Xor() (in module mythril.laser.smt.bool)

xor_() (mythril.laser.ethereum.instructions.Instruction method)

Z

zpad() (in module mythril.support.support_utils)