The first open-source Solidity static analysis framework. Slither provides automatic vulnerability and optimization detection, as well as auxiliary code base summaries.

Mythril is an EVM bytecode security tool. Detects vulnerabilities in Ethereum, Hedera, Quorum, Vechain, and more. Powerful and reliable.

Securify is a security scanner for Ethereum smart contracts, backed by the Ethereum Foundation and ChainSecurity. Securify's analysis consists of two steps...

OpenZeppelin is a renowned open-source framework for crafting secure and scalable smart contracts with Solidity, gaining widespread acclaim.

Tenderly is a comprehensive Ethereum developer platform for real-time monitoring, alerting, debugging and simulating smart contracts.