Comment on page
Unlike other tools, Watchdog goes beyond just analyzing the high-level Solidity code. It analyzes underlying virtual machine instructions that execute the smart contracts. This is achieved by decompiling — translating the contract bytecode to virtual machine instructions — before performing static analysis across all of the contract’s functionality.
Contracts are grouped and analyzed approximately every several hours with warnings of vulnerabilities or proto-vulnerabilities displayed. These static warnings are then combined with queries on environmental conditions to produce reports that may indicate security issues.
These reports are then sent to the smart contract team who works with the Watchdog team to find solutions to any identified issues.
Once Watchdog is set up, your project will receive administrative access to see a list of vulnerabilities within your smart contracts at any time. You can manually query each smart contract against any exploit recognized by Watchdog.