Skip to content
@crytic

Crytic

Blockchain Security, by @trailofbits
README.md

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

  1. slither slither Public

    Static Analyzer for Solidity and Vyper

    Python 4.7k 868

  2. echidna echidna Public

    Ethereum smart contract fuzzer

    Solidity 2.4k 299

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

    Guidelines and training material to write secure smart contracts

    Solidity 2k 320

  4. solc-select solc-select Public

    Manage and switch between Solidity compiler versions

    Python 695 91

  5. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 162 28

  6. caracal caracal Public

    Static Analyzer for Starknet smart contracts

    Cairo 95 5

Repositories

Showing 10 of 55 repositories
View all repositories