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.5k 996

  2. medusa medusa Public

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

    Go 348 51

  3. echidna echidna Public

    Ethereum smart contract fuzzer

    Haskell 2.8k 390

  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 771 107

  6. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 305 45

Repositories

Showing 10 of 64 repositories
  • slither Public

    Static Analyzer for Solidity and Vyper

    crytic/slither’s past year of commit activity
    Python 5,510 AGPL-3.0 996 387 (37 issues need help) 51 Updated Feb 19, 2025
  • medusa Public

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

    crytic/medusa’s past year of commit activity
    Go 348 AGPL-3.0 51 91 (19 issues need help) 25 Updated Feb 19, 2025
  • solana-lints Public

    Lints based on the Sealevel Attacks

    crytic/solana-lints’s past year of commit activity
    Rust 39 8 3 6 Updated Feb 18, 2025
  • building-secure-contracts Public

    Guidelines and training material to write secure smart contracts

    crytic/building-secure-contracts’s past year of commit activity
    Solidity 2,299 AGPL-3.0 366 40 (10 issues need help) 28 Updated Feb 18, 2025
  • crytic-compile Public

    Abstraction layer for smart contract build systems

    crytic/crytic-compile’s past year of commit activity
    Python 166 AGPL-3.0 85 105 (17 issues need help) 11 Updated Feb 18, 2025
  • amarna Public archive

    Amarna is a static-analyzer and linter for the Cairo programming language.

    crytic/amarna’s past year of commit activity
    Python 148 AGPL-3.0 7 11 3 Updated Feb 14, 2025
  • etheno Public archive

    Simplify Ethereum security analysis and testing

    crytic/etheno’s past year of commit activity
    Python 340 AGPL-3.0 33 30 7 Updated Feb 14, 2025
  • echidna Public

    Ethereum smart contract fuzzer

    crytic/echidna’s past year of commit activity
    Haskell 2,824 AGPL-3.0 390 121 (5 issues need help) 26 Updated Feb 10, 2025
  • blockchain-security-contacts Public

    Directory of security contacts for blockchain companies

    crytic/blockchain-security-contacts’s past year of commit activity
    401 CC-BY-4.0 190 4 2 Updated Feb 7, 2025
  • medusa-geth Public

    A go-ethereum fork enabling additional testing capabilities for medusa

    crytic/medusa-geth’s past year of commit activity
    10 1 0 0 Updated Feb 2, 2025