Skip to content
@crytic

Crytic

Blockchain Security, by @trailofbits
README.md
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.4k 981

  2. echidna echidna Public

    Ethereum smart contract fuzzer

    Haskell 2.8k 379

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

    Guidelines and training material to write secure smart contracts

    Solidity 2.3k 352

  4. solc-select solc-select Public

    Manage and switch between Solidity compiler versions

    Python 766 104

  5. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 301 42

  6. caracal caracal Public

    Static Analyzer for Starknet smart contracts

    Cairo 137 7

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 321 AGPL-3.0 44 102 (20 issues need help) 36 Updated Jan 3, 2025
  • solc-select Public

    Manage and switch between Solidity compiler versions

    crytic/solc-select’s past year of commit activity
    Python 766 AGPL-3.0 104 13 (3 issues need help) 2 Updated Jan 3, 2025
  • crytic-compile Public

    Abstraction layer for smart contract build systems

    crytic/crytic-compile’s past year of commit activity
    Python 162 AGPL-3.0 84 103 (17 issues need help) 10 Updated Dec 30, 2024
  • properties Public

    Pre-built security properties for common Ethereum operations

    crytic/properties’s past year of commit activity
    Solidity 301 AGPL-3.0 42 20 5 Updated Dec 30, 2024
  • 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 101 AGPL-3.0 5 17 2 Updated Dec 23, 2024
  • slither Public

    Static Analyzer for Solidity and Vyper

    crytic/slither’s past year of commit activity
    Python 5,417 AGPL-3.0 981 379 (37 issues need help) 47 Updated Dec 16, 2024
  • echidna Public

    Ethereum smart contract fuzzer

    crytic/echidna’s past year of commit activity
    Haskell 2,790 AGPL-3.0 379 119 (5 issues need help) 24 Updated Dec 16, 2024
  • 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 1 Updated Dec 4, 2024
  • 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,256 AGPL-3.0 352 39 (10 issues need help) 26 Updated Oct 22, 2024
  • solana-lints Public

    Lints based on the Sealevel Attacks

    crytic/solana-lints’s past year of commit activity
    Rust 35 5 4 13 Updated Oct 3, 2024
View all repositories

Most used topics

Loading…