control-flow-graph topic
DSL
A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.
Structural-Code-Understanding
A Survey of Deep Learning Models for Structural Code Understanding
evm
A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
solidity-cfg-builder
A control-flow graph builder for Solidity smart contracts.
ckompiler
A C compiler written in Kotlin
DexGraph
Modified DexDump to build instruction graph from classes.dex
metrinome
Create CFGs and compute complexity metrics for Python, C++, and Java code.
cyclomatix
A static analysis tool for Go that generates control flow graphs and computes cyclomatic complexity
evm-lisa
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode