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

  2. medusa medusa Public

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

    Go 452 84

  3. echidna echidna Public

    Ethereum smart contract fuzzer

    Haskell 3.1k 419

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

    Guidelines and training material to write secure smart contracts

    Solidity 2.4k 380

  5. solc-select solc-select Public

    Manage and switch between Solidity compiler versions

    Python 807 111

  6. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 361 57

Repositories

Showing 10 of 65 repositories
  • slither Public

    Static Analyzer for Solidity and Vyper

    crytic/slither’s past year of commit activity
    Python 6,132 AGPL-3.0 1,087 365 (28 issues need help) 62 Updated Feb 12, 2026
  • solana-lints Public

    Lints based on the Sealevel Attacks

    crytic/solana-lints’s past year of commit activity
    Rust 47 10 3 13 Updated Feb 12, 2026
  • crytic-compile Public

    Abstraction layer for smart contract build systems

    crytic/crytic-compile’s past year of commit activity
    Python 194 AGPL-3.0 93 83 (16 issues need help) 12 Updated Feb 10, 2026
  • medusa Public

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

    crytic/medusa’s past year of commit activity
    Go 452 AGPL-3.0 84 45 (10 issues need help) 20 Updated Feb 10, 2026
  • solc-select Public

    Manage and switch between Solidity compiler versions

    crytic/solc-select’s past year of commit activity
    Python 807 AGPL-3.0 111 9 (2 issues need help) 3 Updated Feb 9, 2026
  • echidna Public

    Ethereum smart contract fuzzer

    crytic/echidna’s past year of commit activity
    Haskell 3,081 AGPL-3.0 419 74 (1 issue needs help) 30 Updated Feb 8, 2026
  • pyevmasm Public

    Ethereum Virtual Machine (EVM) disassembler and assembler

    crytic/pyevmasm’s past year of commit activity
    Python 385 Apache-2.0 52 10 8 Updated Feb 6, 2026
  • properties Public

    Pre-built security properties for common Ethereum operations

    crytic/properties’s past year of commit activity
    Solidity 361 AGPL-3.0 57 18 16 Updated Feb 2, 2026
  • crytic.nix Public

    A flake.nix for easy access to crytic tools

    crytic/crytic.nix’s past year of commit activity
    Nix 2 0 0 0 Updated Jan 30, 2026
  • slither-lsp Public
    crytic/slither-lsp’s past year of commit activity
    Python 2 AGPL-3.0 0 0 0 Updated Jan 26, 2026

Top languages

Loading…