java - jdkでクレーを実行するには?

Question

私は KLEE を初めて使用します。Java で klee ツールを実行したいのですが、Java で KLEE を実行することは可能ですか? はい、いくつかのチュートリアルを見せてください。

Answer 1

KLEE は LLVM ビットコードで動作しますが、Java で klee を実行することはできないと思います。JAVA のシンボリック実行ツールを探しているだけなら、JPFを試すことができます。