klee
Install latest/stable of klee
Ubuntu 16.04 or later?
Make sure snap support is enabled in your Desktop store.
Details for klee
Package name
- klee
License
- unset
Last updated
- 23 September 2026 - latest/stable
- 23 September 2026 - latest/candidate
Websites
Source code
Report a bug
External link warning
You are about to open
Do you wish to proceed?
Report a Snap Store violation
Report klee for a Snap Store violation
Snap Store Violation Report submitted successfully
Thank you for your report. Information you provided will help us investigate further.
Error submitting report
There was an error while sending your report. Please try again later.
Share this snap
Generate an embeddable card to be shared on external websites.
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).
| Revision | Channel | Version | Build | Commit | Download SBOM |
|---|
The build and commit information is derived from build infrastructure records.
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.
