Dedaub Logo

Decompile. Monitor. Analyze.

search
CtrladdK

The Dedaub Security Suite is an integrated Ethereum-compatible decompilation, formal methods and security monitoring platform.

Decompilation

Understand the logic of contracts deployed with no source or ABI publicly available (such as profitable MEV bots). You can view the contract in Solidity-like representation, extract their ABI, read / write functions, or decompile bytecode on demand.

Open Decompiler

Monitoring and Alerting

Monitor on-chain projects with fully-customizable agents written in an extended SQL language. Monitoring focuses on detecting and reacting to on-chain activities, and the language features time-series constructs and just-in-time blockchain data decoding for powerful but efficient monitoring agents.

Open Monitoring

Static Analysis and Formal Verification

Analyze smart contracts, utilizing push-button formal verification, statistical learning, and static analysis to identify potential vulnerabilities by checking all possible contract states and paths.

Filter Contracts

Transaction Simulation

Simulate transaction execution against real Mainnet data before sending transactions on-chain, e.g., via write-contract or through metamask via the Dedaub Snap.

Install Snap
This website uses cookies to enhance the user experience.