Web Interface

Run tiny code examples in your browser with KLEE web.

Docker

Our Docker images are one of the fastest ways to get started.

Installation via Package Manager

• Use your package manager for Arch Linux, openSUSE Tumbleweed, and several other distributions
• Running with Nix: this is even faster than Docker if you have Nix.
• FreeBSD package: FreeBSD users can install latest release with pkg install klee or by building security/klee port themselves.
• Homebrew package: install the latest release using Homebrew

Manual Installation

• Build from source against LLVM 13: this is the currently recommended version
• Building arbitrary KLEE configurations: to build different configurations of KLEE and its dependencies