GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

• UpdatedJun 13, 2025
• Haskell

A LLVM-based static analysis framework.

• UpdatedDec 16, 2025
• C++

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

• UpdatedJul 18, 2022
• C++

Binary Analysis Framework in Rust

• UpdatedJan 22, 2024
• Rust

BeaEngine disasm project

• UpdatedDec 17, 2020
• Python

You might not need your garbage collector

• UpdatedMay 15, 2020
• Rust

Generic static analysis framework.

• UpdatedOct 7, 2025
• C#

Yet another crippled decompiler project

• UpdatedDec 4, 2021
• Python

Static Analysis Course

• UpdatedDec 17, 2025
• C++

Modular static malicious JavaScript detection system

• UpdatedJan 18, 2021
• Python

Creating Data Flow Graphs from java input classes

• UpdatedJun 18, 2024
• Java

Static analysis framework for .NET programs.

• UpdatedDec 17, 2020
• C#

Static data flow-based analysis of JavaScript files to detect syntactic clones

• UpdatedMar 30, 2020
• Python

Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.

• UpdatedMay 17, 2022
• Python

Partial Redundancy Elimination Pass in LLVM

• UpdatedMay 20, 2019
• TeX

VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.

• UpdatedSep 14, 2017
• Java

Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎

• UpdatedSep 27, 2020
• Rust

A framework for data-flow analysis of a simple imperative programming language.

• UpdatedOct 8, 2018
• Haskell

Fixing data-flow problems in expression trees

• UpdatedJan 17, 2021
• HTML

jdataflow is a Z3 solver based data-flow analyzer for Java source code.

• UpdatedMar 8, 2020
• Java