GitHub repository: GaloisInc/grease
Primary language: Haskell
Description: CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution