//===----------------------------------------------------------------------===// // KLEE Symbolic Virtual Machine //===----------------------------------------------------------------------===// KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure. This version is a stripped down version of KLEE (~2009) and merely used as an LLVM interpreter for S2E. It includes some recent updates from upstream (cmake, expression printers, etc.). The original version can be found on http://klee.github.io/.