問題タブ [klee]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
debugging - シンボリック実行ツール KLEE は並列実行できますか?
彼らの論文 (OSDI'08) によると、シンボリック実行ツール KLEE は、単一の COREUTIL アプリケーションのテスト ケースを生成するのに約 1 時間かかります。並列で実行できるかどうか疑問に思っていますか?(たとえば、マルチコアまたは GPU でのマルチスレッド)?
variables - KLEE の命令に含まれる変数がシンボリックか具体的かを確認するにはどうすればよいですか
KLEE が変数を含む命令を実行しているときに、変数が KLEE でシンボリックかどうかを判断する方法があるかどうかを知りたいです。
llvm - バイナリでシンボリック実行するためのツール
バイナリでのシンボリック実行のためのツールはありますか? つまり、klee_make_symbolic のようにソース コードを変更する必要がないか、IR (llvm ir など) でそのような変更を行うことができます。事前に感謝します。
llvm - クレーチェックはどのようにテストの成功または失敗を検証しますか?
Klee tutorial でクレーのチュートリアルを読みました。それは非常に単純で簡単です。しかし、KLEE generated filesでテストによって生成されたファイルを確認すると、テストが成功したか失敗したかを示すファイルが見つかりませんでした。テスト結果を確認するには、2 つの方法があります。
KLEE は 3 つのテスト ケースの期待される戻り値を知ることができるほどスマートです。
KLEE は戻り値をファイルのどこかにダンプするだけで、人間の開発者はそれらを自分でチェックする必要があります。
そうですか？
klee - アサーションの失敗を見つけた後、KLEE にパスの探索を停止させる方法
ある実行でアサーションが失敗した場合、KLEE はそれを報告し、それを無視して他の実行を検索し続けます。次に、私の質問になります。アサーションの失敗を見つけたときに KLEE に強制的に検索を停止させる構成またはトリックはありますか? または、ソース コードを変更して KLEE を再ビルドして実装する必要がありますか? 感動的な解決策を願っています。前もって感謝します！