作为 Consensys MythX 安全分析套件的一部分,Mythril 是该工具集的动态智能合约安全分析组件。Mythril 使用符号执行、SMT 求解和污点分析来检测任何 EVM 兼容链上合约的安全漏洞。值得注意的是,如果 Mythril 与其父套件 MythX 一起使用,开发人员将获得各种 IDE 插件、说明文档和命令行工具。
作为 Consensys MythX 安全分析套件的一部分,Mythril 是该工具集的动态智能合约安全分析组件。Mythril 使用符号执行、SMT 求解和污点分析来检测任何 EVM 兼容链上合约的安全漏洞。值得注意的是,如果 Mythril 与其父套件 MythX 一起使用,开发人员将获得各种 IDE 插件、说明文档和命令行工具。