evm-cfg
by plotchy
Symbolic stack CFG generator for EVM
AI summary
CFG generator
Generates a control flow graph for Ethereum Virtual Machine bytecode using symbolic stack analysis
- stars
- 179
- forks
- 14
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
EVM analyzer
An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability
EVM analyzer
Tools for working with and analyzing the Ethereum Virtual Machine
Virtual machine
An implementation of the Ethereum Virtual Machine
google/vxsig261
Signature generator
Automatically generates AV byte signatures from sets of similar binaries using a signature generation algorithm.
Flamegraph
A tool for visualizing performance data from various sources in a graph
OCN generator
Generates synthesizable Verilog for on-chip networks with customizable parameters and modular design
bluealloy/revm1.7K
EVM simulator
Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.
EVM model
Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language.
quilt/etk361
EVM analyzer
A toolkit for working with EVM bytecode and analyzing Ethereum contracts.
EVM interpreter
A flexible, customizable, and portable implementation of the Ethereum Virtual Machine
EVM implementation
An implementation of the Ethereum Virtual Machine
FSM diagram generator
Generates Graphviz diagrams from finite state machine (FSM) data in Clojure or JavaScript.
Bytecode analyzer
An EVM bytecode disassembler and analysis tool for Ethereum contracts.
Hash generator
A fuzzy matching library that generates hash values for similarity comparisons
Graph generator
Generates graph representations of infrastructure resources from cloud provider state files or HCL configurations
