如何用jdk运行klee？

How to run klee with jdk?

我是 KLEE 的新手，我想在 java 中运行 klee 工具 你能告诉我是否可以在 java 中运行 KLEE 吗？是的，请给我一些教程。

KLEE 在 LLVM 位码上工作，我认为 运行 klee 在 JAVA 中是不可能的。如果你只是在寻找JAVA的符号执行工具，你可以试试JPF.