The Dedaub Security Suite is an integrated Ethereum-compatible decompilation, formal methods and security monitoring platform.
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.
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.
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.
Simulate transaction execution against real Mainnet data before sending transactions on-chain, e.g., via write-contract or through metamask via the Dedaub Snap.
Sign In
Sign Up