KLEE Documentation

  1. KLEE Tutorials: Simple examples of how to use KLEE to test programs.
  2. KLEE Options: Overview of KLEE's main command-line options.
  3. KLEE Generated Files: Overview of the main files generated by KLEE.
  4. KLEE Tools: Overview of the main auxiliary tools provided by KLEE.
  5. KQuery Language Reference Manual: The reference manual for the KQuery language, used for interacting with the KLEE solver (kleaver).
  6. OSDI'08 Coreutils Experiments: Some information about the Coreutils experiments presented in our KLEE OSDI'08 paper.
  7. Developer's Guide: A brief guide on working with the KLEE source code.