klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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: