An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
-
Updated
Jun 10, 2026 - C++
#
dataflow-analysis
Here are 8 public repositories matching this topic...
FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
binary-analysis program-analysis taint-analysis security-tools dataflow-analysis taint-tracking usenix-security-2022
-
Updated
Apr 17, 2023 - C++
A GCC plugin that finds memory leaks at compile time by walking GIMPLE IR to resolve alias variables
-
Updated
Dec 29, 2024 - C++
Precision-first C/C++ static analyzer on Clang LibTooling — catches the null-derefs, leaks and overflows your compiler waves through, each with a dataflow trace. MCP-ready for the AI coding loop.
c cpp mcp llvm static-analysis code-analysis clang developer-tools code-review memory-safety static-analyzer libtooling cwe sarif dataflow-analysis bug-detection
-
Updated
Oct 5, 2026 - C++
Compact C++17 compiler toolkit with SSA-style IR, middle-end optimizations, a register-bytecode VM, and an x86-64 AOT backend.
bytecode compiler cpp virtual-machine x86-64 ssa aot control-flow-graph intermediate-representation dataflow-analysis
-
Updated
Jul 23, 2026 - C++
A repo for experimenting with AOT and JIT code generation, including IR transformations for optimisation.
-
Updated
Aug 16, 2022 - C++
This project presents the design and implementation of a static taint analysis tool targeting a simplified intermediate representation (IR) in C++ that incorporates basic control flow constructs such as branches and loops.
-
Updated
Mar 15, 2026 - C++
Implementation of standard compiler optimizations
-
Updated
Jun 13, 2023 - C++
Add this topic to your repo
To associate your repository with the dataflow-analysis topic, visit your repo's landing page and select "manage topics."