klee uclibc

KLEE-uClibc

uClibc for KLEEの修正版です。 uClibc については、README を参照してください。

KLEE 用の uClibc をビルドするには:

1. llvm-config PATH にあることを確認してください (または--with-llvm-configを使用して設定してください)。 llvm-configで使用される LLVM バージョンは、手順 2 で使用する C LLVM ビットコード コンパイラで使用される LLVM バージョンと一致する必要があります。

2. 次のいずれかの C LLVM コンパイラがあることを確認してください。

• LLVM ツール ディレクトリに構築されたclang ( llvm-config --bindir )
• PATHでclang

使用する C コンパイラは、最初に動作するコンパイラから上記の順序で検索されます。

CC 環境変数を使用するか、configure スクリプトで--with-cc使用することによって、特定の C コンパイラを強制することもできます。

3. 構成スクリプトを実行します。

   $ ./configure --make-llvm-lib

   すべてのオプションを実行するには

   $ ./configure --help

4. デフォルトでは、uClibc 事前構築済み.configファイルが、configure スクリプトによって uClibc ルート ディレクトリに追加されます。これは、ユーザーがコンパイルを容易にするために行われます。ただし、 --disable-prebuilt-config フラグを使用すると、 .configファイルが追加されないようにすることができます。独自の.configを作成したい場合は、configure スクリプトの実行後にmake menuconfigまたはmake config実行することで作成できます。

5. コンパイル

   $ make

   上記の make 行の最後にKLEE_CFLAGS=...を追加して実行することで、オプションのフラグを追加することもできます。特に、デフォルトで除外されている printf をコンパイルするには、以下を使用します。

   make KLEE_CFLAGS="-DKLEE_SYM_PRINTF"

   最適化モードでコンパイルするには、 --enable-releaseフラグを使用します。これを行うと壊れる可能性があることを警告します。