| layout | default |
|---|---|
| title | Getting Started |
| subtitle | Getting Started with KLEE |
| slug | getting-started |
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.
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 16: this is the currently recommended version
- Building arbitrary KLEE configurations: to build different configurations of KLEE and its dependencies