KLEE

Introduction

Welcome to KLEE. KLEE is a symbolic execution engine that works on LLVM bitcode.

Documentation

The documentation of KLEE is composed of the Doxygen documentation of the code as well as the following documents:

• High level overview of KLEE.