mythril:EVM字节码的安全性分析工具。 支持为以太坊HederaQuorumVechainRoostockTron和其他EVM兼容区块链构建的智能合约

秘银 Mythril是用于EVM字节码的安全分析工具。 它检测为以太坊,Hedera,Quorum,Vechain,Roostock,Tron和其他EVM兼容区块链构建的智能合约中的安全漏洞。 它使用符号执行,SMT解决方案和污点分析来检测各种安全漏洞。 安全分析平台还使用了它(与其他工具和技术结合使用)。 如果您是精明的合同开发者,我们建议使用,这些针对可用性进行了优化,并且涵盖了广泛的安全问题。 无论您是要做出贡献,需要支持,还是想了解我们未来的烹饪方法,我们的都能满足您的需求。 安装与设定 用获取它: $ docker pull mythril/myth 从Pypi安装: $