mythril.laser package

Subpackages

• mythril.laser.ethereum package
  • Subpackages
    • mythril.laser.ethereum.function_managers package
      • Submodules
      • mythril.laser.ethereum.function_managers.exponent_function_manager module
      • mythril.laser.ethereum.function_managers.keccak_function_manager module
      • Module contents
    • mythril.laser.ethereum.state package
      • Submodules
      • 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
      • Module contents
    • mythril.laser.ethereum.strategy package
      • Subpackages
      • Submodules
      • mythril.laser.ethereum.strategy.basic module
      • mythril.laser.ethereum.strategy.beam module
      • mythril.laser.ethereum.strategy.concolic module
      • Module contents
    • mythril.laser.ethereum.transaction package
      • Submodules
      • mythril.laser.ethereum.transaction.concolic module
      • mythril.laser.ethereum.transaction.symbolic module
      • mythril.laser.ethereum.transaction.transaction_models module
      • Module contents
  • Submodules
  • mythril.laser.ethereum.call module
    • get_call_data()
    • get_call_parameters()
    • get_callee_account()
    • get_callee_address()
    • native_call()
  • mythril.laser.ethereum.cfg module
    • Edge
      • Edge.as_dict
    • JumpType
      • JumpType.CALL
      • JumpType.CONDITIONAL
      • JumpType.RETURN
      • JumpType.Transaction
      • JumpType.UNCONDITIONAL
    • Node
      • Node.get_cfg_dict()
    • NodeFlags
  • mythril.laser.ethereum.evm_exceptions module
    • InvalidInstruction
    • InvalidJumpDestination
    • OutOfGasException
    • StackOverflowException
    • StackUnderflowException
    • VmException
    • WriteProtection
  • mythril.laser.ethereum.instruction_data module
    • calculate_native_gas()
    • calculate_sha3_gas()
    • get_opcode_gas()
    • get_required_stack_elements()
  • mythril.laser.ethereum.instructions module
    • Instruction
      • Instruction.add_()
      • Instruction.addmod_()
      • Instruction.address_()
      • Instruction.and_()
      • Instruction.assert_fail_()
      • Instruction.balance_()
      • Instruction.basefee_()
      • Instruction.beginsub_()
      • Instruction.blockhash_()
      • Instruction.byte_()
      • Instruction.call_()
      • Instruction.call_post()
      • Instruction.callcode_()
      • Instruction.callcode_post()
      • Instruction.calldatacopy_()
      • Instruction.calldataload_()
      • Instruction.calldatasize_()
      • Instruction.caller_()
      • Instruction.callvalue_()
      • Instruction.chainid_()
      • Instruction.codecopy_()
      • Instruction.codesize_()
      • Instruction.coinbase_()
      • Instruction.create2_()
      • Instruction.create2_post()
      • Instruction.create_()
      • Instruction.create_post()
      • Instruction.delegatecall_()
      • Instruction.delegatecall_post()
      • Instruction.difficulty_()
      • Instruction.div_()
      • Instruction.dup_()
      • Instruction.empty_()
      • Instruction.eq_()
      • Instruction.evaluate()
      • Instruction.exp_()
      • Instruction.extcodecopy_()
      • Instruction.extcodehash_()
      • Instruction.extcodesize_()
      • Instruction.gas_()
      • Instruction.gaslimit_()
      • Instruction.gasprice_()
      • Instruction.gt_()
      • Instruction.invalid_()
      • Instruction.iszero_()
      • Instruction.jump_()
      • Instruction.jumpdest_()
      • Instruction.jumpi_()
      • Instruction.jumpsub_()
      • Instruction.log_()
      • Instruction.lt_()
      • Instruction.mload_()
      • Instruction.mod_()
      • Instruction.msize_()
      • Instruction.mstore8_()
      • Instruction.mstore_()
      • Instruction.mul_()
      • Instruction.mulmod_()
      • Instruction.not_()
      • Instruction.number_()
      • Instruction.or_()
      • Instruction.origin_()
      • Instruction.pc_()
      • Instruction.pop_()
      • Instruction.post_handler()
      • Instruction.push_()
      • Instruction.return_()
      • Instruction.returndatacopy_()
      • Instruction.returndatasize_()
      • Instruction.returnsub_()
      • Instruction.revert_()
      • Instruction.sar_()
      • Instruction.sdiv_()
      • Instruction.selfbalance_()
      • Instruction.selfdestruct_()
      • Instruction.sgt_()
      • Instruction.sha3_()
      • Instruction.shl_()
      • Instruction.shr_()
      • Instruction.signextend_()
      • Instruction.sload_()
      • Instruction.slt_()
      • Instruction.smod_()
      • Instruction.sstore_()
      • Instruction.staticcall_()
      • Instruction.staticcall_post()
      • Instruction.stop_()
      • Instruction.sub_()
      • Instruction.swap_()
      • Instruction.timestamp_()
      • Instruction.xor_()
    • StateTransition
      • StateTransition.accumulate_gas()
      • StateTransition.call_on_state_copy()
      • StateTransition.check_gas_usage_limit()
      • StateTransition.increment_states_pc()
    • transfer_ether()
  • mythril.laser.ethereum.natives module
    • NativeContractException
    • blake2b_fcompress()
    • ec_add()
    • ec_mul()
    • ec_pair()
    • ecrecover()
    • ecrecover_to_pub()
    • encode_int32()
    • identity()
    • int_to_32bytearray()
    • mod_exp()
    • native_contracts()
    • ripemd160()
    • safe_ord()
    • sha256()
  • mythril.laser.ethereum.svm module
    • LaserEVM
      • LaserEVM.exec()
      • LaserEVM.exec_preprocessing()
      • LaserEVM.execute_state()
      • LaserEVM.execute_state_preprocessing()
      • LaserEVM.execute_transactions()
      • LaserEVM.extend_strategy()
      • LaserEVM.handle_vm_exception()
      • LaserEVM.instr_hook()
      • LaserEVM.laser_hook()
      • LaserEVM.manage_cfg()
      • LaserEVM.post_hook()
      • LaserEVM.pre_hook()
      • LaserEVM.preprocessing_pre_hook()
      • LaserEVM.register_hooks()
      • LaserEVM.register_instr_hooks()
      • LaserEVM.register_laser_hooks()
      • LaserEVM.sym_exec()
    • SVMError
  • mythril.laser.ethereum.time_handler module
    • TimeHandler
      • TimeHandler.start_execution()
      • TimeHandler.time_remaining()
  • mythril.laser.ethereum.util module
    • bytearray_to_int()
    • concrete_int_from_bytes()
    • concrete_int_to_bytes()
    • extract32()
    • extract_copy()
    • get_concrete_int()
    • get_instruction_index()
    • get_trace_line()
    • insert_ret_val()
    • pop_bitvec()
    • safe_decode()
    • to_signed()
  • Module contents
• mythril.laser.plugin package
  • Subpackages
    • mythril.laser.plugin.plugins package
      • Subpackages
      • Submodules
      • mythril.laser.plugin.plugins.benchmark module
      • mythril.laser.plugin.plugins.call_depth_limiter 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
      • Module contents
  • Submodules
  • mythril.laser.plugin.builder module
    • PluginBuilder
      • PluginBuilder.name
  • mythril.laser.plugin.interface module
    • LaserPlugin
      • LaserPlugin.initialize()
  • mythril.laser.plugin.loader module
    • LaserPluginLoader
      • LaserPluginLoader.add_args()
      • LaserPluginLoader.enable()
      • LaserPluginLoader.instrument_virtual_machine()
      • LaserPluginLoader.is_enabled()
      • LaserPluginLoader.load()
  • mythril.laser.plugin.signals module
    • PluginSignal
    • PluginSkipState
    • PluginSkipWorldState
  • Module contents
• mythril.laser.smt package
  • Subpackages
    • mythril.laser.smt.solver package
      • Submodules
      • mythril.laser.smt.solver.independence_solver module
      • mythril.laser.smt.solver.solver module
      • mythril.laser.smt.solver.solver_statistics module
      • Module contents
  • Submodules
  • mythril.laser.smt.array module
    • Array
    • BaseArray
      • BaseArray.substitute()
    • K
  • mythril.laser.smt.bitvec module
    • BitVec
      • BitVec.size()
      • BitVec.symbolic
      • BitVec.value
  • mythril.laser.smt.bitvec_helper module
    • BVAddNoOverflow()
    • BVMulNoOverflow()
    • BVSubNoUnderflow()
    • Concat()
    • Extract()
    • If()
    • LShR()
    • SRem()
    • Sum()
    • UDiv()
    • UGE()
    • UGT()
    • ULE()
    • ULT()
    • URem()
  • mythril.laser.smt.bool module
    • And()
    • Bool
      • Bool.is_false
      • Bool.is_true
      • Bool.substitute()
      • Bool.value
    • Not()
    • Or()
    • Xor()
    • is_false()
    • is_true()
  • mythril.laser.smt.expression module
    • Expression
      • Expression.annotate()
      • Expression.annotations
      • Expression.get_annotations()
      • Expression.simplify()
      • Expression.simplify_yes()
      • Expression.size()
    • simplify()
    • simplify_yes()
  • mythril.laser.smt.function module
    • Function
  • mythril.laser.smt.model module
    • Model
      • Model.decls()
      • Model.eval()
  • Module contents
    • SymbolFactory
      • SymbolFactory.BitVecSym()
      • SymbolFactory.BitVecVal()
      • SymbolFactory.Bool()
      • SymbolFactory.BoolSym()

Submodules

mythril.laser.execution_info module

class mythril.laser.execution_info.ExecutionInfo

Bases: ABC

abstract as_dict()

Returns a dictionary with the execution info contained in this object

The returned dictionary only uses primitive types.

Module contents