KLEE

Version 1.3.0

Documentation

Learn How to Use KLEE

NOTE: This is the documentation for KLEE 1.3.0 which from the lastest version of KLEE from the master branch. For documentation relevant to KLEE’s master branch see the homepage.

  1. Using KLEE Docker image: Instructions on how to use the KLEE Docker image.
  2. Building KLEE (LLVM 2.9): Instructions on how to build KLEE from source using LLVM 2.9.
  3. Building KLEE (LLVM 3.4): Instructions on how to build KLEE from source using LLVM 3.4.
  4. Building STP: Instructions on how to build STP, KLEE’s default constraint solver.
  5. KLEE Options: Overview of KLEE’s main command-line options.
  6. Kleaver Options: Overview of Kleaver’s main command-line options.
  7. Intrinsics: Overview of the main KLEE intrinsic functions.
  8. Files: Overview of the main files generated by KLEE.
  9. Tools: Overview of the main auxiliary tools provided by KLEE.
  10. KQuery: The reference manual for the KQuery language, used for interacting with the KLEE solver (kleaver).
  11. Coreutils Experiments: Some information about the Coreutils experiments presented in our KLEE OSDI’08 paper.
  12. Developer’s Guide: A brief guide on working with the KLEE source code.