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.8
: this is still experimental