Crytic

Pinned

1. slither Public

   Static Analyzer for Solidity

   Python 2.2k 403

2. echidna Public

   Ethereum smart contract fuzzer

   Solidity 1.2k 170

3. building-secure-contracts Public

   Guidelines and training material to write secure smart contracts

   Solidity 712 113

4. solc-select Public

   Manage and switch between Solidity compiler versions

   Python 454 56

5. ethersplay Public

   EVM dissassembler

   Python 466 70

6. blockchain-security-contacts Public

   Directory of security contacts for blockchain companies

   263 174