• Documentation

  Learn how to use KLEE

  1. Run KLEE via Docker
  2. Build from source (with LLVM 6.0)
  3. Command-line options
  4. Intrinsic functions
  5. Generated files
  6. Auxiliary tools
  7. KQuery language
  8. Developer's guide

• Tutorials

  Try KLEE for Yourself

  1. Testing a small function
  2. Testing simple regular expression library
  3. Testing Coreutils

The role of art is not to reproduce visible objects, but to make invisibles visible.

Paul Klee (1920)