Pre- and Post-Deployment Static Analysis
- Formal verification
- Statistical learning
- Static analysis

Pre- and Post-Deployment Static Analysis
- Formal verification
- Statistical learning
- Static analysis

Precise vulnerability detection, DeFi insights, cryptographic scrutiny, and statistical contract analysis.
Our static analysis tools have the ability to identify and flag numerous potential bugs or bad smells in Solidity code. If you want to narrow down your search to contracts that have been flagged as having a vulnerability of a specific type, you can do so by selecting from the warning type dropdown list.
Declarative Program Analysis
Advanced techniques allow for scalable and precise analysis across the entirety of the Ethereum blockchain.
Extensive Library of Analyses
Over 80 targeted analyses, continuously updated to address new vulnerabilities and patterns.
Contract Filters
Dedaub's Contract Library offers a robust search interface for filtering contracts based on various criteria. You can refine your search by specific vulnerability warnings, contract states, or lists of saved contracts.




Declarative Program Analysis
Advanced techniques allow for scalable and precise analysis across the entirety of the Ethereum blockchain.

Extensive Library of Analyses
Over 80 targeted analyses, continuously updated to address new vulnerabilities and patterns.

Contract Filters
Dedaub's Contract Library offers a robust search interface for filtering contracts based on various criteria. You can refine your search by specific vulnerability warnings, contract states, or lists of saved contracts.
Create Your Free Account Now
SECURITY SUITE LOGINAre you looking for security audits? Find out more here.