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
  • mythril.laser.ethereum.cfg module
  • mythril.laser.ethereum.evm_exceptions module
  • mythril.laser.ethereum.instruction_data module
  • mythril.laser.ethereum.instructions module
  • mythril.laser.ethereum.natives module
  • mythril.laser.ethereum.svm module
  • mythril.laser.ethereum.time_handler module
  • mythril.laser.ethereum.util module
  • 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
  • mythril.laser.plugin.interface module
  • mythril.laser.plugin.loader module
  • mythril.laser.plugin.signals module
  • 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
  • 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
  • Module contents

Submodules

mythril.laser.execution_info module

class mythril.laser.execution_info.ExecutionInfo

Bases: abc.ABC

as_dict()

Returns a dictionary with the execution info contained in this object

The returned dictionary only uses primitive types.

Module contents