# klee

**Repository Path**: cherry_wb/klee

## Basic Information

- **Project Name**: klee
- **Description**: Stripped down version of KLEE (original on https://klee.github.com)
- **Primary Language**: Unknown
- **License**: NCSA
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-01-09
- **Last Updated**: 2024-08-02

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

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