Crytic

Repositories

• slither

  Static Analyzer for Solidity

  static-analysis ethereum solidity
  Python AGPL-3.0 154 616 119 (16 issues need help) 10 Updated Dec 7, 2020

• crytic-compile

  Abstraction layer for smart contract build systems
  Python AGPL-3.0 12 23 20 (9 issues need help) 0 Updated Dec 7, 2020

• echidna

  Ethereum smart contract fuzzer

  testing security ethereum smart-contracts solidity fuzzer evm
  2 packages Haskell AGPL-3.0 86 511 103 (23 issues need help) 17 Updated Dec 4, 2020

• building-secure-contracts

  Guidelines and training material to write secure smart contracts
  Solidity AGPL-3.0 24 137 18 (1 issue needs help) 0 Updated Dec 4, 2020

• tealer

  Static Analyzer for Teal
  Python AGPL-3.0 0 5 2 0 Updated Dec 3, 2020

• etheno

  Simplify Ethereum security analysis and testing

  ethereum truffle symbolic-execution solidity differential-testing ganache
  Python AGPL-3.0 8 77 14 1 Updated Nov 28, 2020

• solc-select

  A script to quickly switch between Solidity compiler versions

  ethereum solidity
  Shell AGPL-3.0 23 155 9 2 Updated Nov 18, 2020

• eth-security-toolbox

  A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
  Dockerfile AGPL-3.0 8 86 3 0 Updated Nov 7, 2020

• blockchain-security-contacts

  Directory of security contacts for blockchain companies

  security email directory ethereum blockchain
  CC-BY-4.0 150 176 3 3 Updated Oct 17, 2020

• evm-opcodes

  Ethereum opcodes and instruction reference

  ethereum instructions opcodes evm
  Apache-2.0 51 313 3 0 Updated Oct 16, 2020

• trailofbits-security

  The Trail of Bits Truffle Security Toolbox
  JavaScript 3 8 1 1 Updated Jul 16, 2020

• ethersplay

  EVM dissassembler

  ethereum disassembler binary-ninja evm
  Python AGPL-3.0 46 281 7 (2 issues need help) 2 Updated Jul 15, 2020

• solc
  0 1 0 0 Updated Jun 26, 2020

• awesome-ethereum-security

  A curated list of awesome Ethereum security references

  security ethereum solidity evm
  CC-BY-4.0 65 312 3 12 Updated Jun 2, 2020

• pyevmasm

  Ethereum Virtual Machine (EVM) disassembler and assembler

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

• not-so-smart-contracts

  Examples of Solidity security issues

  ethereum solidity vulnerabilities
  Solidity Apache-2.0 119 667 4 5 Updated Apr 24, 2020

• rattle

  evm binary static analysis

  ethereum reverse-engineering evm
  Python 17 145 6 0 Updated Apr 21, 2020

• crytic-demo

  Demo code base for Crytic
  Solidity 2 3 4 4 Updated Mar 9, 2020

• ethcc-demo
  Solidity 0 1 1 1 Updated Mar 2, 2020

• ida-evm

  IDA Processor Module for the Ethereum Virtual Machine (EVM)

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

• evm_cfg_builder

  EVM CFG recovery

  ethereum cfg evm reversing
  Python AGPL-3.0 1 10 7 (1 issue needs help) 0 Updated Nov 22, 2019

• whipstaff

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

  casper cbc consensus-protocol
  TLA 1 14 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 0 3 6 0 Updated May 14, 2019

• crytic-support

  User support for Crytic
  0 0 0 0 Updated May 14, 2019

• embark-contract-info

  embark-contract-info
  JavaScript AGPL-3.0 0 2 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 3 2 0 Updated Aug 13, 2018