There are three ways to get started with KLEE.

• Use our Docker images: this is the fastest way to get started.
• Build from source against LLVM 3.4: this is the current recommended version.
• Build from source against LLVM 3.4 (using Autoconf): Same as above but using KLEE’s older Autoconf/Makefile based build system.
• Build from source against LLVM 2.9: this is another version which we are still maintaining.