​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.