Skip to content
The Trail of Bits logo

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

  1. slither slither Public

    Static Analyzer for Solidity and Vyper

    Python 5.6k 995

  2. medusa medusa Public

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

    Go 360 58

  3. echidna echidna Public

    Ethereum smart contract fuzzer

    Haskell 2.8k 389

  4. building-secure-contracts building-secure-contracts Public

    Guidelines and training material to write secure smart contracts

    Solidity 2.3k 366

  5. solc-select solc-select Public

    Manage and switch between Solidity compiler versions

    Python 775 106

  6. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 311 48

Repositories

Showing 10 of 65 repositories