There are 11 repositories under control-flow-graph topic.
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Ethereum solidity graph plain debugger. To have the whole picture when debugging.
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
Analyzer of security features in executable binaries
Creating Data Flow Graphs from java input classes
Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
Create CFGs and compute complexity metrics for Python, C++, and Java code.
Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.
A control-flow graph builder for Solidity smart contracts.
A static analysis tool for Go that generates control flow graphs and computes cyclomatic complexity
A Survey of Deep Learning Models for Structural Code Understanding
A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.
Modified DexDump to build instruction graph from classes.dex
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!
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
A python library to build graphs for programs written in different programming languages.
A control flow graph generator is a static program analysis tool, which generates a control flow graph when given a single Python program.
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.
BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).
OpenRewrite recipes for data flow analysis.
Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol
A control flow graph library for Lean
Loops are an important part of any programming language. Hence loop analysis is very important for different software engineering tasks, such as bug detection, test case generation, and program optimization.
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries