data-flow-analysis

There are 12 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.
compiler data-flow-analysis functional-programming haskell llvm optimisation
Language:Haskell 1015
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.
afl data-flow-analysis fuzzer fuzzing security symbolic-execution taint-analysis
Language:C++ 913
secure-software-engineering / phasar
A LLVM-based static analysis framework.
c cpp data-flow-analysis llvm program-analysis static-analysis
Language:C++ 903
falconre / falcon
Binary Analysis Framework in Rust
binary-analysis rust program-analysis data-flow-analysis
Language:Rust 542
doctorn / micro-mitten
You might not need your garbage collector
compilers data-flow-analysis memory-management compile-time-garbage-collection
Language:Rust 530
BeaEngine / beaengine
BeaEngine disasm project
disassembler x86-64 c99 library data-flow-analysis control-flow-analysis intel reverse-engineering
Language:Python 503
Washi1337 / Echo
Generic static analysis framework.
control-flow-analysis data-flow-analysis code-analysis cil x86 bytecode emulation
Language:C# 188
pfalcon / ScratchABlock
Yet another crippled decompiler project
decompiler reverse-engineering program-analysis data-flow-analysis
Language:Python 101
Aurore54F / JStap
Modular static malicious JavaScript detection system
javascript static-analysis data-flow-analysis control-flow-analysis syntactic-analysis lexical-analysis classification malware-detection python3
Language:Python 56
daanvdh / JavaDataFlow
Creating Data Flow Graphs from java input classes
data-flow-graph javaparser javadataflow-graph control-flow-graph java controlflow controlflowgraph dataflow data-flow-analysis
Language:Java 41
edgardozoppi / analysis-net
Static analysis framework for .NET programs.
static-code-analysis net-framework control-flow-analysis static-single-assignment ssa cil bytecode three-address-code data-flow-analysis api dotnet library framework c-sharp visual-basic points-to-analysis call-graph-analysis analysis static-analysis backend
Language:C# 27
Aurore54F / HideNoSeek
Static data flow-based analysis of JavaScript files to detect syntactic clones
javascript static-analysis data-flow-analysis control-flow-analysis
Language:Python 20
Learner0x5a / DataFlowAnalysis-miasm
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
data-flow-analysis data-flow-graph ida-pro idapython miasm reaching-definition-analysis def-use-analysis idapro reverse binary-lifting reverse-engineering
Language:Python 14
ppati000 / visualDFA
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
data-flow-analysis education educational computer-science compilers compiler compiler-optimizations control-flow-graph
Language:Java 12
sdasgup3 / partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
compiler-optimization llvm loop-invariants common-subexpression-elimination data-flow-analysis bitvector
Language:TeX 12
sgraf812 / datafix
Fixing data-flow problems in expression trees
data-flow-analysis haskell compiler-optimization
Language:HTML 9
Egor18 / jdataflow
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
java static-analysis data-flow-analysis
Language:Java 8
wenkokke / MonoProc
A framework for data-flow analysis of a simple imperative programming language.
homework imperative-programming-language data-flow-analysis monotone-frameworks
Language:Haskell 8
SVF-tools / Software-Security-Analysis
Software Security Analysis Course
abstract-interpretation data-flow-analysis static-analysis symbolic-execution static-analysis-course value-flow
Language:C++ 7
PKULiuHui / Value-Range-Analysis
The project of PKU compiler class. Predict the range of value given SSA code.
value-range-analysis data-flow-analysis
Language:Python 6
dibyendu / unrelyzer
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
control-flow-graph data-flow-analysis static-analysis static-analyzer interval-analysis unreliable-program
Language:C 5
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
Language:Python 4
goelayu / Sprinter
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
crawler javascript control-flow-analysis data-flow-analysis go programming-language
Language:JavaScript 2
laurmaedje / symflow
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
data-flow-analysis static-analysis x86-64
Language:Rust 2
saber-dragon / DemandDrivenDefUseAnalysis
llvm llvm-pass compiler-optimization algorithm data-flow-analysis infeasible-paths
Language:LLVM 2
eladn / NDFA
Neural Data-Flow Analysis: A tool for solving program-related tasks which involve data-flow analysis using deep neural networks
data-flow-analysis deep-learning ndfa code-representation ml4code hierarchic-model pytorch abstract-syntax-tree control-flow-graph gnn program-dependence-graph
Language:Python 1
hexwell / vflow
Static code analyzer checking for variable dependencies between modules
static-analysis code-analysis haskell data-flow-analysis code-inspection inspections
Language:Haskell 1
sdasgup3 / non-separable-global-dataflow-framework
Extend GCC's GDFA Architecture to Non-separable Framwork
gcc-plugin data-flow-analysis compiler-optimization dead-code-elimination bitvector
Language:Turing 1
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.
data-flow-analysis graph http-communication-request-response web-tracking
Language:JavaScript 0
sim642 / bsc-thesis
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
thesis thesis-paper bachelor-thesis bsc-thesis estonian estonian-language abstract-domain property-based-testing static-analysis static-code-analysis data-flow-analysis abstract-interpretation
Language:TeX