Get notified when Slither and Rattle are available
Slither combines a set of proprietary static analyses on Solidity that detect common mistakes such as bugs in reentrancy, constructors, method access, and more. Run Slither as you develop, on every new checkin of code.
Rattle is an EVM static analyzer. Rattle analyzes the EVM bytecode directly for vulnerabilities. It does this by disassembling and recovering the EVM control flow graph and lifting the operations to a Single Static Assignment (SSA) form called EVM::SSA. EVM::SSA optimizes out all pushes, pops, dups, and swaps, often reducing the instruction count by 75%. Rattle will eventually support storage, memory, and argument recovery as well as static security checks similar to those implemented in Slither.
Slither and Rattle are privately available to all firms that work with us, and may become available for licensing or accessible via an API if there’s enough interest.
Provide your email below, and we’ll notify you if we make Slither or Rattle available for ad-hoc use.
Anything else you'd like to share?
Do Not Fill This Out