KLEE Installation Guide

Minimal Installation

1. Obtain the current version of LLVM via SVN. Build the release version of LLVM and install the GCC front end as well. Follow the instructions at Getting Started with the LLVM System.
2. Obtain the current version of KLEE via SVN (readonly access):
   svn co http://llvm.org/svn/llvm-project/klee/trunk klee
3. Configure KLEE:
   ./configure --with-llvm=path/to/llvm ENABLE_OPTIMIZED=1

   This assumes that you compiled LLVM in-place. If you used a different directory for the object files then use:

   ./configure --with-llvmsrc=path/to/llvm/src--with-llvmobj=path/to/llvm/obj
4. Build the release version of KLEE:
   make
5. Run the test suite. You should have no unexpected failures.but please report any such failures.
   make test
6. You're ready to go! Go to the Tutorials page to try KLEE.