Ethereum Toolkit for the Security Conscious

These tools were designed to assist in debugging, development, and security for the Ethereum Virtual Machine and the solidity smart contract language it implements. 

References & Insecure Contracts

Development Tools

  • Slither – Static analyses for solidity contracts ~ Trail of Bits
  • Oyente – Static analyzer for solidity contracts ~ Melonport
  • Echidna – EVM bytecode smart fuzzer ~ Trail of Bits
  • Manticore – symbolic execution engine against EVM bytecode ~ Trail of Bits

Reversing Tools

  • Ethersplay – Graphical EVM disassembler ~ Trail of Bits
  • IDA-EVM – Graphical EVM disassembler for IDA Pro ~ Trail of Bits
  • Mythril Classic – Solidity concolic analysis tool ~ ConsenSys
  • Rattle – EVM bytecode static analyzer ~ Trail of Bits
  • Etheno – Ethereum testing swiss army knife ~ Trail of Bits
  • pyevmasm – Assembler & library for the EVM ~ Trail of Bits

Visualization Tools

  • EVM Lab –  Tools to interact with the EVM ~ Ethereum Org
  • solgraph – Generates a DOT graph that visualizes function control flow of a Solidity contract ~ @metaraine
  • Surya –  Visual outputs about a contract structure ~ ConsenSys
  • ethereum-graph-debugger – Solidity debugger ~ fergarrui

External Resources