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