evm-cfg
CFG generator
Generates a control flow graph for Ethereum Virtual Machine bytecode using symbolic stack analysis
Symbolic stack CFG generator for EVM
179 stars
3 watching
14 forks
Language: Rust
last commit: 9 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 crytic/rattle | An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability | 353 |
 coinculture/evm-tools | Tools for working with and analyzing the Ethereum Virtual Machine | 446 |
 nervous-systems/sputter | An implementation of the Ethereum Virtual Machine | 122 |
 google/vxsig | Automatically generates AV byte signatures from sets of similar binaries using a signature generation algorithm. | 261 |
 scymtym/clim.flamegraph | A tool for visualizing performance data from various sources in a graph | 16 |
 cornell-brg/pymtl3-net | Generates synthesizable Verilog for on-chip networks with customizable parameters and modular design | 43 |
 bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,685 |
 runtimeverification/evm-semantics | Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language. | 509 |
 quilt/etk | A toolkit for working with EVM bytecode and analyzing Ethereum contracts. | 361 |
 rust-ethereum/evm | A flexible, customizable, and portable implementation of the Ethereum Virtual Machine | 1,200 |
 ethereum/evmone | An implementation of the Ethereum Virtual Machine | 872 |
 jebberjeb/fsmviz | Generates Graphviz diagrams from finite state machine (FSM) data in Clojure or JavaScript. | 51 |
| crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 844 |
 trendmicro/tlsh | A fuzzy matching library that generates hash values for similarity comparisons | 750 |
 cycloidio/inframap | Generates graph representations of infrastructure resources from cloud provider state files or HCL configurations | 1,770 |