• Getting Started with KLEE

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

• Learn How to Use KLEE

  1. Testing a small function
  2. Testing simple regular expression library
  3. Testing Coreutils
  4. & several other resources

• 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

• Getting Involved

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

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

Paul Klee (1920)