program-analysis topic
crab
A library for building abstract interpretation-based analyses
MBA
Malware Behavior Analyzer
siderophile
Find the ideal fuzz targets in a Rust codebase
ScratchABlock
Yet another crippled decompiler project
naaz
Symbolic Execution Engine based on Ghidra's PCode
analyzer
Static analysis framework for C
IncA
Incremental Program Analysis Framework
MATE
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
binary-decompilation
Extracting high level semantic information from binary code
VeriSmart-public
a safety verifier for Solidity smart contracts