Crytic

Pinned

1. slither Public

   Static Analyzer for Solidity

   Python 1.7k 331

2. echidna Public

   Ethereum smart contract fuzzer

   Haskell 954 145

3. building-secure-contracts Public

   Guidelines and training material to write secure smart contracts

   Solidity 464 86

4. solc-select Public

   Manage and switch between Solidity compiler versions

   Python 395 48

5. ethersplay Public

   EVM dissassembler

   Python 414 62

6. blockchain-security-contacts Public

   Directory of security contacts for blockchain companies

   239 166