Tenderly

Start monitoring your contracts with error tracking, detailed contract analytics and smart alerts that notify you when something happens.
Error tracking Track and fix errors as they happen. Error Tracking, track every reverted transaction and easily pinpoint issue in real-time. Full stack traces See the full execution of your contracts. Tenderly enables your blockchain development with stack traces, showing you the source code right
  • Ethereum
  • Project
  • Analytics
  • EVM
  • Dev tools
  • Testing
  • Testing Tools

Slither

Static Analyzer for Solidity
Slither is a Solidity static analysis framework written in Python 3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses. Slither enables developers to find vulnerabilities, enhance their code comprehension
  • Ethereum
  • Project
  • Security
  • Solidity
  • Dev tools
  • EVM
  • Smart Contract

Manticore

Symbolic execution tool on Smart Contracts and Binaries
Features Input Generation : Manticore automatically generates inputs that trigger unique code paths Error Discovery : Manticore discovers bugs and produces inputs required to trigger them Execution Tracing : Manticore records an instruction-level trace of execution for each generated input
  • Ethereum
  • Project
  • Security
  • EVM
  • Solidity
  • Dev tools
  • Code
  • Analytics
  • Python

Hydra

Framework for cryptoeconomic contract security, decentralised security bounties.
The Hydra is an Ethereum contract development framework for: decentralized security and bug bounties rigorous cryptoeconomic security guarantees mitigating programmer and compiler error Hydra introduces a concept called an exploit gap , a way for developers to turn crippling exploits into safe
  • Ethereum
  • Project
  • Security
  • Framework
  • Smart Contract
  • Dev tools
  • EVM
  • Code

Evmdis

Alternative EVM disassembler
evmdis is an EVM disassembler. It performs static analysis on the bytecode to provide a higher level of abstraction for the bytecode than raw EVM operations. Features include: Separates bytecode into basic blocks. Jump target analysis, assigning labels to jump targets and replacing addresses with
  • Ethereum
  • Project
  • Security
  • Dev tools
  • Code
  • Analytics
  • EVM
  • Testing

Ethersplay

EVM disassembler
Binary Ninja plugin which enables an EVM disassembler and related analysis tools.
  • Ethereum
  • Project
  • Security
  • EVM
  • Dev tools
  • Smart Contract

Solidity

Solidity is an object-oriented, high-level language for implementing smart contracts.
Solidity is an object-oriented, high-level language for implementing smart contracts. Smart contracts are programs which govern the behaviour of accounts within the Ethereum state. Solidity was influenced by C++, Python and JavaScript and is designed to target the Ethereum Virtual Machine (EVM)
  • Ethereum
  • Project
  • Programming
  • Dev tools
  • Smart Contract
  • EVM

Design Process & Contributing

For now, high-level design discussions should continue to be held in the design repository, via issues and pull requests. Feel free to file issues.  
  • Guide
  • Research
  • EVM
  • Protocols
  • eWASM

Contribute ZeppelinOS

To contribute, join our forum or community channel on Telegram, where you can talk to all the ZeppelinOS developers, contributors, partners, and users.
  • Guide
  • Framework
  • Code
  • EVM
  • Smart Contract
  • Dev tools
  • Testing
  • ZeppelinOS

eWASM

eWASM is a restricted subset of WASM to be used for contracts in Ethereum.
Ethereum WebAssembly is a proposed redesign of the Ethereum smart contract execution layer using a deterministic subset of WebAssembly. The use of WebAssembly as a format for smart contracts gains a variety of benefits, a few of which are listed below: Near-native execution speed for smart contracts
  • Ethereum
  • Project
  • Core
  • ewasm
  • EVM
  • Smart Contract
  • Programming