CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution - View it on GitHub
Star
130
Rank
237342