data-flow-analysis
There are 30 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.
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.
secure-software-engineering/phasar
A LLVM-based static analysis framework.
falconre/falcon
Binary Analysis Framework in Rust
doctorn/micro-mitten
You might not need your garbage collector
BeaEngine/beaengine
BeaEngine disasm project
Washi1337/Echo
Generic static analysis framework.
pfalcon/ScratchABlock
Yet another crippled decompiler project
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.
ppati000/visualDFA
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
sdasgup3/partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
SVF-tools/Software-Security-Analysis
Software Security Analysis Course
sgraf812/datafix
Fixing data-flow problems in expression trees
Egor18/jdataflow
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
wenkokke/MonoProc
A framework for data-flow analysis of a simple imperative programming language.
PKULiuHui/Value-Range-Analysis
The project of PKU compiler class. Predict the range of value given SSA code.
dibyendu/unrelyzer
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
TheComputeGuy/static-analysis-plugin
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
goelayu/Sprinter
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
laurmaedje/symflow
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
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
sdasgup3/non-separable-global-dataflow-framework
Extend GCC's GDFA Architecture to Non-separable Framwork
t-ex-tools/t.ex-graph-converter
Node.js application that consumes T.EX-exported HTTP/S requests and responses and generated a graph representation, which models data flows among hosts.
sim642/bsc-thesis
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)