←BackConsenSys/mythril0Copy as MarkdownView on GitHub↗4,251 stars·816 forks·Python·MIT·0 viewsmythx.io↗MythrilFeaturesSecurity Analysis Tools - Open-source security analysis tool for EVM bytecode.Security and Vulnerability Scanning - Symbolic execution framework for finding smart contract vulnerabilities.
