Smart Contract Auditing

Ethereum development environment for professionals. Advanced debugging.

Security analysis tool for EVM smart contracts. Symbolic execution.

Rust-based static analyzer for Solidity contract vulnerabilities.

Property-based fuzzer for Ethereum smart contracts.

Database of over 15000 smart contract security vulnerabilities.

Blazingly fast toolkit for smart contract development. Includes Forge for testing.

Static analyzer for Solidity smart contracts. Automatically detects vulnerabilities.

Sophisticated static analyzer for auditing Solidity smart contracts.

Solidity code linter. Automatic validation of style and security.

Symbolic execution tool for analysis of binaries and smart contracts.

Smart contract fuzzer inspired by Echidna with parallel support.