Slither

Static analysis framework for Solidity

Ethereum

Mythril

Security analysis tool for EVM bytecode

Ethereum

Echidna

Smart contract fuzzer for Ethereum

Ethereum

OpenZeppelin Defender

Smart contract security operations platform

EthereumPolygonArbitrum +3

Certora Prover

Formal verification for smart contracts

Ethereum

Forta

Real-time threat detection for Web3

EthereumPolygonArbitrum +4

Blockaid

Web3 security for users and dapps

EthereumPolygonArbitrum +3

Hypernative

Proactive Web3 security platform

EthereumPolygonArbitrum +4

SolidityScan

Automated smart contract vulnerability scanner

EthereumPolygonBNB Chain

Semgrep Solidity

Static analysis rules for Solidity

Ethereum

Sourcify

Decentralized smart contract verification

EthereumPolygonArbitrum +2

ContractReader

Read and understand smart contracts easily

EthereumPolygonArbitrum +2

Sol2UML

Solidity contract visualization tool

Ethereum