NOTE: This is the documentation for the version of KLEE in the master branch, which might differ from released KLEE. For documentation relevant to a particular KLEE release see the releases page.

If you have a question on using KLEE:

1. Please first check the documentation below
2. Then check the searchable mailing list archive
3. If this still doesn’t answer your questions then:
   • If you think it is a bug, please open an issue on GitHub
   • If it is a general question, then please send an email to the klee-dev mailing list

1. Installing KLEE: Overview of the different installation options.
2. Intrinsics: Overview of the main KLEE intrinsic functions.
3. KLEE Options: Overview of KLEE’s main command-line options.
4. Generated Files: Overview of the main files generated by KLEE.
5. Tools: Overview of the main auxiliary tools provided by KLEE.
6. Solver Chain: Overview of the solver chain and related command-line arguments.
7. Kleaver Options: Overview of Kleaver’s main command-line options.
8. KQuery: The reference manual for the KQuery language, used for interacting with Kleaver.
9. Coreutils Experiments: Some information about the Coreutils experiments presented in our KLEE OSDI’08 paper.
10. Developer’s Guide: A brief guide on working with the KLEE source code.
11. Doxygen: Doxygen documentation.