Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. It uses symbolic execution, SMT solving and taint analysis to detect a variety of security vulnerabilities. It's also used (in combination with other tools and techniques) in the MythX security analysis platform. If you are a smart contract developer, we recommend using MythX tools which are optimized for usability and cover a wider range of security issues. The SWC Registry is a community catalog of known smart contract vulnerabilities with detailed descriptions, code samples, and remediations. MythX uses the SWC Registry as its database when scanning smart contracts for security issues.
Features
- See the vulnerabilities directly in your source code, together with the steps to reproduce them
- Complete with a summary of all the issues, including the source lines where they can be found
- Your MythX dashboard contains a full history of your smart contract analyses
- Generate detailed analysis reports
- Integrated with developer tools
- Smart contract security service for Ethereum
Project Samples
