We are proud to announce our new Smart contract security product: https://crytic.io/. Crytic provides continuous assurance for smart contracts. The platform reports build status on every commit and runs a suite of security analyses for immediate feedback.
The beta access will be open soon. Follow us on twitter to be notified and benefit from the service as soon as possible! The first three months are free.
Once connected to your GitHub repository, Crytic will:
Slither will analyze your codebase for more than 60 security flaws, including reentrancy, integer overflows, race conditions, and many others. Half of these flaw-detectors are private and were not available to the public. They can detect flaws for which public knowledge is limited and that no other tool can find. The recent GridLock bug would have been detected ahead of time using Crytic!
We built this platform for developers, so we integrated it with GitHub. It will watch every commit and branch to ensure that bugs are not added during development. In addition, Crytic will run the checks on every PR to facilitate your code review.
For every security issue found, Crytic will:
Adding Crytic to your system is straightforward: you just need to connect to your GitHub repository. We have first-class support for Truffle; it works out of the box! We also support most of the other smart contract platforms, including Embark, Dapp, and Etherlime. After adding your repository, the dashboard (Figure 1) will show you a summary of the project, like this crytic-demo:
From now on, you will benefit from continuous security analyses.
Finding an issue is only the first part. Crytic will provide you with detailed information you need about the bug to fix it:
A careful reader will notice the vulnerability here:
function constuctor creates a public function (with a typo!) that is callable by anyone instead of being run only at initialization. Crytic will detect these types of critical mistakes instantaneously.
Once a bug has been found, the user can decide to:
Crytic follows the modifications to your code and reports only new bugs that are introduced. Each new PR will be analyzed automatically:
We are constantly improving Crytic. Expect to see new bug detectors and new features in the future. We are planning to add:
Questions? Bring them to TruffleCon, and pose them to us at our booth or at our Friday workshop on automated vulnerability detection tools!