Crytic

Repositories

• trailofbits-security

  The Trail of Bits Truffle Security Toolbox
  JavaScript 3 8 1 2 Updated May 8, 2021

• echidna

  Ethereum smart contract fuzzer

  testing security ethereum smart-contracts solidity fuzzer evm
  2 packages Haskell AGPL-3.0 96 615 102 (18 issues need help) 10 Updated May 8, 2021

• slither

  Static Analyzer for Solidity

  static-analysis ethereum solidity
  Python AGPL-3.0 198 840 157 (19 issues need help) 12 Updated May 7, 2021

• crytic-compile

  Abstraction layer for smart contract build systems
  Python AGPL-3.0 14 30 34 (9 issues need help) 0 Updated May 7, 2021

• solc-select

  A script to quickly switch between Solidity compiler versions

  ethereum solidity
  Python AGPL-3.0 25 236 6 3 Updated May 5, 2021

• building-secure-contracts

  Guidelines and training material to write secure smart contracts
  Solidity AGPL-3.0 34 222 19 (1 issue needs help) 4 Updated May 3, 2021

• evm_cfg_builder

  EVM CFG recovery

  ethereum cfg evm reversing
  Python AGPL-3.0 1 13 10 (1 issue needs help) 0 Updated Apr 26, 2021

• blockchain-security-contacts

  Directory of security contacts for blockchain companies

  security email directory ethereum blockchain
  CC-BY-4.0 156 198 4 5 Updated Apr 15, 2021

• solc
  1 2 0 0 Updated Mar 22, 2021

• etheno

  Simplify Ethereum security analysis and testing

  ethereum truffle symbolic-execution solidity differential-testing ganache
  Python AGPL-3.0 11 84 13 0 Updated Feb 26, 2021

• eth-security-toolbox

  A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
  Dockerfile AGPL-3.0 15 113 5 2 Updated Feb 18, 2021

• addressarrayutils_demo

  Demonstration for using echidna to test a Solidity library
  Solidity 0 0 0 0 Updated Feb 6, 2021

• tealer

  Static Analyzer for Teal
  Python AGPL-3.0 1 7 1 0 Updated Dec 8, 2020

• evm-opcodes

  Ethereum opcodes and instruction reference

  ethereum instructions opcodes evm
  Apache-2.0 58 359 3 0 Updated Oct 16, 2020

• ethersplay

  EVM dissassembler

  ethereum disassembler binary-ninja evm
  Python AGPL-3.0 47 315 8 (2 issues need help) 2 Updated Jul 15, 2020

• awesome-ethereum-security

  A curated list of awesome Ethereum security references

  security ethereum solidity evm
  CC-BY-4.0 75 365 3 12 Updated Jun 2, 2020

• pyevmasm

  Ethereum Virtual Machine (EVM) disassembler and assembler

  python ethereum assembler evm dissassembler
  Python Apache-2.0 18 87 9 3 Updated May 7, 2020

• not-so-smart-contracts

  Examples of Solidity security issues

  ethereum solidity vulnerabilities
  Solidity Apache-2.0 134 766 4 5 Updated Apr 24, 2020

• rattle

  evm binary static analysis

  ethereum reverse-engineering evm
  Python 18 152 6 0 Updated Apr 21, 2020

• ida-evm

  IDA Processor Module for the Ethereum Virtual Machine (EVM)

  ida ida-pro evm dissassembler processor-module
  Python Apache-2.0 39 191 1 2 Updated Feb 22, 2020

• whipstaff

  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)

  casper cbc consensus-protocol
  TLA 1 16 0 0 Updated Aug 12, 2019

• slither-vscode

  Visual Studio Code integration for Slither, a Solidity static analysis framework

  static-analysis ethereum visual-studio-code solidity vscode-extension
  TypeScript AGPL-3.0 1 5 6 0 Updated May 14, 2019

• embark-contract-info

  embark-contract-info
  JavaScript AGPL-3.0 0 3 1 0 Updated Apr 24, 2019

• remix-plugin-8000
  JavaScript Apache-2.0 2 2 0 0 Updated Sep 9, 2018

• slightly-smarter-contracts
  Python 0 4 2 0 Updated Aug 13, 2018