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 6k 1.1k

  2. medusa medusa Public

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

    Go 427 74

  3. echidna echidna Public

    Ethereum smart contract fuzzer

    Haskell 3k 411

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

    Guidelines and training material to write secure smart contracts

    Solidity 2.4k 374

  5. solc-select solc-select Public

    Manage and switch between Solidity compiler versions

    Python 794 112

  6. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 342 52

Repositories

Showing 10 of 65 repositories
  • medusa Public

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

    crytic/medusa’s past year of commit activity
    Go 427 AGPL-3.0 74 90 (15 issues need help) 30 Updated Oct 26, 2025
  • slither Public

    Static Analyzer for Solidity and Vyper

    crytic/slither’s past year of commit activity
    Python 5,971 AGPL-3.0 1,070 407 (33 issues need help) 68 Updated Oct 23, 2025
  • echidna Public

    Ethereum smart contract fuzzer

    crytic/echidna’s past year of commit activity
    Haskell 3,022 AGPL-3.0 411 80 (2 issues need help) 29 Updated Oct 22, 2025
  • solc-select Public

    Manage and switch between Solidity compiler versions

    crytic/solc-select’s past year of commit activity
    Python 794 AGPL-3.0 112 14 (3 issues need help) 5 Updated Oct 21, 2025
  • crytic-compile Public

    Abstraction layer for smart contract build systems

    crytic/crytic-compile’s past year of commit activity
    Python 185 AGPL-3.0 88 105 (17 issues need help) 12 Updated Oct 20, 2025
  • solana-lints Public

    Lints based on the Sealevel Attacks

    crytic/solana-lints’s past year of commit activity
    Rust 45 10 3 10 Updated Oct 16, 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,405 AGPL-3.0 374 40 (10 issues need help) 15 Updated Oct 14, 2025
  • pyevmasm Public

    Ethereum Virtual Machine (EVM) disassembler and assembler

    crytic/pyevmasm’s past year of commit activity
    Python 381 Apache-2.0 51 10 7 Updated Sep 4, 2025
  • fuzz-utils Public

    A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

    crytic/fuzz-utils’s past year of commit activity
    Solidity 110 AGPL-3.0 5 17 2 Updated Aug 25, 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 10 21 3 Updated Aug 8, 2025