data-flow-analysis
There are 38 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.
secure-software-engineering/phasar
A LLVM-based static analysis framework.
AngoraFuzzer/Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
falconre/falcon
Binary Analysis Framework in Rust
BeaEngine/beaengine
BeaEngine disasm project
cofibrant/micro-mitten
You might not need your garbage collector
Washi1337/Echo
Generic static analysis framework.
pfalcon/ScratchABlock
Yet another crippled decompiler project
SVF-tools/Software-Security-Analysis
Static Analysis Course
Aurore54F/JStap
Modular static malicious JavaScript detection system
daanvdh/JavaDataFlow
Creating Data Flow Graphs from java input classes
edgardozoppi/analysis-net
Static analysis framework for .NET programs.
Aurore54F/HideNoSeek
Static data flow-based analysis of JavaScript files to detect syntactic clones
Learner0x5a/DataFlowAnalysis-miasm
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
sdasgup3/partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
patrick-petrovic/visualDFA
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
laurmaedje/symflow
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
sgraf812/datafix
Fixing data-flow problems in expression trees
wenkokke/MonoProc
A framework for data-flow analysis of a simple imperative programming language.
Egor18/jdataflow
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
goelayu/Sprinter
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
PKULiuHui/Value-Range-Analysis
The project of PKU compiler class. Predict the range of value given SSA code.
TheComputeGuy/static-analysis-plugin
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
dibyendu/unrelyzer
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
ccoskrnl/cc-pass-python
一个功能上类似于llvm-pass的代码分析优化器
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.
aghorui/lhf
Multilevel data and operation deduplication mechanism (implementation in C++)
eladn/NDFA
Neural Data-Flow Analysis: A tool for solving program-related tasks which involve data-flow analysis using deep neural networks
hexwell/vflow
Static code analyzer checking for variable dependencies between modules
KDCinfo/dataflow
Easily enter data flows for analysis or comparisons between similar flows.
sdasgup3/non-separable-global-dataflow-framework
Extend GCC's GDFA Architecture to Non-separable Framwork
iamaayushrivastava/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.
iamaayushrivastava/Inter-Procedural-Constant-Propagation
This 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.
Morphophonemicsystemmarylandchicken839/garbage_collector
🗑️ Implement a mark-and-sweep garbage collector in Rust to understand memory management and explore custom heap allocation.
SaiSurajMatta/Data-Warehousing-and-Advanced-Data-Analytics
Data Analytics Project: Analyzed Promotions and Provided Tangible Insights to Sales Director