1

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

4

1 回答 1

2

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

于 2015-01-04T00:17:14.990 回答