如何使用 jdk 运行可利

Question

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

Answer 1

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