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