• Getting Started with KLEE

  1. Run small examples in your browser
  2. Run KLEE via Docker
  3. Install with your package manager
  4. Build from source (with LLVM 13)
  5. & other ways to get started

• Understanding KLEE's Components

  1. Intrinsic functions
  2. Command-line options
  3. Auxiliary tools
  4. & several other components

• KLEE-related Publications

  1. Read the original KLEE paper
  2. Find out about the many ways in which KLEE was used and extended

• Support and Getting Involved

  1. Subscribe to KLEE's mailing list and ask questions
  2. Contact us for professional support and consulting
  3. Report bugs and request new features
  4. Read the developer's guide and contribute code
  5. & find out more about getting involved

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

Paul Klee (1920)