compiler-construction - KLEE (LLVM) はコンパイラのステップを実行しますか?

Question

KLEE は実際にコードを生成しますか? コンパイラ/インタプリタの他のベンチマーク手順を実行しますか? (字句解析、構文解析、意味解析、コード最適化、中間コード生成、コード生成、シンボルテーブル連携)

Answer 1

主に LLVM の通常の最適化に依存していますが、いくつかのカスタマイズされた変換も提供します。詳細については、を参照lib/Moduleしてください。

libc ランタイムの場合、オプション-libc( none、klee、uclibc ) で指定された追加の IR をリンクします。また、posix ランタイムが有効になっている場合 ( )、入力ビットコード ファイル内-posix-runtimeの元のメインargv関数は、 . KLEE によって実行/解釈される最終的な IR は、テスト ケースassembly.llのklee-lastディレクトリにあります。残りの部分では、KLEE は のインタープリターですassembly.ll。