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

A LLVM-based static analysis framework.

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

Binary Analysis Framework in Rust

You might not need your garbage collector

BeaEngine disasm project

Generic static analysis framework.

Yet another crippled decompiler project

Modular static malicious JavaScript detection system

Creating Data Flow Graphs from java input classes

Software Security Analysis Course

Static analysis framework for .NET programs.

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

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

Partial Redundancy Elimination Pass in LLVM

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

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

Fixing data-flow problems in expression trees

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

The project of PKU compiler class. Predict the range of value given SSA code.