Banner Logo Contract Library

Free decompilation and security analysis service by Dedaub

VISIT APP
234448 63872 120 28025 476 501577
197020 667783 7790
2592 60683 76 19688 67 83672 8368 36 20831

Is your project
safe from
hackers?

Dedaub offers significant security expertise combined with cutting-edge program analysis technology to secure your projects. Our technology offers most of the practical advantages of formal verification, at a fraction of the human effort, enabling thorough one-time or continual security audits.

Some of the world's leading protocols work with Dedaub.

Contact Us

Our Clients


Chainlink
Immunefi
ethereum foundation
DeFi Saver
Nexus Mutual
Unslashed
Vesper
Furucombo
$3B

Assets Managed by Clients

50+

Full-protocol Audits

Service

169357 505 302597 22 16218 557 543650 1910
<div>S<em>MAR</em>T <em>CO</em>NTRA<em>CT</em> S<em>ECUR</em>ITY <em>AU</em>DIT<em>S</em></div> Image

Service

55609 635 802478 34 13538 277 404447 4579

SMART CONTRACT SECURITY AUDITS

We can help you deploy smart contracts with confidence. Set apart by top research, proprietary vulnerability analysis technology, and world-leading software security expertise.

Contact Us


Service

129721 560 225162 193 14121 474 364872 4113
<div><em>De</em>daub W<em>atc</em>hÐ<em>og</em> Ser<em>vice</em></div> Image

Service

65236 253 237342 245 10669 143 508732 1389

Dedaub Watcog Service

Combining automated static analysis warnings, realtime blockchain events and continuous audit support to preempt serious hacks weeks in advance. Our launch customers include Nexus Mutual 🐢.

Contact Us


Service

16519 244 760212 296 30348 582 220578 2456
<div><em>con</em>tr<em>act</em> Li<em>br</em>ary</div> Image

Service

136449 316 593885 99 7877 508 280847 2584

contract Library

Contract Library is our ongoing free service and technology demo: the most thorough decompiler for contracts on the Ethereum blockchain, coupled with automated scans for common vulnerabilities.

Visit App


From Our Blog

Blog

05.12.2021

A Six-Year-Old Solc Mystery

In mid-October, we received a request to work on a project unlike any we've had before.

Continue Reading

Technology and research articles, and updates from Dedaub. Subscribe below to be the first to know about new content.

12.11.2021

Harvest Finance Vulnerability, $200K Bounty

We disclosed a critical vulnerability to Harvest Finance, through Immunefi. The vulnerability concerns a proxy pattern and was discovered via an interesting automated analysis.

Start Reading


28.10.2021

Symbolic Value-Flow Static Analysis of Ethereum Smart Contracts

A technical paper describing our most recent analysis technology, responsible for 7 major vulnerabilities detected in-the-wild.

Start Reading


10.08.2021

Verkle tree gas metering impact

We were commissioned by the Ethereum Foundation to study the impact of a new gas cost model, based on Verkle tree access costs.

Start Reading


Secure your
blockchain
projects