Developed as a part of the MythX security analysis suite by Consensys, Mythril is the dynamic smart contract security analysis component of this toolset. Mythril uses symbolic execution, SMT solving, and taint analysis to detect security vulnerabilities with contracts on any EVM-compatible chain. Notably, if Mythril is used with its parent suite MythX, devs are provided a variety of IDE plugins, instructional documentation, and command line tools.