GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
-
Updated
Apr 6, 2022 - Haskell
#
data-flow-analysis
Here are 25 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
Mar 22, 2022 - C++
A LLVM-based static analysis framework.
-
Updated
Apr 6, 2022 - C++
You might not need your garbage collector
-
Updated
May 15, 2020 - Rust
Binary Analysis Framework in Rust
-
Updated
Jan 13, 2022 - Rust
BeaEngine disasm project
-
Updated
Dec 17, 2020 - Python
good first issue
Good for newcomers
emulation
Issue related to the emulation modules of Echo.
dotnet-asmresolver
Issues related to the .NET back-end powered by AsmResolver
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
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
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
-
Updated
Mar 8, 2020 - Java
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
A collection of LLVM passes, including some data flow analysis passes
-
Updated
Mar 18, 2018 - C++
-
Updated
Apr 13, 2018 - LLVM
Extend GCC's GDFA Architecture to Non-separable Framwork
-
Updated
Dec 16, 2016 - Turing
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
thesis
static-code-analysis
static-analysis
property-based-testing
bachelor-thesis
abstract-interpretation
estonian
abstract-domain
estonian-language
data-flow-analysis
thesis-paper
bsc-thesis
-
Updated
Jun 19, 2018 - TeX
Static code analyzer checking for variable dependencies between modules
-
Updated
Mar 21, 2022 - Haskell
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
-
Updated
Sep 27, 2020 - Rust
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."
Below a list of all opcodes currently supported by the CIL emulator of Echo's AsmResolver back-end.
Miscellaneous:
Variables and arguments: