Web Interface

Run tiny code examples in your browser with KLEE Web.

KLEE web is not maintained anymore. If you would like to take over the maintainer role, please get in touch with Cristian Cadar.

Docker

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

Installation via Package Manager

• Get it from the Snap Store. It works on Ubuntu, Fedora, Debian, and other major Linux distributions.
• 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 16: this is the currently recommended version
• Building arbitrary KLEE configurations: to build different configurations of KLEE and its dependencies