mythril package

Subpackages

Submodules

mythril.exceptions module

This module contains general exceptions used by Mythril.

exception mythril.exceptions.CompilerError[source]

Bases: mythril.exceptions.MythrilBaseException

A Mythril exception denoting an error during code compilation.

exception mythril.exceptions.CriticalError[source]

Bases: mythril.exceptions.MythrilBaseException

A Mythril exception denoting an unknown critical error has been encountered.

exception mythril.exceptions.DetectorNotFoundError[source]

Bases: mythril.exceptions.MythrilBaseException

A Mythril exception denoting attempted usage of a non-existant detection module.

exception mythril.exceptions.IllegalArgumentError[source]

Bases: ValueError

The argument used does not exist

exception mythril.exceptions.MythrilBaseException[source]

Bases: Exception

The Mythril exception base type.

exception mythril.exceptions.NoContractFoundError[source]

Bases: mythril.exceptions.MythrilBaseException

A Mythril exception denoting that a given contract file was not found.

exception mythril.exceptions.SolverTimeOutException[source]

Bases: mythril.exceptions.UnsatError

A Mythril exception denoting the unsatisfiability of a series of constraints.

exception mythril.exceptions.UnsatError[source]

Bases: mythril.exceptions.MythrilBaseException

A Mythril exception denoting the unsatisfiability of a series of constraints.

Module contents