A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs - View it on GitHub