如何用jdk运行klee？

Question

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

Answer 1

KLEE适用于LLVM bitcode，我认为在JAVA中运行klee是不可能的。如果您只是在寻找JAVA的符号执行工具，可以试试JPF。