data-flow-analysis topic
micro-mitten
You might not need your garbage collector
phasar
A LLVM-based static analysis framework.
falcon
Binary Analysis Framework in Rust
beaengine
BeaEngine disasm project
Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Echo
Generic static analysis framework.
ScratchABlock
Yet another crippled decompiler project
analysis-net
Static analysis framework for .NET programs.
JavaDataFlow
Creating Data Flow Graphs from java input classes