首个开源 Solidity 静态分析框架。Slither 提供自动漏洞和优化检测,以及辅助代码库摘要。
Mythril 是一款 EVM 字节码安全工具。可检测以太坊、Hedera、Quorum、Vechain 等的漏洞。功能强大,性能可靠。
Securify 是以太坊智能合约的安全扫描仪,由以太坊基金会和 ChainSecurity 支持。Securify 的分析包括两个步骤...
OpenZeppelin 是一个著名的开源框架,用于使用 Solidity 制作安全、可扩展的智能合约,获得了广泛赞誉。
Tenderly 是一个全面的以太坊开发者平台,用于实时监控、警报、调试和模拟智能合约。