Projects in Awesome Lists tagged with control-flow-graph

https://github.com/python-security/pyt

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

abstract-syntax abstract-syntax-tree control-flow-graph dataflow dataflow-analysis fixed-point fixed-point-analysis flask program-analysis pyt python python3 security static-analysis static-code-analysis taint taint-analysis

Last synced: 14 May 2025

https://github.com/fergarrui/ethereum-graph-debugger

Ethereum solidity graph plain debugger. To have the whole picture when debugging.

blockchain bytecode control-flow-graph debug debugger ethereum ethereum-contract ethereum-debug ethereum-debugger ethereum-debugging ethereum-graph-debugger solidity solidity-debug solidity-debugging solidity-language trace transaction

Last synced: 06 Apr 2025

https://github.com/danielplohmann/smda

SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.

code-analysis control-flow-analysis control-flow-graph disassembler memory-dump x64 x86

Last synced: 21 Jun 2025

https://github.com/tmr232/function-graph-overview

Control-Flow Graph (CFG) Visualizer for VSCode

control-flow-graph visualization vscode-extension

Last synced: 21 Feb 2026

https://github.com/shramos/pyc-cfg

Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.

ast cfg clang control-flow-analysis control-flow-graph python static-analyzer

Last synced: 31 Jul 2025

https://github.com/daanvdh/javadataflow

Creating Data Flow Graphs from java input classes

control-flow-graph controlflow controlflowgraph data-flow-analysis data-flow-graph dataflow java javadataflow-graph javaparser

Last synced: 14 Jan 2026

https://github.com/lisa-analyzer/evm-lisa

EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode

abstract-interpretation cfg control-flow-graph ethereum evm-bytecode smart-contracts static-analysis

Last synced: 18 Jan 2026

https://github.com/shaunazzopardi/solidity-cfg-builder

A control-flow graph builder for Solidity smart contracts.

control-flow-graph ethereum-verificaton solidity solidity-analysis solidity-contracts solidity-language static-analysis

Last synced: 10 Apr 2025

https://github.com/assifar-karim/cyclomatix

A static analysis tool for Go that generates control flow graphs and computes cyclomatic complexity

control-flow-graph cyclomatic-complexity go graph-theory graphviz static-analysis

Last synced: 11 Jan 2026

https://github.com/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.

abstract-syntax-tree control-flow-graph domain-specific-language grammar interpreter language syntax-tree turing-completeness

Last synced: 28 Jun 2025

https://github.com/jc-ll/crokus

C parser written in Ruby, for experimental purpose

ast c cfg control-flow-graph experimental parser

Last synced: 07 May 2025

https://github.com/openrewrite/rewrite-analysis

OpenRewrite recipes for data flow analysis.

control-flow control-flow-graph dataflow openrewrite openrewrite-recipes refactoring

Last synced: 11 Feb 2026

https://github.com/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!

compilers control-flow-graph gui llvm llvm-gui llvm-ir swing-gui visualization visualization-tools

Last synced: 20 Oct 2025

https://github.com/marirs/capa-rs

File Capability Extractor

aslr capa capabilities control-flow-graph file-capabilities malware-analysis mbc mitre reverse-engineering rust rust-lang rust-library seh

Last synced: 11 Jul 2025

https://github.com/acheshkov/program-graphs

A python library to build graphs for programs written in different programming languages.

control-flow-graph static-analysis

Last synced: 07 May 2025

https://github.com/bezzad/unitjest

Automation generate unit test for JavaScript by Jest Framework

babel cfg control-flow-graph escodegen esprima estraverse falafel flow-chart generate-unit-test genetic-algorithm instrument javascript jest test-code unit-testing

Last synced: 02 Mar 2026

https://github.com/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.

control-flow-graph data-generation gitflow-workflow labelled-data log-analysis log-generator python3

Last synced: 09 Apr 2026

https://github.com/thecomputeguy/static-analysis-plugin

An IDA Python plugin for CFG generation and data flow analysis on x86 binaries

control-flow-graph data-flow-analysis ida-pro idapython

Last synced: 26 Apr 2025

https://github.com/tmr232/jb-function-graph-overview

Control-Flow Graph (CFG) Visualizer for JetBrains IDEs

clion-plugin control-flow-graph goland-plugin jetbrains-plugin pycharm-plugin visualization

Last synced: 22 Feb 2026

https://github.com/kengotoda/learn-cfg

Learn Control Flow Graph on ObjectWeb ASM

control-flow-graph objectweb-asm static-analysis

Last synced: 22 Feb 2026

https://github.com/tebogoyungmercykay/controll_flow_graph_implementation_in_java

A CFG is known as a Single Entry Single Exit (SESE) graph if it only has a single entry node and a single exit node. A problem that arose during researchon static analysis is how to deal with loops in the CFG.

control-flow-graph cost data-structures-and-algorithms directed-graphs distance edges graphs java length nodes object-oriented-programming paths prime-paths shortest-paths simple-path vertices weighted-graphs