index.html

---
layout: home
title: KLEE
---

<div class="guides-section">
  <main>
    <header class="container">
      <h2 class="xxlarge">KLEE Symbolic Execution Engine</h2>
      <p>
        KLEE is a dynamic symbolic execution engine built on top of the <a
          href="http://llvm.org">LLVM</a> compiler infrastructure, and available
        under the UIUC open source license. For more information on what KLEE is
        and what it can do, see the <a
        href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI 2008</a> paper.
      </p>
    </header>

    <ul class="guides-list container">
      <li class="guides-list__item g-full g--centered">
        <div class="primary-content">
          <h3>Getting Started with KLEE</h3>
        </div>
        <div class="secondary-content">
          <span class="icon-circle themed--background">
            <i class="icon icon-lessons"></i>
          </span>
          <ol class="list-links list-links--secondary">
            <li><a href="http://klee.doc.ic.ac.uk/">Run small examples in your browser</a></li>
            <li><a href="{{site.baseurl}}/docker">Run KLEE via Docker</a></li>
            <li><a href="{{site.baseurl}}/getting-started/#installation-via-package-manager">Install with your package manager</a></li>
            <li><a href="{{site.baseurl}}/build/build-llvm13/">Build from source (with LLVM 13)</a></li>
            <li><a href="{{site.baseurl}}/getting-started/">&amp; other ways to get started</a></li>
          </ol>
        </div>
      </li>

      <li class="guides-list__item g-full g--centered">
        <div class="primary-content">
          <h3>Understanding KLEE's Components</h3>
        </div>
        <div class="secondary-content">
          <span class="icon-circle themed--background">
            <i class="icon icon-lessons"></i>
          </span>
          <ol class="list-links list-links--secondary">
            <li><a href="{{site.baseurl}}/docs/intrinsics/">Intrinsic functions</a></li>
            <li><a href="{{site.baseurl}}/docs/options/">Command-line options</a></li>
            <li><a href="{{site.baseurl}}/docs/tools/">Auxiliary tools</a></li>
            <li><a href="{{site.baseurl}}/docs/">&amp; several other components</a></li>
          </ol>
        </div>
      </li>

      <li class="guides-list__item g-full g--centered">
        <div class="primary-content">
          <h3>KLEE-related Publications</h3>
        </div>
        <div class="secondary-content">
          <span class="icon-circle themed--background">
            <i class="icon icon-lessons"></i>
          </span>
          <ol class="list-links list-links--secondary">
            <li><a href="https://www.usenix.org/legacy/event/osdi08/tech/full_papers/cadar/cadar.pdf">Read the original KLEE paper</a></li>
            <li><a href="{{site.baseurl}}/publications/">Find out about the many ways in which KLEE was used and extended</a></li>
          </ol>
        </div>
      </li>

      <li class="guides-list__item g-full g--centered">
        <div class="primary-content">
          <h3>Support and Getting Involved</h3>
        </div>
        <div class="secondary-content">
          <span class="icon-circle themed--background">
            <i class="icon icon-lessons"></i>
          </span>
          <ol class="list-links list-links--secondary">
            <li><a href="{{site.baseurl}}/klee-dev/">Subscribe to KLEE's mailing list and ask questions</a></li>
            <li>Contact us for <a href="{{site.baseurl}}/support/">professional support and consulting</a></li>
            <li><a href="https://github.com/klee/klee/issues/new/choose">Report bugs and request new features</a></li>
            <li><a href="{{site.baseurl}}/docs/developers-guide/">Read the developer's guide and contribute code</a></li>
            <li><a href="{{site.baseurl}}/getting-involved/">&amp; find out more about getting involved</a></li>
          </ol>
        </div>
      </li>
    </ul>

    <br/>

    <div class="container-medium">
      <a class="twitter-timeline" href="https://twitter.com/kleesymex" data-chrome="transparent noborders" data-tweet-limit="2">
      Tweets by @kleesymex
      </a>
      <script async src="https://platform.twitter.com/widgets.js"></script>
    </div>

    <blockquote class="quote__content g-wide--push-1 g-wide--pull-1 g-medium--push-1">
      The role of art is not to reproduce visible objects, but to make invisibles visible.
      <p>Paul Klee (1920)</p>
    </blockquote>
  </main>
</div>