GitHub - S2E/klee: Stripped down version of KLEE (original on https://klee.github.com)

This repository was archived by the owner on Feb 3, 2020. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 104 Commits
cmake		cmake
include		include
lib		lib
unittests		unittests
CMakeLists.txt		CMakeLists.txt
KLEEConfig.cmake.in		KLEEConfig.cmake.in
LICENSE.TXT		LICENSE.TXT
README.txt		README.txt

Repository files navigation

//===----------------------------------------------------------------------===//
// 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/.