GaloisInc/surveyor

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

语言：Haskell · GitHub 星标：20 · Fork：2

话题：debugging · llvm · machine-code · program-analysis · symbolic-execution

在 GitHub 上查看原仓库