data-flow-analysis
There are 13 repositories under data-flow-analysis topic.
grin-compiler / grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Language:Haskell 1053secure-software-engineering / phasar
A LLVM-based static analysis framework.
Language:C++ 1016AngoraFuzzer / Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Language:C++ 947- Language:Rust 576
- Language:Python 545
cofibrant / micro-mitten
You might not need your garbage collector
Language:Rust 541- Language:C# 240
pfalcon / ScratchABlock
Yet another crippled decompiler project
Language:Python 108SVF-tools / Software-Security-Analysis
Static Analysis Course
Language:C++ 78- Language:Python 74
daanvdh / JavaDataFlow
Creating Data Flow Graphs from java input classes
Language:Java 50edgardozoppi / analysis-net
Static analysis framework for .NET programs.
Language:C# 28Aurore54F / HideNoSeek
Static data flow-based analysis of JavaScript files to detect syntactic clones
Language:Python 23Learner0x5a / DataFlowAnalysis-miasm
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
Language:Python 21sdasgup3 / partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
Language:TeX 14patrick-petrovic / visualDFA
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
Language:Java 12laurmaedje / symflow
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
Language:Rust 10- Language:HTML 9
- Language:Haskell 9
- Language:Java 8
goelayu / Sprinter
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
Language:JavaScript 8PKULiuHui / Value-Range-Analysis
The project of PKU compiler class. Predict the range of value given SSA code.
Language:Python 6TheComputeGuy / static-analysis-plugin
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
Language:Python 6dibyendu / unrelyzer
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
Language:C 5- Language:Python 4
- Language:LLVM 2
Vaibhav-api-code / code-intelligence-toolkit
An AI-first code analysis and safe refactoring platform with a Python SDK and JSON API. Designed for AI agents with a zero-index architecture for 100x speed and unbreakable safety.
Language:Python 2- Language:C++ 1
eladn / NDFA
Neural Data-Flow Analysis: A tool for solving program-related tasks which involve data-flow analysis using deep neural networks
Language:Python 1- Language:Haskell 1
- Language:JavaScript 1
Extend GCC's GDFA Architecture to Non-separable Framwork
Language:Turing 1iamaayushrivastava / Advanced-Compiler-Engg-With-LLVM
This repository contains a collection of LLVM passes developed for LLVM v17.x. These passes are tailored to enhance the understanding and skills in compiler construction and optimization, especially in the context of both general-purpose and embedded systems programming.
Language:LLVM 0This repository features an LLVM optimization pass for inter-procedural, context-insensitive, and flow-sensitive constant propagation that analyses and substitutes constant values across function boundaries. Key features include handling diverse data types and operations, and transforming variables and function arguments to constants.
Language:LLVM 0Morphophonemicsystemmarylandchicken839 / garbage_collector
🗑️ Implement a mark-and-sweep garbage collector in Rust to understand memory management and explore custom heap allocation.
Language:RustSaiSurajMatta / Data-Warehousing-and-Advanced-Data-Analytics
Data Analytics Project: Analyzed Promotions and Provided Tangible Insights to Sales Director
Language:TSQL
