开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >如何使用jdk运行klee？

问如何使用jdk运行klee？
EN

Stack Overflow用户

提问于 2015-01-02 10:06:26

回答 1查看 650关注 0票数 1

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

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2015-01-04 00:17:14

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

票数 2

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/27740404

复制

相似问题