control-flow-graph
There are 82 repositories under control-flow-graph topic.
python-security/pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
fergarrui/ethereum-graph-debugger
Ethereum solidity graph plain debugger. To have the whole picture when debugging.
danielplohmann/smda
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
acuarica/evm
A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
koutheir/binary-security-check
Moved: https://codeberg.org/koutheir/binary-security-check
hidva/as2cfg
Construct the CFG(Control Flow Graph) from intel assembly code
shramos/pyc-cfg
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
daanvdh/JavaDataFlow
Creating Data Flow Graphs from java input classes
hmc-alpaqa/metrinome
Create CFGs and compute complexity metrics for Python, C++, and Java code.
nick-ulle/rstatic
An R package for static analysis of R code.
tmr232/function-graph-overview
Control-Flow Graph (CFG) Visualizer for VSCode
mustakimur/OS-CFI
Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
filletofish/compiler-touch
Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.
shaunazzopardi/solidity-cfg-builder
A control-flow graph builder for Solidity smart contracts.
lisa-analyzer/evm-lisa
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
codingClaire/Structural-Code-Understanding
A Survey of Deep Learning Models for Structural Code Understanding
Assifar-Karim/cyclomatix
A static analysis tool for Go that generates control flow graphs and computes cyclomatic complexity
maxence-ho/DexGraph
Modified DexDump to build instruction graph from classes.dex
slak44/ckompiler
A C compiler written in Kotlin
LouisJenkinsCS/DSL
A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.
JC-LL/crokus
C parser written in Ruby, for experimental purpose
Messi-Q/BinaryCFGExtractor
BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).
Tiankai-Jiang/CFG-Generator
Python Control Flow Graph Generator
LouisJenkinsCS/LLVM-Simple-GUI
A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees and post-dominator trees, and more!
marirs/capa-rs
File Capability Extractor
patrick-petrovic/visualDFA
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
acheshkov/program-graphs
A python library to build graphs for programs written in different programming languages.
Oking123/CFG_Generator
A control flow graph generator is a static program analysis tool, which generates a control flow graph when given a single Python program.
bezzad/UnitJest
Automation generate unit test for JavaScript by Jest Framework
chaturv3di/absynthe
A (branching) Behaviour Synthesiser -- Simulates the generation of application or process logs, where multiple modules (or processes) can execute simultaneously, in a distributed deployment, and dump the log messages in an interleaved manner in a single log file.
HeiniDebes/ZEKRA
Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol
openrewrite/rewrite-analysis
OpenRewrite recipes for data flow analysis.
m-zakeri/CodA
Code Analysis Toolkit
T-Brick/ControlFlow
A control flow graph library for Lean
TheComputeGuy/static-analysis-plugin
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
polystat/eog
EO programs to Call Flow Graph (CFG) transformator