The Wayback Machine - https://web.archive.org/web/20221127015754/http://github.com/crytic
Skip to content

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 Public

    Static Analyzer for Solidity

    Python 3.5k 629

  2. echidna Public

    Ethereum smart contract fuzzer

    Solidity 1.8k 228

  3. Guidelines and training material to write secure smart contracts

    Solidity 1.3k 205

  4. solc-select Public

    Manage and switch between Solidity compiler versions

    Python 572 74

  5. Directory of security contacts for blockchain companies

    348 191

  6. amarna Public

    Amarna is a static-analyzer and linter for the Cairo programming language.

    Python 121 4

Repositories