GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
-
Updated
Apr 28, 2023 - Haskell
#
data-flow-analysis
Here are 32 public repositories matching this topic...
A LLVM-based static analysis framework.
-
Updated
Dec 17, 2024 - C++
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++
Binary Analysis Framework in Rust
-
Updated
Jan 22, 2024 - Rust
You might not need your garbage collector
-
Updated
May 15, 2020 - Rust
BeaEngine disasm project
-
Updated
Dec 17, 2020 - Python
Generic static analysis framework.
-
Updated
Aug 23, 2024 - 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
Jun 18, 2024 - Java
Software Security Analysis Course
static-analysis symbolic-execution abstract-interpretation data-flow-analysis value-flow static-analysis-course
-
Updated
Dec 18, 2024 - C++
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
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
Partial Redundancy Elimination Pass in LLVM
llvm bitvector compiler-optimization data-flow-analysis loop-invariants common-subexpression-elimination
-
Updated
May 20, 2019 - TeX
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
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
-
Updated
Sep 27, 2020 - Rust
A framework for data-flow analysis of a simple imperative programming language.
-
Updated
Oct 8, 2018 - Haskell
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
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."