Enter your license key to unlock unlimited scans or additional scan credits.
Industry-standard Solidity static analysis. Data flow, CFG traversal, and storage slot inspection.
Read more →Symbolic execution over EVM bytecode. Finds paths no linter can: integer overflows, assertion violations, unprotected ether.
Read more →AST-aware pattern matching. Fast, high-precision rules for known vulnerability classes written by ContractScan.
Read more →Rust-based Solidity AST scanner from Cyfrin. Detects centralization risks, unsafe casts, and unused returns.
Read more →Gas optimisation and code quality checks modeled after Code4rena contest standards. Catches inefficiencies reviewers flag.
Read more →LLM-powered business-logic analysis. Flash loan surfaces, oracle risks, MEV exposure, governance attacks — what static tools miss.
Read more →Enriched with 1485+ real-world DeFi exploits — collected weekly from 6 authoritative sources to keep detection patterns current with emerging attack vectors.
Findings aggregated from public audit reports, competitive auditing platforms, and on-chain post-mortems. Updated daily.
ContractScan automatically collects and indexes real-world DeFi security incidents and professional audit findings from 7 public threat feeds to keep detection patterns current with emerging attack vectors.
Last updated: 2026-05-03 · Learn about our methodology →
Pro unlocks Mythril symbolic execution, Aderyn AST analysis, full AI reports, and CI/CD integration — all in under 60 seconds.