---
title: Install klee on Pop!_OS using the Snap Store | Snapcraft
description: Get the latest version of klee for on Pop!_OS - KLEE Symbolic Execution
  Engine
url: https://snapcraft.io/install/klee/pop
---

[Canonical Snapcraft](https://snapcraft.io/)

# Install klee on **Pop!\_OS**

# 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)

[Install](https://snapcraft.io/install/klee/pop#install)

#### 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>).

### 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/install/klee/pop#report-snap-modal)

---

## Enable snaps on Pop!\_OS and install klee

Snaps are applications packaged with all their dependencies to run on all popular Linux distributions from a single build. They update automatically and roll back gracefully.

Snaps are discoverable and installable from the [Snap Store](https://snapcraft.io/store), an app store with an audience of millions.

### Enable snapd

Snap can be installed on Pop!\_OS from the command line. Open Terminal from the Applications launcher and type the following:

```
sudo apt update
sudo apt install snapd
```

Either log out and back in again, or restart your system, to ensure snap’s paths are updated correctly.

### Install klee

To install klee, simply use the following command:

```
sudo snap install klee
```

### Other popular snaps…

[See more...](https://snapcraft.io/search?categories=featured)

[See more in Featured](https://snapcraft.io/search?categories=featured)

### More things to do…

#### [Get the snap store](https://snapcraft.io/snap-store)

Browse and find snaps from the convenience of your desktop using the snap store snap.

#### [Learn more about snaps](https://snapcraft.io/docs)

Interested to find out more about snaps? Want to publish your own application? Visit [snapcraft.io](https://snapcraft.io/) now.

[Back to top](https://snapcraft.io/install/klee/pop)

© 2026 Canonical Ltd.
Ubuntu and Canonical are registered trademarks of Canonical Ltd.

Powered by [Charmed Kubernetes](https://www.ubuntu.com/kubernetes)

[Join the forum](https://forum.snapcraft.io/), contribute to or report problems with,
[snapd](https://bugs.launchpad.net/snapd),
[Snapcraft](https://bugs.launchpad.net/snapcraft),
or [this site](https://github.com/canonical/snapcraft.io/issues/new).

* [Share on Twitter](https://twitter.com/snapcraftio)
* [Share on Facebook](https://www.facebook.com/snapcraftio)
* [Share on YouTube](https://www.youtube.com/snapcraftio)

* [Terms of Service](https://ubuntu.com/legal/terms-and-policies/snap-store-terms)
* [Data privacy](https://www.ubuntu.com/legal/data-privacy)
* [Manage your tracker settings](https://snapcraft.io/install/klee/pop)
* [Service status](https://status.snapcraft.io/)
* [Other functions](https://dashboard.snapcraft.io/)
* [Contact us](https://snapcraft.io/about/contact-us)