Skip to content

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

  1. slither slither Public

    Static Analyzer for Solidity and Vyper

    Python 5k 915

  2. echidna echidna Public

    Ethereum smart contract fuzzer

    Solidity 2.6k 330

  3. building-secure-contracts building-secure-contracts Public

    Guidelines and training material to write secure smart contracts

    Solidity 2.1k 328

  4. solc-select solc-select Public

    Manage and switch between Solidity compiler versions

    Python 730 98

  5. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 246 37

  6. caracal caracal Public

    Static Analyzer for Starknet smart contracts

    Cairo 123 7

Repositories

Showing 10 of 62 repositories

Top languages

Loading…

Most used topics

Loading…