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.
翻译 - 安哥拉是一个基于突变的模糊器。 Angora的主要目标是通过解决路径约束而无需符号执行来增加分支覆盖范围。
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
Software Security Analysis Course
Creating Data Flow Graphs from java input classes
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.
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
A framework for data-flow analysis of a simple imperative programming language.
jdataflow is a Z3 solver based data-flow analyzer for Java source code.