GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
-
Updated
Oct 6, 2022 - Haskell
#
data-flow-analysis
Here are 26 public repositories matching this topic...
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
-
Updated
Jul 18, 2022 - C++
A LLVM-based static analysis framework.
-
Updated
Oct 13, 2022 - C++
You might not need your garbage collector
-
Updated
May 15, 2020 - Rust
Binary Analysis Framework in Rust
-
Updated
Jun 16, 2022 - Rust
BeaEngine disasm project
-
Updated
Dec 17, 2020 - Python
Generic static analysis framework.
-
Updated
Sep 4, 2022 - C#
Yet another crippled decompiler project
-
Updated
Dec 4, 2021 - Python
Modular static malicious JavaScript detection system
javascript
static-analysis
python3
classification
control-flow-analysis
lexical-analysis
data-flow-analysis
syntactic-analysis
malware-detection
-
Updated
Jan 18, 2021 - Python
Creating Data Flow Graphs from java input classes
java
control-flow-graph
dataflow
javaparser
data-flow-analysis
data-flow-graph
controlflow
javadataflow-graph
controlflowgraph
-
Updated
Mar 22, 2022 - Java
Static analysis framework for .NET programs.
c-sharp
api
library
framework
bytecode
backend
analysis
static-code-analysis
visual-basic
dotnet
static-analysis
ssa
control-flow-analysis
cil
net-framework
data-flow-analysis
static-single-assignment
three-address-code
points-to-analysis
call-graph-analysis
-
Updated
Dec 17, 2020 - C#
Static data flow-based analysis of JavaScript files to detect syntactic clones
-
Updated
Mar 30, 2020 - Python
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
computer-science
education
compiler
control-flow-graph
educational
compilers
compiler-optimizations
data-flow-analysis
-
Updated
Sep 14, 2017 - Java
Partial Redundancy Elimination Pass in LLVM
llvm
bitvector
compiler-optimization
data-flow-analysis
loop-invariants
common-subexpression-elimination
-
Updated
May 20, 2019 - TeX
Fixing data-flow problems in expression trees
-
Updated
Jan 17, 2021 - HTML
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
-
Updated
Mar 8, 2020 - Java
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
reverse-engineering
reverse
ida-pro
idapython
idapro
data-flow-analysis
data-flow-graph
miasm
reaching-definition-analysis
binary-lifting
def-use-analysis
-
Updated
May 17, 2022 - Python
A framework for data-flow analysis of a simple imperative programming language.
-
Updated
Oct 8, 2018 - Haskell
The project of PKU compiler class. Predict the range of value given SSA code.
-
Updated
Jul 7, 2018 - Python
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
static-analysis
control-flow-graph
interval-analysis
static-analyzer
data-flow-analysis
unreliable-program
-
Updated
Mar 18, 2017 - C
Improve this page
Add a description, image, and links to the data-flow-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the data-flow-analysis topic, visit your repo's landing page and select "manage topics."