Tools

#ETHSecurity

Introductory Post Discourse Community Interviews

Search…

Introduction

Security Information

Blogs and Articles

Presentations

Audits and Security Information

Research and Developer Resources

Tools

Developer Resources

Audit Research

Respositories and Organizations

Helpful Repositories

Security Organizations

Tools

​EVMLab​
Various tools to interact with the Ethereum virtual machine, including a fuzzer and opcode viewer.
​Echidna: Ethereum fuzz testing framework​
Echidna is a Haskell library designed for fuzzing/property-based testing of EVM code.
​Ethersplay: A Visual EVM Dissassembler​
Binary Ninja plugin which enables an EVM disassembler and related analysis tools.
​IDA EVM: IDA Processor Module for the Ethereum Virtual Machine (EVM)​
IDA Processor Module for the Ethereum Virtual Machine (EVM).
​Manticore: Symbolic execution tool for EVM and x86​
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
​Mythril Classic​
Mythril Classic is an open-source security analysis tool for Ethereum smart contracts.
​Octopus​
Security Analysis tool for WebAssembly module and Blockchain Smart Contracts.
​Oyente​
An Analysis Tool for Smart Contracts.
​Rattle: EVM Binary Analysis​
Rattle is an EVM binary static analysis framework designed to work on deployed smart contracts.
​Securify​
Online and open source analysis tool for Ethereum smart contracts which checks for violations of security patterns.
​SmartCheck​
A linter for Solidity and Vyper that checks code for security issues and bad practices.
​Surya​
A set of utilities for exploring Solidity contracts. Allows the creation of inheritance and control flow graphs, structured AST output and markdown reports listing functions and their modifiers and visibility.
​pyevmasm: Pythonic EVM Assembler/Disassembler​
pyevmasm is an assembler and disassembler library for the Ethereum Virtual Machine (EVM). It includes a commandline utility and a Python API.