如何用jdk运行klee?

How to run klee with jdk?

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

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