Java 如何使用jdk运行klee？

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

KLE使用LLVM位代码，我认为不可能在JAVA中运行KLE。如果您只是在寻找一个用于JAVA的符号执行工具，您可以尝试。

对于JAVA代码片段，可以使用在中使用的相同技术。i、 e.使用gcj编译java代码。