rattle

EVM analyzer

An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability

evm binary static analysis

GitHub

350 stars
23 watching
42 forks
Language: Python
last commit: about 1 year ago
Linked from 2 awesome lists

ethereumevmreverse-engineering

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
crytic/ethersplay An EVM bytecode disassembler and analysis tool for Ethereum contracts. 842
crytic/ida-evm A Python-based toolset for reverse-engineering Ethereum Virtual Machine (EVM) binaries 308
crytic/pyevmasm A Python library for assembling and disassembling the Ethereum Virtual Machine's instruction set 362
quilt/etk A toolkit for working with EVM bytecode and analyzing Ethereum contracts. 360
cdump/evmole Extracts information from Ethereum Virtual Machine bytecode 282
tintinweb/ethereum-dasm An ethereum bytecode disassembler and analysis tool 219
crytic/tealer A static analyzer tool for identifying vulnerabilities in smart contract code written in Teal 62
coinculture/evm-tools Tools for working with and analyzing the Ethereum Virtual Machine 443
ethereum/evmlab Utilities for interacting with the Ethereum virtual machine 366
plotchy/evm-cfg Generates a control flow graph for Ethereum Virtual Machine bytecode using symbolic stack analysis 179
jon-becker/heimdall-rs An advanced toolkit for analyzing and extracting information from smart contracts written in the Ethereum Virtual Machine (EVM) bytecode 1,192
muellerberndt/mythril Detects security vulnerabilities in smart contracts written in EVM bytecode. 54
crytic/amarna Analyze and report on potential issues in Cairo code for improved security and maintainability. 148
crytic/solc-select A tool to manage and switch between Solidity compiler versions 755
leonardoalt/tinyzkevm A proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates. 46