Crytic

Blockchain Security, by @trailofbits

Since 2012, Trail of Bits has helped secure some of the world's most targeted organizations and devices.

We combine high-end security research with a real-world attacker mentality to reduce risk and fortify code.

Some of our work:

Pinned Loading

slither slither Public

Static Analyzer for Solidity and Vyper

Python 6k 1.1k
medusa medusa Public

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Go 427 73
echidna echidna Public

Ethereum smart contract fuzzer

Haskell 3k 412
building-secure-contracts building-secure-contracts Public

Guidelines and training material to write secure smart contracts

Solidity 2.4k 374
solc-select solc-select Public

Manage and switch between Solidity compiler versions

Python 792 112
properties properties Public

Pre-built security properties for common Ethereum operations

Solidity 342 52