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
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
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 Programmatic
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
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
Binary Ninja plugin which enables an EVM disassembler and related analysis tools.
Solidity is an object-oriented, high-level language for implementing smart contracts.
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.
To contribute, join our forum or community channel on Telegram, where you can talk to all the ZeppelinOS developers, contributors, partners, and users.
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