Mythril
FreeGitHub Open Source Projects
Mythril is a dynamic analysis tool for EVM bytecode that detects security vulnerabilities.
EthereumAbout Mythril
Mythril is the dynamic smart contract security analysis component of the MythX security analysis suite.
It uses symbolic execution, SMT solving, and taint analysis to detect security vulnerabilities in contracts on any EVM-compatible chain.
When used with MythX, developers gain access to IDE plugins, instructional documentation, and command-line tools.
