Security & auditing: Web3 developer tools

Best for Static analyzer for Solidity and Vyper

Chains

Ethereum Any EVM chain (no specific chain named)

Price

Free (open source)

License

AGPL-3.0

Trail of Bits' static analyzer for Solidity and Vyper, with built-in vulnerability detectors and code-inspection printers. Runs locally; free and AGPL-3.0. Works on any EVM codebase. A clean run doesn't mean a contract is secure.

Best for Property-based fuzzer for EVM contracts

Chains

Ethereum Any EVM chain (no specific chain named)

Price

Free (open source)

License

AGPL-3.0

Trail of Bits' property-based fuzzer that tries to break the invariants you write for your EVM contracts. Runs locally; free and AGPL-3.0. Works on any EVM codebase.

Best for Transaction simulation, debugging and monitoring

Chains

Ethereum Base Avalanche Arbitrum Polygon

Price

Free plan for individuals; team plans custom-quoted

License

Proprietary

Hosted platform for simulating and tracing transactions, debugging failures and monitoring contracts with alerts, plus node RPC. Free plan for individuals; team plans are quoted. Its node network list names Ethereum, Base, Avalanche, Arbitrum and Polygon; BNB Chain wasn't listed when we checked.

Best for Formal verification against rules you write

Chains

Solana Stellar Any EVM chain (no specific chain named)

Price

Free tier (up to 2,000 min/month runtime); Premium and Enterprise by contact

License

GPL-3.0

Formal verification engine that checks contracts against rules written in Certora's CVL. Open source (GPL-3.0) with a free tier of 2,000 minutes a month. Its docs name EVM chains generally, plus Solana and Stellar (Soroban) variants. Writing good rules takes real effort.

Best for Fuzzing framework for Solana programs

Chains

Solana

Price

Free (open source)

License

MIT

Ackee Blockchain's Rust fuzzing framework for Solana programs. Free and MIT-licensed; runs locally against your code.

Best for Static analyzer with Soroban-specific detectors

Chains

Stellar

Price

Free (open source)

License

MIT

CoinFabrik's open-source static analyzer with detectors written for Soroban contracts on Stellar (run as cargo scout-audit). Free and MIT. Use scout-audit; the older scout-soroban repo is no longer updated.

Best for Self-hosted on-chain monitoring and alerts

Chains

Ethereum Solana Stellar Any EVM chain (no specific chain named)

Price

Free (open source, self-hosted)

License

AGPL-3.0

Self-hosted service that watches on-chain activity and sends alerts when your conditions match. Free and AGPL-3.0. Its example configs cover Ethereum, Stellar and Solana mainnets, and it works with EVM networks generally.