GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
-
Updated
Nov 14, 2020 - Haskell
#
data-flow-analysis
Here are 23 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
Nov 3, 2020 - C++
A LLVM-based static analysis framework.
-
Updated
Nov 29, 2020 - C++
You might not need your garbage collector
-
Updated
May 15, 2020 - Rust
BeaEngine disasm project
-
Updated
Nov 29, 2020 - Python
Binary Analysis Framework in Rust
-
Updated
Aug 20, 2020 - Rust
Yet another crippled decompiler project
-
Updated
Dec 1, 2020 - 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
Feb 2, 2020 - Python
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
Aug 30, 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
Fixing data-flow problems in expression trees
-
Updated
Sep 1, 2020 - HTML
A framework for data-flow analysis of a simple imperative programming language.
-
Updated
Oct 8, 2018 - Haskell
Partial Redundancy Elimination Pass in LLVM
llvm
bitvector
compiler-optimization
data-flow-analysis
loop-invariants
common-subexpression-elimination
-
Updated
May 20, 2019 - TeX
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
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
-
Updated
Apr 13, 2018 - LLVM
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
-
Updated
Sep 27, 2020 - Rust
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
A collection of LLVM passes, including some data flow analysis passes
-
Updated
Mar 18, 2018 - 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."
Below a list of all opcodes currently supported by the CIL emulator of Echo's AsmResolver back-end.
Miscellaneous:
Variables and arguments: