#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
Powered By
GitBook
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.
Security Information - Previous
Audits and Security Information
Next - Research and Developer Resources
Developer Resources
Last modified
3yr ago
Copy link
Outline
EVMLab
Echidna: Ethereum fuzz testing framework
Ethersplay: A Visual EVM Dissassembler
IDA EVM: IDA Processor Module for the Ethereum Virtual Machine (EVM)
Manticore: Symbolic execution tool for EVM and x86
Mythril Classic
Octopus
Oyente
Rattle: EVM Binary Analysis
Securify
SmartCheck
Surya
pyevmasm: Pythonic EVM Assembler/Disassembler