Crytic: Continuous Assurance for Smart Contracts

Summary: Trail of Bits announced Crytic, a continuous assurance platform for smart contracts that connects to a GitHub repository and runs security analyses on every commit, branch, and pull request. The platform uses Slither to check for more than 60 security flaws, including reentrancy, integer overflows, and race conditions, and half of those flaw detectors are private and were not previously available to the public.
Bottom line: Trail of Bits states that the recent GridLock bug would have been detected ahead of time using Crytic, and that its private detectors find flaws for which public knowledge is limited and that no other tool can find.

Read the original at Trail of Bits Blog ↗