MythX

MythX is a security analysis SaaS platform for Ethereum smart contracts; developed at ConsenSys. MythX scans for security vulnerabilities in Ethereum and other EVM-based blockchain smart contracts. It provides a comprehensive range of analysis techniques accessible through tools developers already use and directly through a powerful API. The MythX suite of industry-leading analysis techniques—including static analysis, dynamic analysis, and symbolic execution—accurately detects security vulnerabilities and provides an in-depth analysis report. With a vibrant ecosystem of world-class integration partners that amplify developer productivity, MythX can be utilized in all phases of the smart contract development lifecycle.