| layout | default |
|---|---|
| title | Getting Started |
| subtitle | Getting Started with KLEE |
| slug | getting-started |
Run small code examples in your browser with KLEE Web.
Our Docker images are one of the fastest ways to get started.
- 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 kleeor by buildingsecurity/kleeport themselves. - Homebrew package: install the latest release using Homebrew
- Build from source against LLVM 18: this is the currently recommended version
- Building arbitrary KLEE configurations: to build different configurations of KLEE and its dependencies