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
350 stars
23 watching
42 forks
Language: Python
last commit: about 1 year ago
Linked from 2 awesome lists
ethereumevmreverse-engineering
saeidshirazi/awesome-smart-contract-securityRelated 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 | 284 |
 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 | 444 |
 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 |