Getting Started
Installing KLEE
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 6.0: this is the currently recommended version
- Build from source against LLVM 3.8: this version of LLVM is the earliest non-deprecated version supported by KLEE
- Build from source against LLVM 3.4: this version of LLVM is deprecated but still works with KLEE