java - 如何用JDK运行Klee？

Closed. This question needs to be more focused。它当前不接受答案。
                            
                        
                    
                
                            
                                
                
                        
                            
                        
                    
                        
                            想改善这个问题吗？更新问题，使其仅通过editing this post专注于一个问题。
                        
                        4年前关闭。
                                                                                            
                
        
我是KLEE的新手，我想在Java中运行klee工具，能否请您告诉我是否可以在Java中运行KLEE？是的，请给我看一些教程。

最佳答案

KLEE使用LLVM位码工作，我认为无法在JAVA中运行klee。如果您只是在寻找JAVA的符号执行工具，则可以尝试JPF。

关于java - 如何用JDK运行Klee？ ，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/27740404/