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.8k 1k

  2. medusa medusa Public

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

    Go 412 69

  3. echidna echidna Public

    Ethereum smart contract fuzzer

    Haskell 3k 403

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

    Guidelines and training material to write secure smart contracts

    Solidity 2.4k 369

  5. solc-select solc-select Public

    Manage and switch between Solidity compiler versions

    Python 784 111

  6. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 335 51

Repositories

Showing 10 of 65 repositories
  • echidna Public

    Ethereum smart contract fuzzer

    crytic/echidna’s past year of commit activity
    Haskell 2,961 AGPL-3.0 403 118 (5 issues need help) 28 Updated Aug 10, 2025
  • medusa Public

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

    crytic/medusa’s past year of commit activity
    Go 412 AGPL-3.0 69 94 (15 issues need help) 30 Updated Aug 10, 2025
  • contract-explorer Public

    Visual Studio Code integration for Slither, a Solidity static analysis framework

    crytic/contract-explorer’s past year of commit activity
    TypeScript 35 AGPL-3.0 11 21 3 Updated Aug 8, 2025
  • slither Public

    Static Analyzer for Solidity and Vyper

    crytic/slither’s past year of commit activity
    Python 5,820 AGPL-3.0 1,043 413 (37 issues need help) 66 Updated Aug 8, 2025
  • solana-lints Public

    Lints based on the Sealevel Attacks

    crytic/solana-lints’s past year of commit activity
    Rust 44 10 3 7 Updated Aug 7, 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,385 AGPL-3.0 369 40 (10 issues need help) 13 Updated Jul 23, 2025
  • crytic.nix Public

    A flake.nix for easy access to crytic tools

    crytic/crytic.nix’s past year of commit activity
    Nix 0 0 0 0 Updated Jul 23, 2025
  • crytic-compile Public

    Abstraction layer for smart contract build systems

    crytic/crytic-compile’s past year of commit activity
    Python 180 AGPL-3.0 87 104 (17 issues need help) 12 Updated Jul 21, 2025
  • attacknet Public

    Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks

    crytic/attacknet’s past year of commit activity
    Go 75 AGPL-3.0 15 7 2 Updated Jul 9, 2025
  • medusa-geth Public

    A go-ethereum fork enabling additional testing capabilities for medusa

    crytic/medusa-geth’s past year of commit activity
    12 1 0 0 Updated Apr 23, 2025