首个开源 Solidity 静态分析框架。Slither 提供自动漏洞和优化检测，以及辅助代码库摘要。

Mythril 是一款 EVM 字节码安全工具。可检测以太坊、Hedera、Quorum、Vechain 等的漏洞。功能强大，性能可靠。

Securify 是以太坊智能合约的安全扫描仪，由以太坊基金会和 ChainSecurity 支持。Securify 的分析包括两个步骤...

OpenZeppelin 是一个著名的开源框架，用于使用 Solidity 制作安全、可扩展的智能合约，获得了广泛赞誉。

Tenderly 是一个全面的以太坊开发者平台，用于实时监控、警报、调试和模拟智能合约。