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

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

S2E / klee Public archive

Notifications You must be signed in to change notification settings
Fork 11
Star 10

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

View license

10 stars 11 forks Branches Tags Activity

Star

Notifications

Branches Tags

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