# Installer klee avec Homebrew, Nix

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de klee pour les workflows d'agents IA.

## installation

```sh
sudo av install brew:klee
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install klee
```

  Preuve: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#klee
```

  Preuve: nixpkgs package indexes: pkgs/by-name/kl/klee/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Faits du paquet

- **Clé du paquet:** brew:klee
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/klee>
- **Version:** 3.2
- **Résumé source:** Symbolic Execution Engine
- **Page d'accueil:** <https://klee-se.org>
- **Dépôt:** <https://github.com/klee/klee>
- **Docs amont:** <https://klee-se.org>
- **Licence:** NCSA
- **Archive source:** <https://github.com/klee/klee/archive/refs/tags/v3.2.tar.gz>
- **Dernière mise à jour:** 2026-07-31T14:27:43Z
- **Généré:** 2026-08-04T22:13:35+00:00

## exécutables

- kleaver (cli)
- klee (cli)
- klee-exec-tree (cli)
- klee-replay (cli)
- klee-stats (cli)
- klee-zesti (cli)
- ktest-gen (cli)
- ktest-randgen (cli)
- ktest-tool (cli)
- kleaver (alias)
- klee (alias)
- klee-exec-tree (alias)
- klee-replay (alias)
- klee-stats (alias)
- klee-zesti (alias)
- ktest-gen (alias)
- ktest-randgen (alias)
- ktest-tool (alias)

## Dépendances

- cryptominisat
- gmp
- gperftools
- llvm@16
- minisat
- python@3.14
- sqlite
- stp
- wllvm
- z3

## Dépendances de compilation

- cmake
- pkgconf

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: disponible sur arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 3.2
- gestionnaire mis à jour: 2026-07-31
- données locales: OK
- dépôt amont: https://github.com/klee/klee
- dernière version détectée: v3.2 (à jour)
## Historique du projet et usages

KLEE is a dynamic symbolic execution engine for LLVM bitcode. It became influential because the 2008 OSDI paper demonstrated automatic test generation and bug finding on real Unix software at a scale that made symbolic execution feel practical rather than purely academic.

### Historique du projet

KLEE was initially developed at Stanford by Cristian Cadar, Daniel Dunbar, and Dawson Engler and presented at OSDI 2008. The project site describes it as a symbolic execution engine built on LLVM, and the repository describes the two central pieces: the core symbolic virtual machine and a POSIX/Linux emulation layer for running bitcode programs with symbolic operating-system inputs.

The OSDI evaluation is the historical anchor for KLEE: it ran on GNU Coreutils, BusyBox, MINIX utilities, and the HiStar kernel, using generated tests to expose crashes and correctness problems in heavily used systems code. That paper established the shape of KLEE's long-term identity: a research tool that is still packaged as a practical command-line engine.

### Historique d'adoption

KLEE has been adopted most visibly in research, program-analysis teaching, and systems-testing workflows. A 2020 journal article describes KLEE as a popular dynamic symbolic execution engine that began at Stanford and was later primarily developed and maintained by the Software Reliability Group at Imperial College London.

Package-manager adoption followed from that academic and systems-tooling footprint. The Homebrew formula ships the `klee`, `kleaver`, `ktest-tool`, replay, stats, and test-generation utilities, reflecting KLEE's role as a suite rather than a single binary.

### Modes d'utilisation

Users compile C or C++ programs to LLVM bitcode, mark inputs symbolic, and run KLEE to explore feasible paths and emit concrete test cases. The POSIX runtime lets KLEE model command-line arguments, files, environment variables, and other parts of a Unix process environment, making it especially attractive for testing command-line utilities.

### Pourquoi les passionnés de paquets s'y intéressent

KLEE matters to package nerds because it turns the package archive itself into test material: Coreutils, BusyBox, and MINIX utilities were not toy examples but ordinary low-level programs. It is also a good example of why some research artifacts become durable packages: the build may be specialized, but the command-line behavior is useful enough for distributions to preserve.

### Chronologie

- 2008: OSDI paper presented KLEE as a symbolic execution tool for high-coverage tests on complex systems programs.
- 2008: The OSDI evaluation reported KLEE runs over more than 452 programs and serious bugs in Coreutils, BusyBox, MINIX, and HiStar.
- 2020: A journal article described KLEE's post-Stanford maintenance and its academic and industry community.
- 2025-12-23: GitHub releases page listed KLEE 3.2.

### Related projects

- KLEE is related to LLVM, STP and other SMT-backed solver tooling, S2E, angr, CBMC, AFL-style testing workflows, and the POSIX utility suites used in its original evaluation.

### Sources

- <https://github.com/klee/klee>
- <https://klee-se.org/>
- <https://link.springer.com/article/10.1007/s10009-020-00570-3>
- <https://www.usenix.org/event/osdi08/tech/full_papers/cadar/cadar.pdf>


## Notes de sécurité

generalized runtime or code generation signal.

- **Risque Geiger:** yellow / moyen
- generalized runtime or code generation signal

## Détails de la base source

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** klee
- **Version Scheme:** 0
- **Revision:** 4
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## Autres enregistrements de gestionnaires de paquets

- Nix - klee: normalized package name match | nixpkgs package indexes: pkgs/by-name/kl/klee/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## Liens liés

- [Secret-risk packages](https://pkg.so/fr/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://pkg.so/fr/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://pkg.so/fr/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://pkg.so/fr/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [sqlite](https://pkg.so/fr/brew/sqlite/) - Runtime dependency declared by Homebrew.
- [python@3.14](https://pkg.so/fr/brew/python-3-14/) - Runtime dependency declared by Homebrew.
- [z3](https://pkg.so/fr/brew/z3/) - Runtime dependency declared by Homebrew.
- [llvm@16](https://pkg.so/fr/brew/llvm-16/) - Runtime dependency declared by Homebrew.
- [cryptominisat](https://pkg.so/fr/brew/cryptominisat/) - Runtime dependency declared by Homebrew.
- [stp](https://pkg.so/fr/brew/stp/) - Runtime dependency declared by Homebrew.
- [pkgconf](https://pkg.so/fr/brew/pkgconf/) - Build dependency declared by Homebrew.
- [cmake](https://pkg.so/fr/brew/cmake/) - Build dependency declared by Homebrew.
- [lit](https://pkg.so/fr/brew/lit/) - Shares pkgdb curated category or tags: cli, developer-tools, llvm, testing.
- [lcov](https://pkg.so/fr/brew/lcov/) - Shares pkgdb curated category or tags: cli, developer-tools, testing.
- [bats-core](https://pkg.so/fr/brew/bats-core/) - Shares pkgdb curated category or tags: cli, developer-tools, testing.
- [allure](https://pkg.so/fr/brew/allure/) - Shares pkgdb curated category or tags: cli, developer-tools, testing.
- [kcov](https://pkg.so/fr/brew/kcov/) - Shares pkgdb curated category or tags: cli, developer-tools, testing.
- [mockolo](https://pkg.so/fr/brew/mockolo/) - Shares pkgdb curated category or tags: cli, developer-tools, testing.
- [mockery](https://pkg.so/fr/brew/mockery/) - Shares pkgdb curated category or tags: cli, developer-tools, testing.
- [pytest](https://pkg.so/fr/brew/pytest/) - Shares pkgdb curated category or tags: cli, developer-tools, testing.
- [bzt](https://pkg.so/fr/brew/bzt/) - Both packages touch the same language runtime or ecosystem. Shared terms: cli, developer, developer-tools, python, python-3-14.
- [esbmc](https://pkg.so/fr/brew/esbmc/) - Both packages touch the same language runtime or ecosystem. Shared terms: analysis, cli, developer, developer-tools, gmp.

## Combined YAML source

View the package source record on GitHub. [combined/klee.yml](https://github.com/mxcl/pkgdb/blob/main/combined/klee.yml)


## Sources

- pkg.so package database
- Geiger risk classifier
- package-page enrichment
- curated package history
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph