---
title: Install klee on Linux | Snap Store
description: Get the latest version of klee for Linux - KLEE Symbolic Execution Engine
url: https://snapcraft.io/klee
---

# klee

[Cristian Cadar (ccadar)](https://snapcraft.io/publisher/ccadar "View all snaps from Cristian Cadar (ccadar)")

* [Cristian Cadar (ccadar)](https://snapcraft.io/publisher/ccadar "View all snaps from Cristian Cadar (ccadar)")
* [Development](https://snapcraft.io/search?categories=development)

latest/stable v3.2

Install latest/stable of klee

---

**Install using the command line**

```
sudo snap install klee
```

Don't have snapd? [Get set up for snaps](https://snapcraft.io/docs/installing-snapd).

---

### Package name

* klee

---

### License

* unset

---

### Last updated

* 23 September 2026 - latest/stable
* 23 September 2026 - latest/candidate

---

### Websites

* [klee.github.io](http://klee.github.io/ "http://klee.github.io/")

---

### Source code

* [github.com/klee/klee](https://github.com/klee/klee "https://github.com/klee/klee")

---

### Report a bug

* [github.com/klee/klee/issues/](https://github.com/klee/klee/issues/ "https://github.com/klee/klee/issues/")

---

##### Report a Snap Store violation

* [Report this Snap](https://snapcraft.io/klee#report-snap-modal)

---

* [Description](https://snapcraft.io/klee#tab-description)
* [Security](https://snapcraft.io/klee#tab-security)

#### KLEE Symbolic Execution Engine

KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure. Currently, there are two primary components:

* The core symbolic virtual machine engine; this is responsible for
  executing LLVM bitcode modules with support for symbolic values.
* A POSIX/Linux emulation layer oriented towards supporting uClibc,
  with additional support for making parts of the operating system
  environment symbolic.

Additionally, there is a simple library for replaying computed inputs
on native code (for closed programs). There is also a more complicated
infrastructure for replaying the inputs generated for the POSIX/Linux
emulation layer, which handles running native programs in an environment
that matches a computed test input, including setting up files, pipes,
environment variables, and passing command line arguments.

For further information, see [klee hompage](<http://klee.github.io>).

---

## Install klee on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the [installing snapd documentation](https://snapcraft.io/docs/installing-snapd).

[### Arch Linux](https://snapcraft.io/install/klee/arch)

[### CentOS](https://snapcraft.io/install/klee/centos)

[### Debian](https://snapcraft.io/install/klee/debian)

[### elementary OS](https://snapcraft.io/install/klee/elementary)

[### Fedora](https://snapcraft.io/install/klee/fedora)

[### KDE Neon](https://snapcraft.io/install/klee/kde-neon)

[### Kubuntu](https://snapcraft.io/install/klee/kubuntu)

[### Manjaro](https://snapcraft.io/install/klee/manjaro)

[### Pop!\_OS](https://snapcraft.io/install/klee/pop)

[### openSUSE](https://snapcraft.io/install/klee/opensuse)

[### Red Hat Enterprise Linux](https://snapcraft.io/install/klee/rhel)

[### Ubuntu](https://snapcraft.io/install/klee/ubuntu)