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