Thanks to visit codestin.com
Credit goes to github.com

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 5.7k 1k

  2. medusa medusa Public

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

    Go 375 60

  3. echidna echidna Public

    Ethereum smart contract fuzzer

    Haskell 2.9k 396

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

    Guidelines and training material to write secure smart contracts

    Solidity 2.3k 367

  5. solc-select solc-select Public

    Manage and switch between Solidity compiler versions

    Python 776 109

  6. properties properties Public

    Pre-built security properties for common Ethereum operations

    Solidity 320 48

Repositories

Showing 10 of 65 repositories