GitHub repository: GaloisInc/surveyor
Primary language: Haskell
Description: A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs